OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fold-const.c (make_range_step): Bail out if the range isn't testing for zero. 

* fold-const.c (make_range_step) <TRUTH_NOT_EXPR>: Bail out if the
	range isn't testing for zero.

From-SVN: r195643
This commit is contained in:
Eric Botcazou 2013-02-01 10:23:36 +00:00 committed by Eric Botcazou
parent a9d3a705dd
commit 3a9242516d
4 changed files with 50 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2013-02-01 Eric Botcazou <ebotcazou@adacore.com>
* fold-const.c (make_range_step) <TRUTH_NOT_EXPR>: Bail out if the
range isn't testing for zero.
2013-01-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/56113

4
gcc/fold-const.c
View File

@ -3832,6 +3832,10 @@ make_range_step (location_t loc, enum tree_code code, tree arg0, tree arg1,
switch (code)
{
case TRUTH_NOT_EXPR:
/* We can only do something if the range is testing for zero. */
if (low == NULL_TREE || high == NULL_TREE
|| ! integer_zerop (low) || ! integer_zerop (high))
return NULL_TREE;
*p_in_p = ! in_p;
return arg0;

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2013-02-01 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/opt26.adb: New test.
2013-01-27 Uros Bizjak <ubizjak@gmail.com>
Backport from mainline

37
gcc/testsuite/gnat.dg/opt26.adb Normal file
View File

@ -0,0 +1,37 @@
-- { dg-do run }
-- { dg-options "-gnato -O" }
with Interfaces; use Interfaces;
procedure Opt26 is
procedure Shift_Left_Bool
(Bool : in Boolean;
U8 : out Interfaces.Unsigned_8)
is
begin
U8 := Shift_Left (Boolean'Pos (Bool), 6);
end Shift_Left_Bool;
procedure Shift_Left_Not_Bool
(Bool : in Boolean;
U8 : out Interfaces.Unsigned_8)
is
begin
U8 := Shift_Left (Boolean'Pos (not Bool), 6);
end Shift_Left_Not_Bool;
Bool : constant Boolean := True;
Byte1, Byte2 : Interfaces.Unsigned_8;
begin
Shift_Left_Bool (Bool, Byte1);
Shift_Left_Not_Bool (Bool, Byte2);
if Byte1 + Byte2 /= 64 then
raise Program_Error;
end if;
end;