[llvm] [ValueTracking] Try to infer range of select from true and false values. (PR #68256)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,15 @@
+; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
+
+ at a = dso_local local_unnamed_addr global [10 x i32] zeroinitializer, align 4
----------------
nikic wrote:

Drop dso_local and local_unnamed_addr.

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