[Bug target/115936] New: [15 Regression] GCN vs. ivopts: replace constant_multiple_of with aff_combination_constant_multiple_p [PR114932]

[tschwinge at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115936

            Bug ID: 115936
           Summary: [15 Regression] GCN vs. ivopts: replace
                    constant_multiple_of with
                    aff_combination_constant_multiple_p [PR114932]
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Keywords: ice-checking, ice-on-valid-code, testsuite-fail
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tschwinge at gcc dot gnu.org
                CC: ams at gcc dot gnu.org
  Target Milestone: ---
            Target: GCN

Recent commit r15-1809-g735edbf1e2479fa2323a2b4a9714fae1a0925f74 "ivopts:
replace constant_multiple_of with aff_combination_constant_multiple_p
[PR114932]" is causing one regression for '--target=amdgcn-amdhsa' (tested
'-march=gfx908', '-march=gfx1100'):

    @@ -98531,8 +98547,9 @@ PASS: gcc.dg/torture/pr101173.c   -O0  (test for
excess errors)
    PASS: gcc.dg/torture/pr101173.c   -O0  execution test
    PASS: gcc.dg/torture/pr101173.c   -O1  (test for excess errors)
    PASS: gcc.dg/torture/pr101173.c   -O1  execution test
    {+FAIL: gcc.dg/torture/pr101173.c   -O2  (internal compiler error:
verify_gimple failed)+}
    [-PASS:-]{+FAIL:+} gcc.dg/torture/pr101173.c   -O2  (test for excess
errors)
    [-PASS:-]{+UNRESOLVED:+} gcc.dg/torture/pr101173.c   -O2  [-execution
test-]{+compilation failed to produce executable+}
    PASS: gcc.dg/torture/pr101173.c   -O3 -fomit-frame-pointer -funroll-loops
-fpeel-loops -ftracer -finline-functions  (test for excess errors)
    PASS: gcc.dg/torture/pr101173.c   -O3 -fomit-frame-pointer -funroll-loops
-fpeel-loops -ftracer -finline-functions  execution test
    PASS: gcc.dg/torture/pr101173.c   -O3 -g  (test for excess errors)

    [...]/source-gcc/gcc/testsuite/gcc.dg/torture/pr101173.c: In function
'main':
    [...]/source-gcc/gcc/testsuite/gcc.dg/torture/pr101173.c:5:5: error:
invalid (pointer) operands 'plus_expr'
    ivtmp.39_65 = ivtmp.39_59 + 0B;
    during GIMPLE pass: ivopts
    [...]/source-gcc/gcc/testsuite/gcc.dg/torture/pr101173.c:5:5: internal
compiler error: verify_gimple failed
    0x20dcb22 internal_error(char const*, ...)
            [...]/source-gcc/gcc/diagnostic-global-context.cc:491
    0x11fe23e verify_gimple_in_cfg(function*, bool, bool)
            [...]/source-gcc/gcc/tree-cfg.cc:5678
    0x1092710 execute_function_todo
            [...]/source-gcc/gcc/passes.cc:2089
    0x1092c5b execute_todo
            [...]/source-gcc/gcc/passes.cc:2143