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: [PATCH] [Annotalysis] Add support for arrays in lock expressions

On 11-11-10 13:25 , Delesley Hutchins wrote: 
But you should not see such an expression in gimple.  The array index is
always a gimple_val.


I'm not sure what you mean.  The expression  array[i+1]  compiles to
the following (courtesy of dump-tree-ssa):

D.2095_4 = (long unsigned int) i_1;
D.2096_5 = D.2095_4 + 1;
D.2097_6 = D.2096_5 * 4;
D.2098_8 = array_7(D) + D.2097_6;

Annotalysis canonicalizes this gimple code into a tree that includes a
PLUS_EXPR, a MULT_EXPR, and a POINTER_PLUS_EXPR.

Ah, I see what you mean now. Sorry. Yes, the patch is fine with the other fixes.


Diego.

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