[llvm] [ConstraintElim] Fix integer overflow when negating constraint (PR #210627)

[LLVM Continuous Integration via llvm-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `amdgpu-clang-flang` running on `AMD-bb-w-05` while building `llvm` at step 3 "annotate".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/234/builds/168

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 3 (annotate) failure: 'python ../llvm.src/offload/ci/openmp-offload-amdgpu-clang-flang.py ...' (failure)
...
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/bug50022.cpp (1266 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/bug49779.cpp (1267 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/wtime.c (1268 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/complex_reduction.cpp (1269 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/array_reductions.cpp (1270 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/multiple_reductions.cpp (1271 of 1275)
PASS: libomptarget :: amdgpu-amd-amdhsa :: offloading/multiple_reductions.cpp (1272 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/std_complex_arithmetic.cpp (1273 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/bug49021.cpp (1274 of 1275)
TIMEOUT: libomptarget :: amdgpu-amd-amdhsa :: offloading/ctor_dtor.cpp (1275 of 1275)
******************** TEST 'libomptarget :: amdgpu-amd-amdhsa :: offloading/ctor_dtor.cpp' FAILED ********************
Exit Code: -9
Timeout: Reached timeout of 100 seconds

Command Output (stdout):
--
# RUN: at line 1
/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./bin/clang++ -fopenmp    -I /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test -I /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src  -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib -Xoffload-linker -L/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/amdgpu-amd-amdhsa -Xoffload-linker -L/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/clang/24/lib/amdgpu-amd-amdhsa  -fopenmp-targets=amdgpu-amd-amdhsa /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test/offloading/ctor_dtor.cpp -o /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/offload/test/amdgpu-amd-amdhsa/offloading/Output/ctor_dtor.cpp.tmp -Xoffload-linker -lompdevice && /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/offload/test/amdgpu-amd-amdhsa/offloading/Output/ctor_dtor.cpp.tmp | /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./bin/FileCheck /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test/offloading/ctor_dtor.cpp
# executed command: /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./bin/clang++ -fopenmp -I /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test -I /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib -Xoffload-linker -L/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/amdgpu-amd-amdhsa -Xoffload-linker -L/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/clang/24/lib/amdgpu-amd-amdhsa -fopenmp-targets=amdgpu-amd-amdhsa /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test/offloading/ctor_dtor.cpp -o /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/offload/test/amdgpu-amd-amdhsa/offloading/Output/ctor_dtor.cpp.tmp -Xoffload-linker -lompdevice
# note: command had no output on stdout or stderr
# executed command: /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/offload/test/amdgpu-amd-amdhsa/offloading/Output/ctor_dtor.cpp.tmp
# note: command had no output on stdout or stderr
# error: command failed with exit status: -9
# error: command reached timeout: True
# executed command: /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./bin/FileCheck /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test/offloading/ctor_dtor.cpp
# note: command had no output on stdout or stderr
# error: command failed with exit status: -9
# error: command reached timeout: True

--

********************
Slowest Tests (20 of 1090):
--------------------------------------------------------------------------
100.04s: libomptarget :: amdgpu-amd-amdhsa :: offloading/ctor_dtor.cpp
21.26s: libomptarget :: amdgpu-amd-amdhsa :: offloading/array_reductions.cpp
16.18s: libomptarget :: amdgpu-amd-amdhsa :: offloading/multiple_reductions.cpp
12.64s: libomptarget :: amdgpu-amd-amdhsa :: offloading/bug49021.cpp
10.52s: libomptarget :: amdgpu-amd-amdhsa :: offloading/mandatory_but_no_devices.c
10.32s: libomptarget :: amdgpu-amd-amdhsa :: tools/omp-kernel-replay/record-replay-diff-teams-threads.cpp
9.60s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/bug49021.cpp
8.86s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/std_complex_arithmetic.cpp
8.29s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/array_reductions.cpp
7.89s: libomptarget :: amdgpu-amd-amdhsa :: offloading/gpupgo/pgo_device_and_host.c
7.79s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/complex_reduction.cpp
7.75s: libomptarget :: amdgpu-amd-amdhsa :: offloading/complex_reduction.cpp
7.69s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/multiple_reductions.cpp
7.44s: libomptarget :: amdgpu-amd-amdhsa :: offloading/fortran/target-generic-loops.f90
7.35s: libomptarget :: amdgpu-amd-amdhsa :: offloading/bug51781.c
Step 9 (Add check check-offload) failure: Add check check-offload (failure)
...
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/bug50022.cpp (1266 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/bug49779.cpp (1267 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/wtime.c (1268 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/complex_reduction.cpp (1269 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/array_reductions.cpp (1270 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/multiple_reductions.cpp (1271 of 1275)
PASS: libomptarget :: amdgpu-amd-amdhsa :: offloading/multiple_reductions.cpp (1272 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/std_complex_arithmetic.cpp (1273 of 1275)
PASS: libomptarget :: x86_64-unknown-linux-gnu :: offloading/bug49021.cpp (1274 of 1275)
TIMEOUT: libomptarget :: amdgpu-amd-amdhsa :: offloading/ctor_dtor.cpp (1275 of 1275)
******************** TEST 'libomptarget :: amdgpu-amd-amdhsa :: offloading/ctor_dtor.cpp' FAILED ********************
Exit Code: -9
Timeout: Reached timeout of 100 seconds

Command Output (stdout):
--
# RUN: at line 1
/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./bin/clang++ -fopenmp    -I /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test -I /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src  -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib -Xoffload-linker -L/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/amdgpu-amd-amdhsa -Xoffload-linker -L/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/clang/24/lib/amdgpu-amd-amdhsa  -fopenmp-targets=amdgpu-amd-amdhsa /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test/offloading/ctor_dtor.cpp -o /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/offload/test/amdgpu-amd-amdhsa/offloading/Output/ctor_dtor.cpp.tmp -Xoffload-linker -lompdevice && /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/offload/test/amdgpu-amd-amdhsa/offloading/Output/ctor_dtor.cpp.tmp | /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./bin/FileCheck /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test/offloading/ctor_dtor.cpp
# executed command: /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./bin/clang++ -fopenmp -I /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test -I /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib -L /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/openmp/runtime/src -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/x86_64-unknown-linux-gnu -Wl,-rpath,/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib -Xoffload-linker -L/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/amdgpu-amd-amdhsa -Xoffload-linker -L/home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./lib/clang/24/lib/amdgpu-amd-amdhsa -fopenmp-targets=amdgpu-amd-amdhsa /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test/offloading/ctor_dtor.cpp -o /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/offload/test/amdgpu-amd-amdhsa/offloading/Output/ctor_dtor.cpp.tmp -Xoffload-linker -lompdevice
# note: command had no output on stdout or stderr
# executed command: /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/runtimes/runtimes-bins/offload/test/amdgpu-amd-amdhsa/offloading/Output/ctor_dtor.cpp.tmp
# note: command had no output on stdout or stderr
# error: command failed with exit status: -9
# error: command reached timeout: True
# executed command: /home/botworker/bbot/amdgpu-clang-flang/build/llvm.build/./bin/FileCheck /home/botworker/bbot/amdgpu-clang-flang/llvm.src/offload/test/offloading/ctor_dtor.cpp
# note: command had no output on stdout or stderr
# error: command failed with exit status: -9
# error: command reached timeout: True

--

********************
Slowest Tests (20 of 1090):
--------------------------------------------------------------------------
100.04s: libomptarget :: amdgpu-amd-amdhsa :: offloading/ctor_dtor.cpp
21.26s: libomptarget :: amdgpu-amd-amdhsa :: offloading/array_reductions.cpp
16.18s: libomptarget :: amdgpu-amd-amdhsa :: offloading/multiple_reductions.cpp
12.64s: libomptarget :: amdgpu-amd-amdhsa :: offloading/bug49021.cpp
10.52s: libomptarget :: amdgpu-amd-amdhsa :: offloading/mandatory_but_no_devices.c
10.32s: libomptarget :: amdgpu-amd-amdhsa :: tools/omp-kernel-replay/record-replay-diff-teams-threads.cpp
9.60s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/bug49021.cpp
8.86s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/std_complex_arithmetic.cpp
8.29s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/array_reductions.cpp
7.89s: libomptarget :: amdgpu-amd-amdhsa :: offloading/gpupgo/pgo_device_and_host.c
7.79s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/complex_reduction.cpp
7.75s: libomptarget :: amdgpu-amd-amdhsa :: offloading/complex_reduction.cpp
7.69s: libomptarget :: x86_64-unknown-linux-gnu :: offloading/multiple_reductions.cpp
7.44s: libomptarget :: amdgpu-amd-amdhsa :: offloading/fortran/target-generic-loops.f90
7.35s: libomptarget :: amdgpu-amd-amdhsa :: offloading/bug51781.c

```

</details>

https://github.com/llvm/llvm-project/pull/210627