From db8e35c6abf58c82853b94f416aa76b33efc1f65 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 2 Sep 2015 13:50:24 +0200
Subject: Added builtin for dcbtls

THis commit adds a builtin function for the dcbtls instruction.
Additionaly it changes the printing of the dcbt and dcbtst instruction to
embedded mode and adds support for different address variants.
---
 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 701690b2..8dbf02e5 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -96,6 +96,8 @@ let builtins = {
       (TVoid [],[TPtr(TVoid [], [])],false);
     "__builtin_prefetch",
       (TVoid [], [TPtr (TVoid [],[]);TInt (IInt, []);TInt (IInt,[])],false);
+    "__builtin_dcbtls",
+      (TVoid[], [TPtr (TVoid [],[]);TInt (IInt,[])],false);
     (* Access to special registers *)
     "__builtin_get_spr",
       (TInt(IUInt, []), [TInt(IInt, [])], false);
-- 
cgit