procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR libgcc/55451 (FAIL: gcc.dg/fixed-point/unary.c)

Browse source 
PR libgcc/55451
	* fixed-bit.c (FIXED_SSADD, FIXED_SSSUB, FIXED_SSNEG): Avoid
	undefined signed overflows.

From-SVN: r194439
This commit is contained in:
Jakub Jelinek 2012-12-12 10:38:56 +01:00 • committed by Jakub Jelinek
parent 4c052539b6
commit ee3ae4f768
2 changed files with 17 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
libgcc/ChangeLog
View file

@ -1,3 +1,9 @@
2012-12-12 Jakub Jelinek <jakub@redhat.com>
PR libgcc/55451
* fixed-bit.c (FIXED_SSADD, FIXED_SSSUB, FIXED_SSNEG): Avoid
undefined signed overflows.
2012-12-09 Uros Bizjak <ubizjak@gmail.com>
PR target/55344

29
libgcc/fixed-bit.c
View file

@ -1,5 +1,5 @@
/* This is a software fixed-point library.
Copyright (C) 2007, 2009, 2011 Free Software Foundation, Inc.
Copyright (C) 2007, 2009, 2011, 2012 Free Software Foundation, Inc.
This file is part of GCC.
@ -80,15 +80,14 @@ FIXED_SSADD (FIXED_C_TYPE a, FIXED_C_TYPE b)
INT_C_TYPE x, y, z;
memcpy (&x, &a, FIXED_SIZE);
memcpy (&y, &b, FIXED_SIZE);
z = x + y;
z = x + (UINT_C_TYPE) y;
if ((((x ^ y) >> I_F_BITS) & 1) == 0)
{
if (((z ^ x) >> I_F_BITS) & 1)
{
z = 1;
z = z << I_F_BITS;
if (x >= 0)
z--;
z = ((UINT_C_TYPE) 1) << I_F_BITS;
if (x >= 0)
z -= (UINT_C_TYPE) 1;
}
}
#if HAVE_PADDING_BITS
@ -152,15 +151,14 @@ FIXED_SSSUB (FIXED_C_TYPE a, FIXED_C_TYPE b)
INT_C_TYPE x, y, z;
memcpy (&x, &a, FIXED_SIZE);
memcpy (&y, &b, FIXED_SIZE);
z = x - y;
z = x - (UINT_C_TYPE) y;
if (((x ^ y) >> I_F_BITS) & 1)
{
if (((z ^ x) >> I_F_BITS) & 1)
{
z = 1;
z = z << I_F_BITS;
if (x >= 0)
z--;
z = ((UINT_C_TYPE) 1) << I_F_BITS;
if (x >= 0)
z -= (UINT_C_TYPE) 1;
}
}
#if HAVE_PADDING_BITS
@ -569,16 +567,11 @@ FIXED_SSNEG (FIXED_C_TYPE a)
INT_C_TYPE x, y, z;
memcpy (&y, &a, FIXED_SIZE);
x = 0;
z = x - y;
z = x - (UINT_C_TYPE) y;
if (((x ^ y) >> I_F_BITS) & 1)
{
if (((z ^ x) >> I_F_BITS) & 1)
{
z = 1;
z = z << I_F_BITS;
if (x >= 0)
z--;
}
z = (((UINT_C_TYPE) 1) << I_F_BITS) - 1;
}
#if HAVE_PADDING_BITS
z = z << PADDING_BITS;