[PATCH] D84941: [JumpThreading] Let ProcessImpliedCondition look into freeze instructions

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.
Herald added a project: All.

LGTM



================
Comment at: llvm/lib/Transforms/Scalar/JumpThreading.cpp:1230
+  // V implies Cond, Cond is either true, undef, or poison. In this case,
+  // freeze(Cond) is either true or nondeterministic value.
+  // If freeze(Cond) has only one use, we can freely fold freeze(Cond) to true
----------------
nit: "or a nondeterministic value"


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84941