re PR target/79514 (ICE in curr_insn_transform, at lra-constraints.c:3773)

	PR target/79514
	* config/i386/i386.md (*pushxf_rounded): New insn_and_split pattern.

testsuite/ChangeLog:

	PR target/79514
	* gcc.target/i386/pr79514.c: New test.

From-SVN: r245854

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6df3353f272a922182e824df352a854fe8afe776..40ed48354211f8e142d20433717a415be090e12a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-03-02  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/79514
+       * config/i386/i386.md (*pushxf_rounded): New insn_and_split pattern.
+
 2017-03-01  Pat Haugen  <pthaugen@us.ibm.com>
 
        Backport from mainline:

diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index 6e1987529ca4b670dfd9d6735ba6c3e1f1fd6eec..3b17bb2af612627f50548bd317744a6d5b0b22e1 100644 (file)
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -2816,6 +2816,36 @@
   operands[0] = replace_equiv_address (operands[0], stack_pointer_rtx);
 })
 
+(define_insn_and_split "*pushxf_rounded"
+  [(set (mem:XF
+         (pre_modify:DI
+           (reg:DI SP_REG)
+           (plus:DI (reg:DI SP_REG) (const_int -16))))
+       (match_operand:XF 0 "nonmemory_no_elim_operand" "f,r,*r,C"))]
+  "TARGET_64BIT"
+  "#"
+  "&& 1"
+  [(set (reg:DI SP_REG) (plus:DI (reg:DI SP_REG) (const_int -16)))
+   (set (match_dup 1) (match_dup 0))]
+{
+  rtx pat = PATTERN (curr_insn);
+  operands[1] = SET_DEST (pat);
+
+  /* Preserve memory attributes. */
+  operands[1] = replace_equiv_address (operands[1], stack_pointer_rtx);
+}
+  [(set_attr "type" "multi")
+   (set_attr "unit" "i387,*,*,*")
+   (set (attr "mode")
+       (cond [(eq_attr "alternative" "1,2,3")
+                (const_string "DI")
+             ]
+             (const_string "XF")))
+   (set (attr "preferred_for_size")
+     (cond [(eq_attr "alternative" "1")
+              (symbol_ref "false")]
+           (symbol_ref "true")))])
+
 (define_insn "*pushxf"
   [(set (match_operand:XF 0 "push_operand" "=<,<,<,<")
        (match_operand:XF 1 "general_no_elim_operand" "f,r,*r,oF"))]

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7b7dc05095b0700747ffcc53431176d768460d65..fee2c8cd5a8003b53583886450ea2f69c89fe137 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-03-02  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/79514
+       * gcc.target/i386/pr79514.c: New test.
+
 2017-03-01  Pat Haugen  <pthaugen@us.ibm.com>
 
        Backport from mainline:

diff --git a/gcc/testsuite/gcc.target/i386/pr79514.c b/gcc/testsuite/gcc.target/i386/pr79514.c
new file mode 100644 (file)
index 0000000..c5b7bf8
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr79514.c
@@ -0,0 +1,12 @@
+/* PR target/79514 */
+/* { dg-do compile } */
+/* { dg-options "-m96bit-long-double" } */
+
+extern void bar (long double);
+
+extern long double x;
+
+void foo (void)
+{
+  bar (x);
+}