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

simplify-rtx.c (simplifi_binary_operation): If DIV has narrower mode than op0, only return the bits in DIV's mode. 

* simplify-rtx.c (simplifi_binary_operation) [DIV]: If DIV has
	narrower mode than op0, only return the bits in DIV's mode.

	* gcc.c-torture/compile/20011219-2.c: New test.

From-SVN: r48199
This commit is contained in:
Jakub Jelinek 2001-12-20 09:26:20 +01:00 committed by Jakub Jelinek
parent 2a3b43b609
commit a9dc868ffb
4 changed files with 31 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2001-12-20 Jakub Jelinek <jakub@redhat.com>
* simplify-rtx.c (simplifi_binary_operation) [DIV]: If DIV has
narrower mode than op0, only return the bits in DIV's mode.
2001-12-20 Jakub Jelinek <jakub@redhat.com>
* combine.c (distribute_notes): Avoid adding REG_LABEL notes

5
gcc/simplify-rtx.c
View File

@ -1412,7 +1412,10 @@ simplify_binary_operation (code, mode, op0, op1)
case DIV:
if (trueop1 == CONST1_RTX (mode))
return op0;
{
rtx x = gen_lowpart_common (mode, op0);
return x ? x : op0;
}
/* In IEEE floating point, 0/x is not always 0. */
if ((TARGET_FLOAT_FORMAT != IEEE_FLOAT_FORMAT

2
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,7 @@
2001-12-20 Jakub Jelinek <jakub@redhat.com>
* gcc.c-torture/compile/20011219-2.c: New test.
* gcc.c-torture/execute/20011219-1.c: New test.
2001-12-19 David Billinghurst <David.Billinghurst@riotinto.com>

20
gcc/testsuite/gcc.c-torture/compile/20011219-2.c Normal file
View File

@ -0,0 +1,20 @@
/* This testcase failed on Alpha at -O2 when simplifying conditional
expressions. */
struct S {
unsigned long a;
double b, c;
};
extern double bar (double, double);
int
foo (unsigned long x, unsigned int y, struct S *z)
{
unsigned int a = z->a;
int b = y / z->a > 1 ? y / z->a : 1;
a = y / b < z->a ? y / b : z->a;
z->c = z->b * bar ((double) a, (double) x);
return 0;
}