[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