summaryrefslogtreecommitdiff
path: root/src/pp.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-01-05 17:26:07 +0000
committerAlasdair Armstrong2018-01-05 17:26:07 +0000
commit2cf9dc9d40794912ce8af7d776326b271f52d942 (patch)
treefc7472ff4292de363dcbc313b53d760c323e28c9 /src/pp.ml
parent8147deaf0bccdbb19d4c020583fc8a5c7b6197e8 (diff)
Added bitfield syntax to replicate register bits type
For example: bitfield cr : vector(8, dec, bit) = { CR0 : 7 .. 4, LT : 7, CR1 : 3 .. 2, CR2 : 1, CR3 : 0, } The difference this creates a newtype wrapper around the vector type, then generates getters and setters for all the fields once, rather than having to handle this construct separately in every backend.
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions