diff options
| author | Mikhail Maltsev <maltsevm@gmail.com> | 2015-11-24 12:18:21 +0000 |
|---|---|---|
| committer | Mikhail Maltsev <miyuki@gcc.gnu.org> | 2015-11-24 12:18:21 +0000 |
| commit | db92ed368534d79e1d210aebb1e1bd70713baf7b (patch) | |
| tree | 97a2f3e03332f51d60a9c1ae3c57db9b196378f7 /gcc | |
| parent | 5205ae6e2793fe81613a971cfdb8f87dfb07c05b (diff) | |
| download | gcc-db92ed368534d79e1d210aebb1e1bd70713baf7b.zip gcc-db92ed368534d79e1d210aebb1e1bd70713baf7b.tar.gz gcc-db92ed368534d79e1d210aebb1e1bd70713baf7b.tar.bz2 | |
Fix PR68497 (ICE with -fno-checking)
gcc/
PR target/68497
* config/i386/i386.c (output_387_binary_op): Fix assertion for
-fno-checking case.
gcc/testsuite/
PR target/68497
* gcc.target/i386/pr68497.c: New test.
From-SVN: r230803
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/config/i386/i386.c | 26 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr68497.c | 8 |
4 files changed, 33 insertions, 12 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cea194b..02590a2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-11-24 Mikhail Maltsev <maltsevm@gmail.com> + + PR target/68497 + * config/i386/i386.c (output_387_binary_op): Fix assertion for + -fno-checking case. + 2015-11-24 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * tree-ssa-uncprop.c (struct val_ssa_equiv_hash_traits): Remove. diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index cc42544..2ac6c25 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -17675,18 +17675,20 @@ output_387_binary_op (rtx insn, rtx *operands) /* Even if we do not want to check the inputs, this documents input constraints. Which helps in understanding the following code. */ - if (flag_checking - && STACK_REG_P (operands[0]) - && ((REG_P (operands[1]) - && REGNO (operands[0]) == REGNO (operands[1]) - && (STACK_REG_P (operands[2]) || MEM_P (operands[2]))) - || (REG_P (operands[2]) - && REGNO (operands[0]) == REGNO (operands[2]) - && (STACK_REG_P (operands[1]) || MEM_P (operands[1])))) - && (STACK_TOP_P (operands[1]) || STACK_TOP_P (operands[2]))) - ; /* ok */ - else - gcc_checking_assert (is_sse); + if (flag_checking) + { + if (STACK_REG_P (operands[0]) + && ((REG_P (operands[1]) + && REGNO (operands[0]) == REGNO (operands[1]) + && (STACK_REG_P (operands[2]) || MEM_P (operands[2]))) + || (REG_P (operands[2]) + && REGNO (operands[0]) == REGNO (operands[2]) + && (STACK_REG_P (operands[1]) || MEM_P (operands[1])))) + && (STACK_TOP_P (operands[1]) || STACK_TOP_P (operands[2]))) + ; /* ok */ + else + gcc_assert (is_sse); + } switch (GET_CODE (operands[3])) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2b31f8c..3ec74df 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-11-24 Mikhail Maltsev <maltsevm@gmail.com> + + PR target/68497 + * gcc.target/i386/pr68497.c: New test. + 2015-11-24 Bilyan Borisov <bilyan.borisov@arm.com> * gcc.target/aarch64/advsimd-intrinsics/vmulx_lane_f32_indices_1.c: diff --git a/gcc/testsuite/gcc.target/i386/pr68497.c b/gcc/testsuite/gcc.target/i386/pr68497.c new file mode 100644 index 0000000..0135cda --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr68497.c @@ -0,0 +1,8 @@ +/* { dg-do compile } */ +/* { dg-options "-fno-checking" } */ + +long double +foo (long double x, long double y) +{ + return x + y; +} |