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

re PR target/53138 (spaceship operator miscompiled)

Browse source 
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:
2012-04-27  Paolo Bonzini  <bonzini@gnu.org>

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

From-SVN: r186904
This commit is contained in:
Paolo Bonzini 2012-04-27 12:17:50 +00:00 • committed by Paolo Bonzini
parent 209be55309
commit d554870991
4 changed files with 48 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 @@
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-27 Richard Guenther <rguenther@suse.de>
* tree-flow.h (is_hidden_global_store): Remove.

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

@ -16439,7 +16439,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")

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2012-04-27 Paolo Bonzini <bonzini@gnu.org>
PR target/53138
* gcc.c-torture/execute/20120427-1.c: New testcase.
2012-04-27 Marc Glisse <marc.glisse@inria.fr>
PR middle-end/27139

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;
}