diff options
author | Stefan Schulze Frielinghaus <stefansf@linux.ibm.com> | 2024-03-13 11:05:08 +0100 |
---|---|---|
committer | Stefan Schulze Frielinghaus <stefansf@linux.ibm.com> | 2024-03-13 11:05:08 +0100 |
commit | a63fb786f8564880c91a30b99fda6d8a44adf81d (patch) | |
tree | 6ac6676e1424af45f54b0941da0fbf88e3d63477 | |
parent | 9f2b16ce1efef0648a6d52c1d744735c46e2eec1 (diff) | |
download | gcc-a63fb786f8564880c91a30b99fda6d8a44adf81d.zip gcc-a63fb786f8564880c91a30b99fda6d8a44adf81d.tar.gz gcc-a63fb786f8564880c91a30b99fda6d8a44adf81d.tar.bz2 |
s390: Fix tests rosbg_si_srl and rxsbg_si_srl
Starting with r14-2047-gd0e891406b16dc two SI mode tests are optimized
into DI mode. Thus, the scan-assembler directives fail. For example
RTL expression
(ior:SI (subreg:SI (lshiftrt:DI (reg:DI 69)
(const_int 2 [0x2])) 4)
(subreg:SI (reg:DI 68) 4))
is optimized into
(ior:DI (lshiftrt:DI (reg:DI 69)
(const_int 2 [0x2]))
(reg:DI 68))
Fixed by moving operands into memory in order to enforce SI mode
computation.
Furthermore, in r9-6056-g290dfd9bc7bea2 the starting bit position of the
scan-assembler directive for rosbg was incorrectly set to 32 which
actually should be 32+SHIFT_AMOUNT, i.e., in this particular case 34.
gcc/testsuite/ChangeLog:
* gcc.target/s390/md/rXsbg_mode_sXl.c: Fix tests rosbg_si_srl
and rxsbg_si_srl.
-rw-r--r-- | gcc/testsuite/gcc.target/s390/md/rXsbg_mode_sXl.c | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/gcc/testsuite/gcc.target/s390/md/rXsbg_mode_sXl.c b/gcc/testsuite/gcc.target/s390/md/rXsbg_mode_sXl.c index ede8138..cf454d2 100644 --- a/gcc/testsuite/gcc.target/s390/md/rXsbg_mode_sXl.c +++ b/gcc/testsuite/gcc.target/s390/md/rXsbg_mode_sXl.c @@ -22,6 +22,8 @@ { dg-skip-if "" { *-*-* } { "*" } { "-march=*" } } */ +unsigned int a, b; + __attribute__ ((noinline)) unsigned int si_sll (unsigned int x) { @@ -42,11 +44,11 @@ rosbg_si_sll (unsigned int a, unsigned int b) /* { dg-final { scan-assembler-times "rosbg\t%r.,%r.,32,62,1" 1 } } */ __attribute__ ((noinline)) unsigned int -rosbg_si_srl (unsigned int a, unsigned int b) +rosbg_si_srl (void) { return a | (b >> 2); } -/* { dg-final { scan-assembler-times "rosbg\t%r.,%r.,32,63,62" 1 } } */ +/* { dg-final { scan-assembler-times "rosbg\t%r.,%r.,34,63,62" 1 } } */ __attribute__ ((noinline)) unsigned int rxsbg_si_sll (unsigned int a, unsigned int b) @@ -56,11 +58,11 @@ rxsbg_si_sll (unsigned int a, unsigned int b) /* { dg-final { scan-assembler-times "rxsbg\t%r.,%r.,32,62,1" 1 } } */ __attribute__ ((noinline)) unsigned int -rxsbg_si_srl (unsigned int a, unsigned int b) +rxsbg_si_srl (void) { return a ^ (b >> 2); } -/* { dg-final { scan-assembler-times "rxsbg\t%r.,%r.,32,63,62" 1 } } */ +/* { dg-final { scan-assembler-times "rxsbg\t%r.,%r.,34,63,62" 1 } } */ __attribute__ ((noinline)) unsigned long long di_sll (unsigned long long x) @@ -108,21 +110,21 @@ main (void) /* SIMode */ { unsigned int r; - unsigned int a = 0x12488421u; - unsigned int b = 0x88881111u; + a = 0x12488421u; + b = 0x88881111u; unsigned int csll = si_sll (b); unsigned int csrl = si_srl (b); r = rosbg_si_sll (a, b); if (r != (a | csll)) __builtin_abort (); - r = rosbg_si_srl (a, b); + r = rosbg_si_srl (); if (r != (a | csrl)) __builtin_abort (); r = rxsbg_si_sll (a, b); if (r != (a ^ csll)) __builtin_abort (); - r = rxsbg_si_srl (a, b); + r = rxsbg_si_srl (); if (r != (a ^ csrl)) __builtin_abort (); } |