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

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Mar 2 19:03:24 PST 2020


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





More information about the llvm-commits mailing list