https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110590
Bug ID: 110590
Summary: Failing CFG consistency testcases
Product: gcc
Version: 13.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: hubicka at gcc dot gnu.org
Target Milestone: ---
there are 3 testcases that checks for Invalid sum but fogets to enable
blocks-details which fails after this is fixed:
gcc.dg/tree-ssa/loop-ch-profile-1.c
here the problem is that loop header dulication introduces loop invariant
conditoinal that is later
updated by tree-ssa-dom but dom does not take care of updating profile.
Since loop-ch knows when it duplicates loop invariant, we may be able to
get this right.
The test is still useful since it tests that right after ch profile is
consistent.
gcc.dg/tree-prof/update-cunroll-2.c
This is about profile updating code in duplicate_loop_body_to_header_edge
being wrong when optimized
out exit is not last in the loop. In that case the probability of later
exits needs to be accounted in.
I will think about making this better - in general this does not seem to
have easy solution, but for
special case of chained tests we can definitely account for the later
exits.
gcc.dg/tree-ssa/update-unroll-1.c
This fails after aprefetch invoked unrolling. I did not look into details
yet.
