[PATCH] D76153: [SimplifyCFG] try branch-to-branch simplification sooner
Eli Friedman via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Mar 13 14:34:23 PDT 2020
efriedma added a comment.
It isn't obvious to me why the order matters? The commit message and comments in the code don't really explain.
> Is it safe to convert this chain of branches into bitwise logic?
I think the way Alive2 currently defines poison, it's safe to transform a branch to a bool select, but transforming a bool select to bitwise logic requires freeze.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D76153/new/
https://reviews.llvm.org/D76153
More information about the llvm-commits
mailing list