OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tree-optimization/102008 - restore if-conversion of adjacent loads 

The following re-orders the newly added code sinking pass before
the last phiopt pass which performs hoisting of adjacent loads
with the intent to enable if-conversion on those.

I've added the aarch64 specific testcase from the PR.

2022-03-16  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/102008
	* passes.def: Move the added code sinking pass before the
	preceeding phiopt pass.

	* gcc.target/aarch64/pr102008.c: New testcase.
This commit is contained in:
Richard Biener 2022-03-16 13:39:31 +01:00
parent 5809bb4f78
commit f6fb661ea8
2 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/passes.def
View File

@ -349,10 +349,10 @@ along with GCC; see the file COPYING3. If not see
/* After late CD DCE we rewrite no longer addressed locals into SSA
form if possible. */
NEXT_PASS (pass_forwprop);
NEXT_PASS (pass_sink_code);
NEXT_PASS (pass_phiopt, false /* early_p */);
NEXT_PASS (pass_fold_builtins);
NEXT_PASS (pass_optimize_widening_mul);
NEXT_PASS (pass_sink_code);
NEXT_PASS (pass_store_merging);
NEXT_PASS (pass_tail_calls);
/* If DCE is not run before checking for uninitialized uses,

13
gcc/testsuite/gcc.target/aarch64/pr102008.c Normal file
View File

@ -0,0 +1,13 @@
/* { dg-do compile } */
/* { dg-options "-O2" } */
struct Foo { int a; int b; };
int test(int side, const struct Foo *foo) {
if (side == 1) return foo->a;
return foo->b;
}
/* We want to if-convert the load, not the address. */
/* { dg-final { scan-assembler-not "add" } } */
/* { dg-final { scan-assembler-times "csel" 1 } } */