[llvm] [ValueTracking] Analyze `Select` in `isKnownNonEqual`. (PR #68427)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,33 @@
+; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
+ at G = global [10 x i32] zeroinitializer, align 4
+
+; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(readwrite, argmem: none, inaccessiblemem: none) uwtable
+define void @select_in_gep1(i1 %c, i64 noundef %x) {
----------------
nikic wrote:

noundef presumably not necessary.

https://github.com/llvm/llvm-project/pull/68427