diff options
Diffstat (limited to 'test/Sema/inline-asm-validate-x86.c')
| -rw-r--r-- | test/Sema/inline-asm-validate-x86.c | 105 |
1 files changed, 105 insertions, 0 deletions
diff --git a/test/Sema/inline-asm-validate-x86.c b/test/Sema/inline-asm-validate-x86.c new file mode 100644 index 0000000000..174deca80b --- /dev/null +++ b/test/Sema/inline-asm-validate-x86.c @@ -0,0 +1,105 @@ +// RUN: %clang_cc1 -triple i686 -fsyntax-only -verify %s +// RUN: %clang_cc1 -triple x86_64 -fsyntax-only -verify %s + +void I(int i, int j) { + static const int BelowMin = -1; + static const int AboveMax = 32; + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "I"(j)); // expected-error{{invalid type 'int' in asm input for constraint 'I'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "I"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'I'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "I"(AboveMax)); // expected-error{{value '32' out of range for constraint 'I'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "I"(16)); // expected-no-error +} + +void J(int i, int j) { + static const int BelowMin = -1; + static const int AboveMax = 64; + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "J"(j)); // expected-error{{invalid type 'int' in asm input for constraint 'J'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "J"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'J'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "J"(AboveMax)); // expected-error{{value '64' out of range for constraint 'J'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "J"(32)); // expected-no-error +} + +void K(int i, int j) { + static const int BelowMin = -129; + static const int AboveMax = 128; + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "K"(j)); // expected-error{{invalid type 'int' in asm input for constraint 'K'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "K"(BelowMin)); // expected-error{{value '-129' out of range for constraint 'K'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "K"(AboveMax)); // expected-error{{value '128' out of range for constraint 'K'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "K"(96)); // expected-no-error +} + +void M(int i, int j) { + static const int BelowMin = -1; + static const int AboveMax = 4; + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "M"(j)); // expected-error{{invalid type 'int' in asm input for constraint 'M'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "M"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'M'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "M"(AboveMax)); // expected-error{{value '4' out of range for constraint 'M'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "M"(2)); // expected-no-error +} + +void N(int i, int j) { + static const int BelowMin = -1; + static const int AboveMax = 256; + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "N"(j)); // expected-error{{invalid type 'int' in asm input for constraint 'N'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "N"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'N'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "N"(AboveMax)); // expected-error{{value '256' out of range for constraint 'N'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "N"(128)); // expected-no-error +} + +void O(int i, int j) { + static const int BelowMin = -1; + static const int AboveMax = 128; + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "O"(j)); // expected-error{{invalid type 'int' in asm input for constraint 'O'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "O"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'O'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "O"(AboveMax)); // expected-error{{value '128' out of range for constraint 'O'}} + __asm__("xorl %0,%2" + : "=r"(i) + : "0"(i), "O"(64)); // expected-no-error +} + |