From: Segher Boessenkool <segher@kernel.crashing.org>
Date: Wed, 10 Jan 2018 15:13:07 +0000 (+0100)
Subject: rs6000: Wrap diff of immediates in const (PR83629)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8c6e19c1c24794163bc9114bb367c9d61b7f839c;p=gcc.git

rs6000: Wrap diff of immediates in const (PR83629)

In various of our 32-bit load_toc patterns we take the difference of
two immediates (labels) as a term to something bigger; but this isn't
canonical RTL, it needs to be wrapped in CONST.


	PR target/83629
	* config/rs6000/rs6000.md (load_toc_v4_PIC_2, load_toc_v4_PIC_3b,
	load_toc_v4_PIC_3c): Wrap const term in CONST RTL.

testsuite/
	PR target/83629
	* gcc.target/powerpc/pr83629.c: New testcase.

From-SVN: r256432
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 01a89c72ef3..8b5bda301ca 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-01-10  Segher Boessenkool  <segher@kernel.crashing.org>
+
+	PR target/83629
+	* config/rs6000/rs6000.md (load_toc_v4_PIC_2, load_toc_v4_PIC_3b,
+	load_toc_v4_PIC_3c): Wrap const term in CONST RTL.
+
 2018-01-10  Richard Biener  <rguenther@suse.de>
 
 	PR debug/83765
diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index 3d3ead4ec49..b718e209e3a 100644
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -10646,27 +10646,33 @@
 
 (define_insn "load_toc_v4_PIC_2"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
-	(mem:SI (plus:SI (match_operand:SI 1 "gpc_reg_operand" "b")
-		   (minus:SI (match_operand:SI 2 "immediate_operand" "s")
-			     (match_operand:SI 3 "immediate_operand" "s")))))]
+	(mem:SI (plus:SI
+		  (match_operand:SI 1 "gpc_reg_operand" "b")
+		  (const
+		    (minus:SI (match_operand:SI 2 "immediate_operand" "s")
+			      (match_operand:SI 3 "immediate_operand" "s"))))))]
   "TARGET_ELF && DEFAULT_ABI == ABI_V4 && flag_pic == 2"
   "lwz %0,%2-%3(%1)"
   [(set_attr "type" "load")])
 
 (define_insn "load_toc_v4_PIC_3b"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
-	(plus:SI (match_operand:SI 1 "gpc_reg_operand" "b")
-		 (high:SI
-		   (minus:SI (match_operand:SI 2 "symbol_ref_operand" "s")
-			     (match_operand:SI 3 "symbol_ref_operand" "s")))))]
+	(plus:SI
+	  (match_operand:SI 1 "gpc_reg_operand" "b")
+	  (high:SI
+	    (const
+	      (minus:SI (match_operand:SI 2 "symbol_ref_operand" "s")
+			(match_operand:SI 3 "symbol_ref_operand" "s"))))))]
   "TARGET_ELF && TARGET_SECURE_PLT && DEFAULT_ABI == ABI_V4 && flag_pic"
   "addis %0,%1,%2-%3@ha")
 
 (define_insn "load_toc_v4_PIC_3c"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
-	(lo_sum:SI (match_operand:SI 1 "gpc_reg_operand" "b")
-		   (minus:SI (match_operand:SI 2 "symbol_ref_operand" "s")
-			     (match_operand:SI 3 "symbol_ref_operand" "s"))))]
+	(lo_sum:SI
+	  (match_operand:SI 1 "gpc_reg_operand" "b")
+	  (const
+	    (minus:SI (match_operand:SI 2 "symbol_ref_operand" "s")
+		      (match_operand:SI 3 "symbol_ref_operand" "s")))))]
   "TARGET_ELF && TARGET_SECURE_PLT && DEFAULT_ABI == ABI_V4 && flag_pic"
   "addi %0,%1,%2-%3@l")
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f99a83ddd78..11266ff69ee 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-10  Segher Boessenkool  <segher@kernel.crashing.org>
+
+	PR target/83629
+	* gcc.target/powerpc/pr83629.c: New testcase.
+
 2018-01-10  Richard Biener  <rguenther@suse.de>
 
 	PR testsuite/78768
diff --git a/gcc/testsuite/gcc.target/powerpc/pr83629.c b/gcc/testsuite/gcc.target/powerpc/pr83629.c
new file mode 100644
index 00000000000..aeff699c805
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/pr83629.c
@@ -0,0 +1,9 @@
+/* { dg-options "-O2 -fPIC -frename-registers --param=sched-autopref-queue-depth=0 -mcpu=603" } */
+
+extern void bar (void *);
+
+void
+foo (void)
+{
+  bar ("");
+}