[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