From: Tom Wood <wood@gnu.org>
Date: Fri, 26 Mar 1993 11:26:22 +0000 (+0000)
Subject: > (untyped_call, blockage): New patterns.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9f0729815d3e0dd06cc0f361749649b597360962;p=gcc.git

> (untyped_call, blockage): New patterns.

From-SVN: r3883
---

diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md
index 9d91785a92c..8601d8c662f 100644
--- a/gcc/config/arm/arm.md
+++ b/gcc/config/arm/arm.md
@@ -1158,6 +1158,43 @@
   return (arm_output_asm_insn (\"bl\\t%a1\", operands));
 ")
 
+;; Call subroutine returning any type.
+
+(define_expand "untyped_call"
+  [(parallel [(call (match_operand 0 "" "")
+		    (const_int 0))
+	      (match_operand 1 "" "")
+	      (match_operand 2 "" "")])]
+  ""
+  "
+{
+  int i;
+
+  emit_call_insn (gen_call (operands[0], const0_rtx, NULL, const0_rtx));
+
+  for (i = 0; i < XVECLEN (operands[2], 0); i++)
+    {
+      rtx set = XVECEXP (operands[2], 0, i);
+      emit_move_insn (SET_DEST (set), SET_SRC (set));
+    }
+
+  /* The optimizer does not know that the call sets the function value
+     registers we stored in the result block.  We avoid problems by
+     claiming that all hard registers are used and clobbered at this
+     point.  */
+  emit_insn (gen_blockage ());
+
+  DONE;
+}")
+
+;; UNSPEC_VOLATILE is considered to use and clobber all hard registers and
+;; all of memory.  This blocks insns from being moved across this point.
+
+(define_insn "blockage"
+  [(unspec_volatile [(const_int 0)] 0)]
+  ""
+  "")
+
 (define_insn "tablejump"
   [(set (pc)
 	(match_operand:SI 0 "register_operand" "r"))