• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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