| // REQUIRES: x86-registered-target |
| // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -fms-extensions -fasm-blocks -Wno-microsoft -Wunused-label -verify -fsyntax-only |
| |
| void t1(void) { |
| __asm __asm // expected-error {{__asm used with no assembly instructions}} |
| } |
| |
| void f() { |
| int foo; |
| __asm { |
| mov eax, eax |
| .unknowndirective // expected-error {{unknown directive}} |
| } |
| f(); |
| __asm { |
| mov eax, 1+=2 // expected-error {{unknown token in expression}} |
| } |
| f(); |
| __asm { |
| mov eax, 1+++ // expected-error {{unknown token in expression}} |
| } |
| f(); |
| __asm { |
| mov eax, LENGTH bar // expected-error {{unable to lookup expression}} |
| } |
| f(); |
| __asm { |
| mov eax, SIZE bar // expected-error {{unable to lookup expression}} |
| } |
| f(); |
| __asm { |
| mov eax, TYPE bar // expected-error {{unable to lookup expression}} expected-error {{use of undeclared label 'bar'}} |
| } |
| } |
| |
| void rdar15318432(void) { |
| // We used to crash on this. When LLVM called back to Clang to parse a name |
| // and do name lookup, if parsing failed, we did not restore the lexer state |
| // properly. |
| |
| __asm { |
| and ecx, ~15 |
| } |
| |
| int x = 0; |
| __asm { |
| and ecx, x |
| and ecx, ~15 |
| } |
| } |
| |
| static int global; |
| |
| int t2(int *arr, int i) { |
| __asm { |
| mov eax, arr; |
| mov eax, arr[0]; |
| mov eax, arr[1 + 2]; |
| mov eax, arr[1 + (2 * 5) - 3 + 1<<1]; |
| } |
| |
| // expected-error@+1 {{cannot use base register with variable reference}} |
| __asm { mov eax, arr[ebp + 1 + (2 * 5) - 3 + 1<<1] } |
| // expected-error@+1 {{cannot use index register with variable reference}} |
| __asm { mov eax, arr[esi * 4] } |
| // expected-error@+1 {{cannot use more than one symbol in memory operand}} |
| __asm { mov eax, arr[i] } |
| // expected-error@+1 {{cannot use more than one symbol in memory operand}} |
| __asm { mov eax, global[i] } |
| |
| // FIXME: Why don't we diagnose this? |
| // expected-Xerror@+1 {{cannot reference multiple local variables in assembly operand}} |
| //__asm mov eax, [arr + i]; |
| return 0; |
| } |
| |
| typedef struct { |
| int a; |
| int b; |
| } A; |
| |
| void t3() { |
| __asm { mov eax, [eax] UndeclaredId } // expected-error {{unknown token in expression}} expected-error {{use of undeclared label 'UndeclaredId'}} |
| |
| // FIXME: Only emit one diagnostic here. |
| // expected-error@+3 {{use of undeclared label 'A'}} |
| // expected-error@+2 {{unexpected type name 'A': expected expression}} |
| // expected-error@+1 {{unknown token in expression}} |
| __asm { mov eax, [eax] A } |
| } |
| |
| void t4() { |
| // The dot in the "intel dot operator" is optional in MSVC. MSVC also does |
| // global field lookup, but we don't. |
| __asm { mov eax, [0] A.a } |
| __asm { mov eax, [0].A.a } |
| __asm { mov eax, [0].a } // expected-error {{Unable to lookup field reference!}} |
| __asm { mov eax, fs:[0] A.a } |
| __asm { mov eax, fs:[0].A.a } |
| __asm { mov eax, fs:[0].a } // expected-error {{Unable to lookup field reference!}} |
| __asm { mov eax, fs:[0]. A.a } // expected-error {{Unexpected token type!}} |
| } |
| |
| void test_operand_size() { |
| __asm { call word t4 } // expected-error {{Expected 'PTR' or 'ptr' token!}} |
| } |
| |
| __declspec(naked) int t5(int x) { // expected-note {{attribute is here}} |
| asm { movl eax, x } // expected-error {{parameter references not allowed in naked functions}} expected-error {{use of undeclared label 'x'}} |
| asm { retl } |
| } |
| |
| int y; |
| __declspec(naked) int t6(int x) { |
| asm { mov eax, y } // No error. |
| asm { ret } |
| } |
| |
| void t7() { |
| __asm { |
| foo: // expected-note {{inline assembly label 'foo' declared here}} |
| mov eax, 0 |
| } |
| goto foo; // expected-error {{cannot jump from this goto statement to label 'foo' inside an inline assembly block}} |
| } |
| |
| void t8() { |
| __asm foo: // expected-note {{inline assembly label 'foo' declared here}} |
| __asm mov eax, 0 |
| goto foo; // expected-error {{cannot jump from this goto statement to label 'foo' inside an inline assembly block}} |
| } |
| |
| void t9() { |
| goto foo; // expected-error {{cannot jump from this goto statement to label 'foo' inside an inline assembly block}} |
| __asm { |
| foo: // expected-note {{inline assembly label 'foo' declared here}} |
| mov eax, 0 |
| } |
| } |
| |
| void t10() { |
| goto foo; // expected-error {{cannot jump from this goto statement to label 'foo' inside an inline assembly block}} |
| __asm foo: // expected-note {{inline assembly label 'foo' declared here}} |
| __asm mov eax, 0 |
| } |
| |
| void t11() { |
| foo: |
| __asm mov eax, foo // expected-error {{use of undeclared label 'foo'}} expected-warning {{unused label 'foo'}} |
| } |
| |
| void t12() { |
| __asm foo: |
| __asm bar: // expected-warning {{unused label 'bar'}} |
| __asm jmp foo |
| } |