[PATCH] D38641: [Inline][WIP] Expose more inlining opportunities by further constraining call site arguments based on splitting an OR condition.

[David Li via Phabricator via llvm-commits]

davidxl added a comment.

This is good stuff, but I don't feel Inliner is the right place to do such  transformation.

Narrowly speaking, it is callsite splitting transformation -- but in general it can be enhanced to handle more general block cloning/splitting to enable more const/predicate propagation (similar to jumpthreading)?   IPA-cp based function cloning can also benefit from this.


https://reviews.llvm.org/D38641