[PATCH] D128155: [GuardWidening] Use freeze to widen using possible poison value.

[Serguei Katkov via Phabricator via llvm-commits]

skatkov added a comment.

I tend to re-write the patch and introduce the option to use freeze or logical and then choose the best one.
To have improved version of this patch for freeze and implement select solution I'll need to do some preparation work to know what condition comes from the widening guard (it should be first in logcal and and there is no need to freeze it) and what comes from other guard.
So, please be tuned.

Thank you, guys for suggestions.


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

https://reviews.llvm.org/D128155