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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
default Order dec
$include <prelude.sail>
$include <string.sail>
register R1 : bits(32)
register R2 : bits(32)
register R3 : bits(32)
register R4 : bits(32)
register R5 : bits(32)
register R6 : bits(32)
register R7 : bits(32)
register R8 : bits(32)
register R9 : bits(32)
register R10 : bits(32)
register R11 : bits(32)
register R12 : bits(32)
register R13 : bits(32)
register R14 : bits(32)
register R15 : bits(32)
val set_R_int : forall 'n, 0 <= 'n < 16. (int('n), bits(32)) -> unit
function set_R_int(r, x) = {
match r {
0 => (), // zero register
1 => R1 = x,
2 => R2 = x,
3 => R3 = x,
4 => R4 = x,
5 => R5 = x,
6 => R6 = x,
7 => R7 = x,
8 => R8 = x,
9 => R9 = x,
10 => R10 = x,
11 => R11 = x,
12 => R12 = x,
13 => R13 = x,
14 => R14 = x,
15 => R15 = x,
}
}
$[jib_debug]
function set_R(r : bits(4), x : bits(32)) -> unit = {
match r {
0x0 => (), // zero register
0x1 => R1 = x,
0x2 => R2 = x,
0x3 => R3 = x,
0x4 => R4 = x,
0x5 => R5 = x,
0x6 => R6 = x,
0x7 => R7 = x,
0x8 => R8 = x,
0x9 => R9 = x,
0xA => R10 = x,
0xB => R11 = x,
0xC => R12 = x,
0xD => R13 = x,
0xE => R14 = x,
0xF => R15 = x,
}
}
function get_R(r : bits(4)) -> bits(32) = {
match r {
0x0 => 0x0000_0000,
0x1 => R1,
0x2 => R2,
0x3 => R3,
0x4 => R4,
0x5 => R5,
0x6 => R6,
0x7 => R7,
0x8 => R8,
0x9 => R9,
0xA => R10,
0xB => R11,
0xC => R12,
0xD => R13,
0xE => R14,
0xF => R15,
}
}
overload R = {set_R, get_R}
enum iop = {OP_ADD, OP_XOR}
val itype : (bits(12), bits(4), bits(4), iop) -> unit
function itype(imm, rs1, rd, op) = {
let rs1_val = R(rs1);
R(rd) = match op {
OP_ADD => rs1_val + sail_sign_extend(imm, 32),
OP_XOR => xor_vec(rs1_val, sail_sign_extend(imm, 32))
}
}
val main : unit -> unit
function main() = {
set_R_int(4) = 0x0000_0000;
itype(0x000, 0xA, 0xB, OP_ADD);
print_endline("ok")
}
|
