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

            Bug ID: 118501
           Summary: aarch64: ICE in simplify_context::simplify_subreg
           Product: gcc
           Version: 14.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gcc at abeckmann dot de
  Target Milestone: ---
            Target: aarch64-unknown-linux-gnu

The following code snippet (minimized with cvise from 3.5MB preprocessed source
originating from thrust unittests) causes an ICE on aarch64 with g++-14, g++-15
while it is accepted by g++-13 and earlier.
Note: the code originates from thrust, not from libstdc++!

===== 1091161.cpp =====
extern "C" double copysign(double, double);
double ccosh_x;
struct type {
  double x;
  double y;
};
template <typename T> struct complex {
  complex(T, T);
  complex() = default;
  T real() { return data.x; }
  T imag() { return data.y; }
  type data;
};
void ccosh() {
  complex<double> z_;
  complex(z_.real(), z_.imag() * copysign(1.0, ccosh_x));
}
===== =====

Originally observed with g++-14 from Debian,
verified with a local build from Git branch releases/gcc-14 commit
33c38e48d80ec8dafd889864fc17b3efc6bf6e95

$ g++-14git -v -O2 -c 1091161.cpp ; echo $?
Using built-in specs.
COLLECT_GCC=g++-14git
Target: aarch64-unknown-linux-gnu
Configured with: ../gcc-14/configure --prefix=/opt/software/aarch64/gcc-14git
--program-suffix=-14git --enable-languages=c,c++ --enable-checking
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.2.1 20250114 (GCC) 
COLLECT_GCC_OPTIONS='-v' '-O2' '-c' '-shared-libgcc' '-mlittle-endian'
'-mabi=lp64'

/opt/software/aarch64/gcc-14git/libexec/gcc/aarch64-unknown-linux-gnu/14.2.1/cc1plus
-quiet -v -imultiarch aarch64-linux-gnu -D_GNU_SOURCE 1091161.cpp -quiet
-dumpbase 1091161.cpp -dumpbase-ext .cpp -mlittle-endian -mabi=lp64 -O2
-version -o /tmp/ccwtHumR.s
GNU C++17 (GCC) version 14.2.1 20250114 (aarch64-unknown-linux-gnu)
        compiled by GNU C version 14.2.1 20250114, GMP version 6.3.0, MPFR
version 4.2.1, MPC version 1.3.1, isl version none
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring nonexistent directory "/usr/local/include/aarch64-linux-gnu"
ignoring nonexistent directory
"/opt/software/aarch64/gcc-14git/lib/gcc/aarch64-unknown-linux-gnu/14.2.1/include-fixed/aarch64-linux-gnu"
ignoring nonexistent directory
"/opt/software/aarch64/gcc-14git/lib/gcc/aarch64-unknown-linux-gnu/14.2.1/../../../../aarch64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/opt/software/aarch64/gcc-14git/lib/gcc/aarch64-unknown-linux-gnu/14.2.1/../../../../include/c++/14.2.1

/opt/software/aarch64/gcc-14git/lib/gcc/aarch64-unknown-linux-gnu/14.2.1/../../../../include/c++/14.2.1/aarch64-unknown-linux-gnu

/opt/software/aarch64/gcc-14git/lib/gcc/aarch64-unknown-linux-gnu/14.2.1/../../../../include/c++/14.2.1/backward

/opt/software/aarch64/gcc-14git/lib/gcc/aarch64-unknown-linux-gnu/14.2.1/include
 /usr/local/include
 /opt/software/aarch64/gcc-14git/include

/opt/software/aarch64/gcc-14git/lib/gcc/aarch64-unknown-linux-gnu/14.2.1/include-fixed
 /usr/include/aarch64-linux-gnu
 /usr/include
End of search list.
Compiler executable checksum: 900209a21c0e4e123b59f255ee019a61
during RTL pass: expand
1091161.cpp: In function 'void ccosh()':
1091161.cpp:16:56: internal compiler error: Segmentation fault
   16 |   complex(z_.real(), z_.imag() * copysign(1.0, ccosh_x));
      |                                                        ^
0x11e123b crash_signal
        ../../gcc-14/gcc/toplev.cc:319
0x11b0524 simplify_context::simplify_subreg(machine_mode, rtx_def*,
machine_mode, poly_int<2u, unsigned long>)
        ../../gcc-14/gcc/simplify-rtx.cc:7554
0x11b36cb simplify_context::simplify_gen_subreg(machine_mode, rtx_def*,
machine_mode, poly_int<2u, unsigned long>)
        ../../gcc-14/gcc/simplify-rtx.cc:7880
0x1be9c67 lowpart_subreg(machine_mode, rtx_def*, machine_mode)
        ../../gcc-14/gcc/rtl.h:3565
0x1be9c67 gen_xorsignv2df3(rtx_def*, rtx_def*, rtx_def*)
        ../../gcc-14/gcc/config/aarch64/aarch64-simd.md:435
0x1be4c7b gen_xorsign3(machine_mode, rtx_def*, rtx_def*, rtx_def*)
        ./insn-opinit.h:626
0x1be4c7b gen_xorsigndf3(rtx_def*, rtx_def*, rtx_def*)
        ../../gcc-14/gcc/config/aarch64/aarch64.md:7257
0x107d52b maybe_expand_insn(insn_code, unsigned int, expand_operand*)
        ../../gcc-14/gcc/optabs.cc:8275
0x107d52b expand_insn(insn_code, unsigned int, expand_operand*)
        ../../gcc-14/gcc/optabs.cc:8306
0xed0baf expand_fn_using_insn
        ../../gcc-14/gcc/internal-fn.cc:268
0xc39be3 expand_call_stmt
        ../../gcc-14/gcc/cfgexpand.cc:2771
0xc39be3 expand_gimple_stmt_1
        ../../gcc-14/gcc/cfgexpand.cc:3932
0xc39be3 expand_gimple_stmt
        ../../gcc-14/gcc/cfgexpand.cc:4082
0xc3af13 expand_gimple_basic_block
        ../../gcc-14/gcc/cfgexpand.cc:6138
0xc3cd57 execute
        ../../gcc-14/gcc/cfgexpand.cc:6877
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.
1

$ g++-13 -v -O2 -c 1091161.cpp ; echo $?
Using built-in specs.
COLLECT_GCC=g++-13
OFFLOAD_TARGET_NAMES=nvptx-none
OFFLOAD_TARGET_DEFAULT=1
Target: aarch64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 13.3.0-12'
--with-bugurl=file:///usr/share/doc/gcc-13/README.Bugs
--enable-languages=c,ada,c++,go,d,fortran,objc,obj-c++,m2 --prefix=/usr
--with-gcc-major-version-only --program-suffix=-13
--program-prefix=aarch64-linux-gnu- --enable-shared --enable-linker-build-id
--libexecdir=/usr/libexec --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --enable-bootstrap --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--with-default-libstdcxx-abi=new --enable-libstdcxx-backtrace
--enable-gnu-unique-object --disable-libquadmath --disable-libquadmath-support
--enable-plugin --enable-default-pie --with-system-zlib
--enable-libphobos-checking=release --with-target-system-zlib=auto
--enable-objc-gc=auto --enable-multiarch --enable-fix-cortex-a53-843419
--disable-werror
--enable-offload-targets=nvptx-none=/build/reproducible-path/gcc-13-13.3.0/debian/tmp-nvptx/usr
--enable-offload-defaulted --without-cuda-driver --enable-checking=release
--build=aarch64-linux-gnu --host=aarch64-linux-gnu --target=aarch64-linux-gnu
--with-build-config=bootstrap-lto-lean --enable-link-serialization=4
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 13.3.0 (Debian 13.3.0-12) 
COLLECT_GCC_OPTIONS='-v' '-O2' '-c' '-shared-libgcc' '-mlittle-endian'
'-mabi=lp64'
 /usr/libexec/gcc/aarch64-linux-gnu/13/cc1plus -quiet -v -imultiarch
aarch64-linux-gnu -D_GNU_SOURCE 1091161.cpp -quiet -dumpbase 1091161.cpp
-dumpbase-ext .cpp -mlittle-endian -mabi=lp64 -O2 -version
-fasynchronous-unwind-tables -o /tmp/ccQucRlf.s
GNU C++17 (Debian 13.3.0-12) version 13.3.0 (aarch64-linux-gnu)
        compiled by GNU C version 13.3.0, GMP version 6.3.0, MPFR version
4.2.1, MPC version 1.3.1, isl version isl-0.27-GMP

GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
ignoring duplicate directory "/usr/include/aarch64-linux-gnu/c++/13"
ignoring nonexistent directory "/usr/local/include/aarch64-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc/aarch64-linux-gnu/13/include-fixed/aarch64-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc/aarch64-linux-gnu/13/include-fixed"
ignoring nonexistent directory
"/usr/lib/gcc/aarch64-linux-gnu/13/../../../../aarch64-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/include/c++/13
 /usr/include/aarch64-linux-gnu/c++/13
 /usr/include/c++/13/backward
 /usr/lib/gcc/aarch64-linux-gnu/13/include
 /usr/local/include
 /usr/include/aarch64-linux-gnu
 /usr/include
End of search list.
Compiler executable checksum: d4bd8fbad9f30de84910bc353004e145
COLLECT_GCC_OPTIONS='-v' '-O2' '-c' '-shared-libgcc' '-mlittle-endian'
'-mabi=lp64'
 as -v -EL -mabi=lp64 -o 1091161.o /tmp/ccQucRlf.s
GNU assembler version 2.43.50 (aarch64-linux-gnu) using BFD version (GNU
Binutils for Debian) 2.43.50.20250108
COMPILER_PATH=/usr/libexec/gcc/aarch64-linux-gnu/13/:/usr/libexec/gcc/aarch64-linux-gnu/13/:/usr/libexec/gcc/aarch64-linux-gnu/:/usr/lib/gcc/aarch64-linux-gnu/13/:/usr/lib/gcc/aarch64-linux-gnu/
LIBRARY_PATH=/usr/lib/gcc/aarch64-linux-gnu/13/:/usr/lib/gcc/aarch64-linux-gnu/13/../../../aarch64-linux-gnu/:/usr/lib/gcc/aarch64-linux-gnu/13/../../../../lib/:/lib/aarch64-linux-gnu/:/lib/../lib/:/usr/lib/aarch64-linux-gnu/:/usr/lib/../lib/:/usr/lib/gcc/aarch64-linux-gnu/13/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-v' '-O2' '-c' '-shared-libgcc' '-mlittle-endian'
'-mabi=lp64'
0

$ g++-15 -v -O2 -c 1091161.cpp ; echo $?
Using built-in specs.
COLLECT_GCC=g++-15
OFFLOAD_TARGET_NAMES=nvptx-none
OFFLOAD_TARGET_DEFAULT=1
Target: aarch64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 15-20250114-1'
--with-bugurl=file:///usr/share/doc/gcc-15/README.Bugs
--enable-languages=c,ada,c++,go,d,fortran,objc,obj-c++,m2,rust,cobol
--prefix=/usr --with-gcc-major-version-only --program-suffix=-15
--program-prefix=aarch64-linux-gnu- --enable-shared --enable-linker-build-id
--libexecdir=/usr/libexec --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new
--enable-libstdcxx-backtrace --enable-gnu-unique-object --disable-libquadmath
--disable-libquadmath-support --enable-plugin --enable-default-pie
--with-system-zlib --enable-libphobos-checking=release
--with-target-system-zlib=auto --enable-objc-gc=auto --enable-multiarch
--enable-fix-cortex-a53-843419 --disable-werror
--enable-offload-targets=nvptx-none=/build/reproducible-path/gcc-15-15-20250114/debian/tmp-nvptx/usr
--enable-offload-defaulted --without-cuda-driver
--enable-checking=yes,extra,rtl --build=aarch64-linux-gnu
--host=aarch64-linux-gnu --target=aarch64-linux-gnu
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 15.0.1 20250114 (experimental) [master r15-6887-g20b8500cfa5]
(Debian 15-20250114-1) 
COLLECT_GCC_OPTIONS='-v' '-O2' '-c' '-shared-libgcc' '-mlittle-endian'
'-mabi=lp64'
 /usr/libexec/gcc/aarch64-linux-gnu/15/cc1plus -quiet -v -imultiarch
aarch64-linux-gnu -D_GNU_SOURCE 1091161.cpp -quiet -dumpbase 1091161.cpp
-dumpbase-ext .cpp -mlittle-endian -mabi=lp64 -O2 -version
-fasynchronous-unwind-tables -o /tmp/ccFZtd4J.s
GNU C++17 (Debian 15-20250114-1) version 15.0.1 20250114 (experimental) [master
r15-6887-g20b8500cfa5] (aarch64-linux-gnu)
        compiled by GNU C version 15.0.1 20250114 (experimental) [master
r15-6887-g20b8500cfa5], GMP version 6.3.0, MPFR version 4.2.1, MPC version
1.3.1, isl version isl-0.27-GMP

GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring duplicate directory "/usr/include/aarch64-linux-gnu/c++/15"
ignoring nonexistent directory "/usr/local/include/aarch64-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc/aarch64-linux-gnu/15/include-fixed/aarch64-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc/aarch64-linux-gnu/15/include-fixed"
ignoring nonexistent directory
"/usr/lib/gcc/aarch64-linux-gnu/15/../../../../aarch64-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/include/c++/15
 /usr/include/aarch64-linux-gnu/c++/15
 /usr/include/c++/15/backward
 /usr/lib/gcc/aarch64-linux-gnu/15/include
 /usr/local/include
 /usr/include/aarch64-linux-gnu
 /usr/include
End of search list.
Compiler executable checksum: a838f4c95d01846cd971a7d5fdac572a
during RTL pass: expand
1091161.cpp: In function 'void ccosh()':
1091161.cpp:16:56: internal compiler error: Segmentation fault
   16 |   complex(z_.real(), z_.imag() * copysign(1.0, ccosh_x));
      |                                                        ^
0x29e7dcf diagnostic_context::diagnostic_impl(rich_location*,
diagnostic_metadata const*, diagnostic_option_id, char const*, std::__va_list*,
diagnostic_t)
        ???:0
0x29fd21b internal_error(char const*, ...)
        ???:0
0x131fdb8 simplify_context::simplify_subreg(machine_mode, rtx_def*,
machine_mode, poly_int<2u, unsigned long>)
        ???:0
0x1322c97 simplify_context::simplify_gen_subreg(machine_mode, rtx_def*,
machine_mode, poly_int<2u, unsigned long>)
        ???:0
0x1f5011f gen_xorsignv2df3(rtx_def*, rtx_def*, rtx_def*)
        ???:0
0x20db673 gen_xorsigndf3(rtx_def*, rtx_def*, rtx_def*)
        ???:0
0x119a74b expand_insn(insn_code, unsigned int, expand_operand*)
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <file:///usr/share/doc/gcc-15/README.Bugs> for instructions.
1

Original Debian bug report: https://bugs.debian.org/1091161

Reply via email to