[llvm] [DebugInfo][ConstraintElimination] Fix debug value loss in replacing comparisons with the speculated constants (PR #136839)

[LLVM Continuous Integration via llvm-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `sanitizer-aarch64-linux-bootstrap-msan` running on `sanitizer-buildbot9` while building `llvm` at step 2 "annotate".

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

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

```
Step 2 (annotate) failure: 'python ../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py' (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/main.py:72: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 87049 tests, 72 workers --
Testing: 
FAIL: Clang :: Analysis/ftime-trace.cpp (927 of 87049)
******************** TEST 'Clang :: Analysis/ftime-trace.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=core /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp -ftime-trace=/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.raw.json -ftime-trace-granularity=0 -verify # RUN: at line 1
+ /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=core /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp -ftime-trace=/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.raw.json -ftime-trace-granularity=0 -verify
"/usr/bin/python3" -c 'import json, sys; print(json.dumps(json.load(sys.stdin), indent=4))' < /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.raw.json > /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json # RUN: at line 2
+ /usr/bin/python3 -c 'import json, sys; print(json.dumps(json.load(sys.stdin), indent=4))'
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/FileCheck --input-file=/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json --check-prefix=CHECK /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp # RUN: at line 3
+ /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/FileCheck --input-file=/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json --check-prefix=CHECK /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp:34:11: error: CHECK: expected string not found in input
// CHECK: "name": "Total CheckerManager::runCheckersForStmt (Pre)",
          ^
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json:2474:3: note: scanning from here
 }
  ^
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json:2638:2: note: possible intended match here
 "name": "Total CheckerManager::runCheckersForStmt (Post)",
 ^

Input file: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json
Check file: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp

-dump-input=help explains the following input dump.

Input was:
<<<<<<
            .
            .
            .
         2469:  "dur": 2252, 
         2470:  "name": "Total dispatchWorkItem PostStmt", 
         2471:  "args": { 
         2472:  "count": 31, 
         2473:  "avg ms": 0 
         2474:  } 
check:34'0       X error: no match found
Step 11 (stage2/msan check) failure: stage2/msan check (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/main.py:72: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 87049 tests, 72 workers --
Testing: 
FAIL: Clang :: Analysis/ftime-trace.cpp (927 of 87049)
******************** TEST 'Clang :: Analysis/ftime-trace.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=core /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp -ftime-trace=/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.raw.json -ftime-trace-granularity=0 -verify # RUN: at line 1
+ /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=core /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp -ftime-trace=/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.raw.json -ftime-trace-granularity=0 -verify
"/usr/bin/python3" -c 'import json, sys; print(json.dumps(json.load(sys.stdin), indent=4))' < /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.raw.json > /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json # RUN: at line 2
+ /usr/bin/python3 -c 'import json, sys; print(json.dumps(json.load(sys.stdin), indent=4))'
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/FileCheck --input-file=/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json --check-prefix=CHECK /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp # RUN: at line 3
+ /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/bin/FileCheck --input-file=/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json --check-prefix=CHECK /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp:34:11: error: CHECK: expected string not found in input
// CHECK: "name": "Total CheckerManager::runCheckersForStmt (Pre)",
          ^
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json:2474:3: note: scanning from here
 }
  ^
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json:2638:2: note: possible intended match here
 "name": "Total CheckerManager::runCheckersForStmt (Post)",
 ^

Input file: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build_msan/tools/clang/test/Analysis/Output/ftime-trace.cpp.tmp.formatted.json
Check file: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/clang/test/Analysis/ftime-trace.cpp

-dump-input=help explains the following input dump.

Input was:
<<<<<<
            .
            .
            .
         2469:  "dur": 2252, 
         2470:  "name": "Total dispatchWorkItem PostStmt", 
         2471:  "args": { 
         2472:  "count": 31, 
         2473:  "avg ms": 0 
         2474:  } 
check:34'0       X error: no match found

```

</details>

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