> On 09/29/11 17:36, Jeff Law wrote: > > On 09/29/11 09:26, Bernd Schmidt wrote: > >> ISTR cse.c has some support for this. > > cprop.c -- see references to implicit_sets. > > cse too: record_jump_equiv.
Interesting. Are the two approaches subtly different or do they apply precisely the same predication?
