r231064 - in /trunk/gcc: ada/ChangeLog ada/gcc-...

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Mon Nov 30 11:46:32 2015
New Revision: 231064

URL: https://gcc.gnu.org/viewcvs?rev=231064&root=gcc&view=rev
Log:
	* gcc-interface/gigi.h (is_simple_additive_expression): Declare.
	* gcc-interface/trans.c (struct range_check_info_d): Add DISP and
	NEG_P fields.
	(find_loop_for): Add DISP and NEG_P parameters with default value.
	Call is_simple_additive_expression to handle additive expressions.
	(Loop_Statement_to_gnu): Deal with displacement in range checks.
	(Raise_Error_to_gnu): Likewise.
	(gnat_to_gnu): Add call to find_loop_for.
	(is_simple_additive_expression): New function extracted from...
	(gnat_invariant_expr): ...here.  Call it on the expression.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gcc-interface/gigi.h
    trunk/gcc/ada/gcc-interface/trans.c
    trunk/gcc/ada/gcc-interface/utils2.c
    trunk/gcc/testsuite/gnat.dg/loop_optimization22.adb