From 4b04107b254614bd041e61aacb514d19bccba212 Mon Sep 17 00:00:00 2001 From: Kyrylo Tkachov Date: Fri, 19 Jan 2018 10:41:57 +0000 Subject: [PATCH] [arm] Fix gcc.target/arm/negdi-[12].c These tests are failing for a silly reason. They scan for an occurrence of the NEGS instruction. NEGS (and NEG in general) is a pre-UAL alias of RSB with an immediate of 0 and we only emit it in one pattern: *thumb2_negsi2_short in thumb2.md. In all other instances of negation we emit the modern RSB mnemonic. This causes needless differences in assembly output. For example, for these testcases we emit NEG when compiling for -march=armv7-a, but for armv7ve we emit RSB, causing the scan-assembler tests to fail. This patch updates the *thumb2_negsi2_short pattern to use the RSB mnemonic and fixes the flaky scan-assembler directives. These tests now pass for my compiler configured with: --with-cpu=cortex-a15 --with-fpu=neon-vfpv4 --with-float=hard --with-mode=thumb Bootstrapped and tested on arm-none-linux-gnueabihf as well. * config/arm/thumb2.md (*thumb2_negsi2_short): Use RSB mnemonic instead of NEG. * gcc.target/arm/negdi-1.c: Remove bogus assembler scan for negs. * gcc.target/arm/negdi-2.c: Likewise. * gcc.target/arm/thumb-16bit-ops.c: Replace scan for NEGS with RSBS. --This line,gand those below, will be ignored-- M gcc/config/arm/thumb2.md M gcc/ChangeLog M gcc/testsuite/gcc.target/arm/thumb-16bit-ops.c M gcc/testsuite/gcc.target/arm/negdi-1.c M gcc/testsuite/gcc.target/arm/negdi-2.c M gcc/testsuite/ChangeLog From-SVN: r256881 --- gcc/ChangeLog | 5 +++++ gcc/config/arm/thumb2.md | 2 +- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/gcc.target/arm/negdi-1.c | 3 +-- gcc/testsuite/gcc.target/arm/negdi-2.c | 3 +-- gcc/testsuite/gcc.target/arm/thumb-16bit-ops.c | 2 +- 6 files changed, 15 insertions(+), 6 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4a52a30..5feefb2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2018-01-19 Kyrylo Tkachov + + * config/arm/thumb2.md (*thumb2_negsi2_short): Use RSB mnemonic + instead of NEG. + 2018-01-18 Jakub Jelinek PR sanitizer/81715 diff --git a/gcc/config/arm/thumb2.md b/gcc/config/arm/thumb2.md index e2e2298..8eb2000 100644 --- a/gcc/config/arm/thumb2.md +++ b/gcc/config/arm/thumb2.md @@ -1420,7 +1420,7 @@ (neg:SI (match_operand:SI 1 "low_register_operand" "l"))) (clobber (reg:CC CC_REGNUM))] "TARGET_THUMB2 && reload_completed" - "neg%!\t%0, %1" + "rsb%!\t%0, %1, #0" [(set_attr "predicable" "yes") (set_attr "length" "2") (set_attr "type" "alu_sreg")] diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a0000cd..ef52565 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,11 @@ 2018-01-19 Kyrylo Tkachov + * gcc.target/arm/negdi-1.c: Remove bogus assembler scan for negs. + * gcc.target/arm/negdi-2.c: Likewise. + * gcc.target/arm/thumb-16bit-ops.c: Replace scan for NEGS with RSBS. + +2018-01-19 Kyrylo Tkachov + * gcc.target/arm/pr40956.c: Adjust scan-assembler pattern. 2018-01-19 Kyrylo Tkachov diff --git a/gcc/testsuite/gcc.target/arm/negdi-1.c b/gcc/testsuite/gcc.target/arm/negdi-1.c index c9bef04..efa49ad 100644 --- a/gcc/testsuite/gcc.target/arm/negdi-1.c +++ b/gcc/testsuite/gcc.target/arm/negdi-1.c @@ -12,6 +12,5 @@ Expected output: rsb r0, r0, #0 mov r1, r0, asr #31 */ -/* { dg-final { scan-assembler-times "rsb" 1 { target { arm_nothumb } } } } */ -/* { dg-final { scan-assembler-times "negs\\t" 1 { target { ! { arm_nothumb } } } } } */ +/* { dg-final { scan-assembler-times "rsbs?\\t...?, ...?, #0" 1 } } */ /* { dg-final { scan-assembler-times "asr" 1 } } */ diff --git a/gcc/testsuite/gcc.target/arm/negdi-2.c b/gcc/testsuite/gcc.target/arm/negdi-2.c index 4444c20..38dffed 100644 --- a/gcc/testsuite/gcc.target/arm/negdi-2.c +++ b/gcc/testsuite/gcc.target/arm/negdi-2.c @@ -11,6 +11,5 @@ Expected output: rsb r0, r0, #0 mov r1, #0 */ -/* { dg-final { scan-assembler-times "rsb\\t...?, ...?, #0" 1 { target { arm_nothumb } } } } */ -/* { dg-final { scan-assembler-times "negs\\t...?, ...?" 1 { target { ! arm_nothumb } } } } */ +/* { dg-final { scan-assembler-times "rsbs?\\t...?, ...?, #0" 1 } } */ /* { dg-final { scan-assembler-times "mov" 1 } } */ diff --git a/gcc/testsuite/gcc.target/arm/thumb-16bit-ops.c b/gcc/testsuite/gcc.target/arm/thumb-16bit-ops.c index 90407eb..9f4f659 100644 --- a/gcc/testsuite/gcc.target/arm/thumb-16bit-ops.c +++ b/gcc/testsuite/gcc.target/arm/thumb-16bit-ops.c @@ -200,4 +200,4 @@ s (int a, int b) return -b; } -/* { dg-final { scan-assembler "negs r0, r1" } } */ +/* { dg-final { scan-assembler "rsbs r0, r1, #0" } } */ -- 2.7.4