blob: b27711b93432257f9224463738e4d38267070ee9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/* Instruction definitions.
*
* This includes decoding, execution, and assembly parsing and printing.
*/
scattered union ast
/* returns whether an instruction was retired, used for computing minstret */
val execute : ast -> Retired effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, rmemt, barr, exmem, undef}
scattered function execute
val assembly : ast <-> string
scattered mapping assembly
val encdec : ast <-> bits(32)
scattered mapping encdec
val encdec_compressed : ast <-> bits(16)
scattered mapping encdec_compressed
|
