[PATCH] D148986: [InstSimplify] with logical ops: (X | Y) ? 0 : X --> 0

[Simon Pilgrim via Phabricator via llvm-commits]

RKSimon added inline comments.


================
Comment at: llvm/test/Transforms/InstSimplify/select.ll:1408
+
+define i32 @select_icmp_or(i32 noundef %a, i32 noundef %b) {
+; CHECK-LABEL: @select_icmp_or(
----------------
is noundef necessary?


================
Comment at: llvm/test/Transforms/InstSimplify/select.ll:1416
+  ret i32 %cond
+}
----------------
commutation test?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D148986/new/

https://reviews.llvm.org/D148986