]> gcc.gnu.org Git - gcc.git/commit
tree-optimization/107493 - SCEV analysis with conversions
authorRichard Biener <rguenther@suse.de>
Mon, 28 Nov 2022 09:25:44 +0000 (10:25 +0100)
committerRichard Biener <rguenther@suse.de>
Mon, 28 Nov 2022 10:17:03 +0000 (11:17 +0100)
commit2b293a949c0fbe21e47c4bc99f807dc941c02bb6
tree5d9e02bd0eb54690ff9fdd0324a66b6f84a86bb7
parent9fa67f1c1228a852e23943a41e68b664172c654c
tree-optimization/107493 - SCEV analysis with conversions

This shows another case where trying to validate conversions during
the CHREC SCC analysis fails because said analysis assumes we are
converting a complete SCC.  Like the constraint on the initial
conversion seen restrict all conversions handled to sign-changes.

PR tree-optimization/107493
* tree-scalar-evolution.cc (scev_dfs::follow_ssa_edge_expr):
Only handle no-op and sign-changing conversions.

* gcc.dg/torture/pr107493.c: New testcase.
gcc/testsuite/gcc.dg/torture/pr107493.c [new file with mode: 0644]
gcc/tree-scalar-evolution.cc
This page took 0.069764 seconds and 6 git commands to generate.