From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 2CE6A3858289; Mon, 11 Mar 2024 17:48:14 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2CE6A3858289 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1710179294; bh=iePu/sKVYFrTM45cR3lQN8cqmVMXvsm8g+Bed0NtSKk=; h=From:To:Subject:Date:From; b=DejS82YBhru1oGNuY6YcrImaVBcRVUgyjMxL1o5iZN3Hk95WuAOzgw25NbIxM2tqY wAkj07lzti5fOrQoIE0YqGt+pL8tEWHlp/+F4Cocv/qz4/pmNXMIO+nW73Av+tK1xk V7SENE3Iyje3dRNSOpoWIE/eG+htdK5UtXBQ9Qcw= From: "p.nguyen at yahooinc dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/114310] New: [aarch64] __sync_val_compare_and_swap fails on __int128_t with newval = 0 Date: Mon, 11 Mar 2024 17:48:12 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: 8.5.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: p.nguyen at yahooinc dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D114310 Bug ID: 114310 Summary: [aarch64] __sync_val_compare_and_swap fails on __int128_t with newval =3D 0 Product: gcc Version: 8.5.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: p.nguyen at yahooinc dot com Target Milestone: --- I am encountering a compiler error when __sync_val_compare_and_swap is pass= ed __int128_t types and newval =3D 0. It does not occur when newval is not zer= o, or a const volatile variable with the value of 0 is passed to it. This only fa= ils when using built-in aarch64 LSE instructions, enabled with -march=3Darmv8.1= -a or greater. It does not have problems with -march=3Darmv8-a.=20 I have been able to replicate the issue on GCC 8.5.0, 10.3.1, 11.2.1, 11.4.= 0, 12.2.1 and 13.1.1 on linux-aarch64.=20 I have attached a trivial test case, and also have a small result set on godbolt: https://godbolt.org/z/ex9adPTPc I am showing the output from Ubuntu 22.04.4 LTS with gcc 11.4.0 The command line options are: gcc -v -march=3Darmv8.1-a -save-temps test.c The complete compiler output is:=20 Using built-in specs. COLLECT_GCC=3Dgcc COLLECT_LTO_WRAPPER=3D/usr/lib/gcc/aarch64-linux-gnu/11/lto-wrapper Target: aarch64-linux-gnu Configured with: ../src/configure -v --with-pkgversion=3D'Ubuntu 11.4.0-1ubuntu1~22.04' --with-bugurl=3Dfile:///usr/share/doc/gcc-11/README.= Bugs --enable-languages=3Dc,ada,c++,go,d,fortran,objc,obj-c++,m2 --prefix=3D/usr --with-gcc-major-version-only --program-suffix=3D-11 --program-prefix=3Daarch64-linux-gnu- --enable-shared --enable-linker-build= -id --libexecdir=3D/usr/lib --without-included-gettext --enable-threads=3Dposix --libdir=3D/usr/lib --enable-nls --enable-bootstrap --enable-clocale=3Dgnu --enable-libstdcxx-debug --enable-libstdcxx-time=3Dyes --with-default-libstdcxx-abi=3Dnew --enable-gnu-unique-object --disable-libquadmath --disable-libquadmath-support --enable-plugin --enable-default-pie --with-system-zlib --enable-libphobos-checking=3Drelea= se --with-target-system-zlib=3Dauto --enable-objc-gc=3Dauto --enable-multiarch --enable-fix-cortex-a53-843419 --disable-werror --enable-checking=3Drelease --build=3Daarch64-linux-gnu --host=3Daarch64-linux-gnu --target=3Daarch64-l= inux-gnu --with-build-config=3Dbootstrap-lto-lean --enable-link-serialization=3D2 Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04)=20 COLLECT_GCC_OPTIONS=3D'-v' '-march=3Darmv8.1-a' '-save-temps' '-mlittle-end= ian' '-mabi=3Dlp64' '-dumpdir' 'a-' /usr/lib/gcc/aarch64-linux-gnu/11/cc1 -E -quiet -v -imultiarch aarch64-linux-gnu test.c -march=3Darmv8.1-a -mlittle-endian -mabi=3Dlp64 -fpch-preprocess -fasynchronous-unwind-tables -fstack-protector-strong -Wfo= rmat -Wformat-security -fstack-clash-protection -o a-test.i ignoring nonexistent directory "/usr/local/include/aarch64-linux-gnu" ignoring nonexistent directory "/usr/lib/gcc/aarch64-linux-gnu/11/include-fixed" ignoring nonexistent directory "/usr/lib/gcc/aarch64-linux-gnu/11/../../../../aarch64-linux-gnu/include" #include "..." search starts here: #include <...> search starts here: /usr/lib/gcc/aarch64-linux-gnu/11/include /usr/local/include /usr/include/aarch64-linux-gnu /usr/include End of search list. COLLECT_GCC_OPTIONS=3D'-v' '-march=3Darmv8.1-a' '-save-temps' '-mlittle-end= ian' '-mabi=3Dlp64' '-dumpdir' 'a-' /usr/lib/gcc/aarch64-linux-gnu/11/cc1 -fpreprocessed a-test.i -quiet -dump= dir a- -dumpbase test.c -dumpbase-ext .c -march=3Darmv8.1-a -mlittle-endian -mabi=3Dlp64 -version -fasynchronous-unwind-tables -fstack-protector-strong -Wformat -Wformat-security -fstack-clash-protection -o a-test.s GNU C17 (Ubuntu 11.4.0-1ubuntu1~22.04) version 11.4.0 (aarch64-linux-gnu) compiled by GNU C version 11.4.0, GMP version 6.2.1, MPFR version 4.1.0, MPC version 1.2.1, isl version isl-0.24-GMP GGC heuristics: --param ggc-min-expand=3D100 --param ggc-min-heapsize=3D131= 072 GNU C17 (Ubuntu 11.4.0-1ubuntu1~22.04) version 11.4.0 (aarch64-linux-gnu) compiled by GNU C version 11.4.0, GMP version 6.2.1, MPFR version 4.1.0, MPC version 1.2.1, isl version isl-0.24-GMP GGC heuristics: --param ggc-min-expand=3D100 --param ggc-min-heapsize=3D131= 072 Compiler executable checksum: 52ed857e9cd110e5efaa797811afcfbb test.c: In function =E2=80=98main=E2=80=99: test.c:6:1: error: unrecognizable insn: 6 | } | ^ (insn 12 11 13 2 (parallel [ (set (reg:TI 92 [ _1 ]) (mem/v:TI (reg:DI 99) [-1 S16 A128])) (set (mem/v:TI (reg:DI 99) [-1 S16 A128]) (unspec_volatile:TI [ (reg:TI 92 [ _1 ]) (const_int 0 [0]) (const_int 32773 [0x8005]) ] UNSPECV_ATOMIC_CMPSW)) ]) "test.c":4:31 -1 (nil)) during RTL pass: vregs test.c:6:1: internal compiler error: in extract_insn, at recog.c:2770 0xaeb1c7 internal_error(char const*, ...) ???:0 0xae3d4b fancy_abort(char const*, int, char const*) ???:0 0x72c083 _fatal_insn(char const*, rtx_def const*, char const*, int, char const*) ???:0 0x72c0b7 _fatal_insn_not_found(rtx_def const*, char const*, int, char const= *) ???:0 0xef957b extract_insn(rtx_insn*) ???:0 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See for instructions. The preprocessed file is as follows:=20 # 0 "test.c" # 0 "" # 0 "" # 1 "/usr/include/stdc-predef.h" 1 3 4 # 0 "" 2 # 1 "test.c" int main(void) { __int128_t src =3D 0; __int128_t dst =3D 0; *(__int128_t *)&(dst) =3D __sync_val_compare_and_swap((__int128_t *)&= (src), (__int128_t) 10, 0); return 0; }=