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", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3ptrE)
26 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3Bar3ptrE)
27 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3ptrE)
28 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3ptrE)
29 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3ptrE)
30 }
31
32 int gvar = 10;
t2()33 void t2() {
34 int lvar = 10;
35 __asm mov eax, offset Foo::ptr
36 __asm mov eax, offset Foo::Bar::ptr
37 // CHECK: t2
38 // CHECK: call void asm sideeffect inteldialect "mov eax, $0", "r,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3ptrE)
39 // CHECK: call void asm sideeffect inteldialect "mov eax, $0", "r,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3Bar3ptrE)
40 }
41
42 // CHECK-LABEL: define void @_Z2t3v()
t3()43 void t3() {
44 __asm mov eax, LENGTH Foo::ptr
45 // CHECK: call void asm sideeffect inteldialect "mov eax, $$1", "~{eax},~{dirflag},~{fpsr},~{flags}"()
46 __asm mov eax, LENGTH Foo::Bar::ptr
47 // CHECK: call void asm sideeffect inteldialect "mov eax, $$1", "~{eax},~{dirflag},~{fpsr},~{flags}"()
48 __asm mov eax, LENGTH Foo::arr
49 // CHECK: call void asm sideeffect inteldialect "mov eax, $$4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
50 __asm mov eax, LENGTH Foo::Bar::arr
51 // CHECK: call void asm sideeffect inteldialect "mov eax, $$2", "~{eax},~{dirflag},~{fpsr},~{flags}"()
52
53 __asm mov eax, TYPE Foo::ptr
54 // CHECK: call void asm sideeffect inteldialect "mov eax, $$4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
55 __asm mov eax, TYPE Foo::Bar::ptr
56 // CHECK: call void asm sideeffect inteldialect "mov eax, $$4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
57 __asm mov eax, TYPE Foo::arr
58 // CHECK: call void asm sideeffect inteldialect "mov eax, $$4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
59 __asm mov eax, TYPE Foo::Bar::arr
60 // CHECK: call void asm sideeffect inteldialect "mov eax, $$1", "~{eax},~{dirflag},~{fpsr},~{flags}"()
61
62 __asm mov eax, SIZE Foo::ptr
63 // CHECK: call void asm sideeffect inteldialect "mov eax, $$4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
64 __asm mov eax, SIZE Foo::Bar::ptr
65 // CHECK: call void asm sideeffect inteldialect "mov eax, $$4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
66 __asm mov eax, SIZE Foo::arr
67 // CHECK: call void asm sideeffect inteldialect "mov eax, $$16", "~{eax},~{dirflag},~{fpsr},~{flags}"()
68 __asm mov eax, SIZE Foo::Bar::arr
69 // CHECK: call void asm sideeffect inteldialect "mov eax, $$2", "~{eax},~{dirflag},~{fpsr},~{flags}"()
70
71 }
72
73 struct T4 {
74 int x;
75 static int y;
76 void test();
77 };
78
79 // CHECK-LABEL: define void @_ZN2T44testEv(
test()80 void T4::test() {
81 // CHECK: [[T0:%.*]] = alloca [[T4:%.*]]*,
82 // CHECK: [[THIS:%.*]] = load [[T4]]** [[T0]]
83 // CHECK: [[X:%.*]] = getelementptr inbounds [[T4]]* [[THIS]], i32 0, i32 0
84 __asm mov eax, x;
85 // CHECK: call void asm sideeffect inteldialect "mov eax, dword ptr $0", "*m,~{eax},~{dirflag},~{fpsr},~{flags}"(i32* [[X]])
86 __asm mov y, eax;
87 // CHECK: call void asm sideeffect inteldialect "mov dword ptr $0, eax", "=*m,~{dirflag},~{fpsr},~{flags}"(i32* @_ZN2T41yE)
88 }
89
90 template <class T> struct T5 {
91 template <class U> static T create(U);
92 void run();
93 };
94 // CHECK-LABEL: define void @_Z5test5v()
test5()95 void test5() {
96 // CHECK: [[X:%.*]] = alloca i32
97 // CHECK: [[Y:%.*]] = alloca i32
98 int x, y;
99 __asm push y
100 // CHECK: call void asm sideeffect inteldialect "push dword ptr $0", "=*m,~{esp},~{dirflag},~{fpsr},~{flags}"(i32* [[Y]])
101 __asm call T5<int>::create<float>
102 // CHECK: call void asm sideeffect inteldialect "call $0", "r,~{dirflag},~{fpsr},~{flags}"(i32 (float)* @_ZN2T5IiE6createIfEEiT_)
103 __asm mov x, eax
104 // CHECK: call void asm sideeffect inteldialect "mov dword ptr $0, eax", "=*m,~{dirflag},~{fpsr},~{flags}"(i32* [[X]])
105 }
106
107 // Just verify this doesn't emit an error.
test6()108 void test6() {
109 __asm {
110 a:
111 jmp a
112 }
113 }
114
t7_struct()115 void t7_struct() {
116 struct A {
117 int a;
118 int b;
119 };
120 __asm mov eax, [eax].A.b
121 // CHECK-LABEL: define void @_Z9t7_structv
122 // CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
123 }
124
t7_typedef()125 void t7_typedef() {
126 typedef struct {
127 int a;
128 int b;
129 } A;
130 __asm mov eax, [eax].A.b
131 // CHECK-LABEL: define void @_Z10t7_typedefv
132 // CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
133 }
134
t7_using()135 void t7_using() {
136 using A = struct {
137 int a;
138 int b;
139 };
140 __asm mov eax, [eax].A.b
141 // CHECK-LABEL: define void @_Z8t7_usingv
142 // CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
143 }
144