From 4eb7fcaf6a5e366c71d95d2152dcc1f3982c404b Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 14 Aug 2015 15:12:40 +0200
Subject: Added builtin for the lwsync barrier.

---
 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 222a4d94..f1f57644 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -83,6 +83,8 @@ let builtins = {
       (TVoid [], [], false);
     "__builtin_isync",
       (TVoid [], [], false);
+    "__builtin_lwsync",
+      (TVoid [], [], false);
     "__builtin_trap",
       (TVoid [], [], false)
   ]
-- 
cgit