-----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. 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-----
