From 4d70c9820f5b840cfd7870395673723a3151e525 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 17 Aug 2015 12:45:40 +0200
Subject: Added builtin for the dcbi 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 672fb719..e774614e 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -88,6 +88,8 @@ let builtins = {
     "__builtin_trap",
       (TVoid [], [], false);
     (* Cache isntructions *)
+    "__builtin_dcbi",
+      (TVoid [],[TPtr(TVoid [], [])],false);
     "__builtin_icbi",
       (TVoid [],[TPtr(TVoid [], [])],false)
   ]
-- 
cgit