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

[DianQK via All-commits]

  Branch: refs/heads/release/20.x
  Home:   https://github.com/llvm/llvm-project
  Commit: f62b50e0e8f170412c95d7c1263c46a400bbeba8
      https://github.com/llvm/llvm-project/commit/f62b50e0e8f170412c95d7c1263c46a400bbeba8
  Author: DianQK <dianqk at dianqk.net>
  Date:   2025-03-11 (Tue, 11 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.

(cherry picked from commit 462eb7e28ef4507b16a4b45efb356bc6a3523615)



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