diff options
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/cheri/Makefile b/cheri/Makefile new file mode 100644 index 00000000..1c7c2304 --- /dev/null +++ b/cheri/Makefile @@ -0,0 +1,30 @@ +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,CGetPCC) + $(call EXTRACT_INST,CGetPCCSetOffset) + $(call EXTRACT_INST,CGetCause) + $(call EXTRACT_INST,CSetCause) + $(call EXTRACT_INST,CAndPerm) + $(call EXTRACT_INST,CToPtr) + $(call EXTRACT_INST,CSub) + $(call EXTRACT_INST,CPtrCmp) + $(call EXTRACT_INST,CIncOffset) + $(call EXTRACT_INST,CSetOffset) + $(call EXTRACT_INST,CSetBounds) + $(call EXTRACT_INST,CClearTag) + $(call EXTRACT_INST,CClearRegs) + $(call EXTRACT_INST,CFromPtr) + $(call EXTRACT_INST,CCheckPerm) + $(call EXTRACT_INST,CCheckType) + $(call EXTRACT_INST,CSeal) + $(call EXTRACT_INST,CUnseal) + $(call EXTRACT_INST,CCall) + $(call EXTRACT_INST,CReturn) + $(call EXTRACT_INST,CBx) + $(call EXTRACT_INST,CJALR) + $(call EXTRACT_INST,CLoad) + $(call EXTRACT_INST,CStore) + $(call EXTRACT_INST,CSC) + $(call EXTRACT_INST,CLC) |