testsuite: Fix guality/ipa-sra-1.c to work with return IPA-VRP

The test guality/ipa-sra-1.c stopped working after
r14-5628-g53ba8d669550d3 because the variable from which the values of
removed parameters could be calculated is also removed with it.  Fixed
with this patch which stops a function from returning a constant.

I have also noticed that the XFAILed test passes at -O0 -O1 and -Og on
all (three) targets I have tried, not just aarch64, so I extended the
xfail exception accordingly.

gcc/testsuite/ChangeLog:

2024-02-14  Martin Jambor  <mjambor@suse.cz>

	* gcc.dg/guality/ipa-sra-1.c (get_val1): Move up in the file.
	(get_val2): Likewise.
	(bar): Do not return a constant.  Extend xfail exception for all
	targets.
This commit is contained in:
Martin Jambor 2024-02-15 11:50:34 +01:00
parent 98e931de9a
commit f0e2714f24
No known key found for this signature in database
GPG key ID: BF63C1BC3FA43540

View file

@ -1,6 +1,10 @@
/* { dg-do run } */
/* { dg-options "-g -fno-ipa-icf" } */
int __attribute__((noipa))
get_val1 (void) {return 20;}
int __attribute__((noipa))
get_val2 (void) {return 7;}
void __attribute__((noipa))
use (int x)
@ -12,8 +16,8 @@ static int __attribute__((noinline))
bar (int i, int k)
{
asm ("" : "+r" (i));
use (i); /* { dg-final { gdb-test . "k" "3" { xfail { ! { aarch64*-*-* && { any-opts "-O0" "-O1" "-Og" } } } } } } */
return 6;
use (i); /* { dg-final { gdb-test . "k" "3" { xfail { ! { *-*-*-* && { any-opts "-O0" "-O1" "-Og" } } } } } } */
return 6 + get_val1();
}
volatile int v;
@ -30,11 +34,6 @@ foo (int i, int k)
volatile int v;
int __attribute__((noipa))
get_val1 (void) {return 20;}
int __attribute__((noipa))
get_val2 (void) {return 7;}
int
main (void)
{