From 9ff90aa440d195076a30fe4d8a055d050d84f726 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 11 Apr 2019 13:11:13 +0200
Subject: data cache builtins

---
 mppa_k1c/Asmexpand.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'mppa_k1c/Asmexpand.ml')

diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml
index e09492e9..97a85881 100644
--- a/mppa_k1c/Asmexpand.ml
+++ b/mppa_k1c/Asmexpand.ml
@@ -391,6 +391,14 @@ let expand_builtin_inline name args res = let open Asmvliw in
      emit Pbarrier
   | "__builtin_k1_fence", [], _ ->
      emit Pfence
+  | "__builtin_k1_dinval", [], _ ->
+     emit Pdinval
+  | "__builtin_k1_dinvall", [BA(IR addr)], _ ->
+     emit (Pdinvall addr)
+  | "__builtin_k1_dtouchl", [BA(IR addr)], _ ->
+     emit (Pdtouchl addr)
+  | "__builtin_k1_dzerol", [BA(IR addr)], _ ->
+     emit (Pdzerol addr)
 	  
   (* Byte swaps *)
 (*| "__builtin_bswap16", [BA(IR a1)], BR(IR res) ->
-- 
cgit