diff options
| author | Kathy Gray | 2017-01-25 14:02:13 +0000 |
|---|---|---|
| committer | Kathy Gray | 2017-01-25 14:02:13 +0000 |
| commit | 2968c83f019b6945ac06a6faf8aaf518e92bdc29 (patch) | |
| tree | a6f2bf7e5bbc7fa7420686db1ef2a69b71ff8c7b /cheri/Makefile | |
| parent | f3426bab18961a59886e0100dcc93f7f8402f3a6 (diff) | |
| parent | f2c3c4d00d0004c73004b61b8e6c8096841e208b (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) |