diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2012-04-27 12:17:50 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gcc.gnu.org> | 2012-04-27 12:17:50 +0000 |
| commit | d5548709911e5961c5cfbd4c32002815d98bc694 (patch) | |
| tree | 4ac9a01229dbba2506367b6d7db16af091593c33 /gcc | |
| parent | 209be5530933e20eee6b7d7141c11a535f0461e2 (diff) | |
| download | gcc-d5548709911e5961c5cfbd4c32002815d98bc694.zip gcc-d5548709911e5961c5cfbd4c32002815d98bc694.tar.gz gcc-d5548709911e5961c5cfbd4c32002815d98bc694.tar.bz2 | |
re PR target/53138 (spaceship operator miscompiled)
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/config/i386/i386.md | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20120427-1.c | 36 |
4 files changed, 48 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 88b54ac..152bbe1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -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. diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index 60439f9..28d2f9e 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -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") diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2109f5d..0c41cc5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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 diff --git a/gcc/testsuite/gcc.c-torture/execute/20120427-1.c b/gcc/testsuite/gcc.c-torture/execute/20120427-1.c new file mode 100644 index 0000000..46ed76a --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20120427-1.c @@ -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; +} |