[PATCH] D106779: [SimplifyCFG] Make ValueEqaulityComparison freeze-aware.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Pushing the freeze into the operand of the icmp would be a lot easier to reason about; the existing code would just work.  Not sure we can really do it effectively inside SimplifyCFG; we'd probably also need some code to merge freeze operations on the same value.

Trying to analyze (freeze (icmp a, b)) directly is potentially problematic.  The biggest problem is that if the freeze has multiple uses, they have to evaluate to the same value.  Some specific transforms might also need to introduce freeze operations.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106779