[PATCH] D142828: [ValueTracking] Add cases for additional ops in `isKnownNonZero`

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:2734
   case Instruction::Call:
-    if (cast<CallInst>(I)->getIntrinsicID() == Intrinsic::vscale)
-      return true;
+  case Instruction::Invoke:
+    if (auto *II = dyn_cast<IntrinsicInst>(I)) {
----------------
Invoke handling unnecessary


================
Comment at: llvm/test/Analysis/ValueTracking/known-non-zero.ll:56
 false:
   ;; So that branch doesn't fold to select.
   call void @use1(i1 %ne)
----------------
Not really relevant in InstSimplify?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142828