[PATCH] D75401: [ValueTracking] Let isGuaranteedNotToBeUndefOrPoison look into branch conditions of dominating blocks' terminators

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune marked an inline comment as done.
aqjune added a comment.

In the `brcond_switch` and `brcond` tests, freezes are moved into the block because simply InstSimplify is not recursively looking into operands of `ret` instructions. Even if freezes are outside the branches (as shown in the previous patch), the optimization is still correct.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75401