aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2023-02-20 09:54:37 +0100
committerRichard Biener <rguenther@suse.de>2023-02-20 09:54:37 +0100
commitae113080a9f98e807db239f3ad2157c64324542f (patch)
treea406e30e1f07d830c46566e146fabd2f1c5f39cd /gcc/rust
parentca31bc3366c533a55bfd7f1b9f4959c0c9869a7b (diff)
downloadgcc-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