mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-05-16 19:06:47 +00:00
2f93b448a8
Summary: This patch extends the __asm parser to make it keep parsing input tokens as inline assembly if a single-line __asm line is followed by another line starting with __asm too. It also makes sure that we correctly keep matching braces in such situations by separating the notions of how many braces we are matching and whether we are in single-line asm block mode. Reviewers: rnk Subscribers: cfe-commits Differential Revision: http://reviews.llvm.org/D4598 llvm-svn: 213916
125 lines
3.7 KiB
C++
125 lines
3.7 KiB
C++
// REQUIRES: x86-registered-target
|
|
// RUN: %clang_cc1 -x c++ %s -triple i386-apple-darwin10 -fasm-blocks -emit-llvm -o - -std=c++11 | FileCheck %s
|
|
|
|
// rdar://13645930
|
|
|
|
struct Foo {
|
|
static int *ptr;
|
|
static int a, b;
|
|
int arr[4];
|
|
struct Bar {
|
|
static int *ptr;
|
|
char arr[2];
|
|
};
|
|
};
|
|
|
|
void t1() {
|
|
Foo::ptr = (int *)0xDEADBEEF;
|
|
Foo::Bar::ptr = (int *)0xDEADBEEF;
|
|
__asm mov eax, Foo ::ptr
|
|
__asm mov eax, Foo :: Bar :: ptr
|
|
__asm mov eax, [Foo:: ptr]
|
|
__asm mov eax, dword ptr [Foo :: ptr]
|
|
__asm mov eax, dword ptr [Foo :: ptr]
|
|
// CHECK: @_Z2t1v
|
|
// 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)
|
|
}
|
|
|
|
int gvar = 10;
|
|
void t2() {
|
|
int lvar = 10;
|
|
__asm mov eax, offset Foo::ptr
|
|
__asm mov eax, offset Foo::Bar::ptr
|
|
// CHECK: t2
|
|
// CHECK: call void asm sideeffect inteldialect "mov eax, $0\0A\09mov eax, $1", "r,r,~{eax},~{dirflag},~{fpsr},~{flags}"(i32** @_ZN3Foo3ptrE, i32** @_ZN3Foo3Bar3ptrE)
|
|
}
|
|
|
|
// CHECK-LABEL: define void @_Z2t3v()
|
|
void t3() {
|
|
__asm mov eax, LENGTH Foo::ptr
|
|
__asm mov eax, LENGTH Foo::Bar::ptr
|
|
__asm mov eax, LENGTH Foo::arr
|
|
__asm mov eax, LENGTH Foo::Bar::arr
|
|
|
|
__asm mov eax, TYPE Foo::ptr
|
|
__asm mov eax, TYPE Foo::Bar::ptr
|
|
__asm mov eax, TYPE Foo::arr
|
|
__asm mov eax, TYPE Foo::Bar::arr
|
|
|
|
__asm mov eax, SIZE Foo::ptr
|
|
__asm mov eax, SIZE Foo::Bar::ptr
|
|
__asm mov eax, SIZE Foo::arr
|
|
__asm mov eax, SIZE Foo::Bar::arr
|
|
// 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}"()
|
|
|
|
}
|
|
|
|
struct T4 {
|
|
int x;
|
|
static int y;
|
|
void test();
|
|
};
|
|
|
|
// CHECK-LABEL: define void @_ZN2T44testEv(
|
|
void T4::test() {
|
|
// CHECK: [[T0:%.*]] = alloca [[T4:%.*]]*,
|
|
// CHECK: [[THIS:%.*]] = load [[T4]]** [[T0]]
|
|
// CHECK: [[X:%.*]] = getelementptr inbounds [[T4]]* [[THIS]], i32 0, i32 0
|
|
__asm mov eax, x;
|
|
__asm mov y, eax;
|
|
// 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* %x)
|
|
}
|
|
|
|
template <class T> struct T5 {
|
|
template <class U> static T create(U);
|
|
void run();
|
|
};
|
|
// CHECK-LABEL: define void @_Z5test5v()
|
|
void test5() {
|
|
// CHECK: [[X:%.*]] = alloca i32
|
|
// CHECK: [[Y:%.*]] = alloca i32
|
|
int x, y;
|
|
__asm push y
|
|
__asm call T5<int>::create<float>
|
|
__asm mov x, eax
|
|
// CHECK: call void asm sideeffect inteldialect "push dword ptr $0\0A\09call $2\0A\09mov dword ptr $1, eax", "=*m,=*m,r,~{esp},~{dirflag},~{fpsr},~{flags}"(i32* %y, i32* %x, i32 (float)* @_ZN2T5IiE6createIfEEiT_)
|
|
}
|
|
|
|
// Just verify this doesn't emit an error.
|
|
void test6() {
|
|
__asm {
|
|
a:
|
|
jmp a
|
|
}
|
|
}
|
|
|
|
void t7_struct() {
|
|
struct A {
|
|
int a;
|
|
int b;
|
|
};
|
|
__asm mov eax, [eax].A.b
|
|
// CHECK-LABEL: define void @_Z9t7_structv
|
|
// CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
|
|
}
|
|
|
|
void t7_typedef() {
|
|
typedef struct {
|
|
int a;
|
|
int b;
|
|
} A;
|
|
__asm mov eax, [eax].A.b
|
|
// CHECK-LABEL: define void @_Z10t7_typedefv
|
|
// CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
|
|
}
|
|
|
|
void t7_using() {
|
|
using A = struct {
|
|
int a;
|
|
int b;
|
|
};
|
|
__asm mov eax, [eax].A.b
|
|
// CHECK-LABEL: define void @_Z8t7_usingv
|
|
// CHECK: call void asm sideeffect inteldialect "mov eax, [eax].4", "~{eax},~{dirflag},~{fpsr},~{flags}"()
|
|
}
|