re PR target/78658 (powerpc64le: ICE with -mcpu=power9 -Og)

[gcc]
2016-12-06  Michael Meissner  <meissner@linux.vnet.ibm.com>

	PR target/78658
	* config/rs6000/rs6000.md (zero_extendqi<mode>2): Use ^ instead of
	?* constraints for the ISA 3.0 patterns, so the register allocator
	is more likely to allocate QImode/HImode to vector registers for
	conversion to floating point unless a reload is needed.
	(zero_extendhi<mode>2): Likewise.
	(float<QHI:mode><FP_ISA3:mode>2_internal): Properly deal with the
	first alternative which is converting QImode/HImode to floating
	point and the QImode/HImode value is in a vector register, and
	does not allocate the second pseudo register.  Remove zero
	extending into traditional floating point registers, since the
	instruction used only works on traditional altivec registers.
	(floatuns<QHI:mode><FP_ISA3:mode>2_internal): Likewise.

[gcc/testsuite]
2016-12-06  Michael Meissner  <meissner@linux.vnet.ibm.com>

	PR target/78658
	* gcc.target/powerpc/pr78658.c: New test.

From-SVN: r243320

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 85916c155759a99342222b3f77a5602a9a8c0e14..463dc1a37d9fda05e12f591f28dacc3d79b6cbb8 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,19 @@
+2016-12-06  Michael Meissner  <meissner@linux.vnet.ibm.com>
+
+       PR target/78658
+       * config/rs6000/rs6000.md (zero_extendqi<mode>2): Use ^ instead of
+       ?* constraints for the ISA 3.0 patterns, so the register allocator
+       is more likely to allocate QImode/HImode to vector registers for
+       conversion to floating point unless a reload is needed.
+       (zero_extendhi<mode>2): Likewise.
+       (float<QHI:mode><FP_ISA3:mode>2_internal): Properly deal with the
+       first alternative which is converting QImode/HImode to floating
+       point and the QImode/HImode value is in a vector register, and
+       does not allocate the second pseudo register.  Remove zero
+       extending into traditional floating point registers, since the
+       instruction used only works on traditional altivec registers.
+       (floatuns<QHI:mode><FP_ISA3:mode>2_internal): Likewise.
+
 2016-12-06  David Malcolm  <dmalcolm@redhat.com>
 
        * config/i386/i386.c: Include print-rtl.h.

diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index 5a453a08e6bb31d69dc0e4c6d88a4f6f84b36fc2..4726d73d573df0d6a68560be27f5361ceb5b7400 100644 (file)
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -738,8 +738,8 @@
 ;; complex forms.  Basic data transfer is done later.
 
 (define_insn "zero_extendqi<mode>2"
-  [(set (match_operand:EXTQI 0 "gpc_reg_operand" "=r,r,?*wJwK,?*wK")
-       (zero_extend:EXTQI (match_operand:QI 1 "reg_or_mem_operand" "m,r,Z,*wK")))]
+  [(set (match_operand:EXTQI 0 "gpc_reg_operand" "=r,r,^wJwK,^wK")
+       (zero_extend:EXTQI (match_operand:QI 1 "reg_or_mem_operand" "m,r,Z,wK")))]
   ""
   "@
    lbz%U1%X1 %0,%1
@@ -791,7 +791,7 @@
 
 
 (define_insn "zero_extendhi<mode>2"
-  [(set (match_operand:EXTHI 0 "gpc_reg_operand" "=r,r,?*wJwK,?*wK")
+  [(set (match_operand:EXTHI 0 "gpc_reg_operand" "=r,r,^wJwK,^wK")
        (zero_extend:EXTHI (match_operand:HI 1 "reg_or_mem_operand" "m,r,Z,wK")))]
   ""
   "@
@@ -5413,11 +5413,13 @@
 
   if (!MEM_P (input))
     {
+      rtx tmp = operands[3];
       if (altivec_register_operand (input, <QHI:MODE>mode))
        emit_insn (gen_extend<QHI:mode>di2 (di, input));
+      else if (GET_CODE (tmp) == SCRATCH)
+       emit_insn (gen_extend<QHI:mode>di2 (di, input));
       else
        {
-         rtx tmp = operands[3];
          emit_insn (gen_extend<QHI:mode>di2 (tmp, input));
          emit_move_insn (di, tmp);
        }
@@ -5449,7 +5451,7 @@
 (define_insn_and_split "*floatuns<QHI:mode><FP_ISA3:mode>2_internal"
   [(set (match_operand:FP_ISA3 0 "vsx_register_operand" "=<Fv>,<Fv>,<Fv>")
        (unsigned_float:FP_ISA3
-        (match_operand:QHI 1 "reg_or_indexed_operand" "wJwK,r,Z")))
+        (match_operand:QHI 1 "reg_or_indexed_operand" "wK,r,Z")))
    (clobber (match_scratch:DI 2 "=wK,wi,wJwK"))
    (clobber (match_scratch:DI 3 "=X,r,X"))]
   "TARGET_P9_VECTOR && TARGET_DIRECT_MOVE && TARGET_POWERPC64
@@ -5467,8 +5469,13 @@
   else
     {
       rtx tmp = operands[3];
-      emit_insn (gen_zero_extend<QHI:mode>di2 (tmp, input));
-      emit_move_insn (di, tmp);
+      if (GET_CODE (tmp) == SCRATCH)
+       emit_insn (gen_extend<QHI:mode>di2 (di, input));
+      else
+       {
+         emit_insn (gen_zero_extend<QHI:mode>di2 (tmp, input));
+         emit_move_insn (di, tmp);
+       }
     }
 
   emit_insn (gen_floatdi<FP_ISA3:mode>2 (result, di));

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 95167b3d8de51e01fcf63bbf92abebaad94ae2db..5adcdd2c40a9c4bff3c9e19c202e080a920c8ad5 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-12-06  Michael Meissner  <meissner@linux.vnet.ibm.com>
+
+       PR target/78658
+       * gcc.target/powerpc/pr78658.c: New test.
+
 2016-12-06  Vladimir Makarov  <vmakarov@redhat.com>
 
        target/77761

diff --git a/gcc/testsuite/gcc.target/powerpc/pr78658.c b/gcc/testsuite/gcc.target/powerpc/pr78658.c
new file mode 100644 (file)
index 0000000..fcea632
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/pr78658.c
@@ -0,0 +1,14 @@
+/* { dg-do compile { target { powerpc64*-*-* && lp64 } } } */
+/* { dg-skip-if "do not override -mcpu" { powerpc*-*-* } { "-mcpu=*" } { "-mcpu=power9" } } */
+/* { dg-require-effective-target powerpc_p9vector_ok } */
+/* { dg-options "-mcpu=power9 -O2" } */
+
+/* This caused an unrecognizable insn message on development versions of GCC 7.  */
+
+float a;
+char b;
+
+void c(void)
+{
+  a = b = a;
+}