[Bug target/94518] New: [9 Regression] ICE: RTL check: expected code 'const_int', have 'reg' in output_3774, at config/aarch64/atomics.md:758

["zsojka at seznam dot cz" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 94518
           Summary: [9 Regression] ICE: RTL check: expected code
                    'const_int', have 'reg' in output_3774, at
                    config/aarch64/atomics.md:758
           Product: gcc
           Version: 9.3.1
            Status: UNCONFIRMED
          Keywords: ice-checking
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: aarch64-unknown-linux-gnu

Created attachment 48229
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48229&action=edit
reduced testcase

This looks like a recent regression on the 9-branch.

Compiler output:
$ $ /repo/build-gcc-9-branch-aarch64/./gcc/cc1plus tsan_interface_atomic.ii
 void b()
Analyzing compilation unit
Performing interprocedural optimizations
 <*free_lang_data> <visibility> <build_ssa_passes> <opt_local_passes>
<remove_symbols> <targetclone> <free-fnsummary>Streaming LTO
 <whole-program> <fnsummary> <inline> <free-fnsummary> <single-use>
<comdats>Assembling functions:
 <materialize-all-clones> <simdclone> void b()during RTL pass: final

tsan_interface_atomic.ii: In function 'void b()':
tsan_interface_atomic.ii:2:41: internal compiler error: RTL check: expected
code 'const_int', have 'reg' in output_3774, at config/aarch64/atomics.md:758
    2 | void b() { __sync_fetch_and_xor(&a, c); }
      |                                         ^
0x776cd1 rtl_check_failed_code1(rtx_def const*, rtx_code, char const*, int,
char const*)
        /repo/gcc-9-branch/gcc/rtl.c:888
0x9206f4 output_3774
        /repo/gcc-9-branch/gcc/config/aarch64/atomics.md:758
0xdc764b final_scan_insn_1
        /repo/gcc-9-branch/gcc/final.c:3040
0xdc7f7b final_scan_insn(rtx_insn*, _IO_FILE*, int, int, int*)
        /repo/gcc-9-branch/gcc/final.c:3153
0xdc8267 final_1
        /repo/gcc-9-branch/gcc/final.c:2021
0xdc90c6 rest_of_handle_final
        /repo/gcc-9-branch/gcc/final.c:4659
0xdc90c6 execute
        /repo/gcc-9-branch/gcc/final.c:4737
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.


Build with RTL checking is broken:
...
libtool: compile:  /repo/build-gcc-9-branch-aarch64/./gcc/xgcc -shared-libgcc
-B/repo/build-gcc-9-branch-aarch64/./gcc -nostdinc++
-L/repo/build-gcc-9-branch-aarch64/aarch64-unknown-linux-gnu/libstdc++-v3/src
-L/repo/build-gcc-9-branch-aarch64/aarch64-unknown-linux-gnu/libstdc++-v3/src/.libs
-L/repo/build-gcc-9-branch-aarch64/aarch64-unknown-linux-gnu/libstdc++-v3/libsupc++/.libs
-B/repo/gcc-9-branch//binary-9-branch-20200407083310-g1168240fbe4-checking-yes-rtl-df-extra-aarch64/aarch64-unknown-linux-gnu/bin/
-B/repo/gcc-9-branch//binary-9-branch-20200407083310-g1168240fbe4-checking-yes-rtl-df-extra-aarch64/aarch64-unknown-linux-gnu/lib/
-isystem
/repo/gcc-9-branch//binary-9-branch-20200407083310-g1168240fbe4-checking-yes-rtl-df-extra-aarch64/aarch64-unknown-linux-gnu/include
-isystem
/repo/gcc-9-branch//binary-9-branch-20200407083310-g1168240fbe4-checking-yes-rtl-df-extra-aarch64/aarch64-unknown-linux-gnu/sys-include
-D_GNU_SOURCE -D_DEBUG -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS
-D__STDC_LIMIT_MACROS -DCAN_SANITIZE_UB=0 -I.
-I/repo/gcc-9-branch/libsanitizer/tsan -I.. -I /repo/gcc-9-branch/libsanitizer
-I /repo/gcc-9-branch/libsanitizer/include -Wall -W -Wno-unused-parameter
-Wwrite-strings -pedantic -Wno-long-long -fPIC -fno-builtin -fno-exceptions
-fno-rtti -fomit-frame-pointer -funwind-tables -fvisibility=hidden
-Wno-variadic-macros -I../../libstdc++-v3/include
-I../../libstdc++-v3/include/aarch64-unknown-linux-gnu
-I/repo/gcc-9-branch/libsanitizer/../libstdc++-v3/libsupc++ -std=gnu++11 -g -O2
-D_GNU_SOURCE -MT tsan_interface_atomic.lo -MD -MP -MF
.deps/tsan_interface_atomic.Tpo -c
/repo/gcc-9-branch/libsanitizer/tsan/tsan_interface_atomic.cc  -fPIC -DPIC -o
.libs/tsan_interface_atomic.o
during RTL pass: final
/repo/gcc-9-branch/libsanitizer/tsan/tsan_interface_atomic.cc: In function
'bool AtomicCAS(__tsan::ThreadState*, __sanitizer::uptr, volatile T*, T*, T,
__tsan::morder, __tsan::morder) [with T = __int128]':
/repo/gcc-9-branch/libsanitizer/tsan/tsan_interface_atomic.cc:432:1: internal
compiler error: RTL check: expected code 'const_int', have 'reg' in
output_3774, at config/aarch64/atomics.md:758
  432 | }
      | ^
0x776cd1 rtl_check_failed_code1(rtx_def const*, rtx_code, char const*, int,
char const*)
        /repo/gcc-9-branch/gcc/rtl.c:888
0x9206f4 output_3774
        /repo/gcc-9-branch/gcc/config/aarch64/atomics.md:758
0xdc764b final_scan_insn_1
        /repo/gcc-9-branch/gcc/final.c:3040
0xdc7f7b final_scan_insn(rtx_insn*, _IO_FILE*, int, int, int*)
        /repo/gcc-9-branch/gcc/final.c:3153
0xdc8267 final_1
        /repo/gcc-9-branch/gcc/final.c:2021
0xdc90c6 rest_of_handle_final
        /repo/gcc-9-branch/gcc/final.c:4659
0xdc90c6 execute
        /repo/gcc-9-branch/gcc/final.c:4737
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.