[PATCH] D75401: [InstSimplify] Remove freeze if its operand is used as a branch condition

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

Wouldn't we want something like this instead:

  // Use a utility function defined in ValueTracking.
  if (llvm::isGuaranteedNotToBeUndefOrPoison(Op0))
    return Op0;
  // Use a utility function defined in ValueTracking.
  if (llvm::isGuaranteedToBeUBIfUndefOrPoisonAt(Op0, Q.CtxI))
    return Op0;

And then centralized collect `known UB` cases?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75401