llvm-project

11faf88d - [InstCombine] Fold icmp with clamp into unsigned bound check (#161303)

[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>