-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 08/17/11 01:38, grabekm90 wrote: >> > > The question is: how can we get to know, using GIMPLE mechanism, from > which parameter a pointer derives? You'd have to build code to record the derivations. Ideally you'd work on the SSA graph and just record the derivations as you encounter them. PHIs will require a little more logic, but should be pretty straightforward.
The dominator tree walker or CCP engine would be natural ways to structure this code. If you can't use the SSA graph, it gets a lot harder. jeff -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJOS94mAAoJEBRtltQi2kC7xu4H/iGa/vXIrDfboFBVq/AXkkSd pCO6zM17LiNmdFtgqXrb2zU0MbAXrsEqsrefmfP9TD3iEgt9vCSB4Y0lwo7ZdRxA 0nd+tgomrCTYbgtjPGLdJrI5dH/4Vco6gaN6WjZ1R702U4ExakJjtOdEy4U8e2RI 06VG60qlnDREO/M3xhXCi/VefU1zZ3wlovxP4zf2EgL8hX+MOiAHTw0R8OYdiUTj IevJIguREhc8MxY76UxrYmL5orhXSQjUu9ZYn7T7kfqpz650JYtKOQ0ltNKXfxh0 6a8NYmTjTFuG01oBnJ4Wp5tIofuTsQL3Gd5TsIAspXrgNqawrseTK1LL4gYkNjQ= =q+oc -----END PGP SIGNATURE-----