[PATCH] D106041: [WIP][SimpleLoopUnswitch] Re-fix introduction of UB when hoisted condition may be undef or poison

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

I think so? it sounds great.
Could you try inserting freeze to icmp only when one of its operands is constant?
ex) `freeze (icmp op0, 1) -> icmp (freeze(op0), 1)`
ex2) `freeze (icmp op0, op1) -/-> icmp (freeze(op0), freeze(op1))` <= this splits one freeze into two; its benefit is not clear.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106041