This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: GIMPLE and intent of variables

From: Jeff Law <law at redhat dot com>
To: grabekm90 <grabekm90 at wp dot pl>
Cc: gcc-patches at gcc dot gnu dot org
Date: Wed, 17 Aug 2011 09:28:38 -0600
Subject: Re: GIMPLE and intent of variables
References: <32275433.post@talk.nabble.com> <4E4AE3EF.8060207@redhat.com> <32277626.post@talk.nabble.com>

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

References:
- GIMPLE and intent of variables
  - From: grabekm90
- Re: GIMPLE and intent of variables
  - From: Jeff Law
- Re: GIMPLE and intent of variables
  - From: grabekm90

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]