[all-commits] [llvm/llvm-project] 1da0da: [LVI][CVP] Don't compute CR at SelectInst Use if C...

[luxufan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1da0da903ee818385d8ce470d14f9f9c7cdf6942
      https://github.com/llvm/llvm-project/commit/1da0da903ee818385d8ce470d14f9f9c7cdf6942
  Author: luxufan <luxufan at iscas.ac.cn>
  Date:   2023-04-22 (Sat, 22 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/cond-at-use.ll

  Log Message:
  -----------
  [LVI][CVP] Don't compute CR at SelectInst Use if Cond value may not be well-defined

If the condition value of SelectInst may be a poison or undef value,
infer constant range at SelectInst use is in correct.

See https://alive2.llvm.org/ce/z/MWMTYn

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

Differential Revision: https://reviews.llvm.org/D148709