[all-commits] [llvm/llvm-project] 462eb7: [ValueTracking] Skip incoming values that are the ...

[DianQK via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 462eb7e28ef4507b16a4b45efb356bc6a3523615
      https://github.com/llvm/llvm-project/commit/462eb7e28ef4507b16a4b45efb356bc6a3523615
  Author: DianQK <dianqk at dianqk.net>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    A llvm/test/Analysis/ValueTracking/phi-self.ll

  Log Message:
  -----------
  [ValueTracking] Skip incoming values that are the same as the phi in `isGuaranteedNotToBeUndefOrPoison` (#130111)

Fixes (keep it open) #130110.

If the incoming value is PHI itself, we can skip this. If we can
guarantee that the other incoming values are neither undef nor poison,
then we can also guarantee that the value isn't either. If we cannot
guarantee that, it makes no sense in calculating it.



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