From 64ccfbf0a2337f191b16d1126aa096fc27dd98f7 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Mon, 14 Dec 2015 16:07:50 +0100
Subject: bug 17752, add builtin_mr for PowerPC

---
 powerpc/CBuiltins.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index 169647b6..6d5fe475 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -95,7 +95,7 @@ let builtins = {
       (TVoid [], [TInt(IInt, [])], false);
     "__builtin_trap",
       (TVoid [], [], false);
-    (* Cache isntructions *)
+    (* Cache instructions *)
     "__builtin_dcbf",
       (TVoid [],[TPtr(TVoid [], [])],false);
     "__builtin_dcbi",
@@ -115,6 +115,9 @@ let builtins = {
       (TInt(IUInt, []), [TInt(IInt, [])], false);
     "__builtin_set_spr",
       (TVoid [], [TInt(IInt, []); TInt(IUInt, [])], false);
+    (* Move register *)
+    "__builtin_mr",
+      (TVoid [], [TInt(IUInt, []); TInt(IUInt, [])], false);
     (* Frame and return address *)
     "__builtin_call_frame",
       (TPtr (TVoid [],[]),[],false);
-- 
cgit