blob: f6223dda0ab4ecaedaeee834c60fccbe42a61634 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
/* Put the illegal instructions last to use their wildcard match. */
/* ****************************************************************** */
union clause ast = ILLEGAL : word
mapping clause encdec = ILLEGAL(s) <-> s
function clause execute (ILLEGAL(s)) = { handle_illegal(); RETIRE_FAIL }
mapping clause assembly = ILLEGAL(s) <-> "illegal" ^ spc() ^ hex_bits_32(s)
/* ****************************************************************** */
union clause ast = C_ILLEGAL : half
mapping clause encdec_compressed = C_ILLEGAL(s) <-> s
function clause execute C_ILLEGAL(s) = { handle_illegal(); RETIRE_FAIL }
mapping clause assembly = C_ILLEGAL(s) <-> "c.illegal" ^ spc() ^ hex_bits_16(s)
/* ****************************************************************** */
/* End definitions */
end ast
end execute
end assembly
end encdec
end encdec_compressed
val print_insn : ast -> string
function print_insn insn = assembly(insn)
overload to_str = {print_insn}
val decode : bits(32) -> ast effect pure
function decode bv = encdec(bv)
val decodeCompressed : bits(16) -> ast effect pure
function decodeCompressed bv = encdec_compressed(bv)
|