Merging CCP and VRP?

[Diego Novillo]

On Wed, Mar 30, 2005 at 10:58:39AM -0700, Jeffrey A Law wrote:

> Whatever scheme we use to explicitly expose context sensitive 
> equivalences in the IL needs to be a pure expression.
> 
Well, that's the fundamental mechanism behind ASSERT_EXPRs and
VRP.  Remember more details about the problem?  You're being
pretty vague.

> And, yes, it is imperative that we const/copy propagate into
> ASSERT_EXPRs to the fullest extent possible.  Otherwise we lose a lot
> of threading opportunities.
> 
ASSERT_EXPRs are regular expressions, so this is not a problem.


Thanks.  Diego.