1 // REQUIRES: x86-registered-target
2 // RUN: %clang_cc1 -x c++ %s -triple i386-apple-darwin10 -fasm-blocks -emit-llvm -o - -std=c++11 | FileCheck %s
3
4 // rdar://13645930
5
6 struct Foo {
7 static int *ptr;
8 static int a, b;
9 int arr[4];
10 struct Bar {
11 static int *ptr;
12 char arr[2];
13 };
14 };
15
t1()16 void t1() {
17 Foo::ptr = (int *)0xDEADBEEF;
18 Foo::Bar::ptr = (int *)0xDEADBEEF;
19 __asm mov eax, Foo ::ptr
20 __asm mov eax, Foo :: Bar :: ptr
21 __asm mov eax, [Foo:: ptr]
22 __asm mov eax, dword ptr [Foo :: ptr]
23 __asm mov eax, dword ptr [Foo :: ptr]
24 // CHECK: @_Z2t1v
25 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $0\0A\09mov eax, dword ptr $1\0A\09mov eax, dword ptr $2\0A\09mov eax, dword ptr $3\0A\09mov eax, dword ptr $4", "*m,*m,*m,*m,*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3ptrE, i32** @_ZN3Foo3Bar3ptrE, i32** @_ZN3Foo3ptrE, i32** @_ZN3Foo3ptrE, i32** @_ZN3Foo3ptrE)
26 }
27
28 int gvar = 10;
t2()29 void t2() {
30 int lvar = 10;
31 __asm mov eax, offset Foo::ptr
32 __asm mov eax, offset Foo::Bar::ptr
33 // CHECK: t2
34 // CHECK: call void asm sideeffect inteldialect "mov eax, $0\0A\09mov eax, $1", "r,r,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3ptrE, i32** @_ZN3Foo3Bar3ptrE)
35 }
36
37 // CHECK-LABEL: define void @_Z2t3v()
t3()38 void t3() {
39 __asm mov eax, LENGTH Foo::ptr
40 __asm mov eax, LENGTH Foo::Bar::ptr
41 __asm mov eax, LENGTH Foo::arr
42 __asm mov eax, LENGTH Foo::Bar::arr
43
44 __asm mov eax, TYPE Foo::ptr
45 __asm mov eax, TYPE Foo::Bar::ptr
46 __asm mov eax, TYPE Foo::arr
47 __asm mov eax, TYPE Foo::Bar::arr
48
49 __asm mov eax, SIZE Foo::ptr
50 __asm mov eax, SIZE Foo::Bar::ptr
51 __asm mov eax, SIZE Foo::arr
52 __asm mov eax, SIZE Foo::Bar::arr
53 // CHECK: call void asm sideeffect inteldialect "mov eax, $$1\0A\09mov eax, $$1\0A\09mov eax, $$4\0A\09mov eax, $$2\0A\09mov eax, $$4\0A\09mov eax, $$4\0A\09mov eax, $$4\0A\09mov eax, $$1\0A\09mov eax, $$4\0A\09mov eax, $$4\0A\09mov eax, $$16\0A\09mov eax, $$2", "~{eax},~{dirflag},~{fpsr},~{flags}"()
54
55 }
56
57 struct T4 {
58 int x;
59 static int y;
60 void test();
61 };
62
63 // CHECK-LABEL: define void @_ZN2T44testEv(
test()64 void T4::test() {
65 // CHECK: [[T0:%.*]] = alloca [[T4:%.*]]*,
66 // CHECK: [[THIS:%.*]] = load [[T4]]*, [[T4]]** [[T0]]
67 // CHECK: [[X:%.*]] = getelementptr inbounds [[T4]], [[T4]]* [[THIS]], i32 0, i32 0
68 __asm mov eax, x;
69 __asm mov y, eax;
70 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $1\0A\09mov dword ptr $0, eax", "=*m,*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32* @_ZN2T41yE, i32* {{.*}})
71 }
72
73 template <class T> struct T5 {
74 template <class U> static T create(U);
75 void run();
76 };
77 // CHECK-LABEL: define void @_Z5test5v()
test5()78 void test5() {
79 // CHECK: [[X:%.*]] = alloca i32
80 // CHECK: [[Y:%.*]] = alloca i32
81 int x, y;
82 __asm push y
83 __asm call T5<int>::create<float>
84 __asm mov x, eax
85 // CHECK: call void asm sideeffect inteldialect "push dword ptr $0\0A\09call dword ptr $2\0A\09mov dword ptr $1, eax", "=*m,=*m,*m,~{esp},~{dirflag},~{fpsr},~{flags}"(i32* %y, i32* %x, i32 (float)* @_ZN2T5IiE6createIfEEiT_)
86 }
87
88 // Just verify this doesn't emit an error.
test6()89 void test6() {
90 __asm {
91 a:
92 jmp a
93 }
94 }
95
t7_struct()96 void t7_struct() {
97 struct A {
98 int a;
99 int b;
100 };
101 __asm mov eax, [eax].A.b
102 // CHECK-LABEL: define void @_Z9t7_structv
103 // CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
104 }
105
t7_typedef()106 void t7_typedef() {
107 typedef struct {
108 int a;
109 int b;
110 } A;
111 __asm mov eax, [eax].A.b
112 // CHECK-LABEL: define void @_Z10t7_typedefv
113 // CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
114 }
115
t7_using()116 void t7_using() {
117 using A = struct {
118 int a;
119 int b;
120 };
121 __asm mov eax, [eax].A.b
122 // CHECK-LABEL: define void @_Z8t7_usingv
123 // CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
124 }
125
t8()126 void t8() {
127 __asm some_label:
128 // CHECK-LABEL: define void @_Z2t8v()
129 // CHECK: call void asm sideeffect inteldialect "L__MSASMLABEL_.1__some_label:", "~{dirflag},~{fpsr},~{flags}"()
130 struct A {
131 static void g() {
132 __asm jmp some_label ; This should jump forwards
133 __asm some_label:
134 __asm nop
135 // CHECK-LABEL: define internal void @_ZZ2t8vEN1A1gEv()
136 // CHECK: call void asm sideeffect inteldialect "jmp L__MSASMLABEL_.2__some_label\0A\09L__MSASMLABEL_.2__some_label:\0A\09nop", "~{dirflag},~{fpsr},~{flags}"()
137 }
138 };
139 A::g();
140 }
141
142