diff options
| author | Christopher Pulte | 2017-01-24 19:48:12 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2017-01-24 19:48:12 +0000 |
| commit | f2c3c4d00d0004c73004b61b8e6c8096841e208b (patch) | |
| tree | 3904180e10d22106e369ee8158e28ed5d346a9f6 /cheri/Makefile | |
| parent | ccfab66f9b4cc0acefb63e79fd7e9d56aa79d66a (diff) | |
| parent | 951560776eed6964ea95dab2c33433515d687afa (diff) | |
Merge branch 'master' of https://bitbucket.org/Peter_Sewell/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) |