From c74211d87eb53cb310703dec2c504b26d7f24bdf Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 3 Sep 2015 13:22:28 +0200
Subject: Added builtin for mbar instruction.

This commit adds a builtin function for the mbar instruction.
---
 powerpc/CBuiltins.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index 0785c7fa..e18fdb2d 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -85,6 +85,8 @@ let builtins = {
       (TVoid [], [], false);
     "__builtin_lwsync",
       (TVoid [], [], false);
+    "__builtin_mbar",
+      (TVoid [], [TInt(IInt, [])], false);
     "__builtin_trap",
       (TVoid [], [], false);
     (* Cache isntructions *)
-- 
cgit