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
|
/*=======================================================================================*/
/* This Sail RISC-V architecture model, comprising all files and */
/* directories except where otherwise noted is subject the BSD */
/* two-clause license in the LICENSE file. */
/* */
/* SPDX-License-Identifier: BSD-2-Clause */
/*=======================================================================================*/
/* ****************************************************************** */
union clause ast = ZBS_IOP : (bits(6), regidx, regidx, biop_zbs)
mapping clause encdec = ZBS_IOP(shamt, rs1, rd, RISCV_BCLRI) if haveZbs() & (sizeof(xlen) == 64 | shamt[5] == bitzero)
<-> 0b010010 @ shamt @ rs1 @ 0b001 @ rd @ 0b0010011 if haveZbs() & (sizeof(xlen) == 64 | shamt[5] == bitzero)
mapping clause encdec = ZBS_IOP(shamt, rs1, rd, RISCV_BEXTI) if haveZbs() & (sizeof(xlen) == 64 | shamt[5] == bitzero)
<-> 0b010010 @ shamt @ rs1 @ 0b101 @ rd @ 0b0010011 if haveZbs() & (sizeof(xlen) == 64 | shamt[5] == bitzero)
mapping clause encdec = ZBS_IOP(shamt, rs1, rd, RISCV_BINVI) if haveZbs() & (sizeof(xlen) == 64 | shamt[5] == bitzero)
<-> 0b011010 @ shamt @ rs1 @ 0b001 @ rd @ 0b0010011 if haveZbs() & (sizeof(xlen) == 64 | shamt[5] == bitzero)
mapping clause encdec = ZBS_IOP(shamt, rs1, rd, RISCV_BSETI) if haveZbs() & (sizeof(xlen) == 64 | shamt[5] == bitzero)
<-> 0b001010 @ shamt @ rs1 @ 0b001 @ rd @ 0b0010011 if haveZbs() & (sizeof(xlen) == 64 | shamt[5] == bitzero)
mapping zbs_iop_mnemonic : biop_zbs <-> string = {
RISCV_BCLRI <-> "bclri",
RISCV_BEXTI <-> "bexti",
RISCV_BINVI <-> "binvi",
RISCV_BSETI <-> "bseti"
}
mapping clause assembly = ZBS_IOP(shamt, rs1, rd, op)
<-> zbs_iop_mnemonic(op) ^ spc() ^ reg_name(rd) ^ sep() ^ reg_name(rs1) ^ sep() ^ hex_bits_6(shamt)
function clause execute (ZBS_IOP(shamt, rs1, rd, op)) = {
let rs1_val = X(rs1);
let mask : xlenbits = if sizeof(xlen) == 32
then zero_extend(0b1) << shamt[4..0]
else zero_extend(0b1) << shamt;
let result : xlenbits = match op {
RISCV_BCLRI => rs1_val & ~(mask),
RISCV_BEXTI => zero_extend(bool_to_bits((rs1_val & mask) != zeros())),
RISCV_BINVI => rs1_val ^ mask,
RISCV_BSETI => rs1_val | mask
};
X(rd) = result;
RETIRE_SUCCESS
}
/* ****************************************************************** */
union clause ast = ZBS_RTYPE : (regidx, regidx, regidx, brop_zbs)
mapping clause encdec = ZBS_RTYPE(rs2, rs1, rd, RISCV_BCLR) if haveZbs()
<-> 0b0100100 @ rs2 @ rs1 @ 0b001 @ rd @ 0b0110011 if haveZbs()
mapping clause encdec = ZBS_RTYPE(rs2, rs1, rd, RISCV_BEXT) if haveZbs()
<-> 0b0100100 @ rs2 @ rs1 @ 0b101 @ rd @ 0b0110011 if haveZbs()
mapping clause encdec = ZBS_RTYPE(rs2, rs1, rd, RISCV_BINV) if haveZbs()
<-> 0b0110100 @ rs2 @ rs1 @ 0b001 @ rd @ 0b0110011 if haveZbs()
mapping clause encdec = ZBS_RTYPE(rs2, rs1, rd, RISCV_BSET) if haveZbs()
<-> 0b0010100 @ rs2 @ rs1 @ 0b001 @ rd @ 0b0110011 if haveZbs()
mapping zbs_rtype_mnemonic : brop_zbs <-> string = {
RISCV_BCLR <-> "bclr",
RISCV_BEXT <-> "bext",
RISCV_BINV <-> "binv",
RISCV_BSET <-> "bset"
}
mapping clause assembly = ZBS_RTYPE(rs2, rs1, rd, op)
<-> zbs_rtype_mnemonic(op) ^ spc() ^ reg_name(rd) ^ sep() ^ reg_name(rs1) ^ sep() ^ reg_name(rs2)
function clause execute (ZBS_RTYPE(rs2, rs1, rd, op)) = {
let rs1_val = X(rs1);
let rs2_val = X(rs2);
let mask : xlenbits = if sizeof(xlen) == 32
then zero_extend(0b1) << rs2_val[4..0]
else zero_extend(0b1) << rs2_val[5..0];
let result : xlenbits = match op {
RISCV_BCLR => rs1_val & ~(mask),
RISCV_BEXT => zero_extend(bool_to_bits((rs1_val & mask) != zeros())),
RISCV_BINV => rs1_val ^ mask,
RISCV_BSET => rs1_val | mask
};
X(rd) = result;
RETIRE_SUCCESS
}
|
