[PATCH] D11918: Constant propagation after hiting assume(icmp)

[Daniel Berlin via llvm-commits]

dberlin added a subscriber: dberlin.
dberlin added a comment.

Not just that.
llvm.assume asserts whatever the condition is, is true.
PropagateEquality will propagate equalities like (A < B) == true as
well, by replacing all dominated instances of A>= B == false.

So you should be able to "propagate" basically all the ICMP variants.


http://reviews.llvm.org/D11918