[Bug middle-end/110590] New: Failing CFG consistency testcases

["hubicka at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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.