pet_expr_new_unary: take type size argument
commitd358f6694245d3123897a9a6b1aa7ef029d8d9f2
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 11 Aug 2014 20:07:38 +0000 (11 22:07 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 11 Aug 2014 20:07:38 +0000 (11 22:07 +0200)
tree290e92735a12ea8453c406739786fa8bd3082139
parent33bcc203d1c94a764d4d6b4733f2a39ff4b30e77
pet_expr_new_unary: take type size argument

We already keep track of the type size of binary operators,
but we did not do this for unary ones.
The main reason for keeping track of the type size of mainly
the unary minus operator is that, when applied to a constant
integer expression, it would be converted to an affine expression in
call_plug_in_affine_args in context.c so that it can be plugged
into the access relations of the array arguments.

The side effect is that all such function arguments are now
converted into access expression, whereas it may be nicer
to convert them to integer expressions.
We can handle that later if needed.

Reported-by: Riyadh BAGHDADI <baghdadi.m.riyadh@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
expr.c
expr.h
scan.cc
tests/call6.c [new file with mode: 0644]
tests/call6.scop [new file with mode: 0644]