combine: Use single_set for is_just_move

Message ID 84c5396d4bdbf9f1d628c77db4421808f9a9dcb6.1594943621.git.segher@kernel.crashing.org
State New
Headers show
Series
  • combine: Use single_set for is_just_move
Related show

Commit Message

Segher Boessenkool July 17, 2020, 12:21 a.m.
Since we now only call is_just_move on the original instructions, we
always have an rtx_insn* (not just a pattern), so we can use single_set
on it.  This makes no detectable difference at all on all thirty Linux
targets I test, but it does help cris, and it is simpler, cleaner code
anyway.

Tested on powerpc64-linux {-m32,-m64}.  Committed.


Segher


2020-07-16  Hans-Peter Nilsson  <hp@axis.com>
	    Segher Boessenkool  <segher@kernel.crashing.org>

	PR target/93372
	* combine.c (is_just_move): Take an rtx_insn* as argument.  Use
	single_set on it.
---
 gcc/combine.c | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

-- 
1.8.3.1

Patch

diff --git a/gcc/combine.c b/gcc/combine.c
index b044f29..4fee114 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -2624,15 +2624,16 @@  can_split_parallel_of_n_reg_sets (rtx_insn *insn, int n)
   return true;
 }
 
-/* Return whether X is just a single set, with the source
+/* Return whether X is just a single_set, with the source
    a general_operand.  */
 static bool
-is_just_move (rtx x)
+is_just_move (rtx_insn *x)
 {
-  if (INSN_P (x))
-    x = PATTERN (x);
+  rtx set = single_set (x);
+  if (!set)
+    return false;
 
-  return (GET_CODE (x) == SET && general_operand (SET_SRC (x), VOIDmode));
+  return general_operand (SET_SRC (set), VOIDmode);
 }
 
 /* Callback function to count autoincs.  */