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