diff options
| author | Robert Norton | 2018-03-09 10:26:33 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-14 09:39:20 +0000 |
| commit | 2be85ff41697be7489f37ca989a9879fea31b3b9 (patch) | |
| tree | 8d93cbe827d32627378b085467e357e81437fa11 /cheri/Makefile | |
| parent | f063a1e71d90368c04cf1f8eb2ba36cd16592e01 (diff) | |
Add extract of some new instructions for including into CHERI documentation.
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index e056a9a9..e6c57780 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -18,7 +18,7 @@ cheri128: $(CHERI128_SAILS) $(SAIL) -ocaml -o $@ $^ clean: - rm -rf cheri cheri128 _sbuild + rm -rf cheri cheri128 _sbuild inst_*.sail 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 @@ -38,21 +38,30 @@ extract: cheri_insts.sail $(call EXTRACT_INST,CSub) $(call EXTRACT_INST,CPtrCmp) $(call EXTRACT_INST,CIncOffset) + $(call EXTRACT_INST,CIncOffsetImmediate) $(call EXTRACT_INST,CSetOffset) $(call EXTRACT_INST,CSetBounds) + $(call EXTRACT_INST,CSetBoundsImmediate) $(call EXTRACT_INST,CSetBoundsExact) $(call EXTRACT_INST,CClearTag) + $(call EXTRACT_INST,CMOVX) $(call EXTRACT_INST,ClearRegs) $(call EXTRACT_INST,CFromPtr) + $(call EXTRACT_INST,CBuildCap) + $(call EXTRACT_INST,CCopyType) $(call EXTRACT_INST,CCheckPerm) $(call EXTRACT_INST,CCheckType) + $(call EXTRACT_INST,CTestSubset) $(call EXTRACT_INST,CSeal) $(call EXTRACT_INST,CUnseal) $(call EXTRACT_INST,CCall) + $(call EXTRACT_INST,CCall2) $(call EXTRACT_INST,CReturn) - $(call EXTRACT_INST,CBx) + $(call EXTRACT_INST,CBtag) + $(call EXTRACT_INST,CBz) $(call EXTRACT_INST,CJALR) $(call EXTRACT_INST,CLoad) $(call EXTRACT_INST,CStore) $(call EXTRACT_INST,CSC) - $(call EXTRACT_INST,CLC) + $(call EXTRACT_INST,CLC) + |