Skip to content

Commit 685fff1

Browse files
authored
Reserve redundant SCBNDSI encodings (#418)
These encodings could be used for larger values such as 512 in the future. See #402
1 parent 972e8ff commit 685fff1

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

src/insns/scbnds_32bit.adoc

+2
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,8 @@ tag is 0 or `cs1` is sealed.
4242
+
4343
`immediate = ZeroExtend(s ? uimm<<4 : uimm)`
4444
45+
NOTE: The <<SCBNDSI>> encoding with `s=1` and `uimm ≤ 1` is RESERVED since these immediates can also be encoded with `s=0`.
46+
4547
include::malformed_clear_tag.adoc[]
4648
4749
Exceptions::

src/insns/wavedrom/scbnds_32bit.adoc

+1-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@
1818
{bits: 5, name: 'cd', attr: ['5', 'dest'], type: 2},
1919
{bits: 3, name: 'funct3', attr: ['3', 'SCBNDSI=101'], type: 8},
2020
{bits: 5, name: 'cs1', attr: ['5', 'src'], type: 4},
21-
{bits: 5, name: 'uimm', attr: ['5', 'uimm'], type: 3},
21+
{bits: 5, name: 'uimm', attr: ['5', 'uimm', '(> 1 if s=1)'], type: 3},
2222
{bits: 1, name: 's', attr: ['1', 'scaled'], type: 3},
2323
{bits: 6, name: 'funct6', attr: ['6', 'SCBNDSI','=000001'], type: 3},
2424
]}

0 commit comments

Comments
 (0)