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

backport: re PR target/53138 (spaceship operator miscompiled) 

Backport from mainline
	2012-04-27  Paolo Bonzini  <bonzini@gnu.org>

	PR target/53138
	* config/i386/i386.md (x86_mov<mode>cc_0_m1_neg): Add clobber.

testsuite/ChangeLog:

	Backport from mainline
	2012-04-27  Paolo Bonzini  <bonzini@gnu.org>

	PR target/53138
	* gcc.c-torture/execute/20120427-1.c: New testcase.

From-SVN: r186962
This commit is contained in:
Uros Bizjak 2012-04-30 10:57:41 +02:00
parent c45a86fd95
commit b2028fd3b1
4 changed files with 55 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2012-04-30 Uros Bizjak <ubizjak@gmail.com>
Backport from mainline
2012-04-27 Paolo Bonzini <bonzini@gnu.org>
PR target/53138
* config/i386/i386.md (x86_mov<mode>cc_0_m1_neg): Add clobber.
2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
* config/i386/i386.c (ix86_handle_struct_attribute): Use the proper

3
gcc/config/i386/i386.md
View File

@ -16382,7 +16382,8 @@
(define_insn "*x86_mov<mode>cc_0_m1_neg"
[(set (match_operand:SWI48 0 "register_operand" "=r")
(neg:SWI48 (match_operator 1 "ix86_carry_flag_operator"
[(reg FLAGS_REG) (const_int 0)])))]
[(reg FLAGS_REG) (const_int 0)])))
(clobber (reg:CC FLAGS_REG))]
""
"sbb{<imodesuffix>}\t%0, %0"
[(set_attr "type" "alu")

10
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,11 @@
2012-04-30 Uros Bizjak <ubizjak@gmail.com>
Backport from mainline
2012-04-27 Paolo Bonzini <bonzini@gnu.org>
PR target/53138
* gcc.c-torture/execute/20120427-1.c: New testcase.
2012-04-26 Hans-Peter Nilsson <hp@axis.com>
PR target/53120
@ -28,7 +36,7 @@
2012-04-23 Jakub Jelinek <jakub@redhat.com>
PR tree-optimizations/52891
* gcc.c-torture/compile/pr52891-1.c: New test.
* gcc.c-torture/compile/pr52891-1.c: New test.
* gcc.c-torture/compile/pr52891-2.c: New test.
2012-04-20 Ian Lance Taylor <iant@google.com>

36
gcc/testsuite/gcc.c-torture/execute/20120427-1.c Normal file
View File

@ -0,0 +1,36 @@
typedef struct sreal
{
unsigned sig; /* Significant. */
int exp; /* Exponent. */
} sreal;
sreal_compare (sreal *a, sreal *b)
{
if (a->exp > b->exp)
return 1;
if (a->exp < b->exp)
return -1;
if (a->sig > b->sig)
return 1;
return -(a->sig < b->sig);
}
sreal a[] = {
{ 0, 0 },
{ 1, 0 },
{ 0, 1 },
{ 1, 1 }
};
int main()
{
int i, j;
for (i = 0; i <= 3; i++) {
for (j = 0; j < 3; j++) {
if (i < j && sreal_compare(&a[i], &a[j]) != -1) abort();
if (i == j && sreal_compare(&a[i], &a[j]) != 0) abort();
if (i > j && sreal_compare(&a[i], &a[j]) != 1) abort();
}
}
return 0;
}