1 files changed, 3 insertions, 0 deletions
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);