[llvm] [CVP] Stop CVP constant propagation from destroying `llvm.assume` (PR #183688)
via llvm-commits
llvm-commits at lists.llvm.org
Sun Mar 1 06:50:52 PST 2026
lijinpei-amd wrote:
> Does it fix #90206?
Yes, the case in #90206 now preserves assume after correlated-propagation
```
define range(i32 0, -2147483648) i32 @src(i32 noundef %x) {
%r = add i32 %x, -1
%1 = icmp ule i32 %r, -1
tail call void @llvm.assume(i1 %1)
ret i32 %r
}
```
https://github.com/llvm/llvm-project/pull/183688
More information about the llvm-commits
mailing list