mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 02:40:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR middle-end/36575 (ACATS c460011 fails at -O3)

Browse Source 
PR middle-end/36575
	* fold-const (div_and_round_double) <ROUND_DIV_EXPR>: Fix typo.

From-SVN: r140734
This commit is contained in:
Eric Botcazou 2008-09-28 15:12:07 +00:00 committed by Eric Botcazou
parent 86cfb27a7d
commit 58760a81d7
4 changed files with 45 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2008-09-28 Eric Botcazou <ebotcazou@adacore.com>
PR middle-end/36575
* fold-const (div_and_round_double) <ROUND_DIV_EXPR>: Fix typo.
2008-09-28 Eric Botcazou <ebotcazou@adacore.com>
* expmed.c (store_fixed_bit_field): Always use convert_to_mode in

4
gcc/fold-const.c
View File

@ -835,7 +835,7 @@ div_and_round_double (enum tree_code code, int uns,
if (hden < 0)
neg_double (lden, hden, &labs_den, &habs_den);
/* If (2 * abs (lrem) >= abs (lden)) */
/* If (2 * abs (lrem) >= abs (lden)), adjust the quotient. */
mul_double ((HOST_WIDE_INT) 2, (HOST_WIDE_INT) 0,
labs_rem, habs_rem, &ltwice, &htwice);
@ -843,7 +843,7 @@ div_and_round_double (enum tree_code code, int uns,
< (unsigned HOST_WIDE_INT) htwice)
|| (((unsigned HOST_WIDE_INT) habs_den
== (unsigned HOST_WIDE_INT) htwice)
&& (labs_den < ltwice)))
&& (labs_den <= ltwice)))
{
if (*hquo < 0)
/* quo = quo - 1; */

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2008-09-28 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/conv_decimal.adb: New test.
2008-09-26 Jakub Jelinek <jakub@redhat.com>
PR middle-end/37275

34
gcc/testsuite/gnat.dg/conv_decimal.adb Normal file
View File

@ -0,0 +1,34 @@
-- PR middle-end/36575
-- reporter: Laurent Guerby <laurent@guerby.net>
-- { dg-do run }
procedure Conv_Decimal is
type Unsigned_Over_8 is mod 2**8+2;
type Signed_Over_8 is range -200 .. 200;
procedure Assert(Truth: Boolean) is
begin
if not Truth then
raise Program_Error;
end if;
end;
type Decim is delta 0.1 digits 5;
Halfway : Decim := 2.5;
Neg_Half : Decim := -2.5;
Big : Unsigned_Over_8;
Also_Big : Signed_Over_8;
begin
Big := Unsigned_Over_8 (Halfway); -- Rounds up by 4.6(33).
Assert(Big = 3);
Also_Big := Signed_Over_8 (Halfway); -- Rounds up by 4.6(33).
Assert(Also_Big = 3);
Also_Big := Signed_Over_8 (Neg_Half); -- Rounds down by 4.6(33).
Assert(Also_Big = -3);
end;