re PR c/35634 (operand of pre-/postin-/decrement not promoted)
authorRichard Biener <rguenther@suse.de>
Wed, 28 Nov 2012 09:27:10 +0000 (09:27 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 28 Nov 2012 09:27:10 +0000 (09:27 +0000)
commitcc3c4f62f32c2945e5bbd85c084dae1f7046280b
tree708df4dc743c4f6d7778396707a8a1254049b1dd
parentb1c2b51b6662adebbc37c6590d697e9fe3439076
re PR c/35634 (operand of pre-/postin-/decrement not promoted)

2012-11-28  Richard Biener  <rguenther@suse.de>

PR c/35634
* gimple.h (gimplify_self_mod_expr): Declare.
* gimplify.c (gimplify_self_mod_expr): Export.  Take a different
type for performing the arithmetic in.
(gimplify_expr): Adjust.
* tree-vect-loop-manip.c (vect_can_advance_ivs_p): Strip
sign conversions we can re-apply after adjusting the IV.

c-family/
* c-gimplify.c (c_gimplify_expr): Gimplify self-modify expressions
here and use a type with proper overflow behavior for types that would
need to be promoted for the arithmetic.

* gcc.dg/torture/pr35634.c: New testcase.
* g++.dg/torture/pr35634.C: Likewise.
* gcc.dg/vect/pr18536.c: Mark worker function noinline.

From-SVN: r193882
gcc/ChangeLog
gcc/c-family/ChangeLog
gcc/c-family/c-gimplify.c
gcc/gimple.h
gcc/gimplify.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/torture/pr35634.C [new file with mode: 0644]
gcc/testsuite/gcc.dg/torture/pr35634.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/vect/pr18536.c
gcc/tree-vect-loop-manip.c