[PATCH] D104569: [SimplifyCFG] Fix SimplifyBranchOnICmpChain to be undef/poison safe.

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

IIUC, the result of `isGuaranteedNotToBePoison` is suboptimal because `mustTriggerUB` does not consider `br poison` as UB.

Could you try D92739 <https://reviews.llvm.org/D92739> and see whether the unnecessary freeze instructions disappear?

BTW, it is possible that the redundant freeze instructions actually don't matter; compiling benchmarks and seeing assembly diffs will be helpful for determining this.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104569