re PR target/79495 (ICE in extract_constrain_insn, at recog.c:2213)

	PR target/79495
	* config/i386/i386.md (*movxf_internal): Add (o,rC) alternative.

testsuite/ChangeLog:

2017-02-14  Uros Bizjak  <ubizjak@gmail.com>

	PR target/79495
	* gcc.target/i386/pr79495.c: New test.

From-SVN: r245441

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2a4c2c44d307312e50b4643297a46c367f7a93cf..9bb58c785bf6b05adfe1dca851c3cb52d98b6b6e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-02-14  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/79495
+       * config/i386/i386.md (*movxf_internal): Add (o,rC) alternative.
+
 2017-02-14  H.J. Lu  <hongjiu.lu@intel.com>
 
        PR target/79498

diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index 3af1ffc5dac1a7dd3762d808c1c0d84b1bec4adb..9d4dc3894a9df696a7e3b7fd017b2d9b1c640db7 100644 (file)
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -3248,9 +3248,9 @@
 ;; in alternatives 4, 6, 7 and 8.
 (define_insn "*movxf_internal"
   [(set (match_operand:XF 0 "nonimmediate_operand"
-        "=f,m,f,?r ,!o,?*r ,!o,!o,!o,r  ,o")
+        "=f,m,f,?r ,!o,?*r ,!o,!o,!o,r  ,o ,o")
        (match_operand:XF 1 "general_operand"
-        "fm,f,G,roF,r , *roF,*r,F ,C,roF,rF"))]
+        "fm,f,G,roF,r ,*roF,*r,F ,C ,roF,rF,rC"))]
   "!(MEM_P (operands[0]) && MEM_P (operands[1]))
    && (lra_in_progress || reload_completed
        || !CONST_DOUBLE_P (operands[1])
@@ -3277,19 +3277,19 @@
     }
 }
   [(set (attr "isa")
-       (cond [(eq_attr "alternative" "7")
+       (cond [(eq_attr "alternative" "7,10")
                 (const_string "nox64")
-              (eq_attr "alternative" "8")
+              (eq_attr "alternative" "8,11")
                 (const_string "x64")
              ]
              (const_string "*")))
    (set (attr "type")
-       (cond [(eq_attr "alternative" "3,4,5,6,7,8,9,10")
+       (cond [(eq_attr "alternative" "3,4,5,6,7,8,9,10,11")
                 (const_string "multi")
              ]
              (const_string "fmov")))
    (set (attr "mode")
-       (cond [(eq_attr "alternative" "3,4,5,6,7,8,9,10")
+       (cond [(eq_attr "alternative" "3,4,5,6,7,8,9,10,11")
                 (if_then_else (match_test "TARGET_64BIT")
                   (const_string "DI")
                   (const_string "SI"))
@@ -3300,7 +3300,7 @@
               (symbol_ref "false")]
            (symbol_ref "true")))
    (set (attr "enabled")
-     (cond [(eq_attr "alternative" "9,10")
+     (cond [(eq_attr "alternative" "9,10,11")
               (if_then_else
                (match_test "TARGET_HARD_XF_REGS")
                (symbol_ref "false")

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index be1ea5c035bc4ae2f5bf22c83018462e9b6889ff..429762aeb251fe15296d72faa15c11ad8dcf7308 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-02-14  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/79495
+       * gcc.target/i386/pr79495.c: New test.
+
 2017-02-14  Marek Polacek  <polacek@redhat.com>
 
        PR c++/79420

diff --git a/gcc/testsuite/gcc.target/i386/pr79495.c b/gcc/testsuite/gcc.target/i386/pr79495.c
new file mode 100644 (file)
index 0000000..27f48fa
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr79495.c
@@ -0,0 +1,11 @@
+/* PR target/79495 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -msoft-float" } */
+
+long double dnan = 1.0l/0.0l - 1.0l/0.0l;
+long double x = 1.0l;
+void fn1 (void)
+{
+  if (dnan != x)
+    x = 1.0;
+}