From 01ed1c4a495cffcc0a0ca12f3019220f25d1cf66 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 24 Jan 2017 14:23:05 +0000
Subject: first pass at cheri128 sail.

---
 cheri/Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'cheri/Makefile')

diff --git a/cheri/Makefile b/cheri/Makefile
index 200ddd5a..4e9a397a 100644
--- a/cheri/Makefile
+++ b/cheri/Makefile
@@ -1,7 +1,12 @@
 EXTRACT_INST=sed -n "/START_${1}\b/,/END_${1}\b/p" cheri_insts.sail | sed 's/^  //;1d;$$d' > inst_$1.sail
 
 extract: cheri_insts.sail
-	$(call EXTRACT_INST,CGetX)
+	$(call EXTRACT_INST,CGetPerms)
+	$(call EXTRACT_INST,CGetType)
+	$(call EXTRACT_INST,CGetBase)
+	$(call EXTRACT_INST,CGetOffset)
+	$(call EXTRACT_INST,CGetTag)
+	$(call EXTRACT_INST,CGetSealed)
 	$(call EXTRACT_INST,CGetPCC)
 	$(call EXTRACT_INST,CGetPCCSetOffset)
 	$(call EXTRACT_INST,CGetCause)
@@ -13,6 +18,7 @@ extract: cheri_insts.sail
 	$(call EXTRACT_INST,CIncOffset)
 	$(call EXTRACT_INST,CSetOffset)
 	$(call EXTRACT_INST,CSetBounds)
+	$(call EXTRACT_INST,CSetBoundsExact)
 	$(call EXTRACT_INST,CClearTag)
 	$(call EXTRACT_INST,ClearRegs)
 	$(call EXTRACT_INST,CFromPtr)
-- 
cgit v1.2.3