Nikita Popov c6e13667e7 [PredicateInfo] Add a method to interpret predicate as cmp constraint ...

Both users of predicteinfo (NewGVN and SCCP) are interested in
getting a cmp constraint on the predicated value. They currently
implement separate logic for this. This patch adds a common method
for this in PredicateBase.

This enables a missing bit of PredicateInfo handling in SCCP: Now
the predicate on the condition itself is also used. For switches
it means we know that the switched-on value is the same as the case
value. For assumes/branches we know that the condition is true or
false.

Differential Revision: https://reviews.llvm.org/D83640

2020-07-19 15:34:32 +02:00

38 KiB

Raw Blame History

View Raw