Cheri-research/cheri-cap-lib
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Simplify the definition of macro W() so that the Connectal dependancy checker can handle it.

Browse Source
This commit is contained in:
Simon Moore
2020-04-21 23:40:29 +01:00
parent 80ba19db9f
commit 490a10f18c
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
CHERICapWrap.bsv
View File

@@ -31,11 +31,10 @@ import CHERICap :: *;
import CHERICC_Fat :: *; import CHERICC_Fat :: *;
`define CAPTYPE CapPipe `define CAPTYPE CapPipe
`define W(name)\ `ifndef CAP64
`ifndef CAP64\ `define W(name) wrap128_``name
wrap128_``name\ `else
`else\ `define W(name) wrap64_``name
wrap64_``name\
`endif `endif
(* noinline *) (* noinline *)