2b4e8cf050
The exrl-trt* tests use two pre-initialized variables for the
results of the assembly code:
uint64_t r1 = 0xffffffffffffffffull;
uint64_t r2 = 0xffffffffffffffffull;
But then the assembly code copies over the full contents
of the register into the output variable, without taking
care of this pre-initialized values:
" lgr %[r1],%%r1\n"
" lgr %[r2],%%r2\n"
The code then finally compares the register contents to
a value that apparently depends on the pre-initialized values:
if (r2 != 0xffffffffffffffaaull) {
write(1, "bad r2\n", 7);
return 1;
}
This all works with GCC, since the 0xffffffffffffffff got into
the r2 register there by accident, but it fails completely with
Clang.
Let's fix this by declaring the r1 and r2 variables as proper
register variables instead, so the pre-initialized values get
correctly passed into the inline assembly code.
Message-Id: <20220301092431.1448419-1-thuth@redhat.com>
Reviewed-by: David Hildenbrand <david@redhat.com>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Thomas Huth <thuth@redhat.com>
47 lines
1009 B
C
47 lines
1009 B
C
#include <stdint.h>
|
|
#include <unistd.h>
|
|
|
|
int main(void)
|
|
{
|
|
char op1[] = "hello";
|
|
char op2[256];
|
|
register uint64_t r1 asm("r1") = 0xffffffffffffffffull;
|
|
register uint64_t r2 asm("r2") = 0xffffffffffffffffull;
|
|
uint64_t cc;
|
|
int i;
|
|
|
|
for (i = 0; i < 256; i++) {
|
|
if (i == 0) {
|
|
op2[i] = 0xaa;
|
|
} else {
|
|
op2[i] = 0;
|
|
}
|
|
}
|
|
asm volatile(
|
|
" j 2f\n"
|
|
"1: trt 0(1,%[op1]),%[op2]\n"
|
|
"2: exrl %[op1_len],1b\n"
|
|
" ipm %[cc]\n"
|
|
: [r1] "+r" (r1),
|
|
[r2] "+r" (r2),
|
|
[cc] "=r" (cc)
|
|
: [op1] "a" (&op1),
|
|
[op1_len] "a" (5),
|
|
[op2] "Q" (op2)
|
|
: "cc");
|
|
cc = (cc >> 28) & 3;
|
|
if (cc != 2) {
|
|
write(1, "bad cc\n", 7);
|
|
return 1;
|
|
}
|
|
if ((char *)r1 != &op1[5]) {
|
|
write(1, "bad r1\n", 7);
|
|
return 1;
|
|
}
|
|
if (r2 != 0xffffffffffffffaaull) {
|
|
write(1, "bad r2\n", 7);
|
|
return 1;
|
|
}
|
|
return 0;
|
|
}
|