diff options
| author | Brandon <61314499+brandonxin@users.noreply.github.com> | 2025-10-02 14:51:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-02 21:51:39 +0200 |
| commit | 11faf88d8fea4d221e826e4e9827864f38d246fb (patch) | |
| tree | e662941d7c19c977f1265e57532cd24f761bc805 /clang/test/Index/comment-to-html-xml-conversion.cpp | |
| parent | 694390679ac1351a8d471d39db85400eb21a9035 (diff) | |
| download | llvm-11faf88d8fea4d221e826e4e9827864f38d246fb.zip llvm-11faf88d8fea4d221e826e4e9827864f38d246fb.tar.gz llvm-11faf88d8fea4d221e826e4e9827864f38d246fb.tar.bz2 | |
[InstCombine] Fold icmp with clamp into unsigned bound check (#161303)
Fix #157315
alive2: https://alive2.llvm.org/ce/z/TEnuFV
The equality comparison of `min(max(X, Lo), Hi)` and `X` is actually a
range check on `X`. This PR folds this into an unsigned bound check `(X
- Lo) u< (Hi - Lo + 1)`.
---------
Co-authored-by: Yingwei Zheng <dtcxzyw@qq.com>
Diffstat (limited to 'clang/test/Index/comment-to-html-xml-conversion.cpp')
0 files changed, 0 insertions, 0 deletions