[PATCH] D76153: [SimplifyCFG] try branch-to-branch simplification sooner

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

As you concerned, in theory the transformation may introduce more undefinedness in target: http://volta.cs.utah.edu:8080/z/wygrrr
(Right now there was a slight issue with vector function input in Alive2 so I unpacked it into individual scalar inputs)
I think converting it into select rather than and/or is a safer approach. It clearly preserves which condition should be considered first.


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

https://reviews.llvm.org/D76153