From 66ae780e8a94f676480e9eec40354a3a8cbc3041 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Fri, 11 Dec 2015 10:15:33 +0100
Subject: bug 17752, add builtin_nop for PowerPC

---
 powerpc/CBuiltins.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index 6efeff17..a611aabe 100755
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -122,6 +122,9 @@ let builtins = {
     (* uisel *)
     "__builtin_uisel",
       (TInt (IUInt, []),[TInt(IBool, []);TInt(IUInt, []);TInt(IUInt, [])],false);
+    (* no operation *)
+    "__builtin_nop",
+      (TVoid [], [], false);
     (* atomic operations *)
     "__builtin_atomic_exchange",
       (TVoid [], [TPtr (TInt(IInt, []),[]);TPtr (TInt(IInt, []),[]);TPtr (TInt(IInt, []),[])],false);
-- 
cgit