forked from OSchip/llvm-project
[X86][MS-InlineAsm] Extended support for variables / identifiers on memory / immediate expressions
Allow the proper recognition of Enum values and global variables inside ms inline-asm memory / immediate expressions, as they require some additional overhead and treated incorrect if doesn't early recognized. supersedes D33277, D35775 Corrsponds with D37412, D37413 llvm-svn: 314300
This commit is contained in:
parent
3bcc9f0c1f
commit
0b1ed7e19a
|
@ -0,0 +1,54 @@
|
||||||
|
// REQUIRES: x86-registered-target
|
||||||
|
// RUN: %clang_cc1 %s -fasm-blocks -triple i386-apple-darwin10 -emit-llvm -o - | FileCheck %s
|
||||||
|
|
||||||
|
namespace x {
|
||||||
|
enum { A = 12 };
|
||||||
|
struct y_t {
|
||||||
|
enum { A = 17 };
|
||||||
|
int r;
|
||||||
|
} y;
|
||||||
|
}
|
||||||
|
|
||||||
|
// CHECK-LABEL: t1
|
||||||
|
void t1() {
|
||||||
|
enum { A = 1 };
|
||||||
|
// CHECK: call void asm
|
||||||
|
// CHECK-SAME: mov eax, $$12
|
||||||
|
__asm mov eax, x::A
|
||||||
|
// CHECK-SAME: mov eax, $$17
|
||||||
|
__asm mov eax, x::y_t::A
|
||||||
|
// CHECK-NEXT: call void asm
|
||||||
|
// CHECK-SAME: mov eax, $$1
|
||||||
|
__asm {mov eax, A}
|
||||||
|
}
|
||||||
|
|
||||||
|
// CHECK-LABEL: t2
|
||||||
|
void t2() {
|
||||||
|
enum { A = 1, B };
|
||||||
|
// CHECK: call void asm
|
||||||
|
// CHECK-SAME: mov eax, $$21
|
||||||
|
__asm mov eax, (A + 9) * 2 + A
|
||||||
|
// CHECK-SAME: mov eax, $$4
|
||||||
|
__asm mov eax, A << 2
|
||||||
|
// CHECK-SAME: mov eax, $$2
|
||||||
|
__asm mov eax, B & 3
|
||||||
|
// CHECK-SAME: mov eax, $$5
|
||||||
|
__asm mov eax, 3 + (B & 3)
|
||||||
|
// CHECK-SAME: mov eax, $$8
|
||||||
|
__asm mov eax, 2 << A * B
|
||||||
|
}
|
||||||
|
|
||||||
|
// CHECK-LABEL: t3
|
||||||
|
void t3() {
|
||||||
|
int arr[4];
|
||||||
|
enum { A = 4, B };
|
||||||
|
// CHECK: call void asm
|
||||||
|
// CHECK-SAME: mov eax, [eax + $$47]
|
||||||
|
__asm { mov eax, [(x::A + 9) + A * B + 3 + 3 + eax] }
|
||||||
|
// CHECK-NEXT: call void asm
|
||||||
|
// CHECK-SAME: mov eax, dword ptr $0[$$4]
|
||||||
|
__asm { mov eax, dword ptr [arr + A] }
|
||||||
|
// CHECK-NEXT: call void asm
|
||||||
|
// CHECK-SAME: mov eax, dword ptr $0[$$8]
|
||||||
|
__asm { mov eax, dword ptr A[arr + A] }
|
||||||
|
}
|
|
@ -0,0 +1,35 @@
|
||||||
|
// REQUIRES: x86-registered-target
|
||||||
|
// RUN: %clang_cc1 %s -fasm-blocks -triple i386-apple-darwin10 -emit-llvm -o - | FileCheck %s
|
||||||
|
|
||||||
|
int gVar;
|
||||||
|
void t1() {
|
||||||
|
// CHECK: add eax, dword ptr gVar[eax]
|
||||||
|
__asm add eax, dword ptr gVar[eax]
|
||||||
|
// CHECK: add dword ptr gVar[eax], eax
|
||||||
|
__asm add dword ptr [eax+gVar], eax
|
||||||
|
// CHECK: add ebx, dword ptr gVar[ebx + $$270]
|
||||||
|
__asm add ebx, dword ptr gVar[271 - 82 + 81 + ebx]
|
||||||
|
// CHECK: add dword ptr gVar[ebx + $$828], ebx
|
||||||
|
__asm add dword ptr [ebx + gVar + 828], ebx
|
||||||
|
// CHECK: add ecx, dword ptr gVar[ecx + ecx * $$4 + $$4590]
|
||||||
|
__asm add ecx, dword ptr gVar[4590 + ecx + ecx*4]
|
||||||
|
// CHECK: add dword ptr gVar[ecx + ecx * $$8 + $$73], ecx
|
||||||
|
__asm add dword ptr [gVar + ecx + 45 + 23 - 53 + 60 - 2 + ecx*8], ecx
|
||||||
|
// CHECK: add gVar[ecx + ebx + $$7], eax
|
||||||
|
__asm add 1 + 1 + 2 + 3[gVar + ecx + ebx], eax
|
||||||
|
}
|
||||||
|
|
||||||
|
void t2() {
|
||||||
|
int lVar;
|
||||||
|
// CHECK: mov eax, dword ptr ${{[0-9]}}[eax]
|
||||||
|
__asm mov eax, dword ptr lVar[eax]
|
||||||
|
// CHECK: mov dword ptr ${{[0-9]}}[eax], eax
|
||||||
|
__asm mov dword ptr [eax+lVar], eax
|
||||||
|
// CHECK: mov ebx, dword ptr ${{[0-9]}}[ebx + $$270]
|
||||||
|
__asm mov ebx, dword ptr lVar[271 - 82 + 81 + ebx]
|
||||||
|
// CHECK: mov dword ptr ${{[0-9]}}[ebx + $$828], ebx
|
||||||
|
__asm mov dword ptr [ebx + lVar + 828], ebx
|
||||||
|
// CHECK: mov ${{[0-9]}}[ebx + $$47], eax
|
||||||
|
__asm mov 5 + 8 + 13 + 21[lVar + ebx], eax
|
||||||
|
}
|
||||||
|
|
Loading…
Reference in New Issue