d4de4c3eaf
Modify the initial implementation (https://reviews.llvm.org/D46745) to support a constant offset so that the following code will compile: ``` int a[2][2]; void foo() { asm("// %0" :: "S"(&a[1][1])); } ``` We use the generic code path for "s". In GCC's aarch64 port, "S" is supported for PIC while "s" isn't, making "s" less useful. We implement "S" but not "s". Similar to #80201 for RISC-V.
66 lines
2.1 KiB
C
66 lines
2.1 KiB
C
// RUN: %clang_cc1 -triple aarch64 -fsyntax-only -verify -DVERIFY %s
|
|
// RUN: %clang_cc1 -triple arm64-apple-darwin -fsyntax-only -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
|
|
|
|
typedef unsigned char uint8_t;
|
|
|
|
#ifdef VERIFY
|
|
void test_s(int i) {
|
|
asm("" :: "s"(i)); // expected-error{{invalid input constraint 's' in asm}}
|
|
|
|
/// Codegen error
|
|
asm("" :: "S"(i));
|
|
asm("" :: "S"(test_s(i))); // expected-error{{invalid type 'void' in asm input for constraint 'S'}}
|
|
}
|
|
#else
|
|
uint8_t constraint_r(uint8_t *addr) {
|
|
uint8_t byte;
|
|
|
|
__asm__ volatile("ldrb %0, [%1]" : "=r" (byte) : "r" (addr) : "memory");
|
|
// CHECK: warning: value size does not match register size specified by the constraint and modifier
|
|
// CHECK: note: use constraint modifier "w"
|
|
// CHECK: fix-it:{{.*}}:{[[#@LINE-3]]:26-[[#@LINE-3]]:28}:"%w0"
|
|
|
|
return byte;
|
|
}
|
|
|
|
uint8_t constraint_r_symbolic(uint8_t *addr) {
|
|
uint8_t byte;
|
|
|
|
__asm__ volatile("ldrb %[s0], [%[s1]]" : [s0] "=r" (byte) : [s1] "r" (addr) : "memory");
|
|
// CHECK: warning: value size does not match register size specified by the constraint and modifier
|
|
// CHECK: note: use constraint modifier "w"
|
|
// CHECK: fix-it:{{.*}}:{[[#@LINE-3]]:26-[[#@LINE-3]]:31}:"%w[s0]"
|
|
|
|
return byte;
|
|
}
|
|
|
|
#define PERCENT "%"
|
|
|
|
uint8_t constraint_r_symbolic_macro(uint8_t *addr) {
|
|
uint8_t byte;
|
|
|
|
__asm__ volatile("ldrb "PERCENT"[s0], [%[s1]]" : [s0] "=r" (byte) : [s1] "r" (addr) : "memory");
|
|
// CHECK: warning: value size does not match register size specified by the constraint and modifier
|
|
// CHECK: note: use constraint modifier "w"
|
|
// CHECK-NOT: fix-it
|
|
|
|
return byte;
|
|
}
|
|
|
|
// CHECK: warning: value size does not match register size specified by the constraint and modifier
|
|
// CHECK: asm ("%w0 %w1 %2" : "+r" (one) : "r" (wide_two));
|
|
// CHECK: note: use constraint modifier "w"
|
|
|
|
void read_write_modifier0(int one, int two) {
|
|
long wide_two = two;
|
|
asm ("%w0 %w1 %2" : "+r" (one) : "r" (wide_two));
|
|
// CHECK: fix-it:{{.*}}:{[[#@LINE-1]]:17-[[#@LINE-1]]:19}:"%w2"
|
|
}
|
|
|
|
// CHECK-NOT: warning:
|
|
void read_write_modifier1(int one, int two) {
|
|
long wide_two = two;
|
|
asm ("%w0 %1" : "+r" (one), "+r" (wide_two));
|
|
}
|
|
#endif
|