On Wed, Mar 9, 2011 at 6:03 AM, Jeff Law <l...@redhat.com> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > On 03/09/11 02:45, Richard Guenther wrote: >> On Tue, Mar 8, 2011 at 11:04 PM, Jeff Law <l...@redhat.com> wrote: > >> True. I've been repeatedly thinking of building some on-the-side CFG >> with value-numbered predicates to also catch the CFG vs. scalar-code >> predicate combinations we have. On such on-the-side data structure >> we could do very aggressive jump-threading just for analysis purposes >> (experiments when working on separating conditions shows that >> a PRE-like algorithm could drive this). > I'm pondering the same kind of thing. PRE on the predicates with a more > structured approach to block copying to isolate the paths seems to be > the way to go.
Any simple examples to show how your idea would work? Thanks, David > > jeff > > > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v1.4.11 (GNU/Linux) > Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/ > > iQEcBAEBAgAGBQJNd4irAAoJEBRtltQi2kC73SAH/jIC30j/CkWSV9rQGYn+gtfD > WiBXnbYxv7rc6PUqkT8U5I3upk/subJKlAhAQ1D1Eg6355QqpcMh7yZJGz20ovGc > CXQOK1ZbtCXvk6uZ8QamdfowojhkkxQo900c9mJtuaaevjywwt+MX3VwShNIrfbA > bKSIjHVeeZ2qwymNYHV8C82Zss5WA72FQqIpmlTlPKEwWFO49jLld/iXszyjC1cF > OWQdH37ZNgXARibaWI28KZCz5B39yz5F4mljVCyMS9XvNKzfwabT5FHj8btYzdAK > HYoAsBtONN/0/FJPn3I9VwyYC0q8M6tm9BgMyhhVmCU2PWMCt0jZJZA9aW/4X+o= > =R64B > -----END PGP SIGNATURE----- >
