[all-commits] [llvm/llvm-project] dfcbf6: [CVP] Stop CVP constant propagation from destroyin...

[lijinpei-amd via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dfcbf6c70e7088e4b10e9c9c47bdfa19eb031228
      https://github.com/llvm/llvm-project/commit/dfcbf6c70e7088e4b10e9c9c47bdfa19eb031228
  Author: lijinpei-amd <jinpei.li at amd.com>
  Date:   2026-03-02 (Mon, 02 Mar 2026)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/conflict.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll

  Log Message:
  -----------
  [CVP] Stop CVP constant propagation from destroying `llvm.assume` (#183688)

For following code sequence:
```
  %cmp = icmp ugt i64 %idx, 1
  tail call void @llvm.assume(i1 %cmp)
```
CVP may replace all use of `%cmp` with `true`, and the information about
`%idx` is lost. This commit stop CVP from doing that, so that later pass
can exploit the `llvm.assume`.

Fixes https://github.com/llvm/llvm-project/issues/90206.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications