From cfee340dc514e2cfbc5df910f7aa687e78a54d41 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 2 Sep 2015 17:17:00 +0200
Subject: Added builtin for the icbtls instruction.

This commit adds a builtin for the icbtls 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 8dbf02e5..012e4d32 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -98,6 +98,8 @@ let builtins = {
       (TVoid [], [TPtr (TVoid [],[]);TInt (IInt, []);TInt (IInt,[])],false);
     "__builtin_dcbtls",
       (TVoid[], [TPtr (TVoid [],[]);TInt (IInt,[])],false);
+    "__builtin_icbtls",
+      (TVoid[], [TPtr (TVoid [],[]);TInt (IInt,[])],false);
     (* Access to special registers *)
     "__builtin_get_spr",
       (TInt(IUInt, []), [TInt(IInt, [])], false);
-- 
cgit