blob: 56fd8b43c5882abe71d587a5d0a2fb56a2bd9e68 (
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 -> bool effect {escape, wreg, rreg, wmv, eamem, rmem, barr, exmem}
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
|
