diff mbox series

[pushed] arm: fix testsuite failure of reg_equal_test.c [PR101755]

Message ID 20220412123852.3186212-1-rearnsha@arm.com
State New
Headers show
Series [pushed] arm: fix testsuite failure of reg_equal_test.c [PR101755] | expand

Commit Message

Richard Earnshaw April 12, 2022, 12:38 p.m. UTC 
The test failure in PR101755 is due to the gimple optimizers getting
smarter.  But really we are just testing that RTL expansion is doing
the right thing and annotating a constant accordingly.  So rework the
test to use GIMPLE input and simplify the code entirely.  Also, this
test only ever worked on architecture versions with the MOVW/MOVT
instructions, so check for this before running.

gcc/testsuite/ChangeLog:

	PR target/101755
	* gcc.target/arm/reg_equal_test.c: Convert to gimple test.  Restrict
	to architectures with MOVW/MOVT.
---
 gcc/testsuite/gcc.target/arm/reg_equal_test.c | 25 ++++++-------------
 1 file changed, 8 insertions(+), 17 deletions(-)
diff mbox series

Patch

diff --git a/gcc/testsuite/gcc.target/arm/reg_equal_test.c b/gcc/testsuite/gcc.target/arm/reg_equal_test.c
index 58fa9dd9b94..d87c75cc27c 100644
--- a/gcc/testsuite/gcc.target/arm/reg_equal_test.c
+++ b/gcc/testsuite/gcc.target/arm/reg_equal_test.c
@@ -1,24 +1,15 @@ 
 /* { dg-do compile } */
-/* { dg-options "-O1 -fdump-rtl-expand" } */
+/* { dg-options "-fgimple -O1 -fdump-rtl-expand" } */
+/* { dg-skip-if "" { ! { arm_thumb2_ok || arm_thumb1_movt_ok } } } */
 
-extern void abort (void);
-unsigned int a = 1;
-
-int
-main (void)
+void __GIMPLE (ssa,startwith ("expand"))
+x ()
 {
-  unsigned int b, c, d;
-
-  if (sizeof (int) != 4 || (int) 0xc7d24b5e > 0)
-    return 0;
-
-  c = 0xc7d24b5e;
-  d = a | -2;
-  b = (d == 0) ? c : (c % d);
-  if (b != c)
-    abort ();
+  unsigned int d;
 
-  return 0;
+  __BB(2,guessed_local(1073741824)):
+  d_1 = 3352447838u;
+  return;
 }
 
 /* { dg-final { scan-rtl-dump "expr_list:REG_EQUAL \\(const_int -942519458" "expand" } } */