Change Details

This patch is an early proof-of-concept patch: it only handles propagates facts to the true branch of an ICMP instruction and some things are not done as efficiently as possible. I am sharing it now to get some feedback on the overall approach: using PredicateInfo in IPSCCP. It allows us to propagate facts about conditions in the solver without much effort, at the cost of building PredicateInfo for all functions up-front. If building it up-front is a big issue, I suppose we could try to only insert copies for cmp instructions involving operands that are not undefined or overdefined. We should be able to extend it to also propagate additional facts about floats and nonnull. What do you think?

This patch updates IPSCCP to use PredicateInfo to propagate facts to true branches predicated by EQ and to false branches predicated by NE. As a follow up, we should be able to extend it to also propagate additional facts about nonnull.

This patch is an early proof-of-concept patch: it only handlesupdates IPSCCP to use PredicateInfo to propagate propagates facts to the true branch of an ICMP instruction and somees predicated by EQ and to false branches things are not done as efficiently as possiblepredicated by NE. I am sharing it now to get some feedback on the overall approach: using PredicateInfo in IPSCCP. It allows us to propagate facts about conditions in the solver without much effort, at the cost of building PredicateInfo for all functions up-front. If building it up-front is a big issueAs a follow up, I suppose we could try to only insert copies for cmp instructions involving operands that are not undefined or overdefined. Wewe should be able to extend it to also propagate additional facts about floats and nonnull. What do you think?