1*67e74705SXin Li // RUN: %clang_cc1 -emit-llvm -triple=wasm32-unknown-unknown -o - %s \
2*67e74705SXin Li // RUN: | FileCheck %s -check-prefix=WEBASSEMBLY32
3*67e74705SXin Li // RUN: %clang_cc1 -emit-llvm -triple=wasm64-unknown-unknown -o - %s \
4*67e74705SXin Li // RUN: | FileCheck %s -check-prefix=WEBASSEMBLY64
5*67e74705SXin Li
6*67e74705SXin Li // Test that we don't create common blocks.
7*67e74705SXin Li int tentative;
8*67e74705SXin Li // WEBASSEMBLY32: @tentative = global i32 0, align 4
9*67e74705SXin Li // WEBASSEMBLY64: @tentative = global i32 0, align 4
10*67e74705SXin Li
11*67e74705SXin Li // Test that WebAssembly uses the ARM-style ABI in which the static
12*67e74705SXin Li // variable's guard variable is tested via "load i8 and test the
13*67e74705SXin Li // bottom bit" rather than the Itanium/x86 ABI which uses "load i8
14*67e74705SXin Li // and compare with zero".
15*67e74705SXin Li int f();
g()16*67e74705SXin Li void g() {
17*67e74705SXin Li static int a = f();
18*67e74705SXin Li }
19*67e74705SXin Li // WEBASSEMBLY32-LABEL: @_Z1gv()
20*67e74705SXin Li // WEBASSEMBLY32: %[[R0:.+]] = load atomic i8, i8* bitcast (i32* @_ZGVZ1gvE1a to i8*) acquire, align 4
21*67e74705SXin Li // WEBASSEMBLY32-NEXT: %[[R1:.+]] = and i8 %[[R0]], 1
22*67e74705SXin Li // WEBASSEMBLY32-NEXT: %[[R2:.+]] = icmp eq i8 %[[R1]], 0
23*67e74705SXin Li // WEBASSEMBLY32-NEXT: br i1 %[[R2]], label %[[CHECK:.+]], label %[[END:.+]]
24*67e74705SXin Li // WEBASSEMBLY32: [[CHECK]]
25*67e74705SXin Li // WEBASSEMBLY32: call i32 @__cxa_guard_acquire
26*67e74705SXin Li // WEBASSEMBLY32: [[END]]
27*67e74705SXin Li // WEBASSEMBLY32: call void @__cxa_guard_release
28*67e74705SXin Li //
29*67e74705SXin Li // WEBASSEMBLY64-LABEL: @_Z1gv()
30*67e74705SXin Li // WEBASSEMBLY64: %[[R0:.+]] = load atomic i8, i8* bitcast (i64* @_ZGVZ1gvE1a to i8*) acquire, align 8
31*67e74705SXin Li // WEBASSEMBLY64-NEXT: %[[R1:.+]] = and i8 %[[R0]], 1
32*67e74705SXin Li // WEBASSEMBLY64-NEXT: %[[R2:.+]] = icmp eq i8 %[[R1]], 0
33*67e74705SXin Li // WEBASSEMBLY64-NEXT: br i1 %[[R2]], label %[[CHECK:.+]], label %[[END:.+]]
34*67e74705SXin Li // WEBASSEMBLY64: [[CHECK]]
35*67e74705SXin Li // WEBASSEMBLY64: call i32 @__cxa_guard_acquire
36*67e74705SXin Li // WEBASSEMBLY64: [[END]]
37*67e74705SXin Li // WEBASSEMBLY64: call void @__cxa_guard_release
38*67e74705SXin Li
39*67e74705SXin Li // Test various aspects of static constructor calls.
40*67e74705SXin Li struct A {
41*67e74705SXin Li A();
42*67e74705SXin Li };
43*67e74705SXin Li
44*67e74705SXin Li A theA;
45*67e74705SXin Li
46*67e74705SXin Li // WEBASSEMBLY32: define internal void @__cxx_global_var_init() #0 section ".text.__startup" {
47*67e74705SXin Li // WEBASSEMBLY32: call %struct.A* @_ZN1AC1Ev(%struct.A* @theA)
48*67e74705SXin Li // WEBASSEMBLY32: define internal void @_GLOBAL__sub_I_static_init_wasm.cpp() #0 section ".text.__startup" {
49*67e74705SXin Li // WEBASSEMBLY32: call void @__cxx_global_var_init()
50*67e74705SXin Li //
51*67e74705SXin Li // WEBASSEMBLY64: define internal void @__cxx_global_var_init() #0 section ".text.__startup" {
52*67e74705SXin Li // WEBASSEMBLY64: call %struct.A* @_ZN1AC1Ev(%struct.A* @theA)
53*67e74705SXin Li // WEBASSEMBLY64: define internal void @_GLOBAL__sub_I_static_init_wasm.cpp() #0 section ".text.__startup" {
54*67e74705SXin Li // WEBASSEMBLY64: call void @__cxx_global_var_init()
55