diff options
| author | Robert Norton | 2017-01-24 14:23:05 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-01-24 14:23:17 +0000 |
| commit | 01ed1c4a495cffcc0a0ca12f3019220f25d1cf66 (patch) | |
| tree | b588999670fc2e2e2c751eb1a8727e205987800f /cheri/Makefile | |
| parent | 65175633755ee5c96e159356d5243ba48be4dbd5 (diff) | |
first pass at cheri128 sail.
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
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) |