diff options
author | Richard Biener <rguenther@suse.de> | 2023-02-20 09:54:37 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2023-02-20 09:54:37 +0100 |
commit | ae113080a9f98e807db239f3ad2157c64324542f (patch) | |
tree | a406e30e1f07d830c46566e146fabd2f1c5f39cd /gcc/rust | |
parent | ca31bc3366c533a55bfd7f1b9f4959c0c9869a7b (diff) | |
download | gcc-ae113080a9f98e807db239f3ad2157c64324542f.zip gcc-ae113080a9f98e807db239f3ad2157c64324542f.tar.gz gcc-ae113080a9f98e807db239f3ad2157c64324542f.tar.bz2 |
tree-optimization/108825 - checking ICE with unroll-and-jam
The issue is that unroll-and-jam applies RPO VN on the transformed body but
that leaves the IL in "indetermined" state (it returns a TODO to make it
valid again). But unroll-and-jam then continues to transform another loop and
in using the tree_unroll_loop helper runs into tree_transform_and_unroll_loop
performing IL checking on the whole function.
While the real fix is to elide all such checking I'm only making the
loop-local LC SSA verifier not perform function-wide SSA verification
at this point.
PR tree-optimization/108825
* tree-ssa-loop-manip.cc (verify_loop_closed_ssa): For
loop-local verfication only verify there's no pending SSA
update.
* gcc.dg/torture/pr108825.c: New testcase.
Diffstat (limited to 'gcc/rust')
0 files changed, 0 insertions, 0 deletions