ADDR_EXPR in gimple

[k9119911 <xxx-protoss at yahoo dot com dot tw>]

Hi

I need to do some instrumentations in gimple for some operations like a = b
+ c

For such operation, I want to get the address of a, b, and c and call a
function to handle it.

However, I have some problems to do it.

The following is my instrumentation:

gimple_assign <plus_expr, a, b, c>
gimple_assign <addr_expr, op0_addr.0, &amp;a, NULL>
gimple_assign <addr_expr, op1_addr.1, &amp;b, NULL>
gimple_assign <addr_expr, op2_addr.2, &amp;c, NULL>
gimple_call <foo, NULL, a, b, c, op0_addr.0, op1_addr.1, op2_addr.2>

Because I really need to get the address of those operands, I need to set 

those operands addressable(i.e. TREE_ADDRESSABLE(a) = 1). Then

I use build1(ADDR_EXPR, ptr_type_node, a) to get the address.

And op0_addr.0, op1_addr.1, and op2_addr.2 are all void * type.

However, I got wired gcc_assert(0) in propagate_necessity, at
tree-ssa-dce.c:978.

If I don't set it, I need to gimplify the addr_expr before assignment.

However, the result is not what I wnat because gimplify will create an
intermediate

variable and I got the address of the intermediate variable instead of the
original one.

I use gcc-4.7.2.

This is a weird problem.

Please help me, thanks.

I use gcc-4.7.2.




--
View this message in context: http://gcc.1065356.n5.nabble.com/ADDR-EXPR-in-gimple-tp1182283.html
Sent from the gcc - Help mailing list archive at Nabble.com.