[Bug target/126513] New: ICE ‘verify_ gimple’ failed, since __builtin_ppc_atomic_ cas_local added in r17-1992

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

            Bug ID: 126513
           Summary: ICE ‘verify_gimple’ failed, since
                    __builtin_ppc_atomic_cas_local added in r17-1992
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mjires at gcc dot gnu.org
                CC: avinashd at gcc dot gnu.org
  Target Milestone: ---
            Target: ppc64le-linux-gnu

Compiling reduced testcase gcc.target/powerpc/acmp-tst.c results in ICE since
added in r17-1992-ge4543a6ecc97a7.

$ cat acmp-tst.c
__int128 word_exchange_uti_ptr;
int word_exchange_uti_expected;
unsigned word_exchange_uti_desired() {
  __builtin_ppc_atomic_cas_local(
      &word_exchange_uti_ptr, word_exchange_uti_expected,
      word_exchange_uti_desired, 0, __ATOMIC_SEQ_CST, __ATOMIC_ACQUIRE);
}

Unreduced testcase failed with -mno-quad-memory-atomic, but reduced fails
without it:


$ ppc64le-linux-gnu-gcc acmp-tst.c
acmp-tst.c: In function ‘word_exchange_uti_desired’:
acmp-tst.c:3:10: error: conversion of register to a different size in
‘view_convert_expr’
    3 | unsigned word_exchange_uti_desired() {
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~
VIEW_CONVERT_EXPR<__int128 unsigned *>(word_exchange_uti_expected.0_1);

_2 = VIEW_CONVERT_EXPR<__int128 unsigned *>(word_exchange_uti_expected.0_1);
acmp-tst.c:3:10: internal compiler error: ‘verify_gimple’ failed
0x2249697 internal_error(char const*, ...)
        /home/mjires/git/GCC/master/gcc/diagnostic-global-context.cc:787
0x105275f verify_gimple_in_seq(gimple*, bool)
        /home/mjires/git/GCC/master/gcc/tree-cfg.cc:5216
0xc42ba8 gimplify_body(tree_node*, bool)
        /home/mjires/git/GCC/master/gcc/gimplify.cc:21899
0xc42caa gimplify_function_tree(tree_node*)
        /home/mjires/git/GCC/master/gcc/gimplify.cc:22025
0x9f72ef cgraph_node::analyze()
        /home/mjires/git/GCC/master/gcc/cgraphunit.cc:691
0x9fa6e2 analyze_functions
        /home/mjires/git/GCC/master/gcc/cgraphunit.cc:1270
0x9fb9aa symbol_table::finalize_compilation_unit()
        /home/mjires/git/GCC/master/gcc/cgraphunit.cc:2593
/home/mjires/built/master-ppc64le-linux-gnu/libexec/gcc/ppc64le-linux-gnu/17.0.0/cc1
-quiet acmp-tst.c -quiet -dumpdir a- -dumpbase acmp-tst.c -dumpbase-ext .c -o
/tmp/ccKyMSHA.s
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.


$ ppc64le-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=ppc64le-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/home/mjires/built/master-ppc64le-linux-gnu/libexec/gcc/ppc64le-linux-gnu/17.0.0/lto-wrapper
Target: ppc64le-linux-gnu
Configured with: /home/mjires/git/GCC/master/configure
--prefix=/home/mjires/built/master-ppc64le-linux-gnu --target=ppc64le-linux-gnu
--disable-bootstrap --enable-languages=c,c++,fortran --disable-multilib
--enable-checking : (reconfigured) /home/mjires/git/GCC/master/configure
--prefix=/home/mjires/built/master-ppc64le-linux-gnu --target=ppc64le-linux-gnu
--disable-bootstrap --enable-languages=c,c++,fortran --disable-multilib
--enable-checking
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 17.0.0 20260730 (experimental) (GCC)