udb 0.1.14 → 0.1.16

data/.data/spec/std/isa/csr/vstvec.yaml

@@ -6,31 +6,32 @@
 $schema: "csr_schema.json#"
 kind: csr
 name: vstvec
-long_name: Supervisor Trap Vector
+long_name: Virtual Supervisor Trap Vector
 address: 0x205
 writable: true
 virtual_address: 0x105
-priv_mode: S
-length: 64
+priv_mode: VS
+length: VSXLEN
 description: Controls where traps jump.
 definedBy:
   extension:
     name: H
 fields:
   BASE:
-    location: 63-2
+    location_rv32: 31-2
+    location_rv64: 63-2
     description: |
-      <%- va_size = ext?(:Sv57) ? 57 : (ext?(:Sv48) ? 49 :39) -%>
-      Bit 63:0 of the virtual address of the exception vector for any trap taken into VS-mode.
+      <%- va_size = ext?(:Sv57) ? 57 : (ext?(:Sv48) ? 48 : 39) -%>
+      Bits [VSXLEN-1:2] of the virtual address of the exception vector for any trap taken into VS-mode.
 
-      If the base address is written with a non-cannonical address (_i.e._, bits 63:<%= va_size %> do not match bit <%= va_size-1 %>),
+      If the base address is written with a non-canonical address (_i.e._, bits [VSXLEN-1:<%= va_size %>] do not match bit <%= va_size-1 %>),
       the write should be ignored.
 
     type: RW-R
     sw_write(csr_value): |
       # Base spec says that BASE must be 4-byte aligned, which will always be the case
       # implementations may put further constraints on BASE when MODE != Direct
-      # If that is the case, stvec should have an override for the implementation
+      # If that is the case, vstvec should have an override for the implementation
       return csr_value.BASE;
     reset_value: 0
   MODE:
@@ -42,14 +43,13 @@ fields:
 
       When Direct, all synchronous exceptions and asynchronous interrupts jump to (`vstvec.BASE` << 2).
 
-      When Vectored, asynchronous interrupts jump to (`vstvec.BASE` << 2 + `vscause.CAUSE`*4) while synchronous exceptions continue to jump to (`vstvec.BASE` << 2).
-    type: RW-R
+      When Vectored, asynchronous interrupts jump to (`vstvec.BASE` << 2 + `vscause.CODE`*4) while synchronous exceptions continue to jump to (`vstvec.BASE` << 2).
+    type(): |
+      return ($array_size(VSTVEC_MODES) == 1) ? CsrFieldType::RO : CsrFieldType::RWR;
     sw_write(csr_value): |
-      if (VSTVEC_MODE_DIRECT && csr_value.MODE == 0) {
-        return 0;
-      } else if (VSTVEC_MODE_VECTORED && csr_value.MODE == 1) {
-        return 1;
-      } else {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
+      if ($array_includes?(VSTVEC_MODES, csr_value.MODE)) {
+        return csr_value.MODE;
       }
-    reset_value: 0
+      return UNDEFINED_LEGAL_DETERMINISTIC;
+    reset_value(): |
+      return ($array_size(VSTVEC_MODES) == 1) ? VSTVEC_MODES[0] : UNDEFINED_LEGAL;

data/.data/spec/std/isa/ext/M.yaml

@@ -12,6 +12,10 @@ versions:
   - version: "2.0.0"
     state: ratified
     ratification_date: 2019-12
+    requirements:
+      extension:
+        name: Zmmul
+        version: "~> 1.0.0"
 description: |
   This chapter describes the standard integer multiplication and division
   instruction extension, which is named `M` and contains instructions

data/.data/spec/std/isa/ext/Q.yaml

@@ -17,7 +17,7 @@ description: |
   a double-precision value which is itself NaN-boxed inside a quad-precision value.
 type: unprivileged
 versions:
-  - version: "1.0.0"
+  - version: "2.2.0"
     state: ratified
     ratification_date: 2019-04
     requirements:

data/.data/spec/std/isa/ext/Shgatpa.yaml

@@ -26,6 +26,7 @@ requirements:
     implemented?(ExtensionName::Sv39) -> SV39X4_TRANSLATION;
     implemented?(ExtensionName::Sv48) -> SV48X4_TRANSLATION;
     implemented?(ExtensionName::Sv57) -> SV57X4_TRANSLATION;
+    -> GSTAGE_MODE_BARE;
   reason: |
     Shgatpa mandates that or each supported virtual memory scheme SvNN supported in
     `satp`, the corresponding hgatp SvNNx4 mode must be supported.

data/.data/spec/std/isa/ext/Shlcofideleg.yaml

@@ -0,0 +1,24 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/ext_schema.json
+
+$schema: "ext_schema.json#"
+kind: extension
+name: Shlcofideleg
+long_name: Hypervisor local counter overflow interrupt delegation
+description: |
+  Shlcofideleg supports delegating Local Counter Overflow Interrupts
+  (LCOFIs) to VS-mode.
+
+  When Shlcofideleg is implemented, `hideleg` bit 13 is writable.
+type: privileged
+versions:
+  - version: "1.0.0"
+    state: ratified
+    ratification_date: 2024-10
+requirements:
+  extension:
+    allOf:
+      - name: H
+      - name: Sscofpmf

data/.data/spec/std/isa/ext/Shvstvecd.yaml

@@ -22,5 +22,5 @@ versions:
 requirements:
   # Shvstvecd mandates that `vstvec.MODE` must be capable of holding the value 0 (Direct).
   param:
-    name: VSTVEC_MODE_DIRECT
-    equal: true
+    name: VSTVEC_MODES
+    includes: 0

data/.data/spec/std/isa/ext/Sspm.yaml

@@ -21,3 +21,8 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2024-10
+requirements:
+  extension:
+    allOf:
+      - name: S
+      - name: Smnpm

data/.data/spec/std/isa/ext/Sstvecd.yaml

@@ -25,5 +25,5 @@ versions:
         company: SiFive, Inc.
 requirements:
   param:
-    name: STVEC_MODE_DIRECT
-    equal: true
+    name: STVEC_MODES
+    includes: 0

data/.data/spec/std/isa/ext/Sstvecv.yaml

@@ -26,5 +26,5 @@ versions:
         company: SiFive, Inc.
 requirements:
   param:
-    name: STVEC_MODE_VECTORED
-    equal: true
+    name: STVEC_MODES
+    includes: 1

data/.data/spec/std/isa/ext/Supm.yaml

@@ -21,3 +21,20 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2024-10
+requirements:
+  allOf:
+    - extension:
+        name: U
+    - if:
+        extension:
+          name: S
+      then:
+        extension:
+          name: Ssnpm
+    - if:
+        not:
+          extension:
+            name: S
+      then:
+        extension:
+          name: Smnpm

data/.data/spec/std/isa/ext/Zcb.yaml

@@ -43,3 +43,6 @@ versions:
       - name: Graeme Smecher
       - name: Nicolas Brunie
       - name: Jiawei
+requirements:
+  extension:
+    name: Zca

data/.data/spec/std/isa/ext/Zfbfmin.yaml

@@ -12,8 +12,8 @@ description: |
   It enables BF16 as an interchange format as it provides conversion between BF16 values and
   FP32 values.
 
-  This extension depends upon the single-precision floating-point extension `F`,
-  and the `flh`, `fsh`, `fmv.x.h`, and `fmv.h.x` instructions as defined in the `Zfh` extension.
+  This extension includes the `flh`, `fsh`, `fmv.x.h`, and `fmv.h.x`
+  instructions defined in the `Zfh` extension.
 
 type: unprivileged
 versions:
@@ -22,6 +22,4 @@ versions:
     ratification_date: 2024-06
 requirements:
   extension:
-    allOf:
-      - name: F
-      - name: Zfh
+    name: F

data/.data/spec/std/isa/ext/Zibi.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) RISC-V International
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/ext_schema.json
+
+$schema: "ext_schema.json#"
+kind: extension
+name: Zibi
+long_name: Branch with Immediate
+description: |
+  The Zibi extension adds conditional branch instructions that compare an
+  integer register with a small immediate constant.
+
+  Existing conditional branch instructions, such as `beq` and `bne`, compare two
+  integer registers. When a branch compares against a constant, software must
+  otherwise materialize that constant in an integer register before branching,
+  which can increase register pressure and potentially cause register spills and
+  reloads.
+
+  The `beqi` and `bnei` instructions use the B-type instruction format. The
+  instruction bits that would otherwise carry _rs2_ in a B-type branch carry a
+  5-bit _cimm_ field. All _cimm_ encodings are valid: the _cimm_ field is not
+  sign-extended; it decodes to an XLEN-bit comparison constant where `cimm=0`
+  encodes the value -1, and `cimm` values 1 through 31 encode the corresponding
+  positive integer values 1 through 31.
+type: unprivileged
+versions:
+  - version: "0.7.0"
+    state: frozen

data/.data/spec/std/isa/ext/Ziccid.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/ext_schema.json
+
+$schema: "ext_schema.json#"
+kind: extension
+name: Ziccid
+long_name: Instruction/Data Coherence and Consistency
+description: |
+  The `Ziccid` extension mandates more stringent requirements for consistency
+  between instruction fetches and other memory accesses than those imposed by
+  the base ISA.
+
+  `Ziccid` guarantees that a hart's instruction fetches appear to occur in
+  program order with respect to each other, and that stores eventually become
+  visible to all harts' instruction fetches.
+
+  [NOTE]
+  The primary intent of the `Ziccid` extension is to accelerate JIT compilation
+  in multiprocessor systems.
+type: unprivileged
+versions:
+  - version: "1.0.0"
+    state: ratified
+    ratification_date: 2026-06
+requirements:
+  extension:
+    name: Ziccif

data/.data/spec/std/isa/ext/Zicfilp.yaml

@@ -8,9 +8,13 @@ kind: extension
 name: Zicfilp
 long_name: Landing Pad
 description: |
-  TODO
+  The Zicfilp extension introduces a landing-pad instruction and related
+  execution state to enforce forward-edge control-flow integrity.
 type: unprivileged
 versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2024-07
+requirements:
+  extension:
+    name: Zicsr

data/.data/spec/std/isa/ext/Zicfiss.yaml

@@ -8,9 +8,28 @@ kind: extension
 name: Zicfiss
 long_name: Shadow Stack
 description: |
-  TODO
+  The Zicfiss extension introduces a shadow stack to enforce
+  backward-edge control-flow integrity.
+
+  The extension provides instructions to store and load the link register
+  to and from the shadow stack, check the integrity of the return address,
+  read the shadow stack pointer, and perform atomic swaps on shadow stack
+  locations.
 type: unprivileged
 versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2024-07
+requirements:
+  allOf:
+    - extension:
+        allOf:
+          - name: Zicsr
+          - name: Zimop
+          - name: Zaamo
+    - if:
+        extension:
+          name: U
+      then:
+        extension:
+          name: S

data/.data/spec/std/isa/ext/Zihpm.yaml

@@ -13,3 +13,6 @@ versions:
   - version: "2.0.0"
     state: ratified
     ratification_date: 2023-03
+requirements:
+  extension:
+    name: Zicsr

data/.data/spec/std/isa/ext/Zilx.yaml

@@ -0,0 +1,58 @@
+# Copyright (c) RISC-V International
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/ext_schema.json
+
+$schema: "ext_schema.json#"
+kind: extension
+name: Zilx
+long_name: Indexed Integer Load Instructions
+description: |
+  The Zilx extension provides integer load instructions that compute their
+  effective address from a base register and an index register. The extension
+  defines unscaled indexed loads and scaled indexed loads. On RV64, the
+  extension also defines scaled loads that zero-extend the low 32 bits of the
+  index register before scaling and forming the effective address.
+
+  Each Zilx instruction uses `xs1` as the index operand and `xs2` as the base
+  operand, computes an effective address, loads a byte, halfword, word, or
+  doubleword from memory, and writes the extended load result to `xd`. The
+  operand roles match the shift-add instructions of the `Zba` extension, in
+  which the shifted operand is `xs1` and the added base is `xs2`.
+
+  Effective addresses are computed using XLEN-bit two's-complement address
+  arithmetic, and address arithmetic overflow is ignored:
+
+  * For an unscaled indexed load, the effective address is the low XLEN bits of
+    `X[xs2] + X[xs1]`.
+  * For a scaled indexed load, the effective address is the low XLEN bits of
+    `X[xs2] + (X[xs1] << log2(access-size))`, where _access-size_ is the number
+    of bytes loaded by the instruction.
+  * For a scaled unsigned-word-index load (mnemonic prefix `lxsuw`), the index
+    operand is zero-extended from `X[xs1][31:0]` to 64 bits before scaling.
+    These instructions are defined only for RV64.
+
+  Byte loads are provided only as scaled forms (mnemonic prefixes `lxs` and
+  `lxsuw`). Because the scale factor for a byte access is 1, an unscaled byte
+  load would be identical to the scaled byte load, so no unscaled byte load is
+  defined. For convenience, `lxb` and `lxbu` are provided as assembler
+  pseudoinstructions for `lxsb` and `lxsbu`, respectively.
+
+  Zilx adds no architectural state, CSRs, or memory-ordering rules. Except for
+  the effective-address calculation, each Zilx instruction behaves as the
+  corresponding base integer load of the same access size and signedness, and
+  follows the same exception, address-alignment, access-fault, page-fault, PMP,
+  PMA, privilege, atomicity, and memory-ordering rules.
+
+  Zilx instructions reuse the `AMO` major opcode. The access width and
+  signedness are encoded in _funct3_ using the same encoding as base integer
+  loads, and the addressing mode is encoded in _funct5_. For all Zilx
+  instructions the _aq_ and _rl_ bits must be 0; encodings with _aq_ or _rl_
+  set are reserved.
+type: unprivileged
+versions:
+  - version: "0.1.0"
+    state: development
+    repositories:
+      - url: https://github.com/riscv/riscv-zilx
+        branch: main

data/.data/spec/std/isa/ext/Zkt.yaml

@@ -203,6 +203,21 @@ description: |
   |          | ✓ | sraw  _rd_, _rs1_, _rs2_ |  'sraw'
   |===
 
+  ===  Zicond (Conditional Zero)
+
+  All instructions are included.
+
+  [%header,cols="^1,^1,4,8"]
+  |===
+  |RV32
+  |RV64
+  |Mnemonic
+  |Instruction
+
+  | ✓ | ✓ | czero.eqz _rd_, _rs1_, _rs2_ | 'czero.eqz'
+  | ✓ | ✓ | czero.nez _rd_, _rs1_, _rs2_ | 'czero.nez'
+  |===
+
   ===	RVM (Multiply)
 
   Multiplication is included; division and remaindering excluded.
@@ -221,7 +236,7 @@ description: |
   |          | ✓ | mulw   _rd_, _rs1_, _rs2_ | 'mulw'
   |===
 
-  ===	RVC (Compressed)
+  ===	Zca (Compressed)
 
   Same criteria as in RVI. Organised by quadrants.
 
@@ -250,6 +265,23 @@ description: |
   | ✓ | ✓ | c.add      | 'c_add'
   |===
 
+  ===	Zcb Extension
+
+  These instructions are compressed versions of `I` and `M` instructions that are
+  included in `Zkt`.
+
+  [%header,cols="^1,^1,4,8"]
+  |===
+  |RV32
+  |RV64
+  |Mnemonic
+  |Instruction
+
+  | ✓ | ✓ | c.mul       | 'c_mul'
+  | ✓ | ✓ | c.not       | 'c_not'
+  | ✓ | ✓ | c.zext.b    | 'c_zext_b'
+  |===
+
   ===	RVK (Scalar Cryptography)
 
   All K-specific instructions are included.

data/.data/spec/std/isa/ext/Zvabd.yaml

@@ -0,0 +1,21 @@
+# Copyright (c) Alibaba Damo Academy
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/ext_schema.json
+
+$schema: "ext_schema.json#"
+kind: extension
+name: Zvabd
+long_name: Vector Integer Absolute Difference
+description: |
+  The Zvabd extension defines element-wise absolute difference instructions for
+  vectors of integers, including widening absolute-difference-and-accumulate
+  variants. These operations are widely used in image registration, object
+  recognition, motion estimation, and loop filters for video workloads.
+type: unprivileged
+versions:
+  - version: "0.7.0"
+    state: frozen
+requirements:
+  extension:
+    name: Zve32x

data/.data/spec/std/isa/ext/Zvbc.yaml

@@ -17,3 +17,6 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2023-09
+requirements:
+  extension:
+    name: Zve64x

data/.data/spec/std/isa/ext/Zvkb.yaml

@@ -14,3 +14,6 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2023-09
+requirements:
+  extension:
+    name: Zve32x

data/.data/spec/std/isa/ext/Zvkg.yaml

@@ -24,3 +24,6 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2023-09
+requirements:
+  extension:
+    name: Zve32x

data/.data/spec/std/isa/ext/Zvkned.yaml

@@ -20,3 +20,6 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2023-09
+requirements:
+  extension:
+    name: Zve32x

data/.data/spec/std/isa/ext/Zvknha.yaml

@@ -15,3 +15,6 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2023-09
+requirements:
+  extension:
+    name: Zve32x

data/.data/spec/std/isa/ext/Zvknhb.yaml

@@ -17,5 +17,7 @@ versions:
     ratification_date: 2023-09
     requirements:
       extension:
-        name: Zvknha
-        version: "= 1.0.0"
+        allOf:
+          - name: Zvknha
+            version: "= 1.0.0"
+          - name: Zve64x

data/.data/spec/std/isa/ext/Zvksed.yaml

@@ -22,3 +22,6 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2023-09
+requirements:
+  extension:
+    name: Zve32x

data/.data/spec/std/isa/ext/Zvksh.yaml

@@ -18,3 +18,6 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2023-09
+requirements:
+  extension:
+    name: Zve32x

data/.data/spec/std/isa/ext/Zvkt.yaml

@@ -26,3 +26,6 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: 2023-09
+requirements:
+  extension:
+    name: Zvl32b

data/.data/spec/std/isa/inst/B/roriw.yaml

@@ -41,5 +41,5 @@ operation(): |
 
   XReg xs1_word = X[xs1][31:0];
 
-  XReg unextended_result = (X[xs1] >> shamt) | (X[xs1] << (32 - shamt));
+  XReg unextended_result = (xs1_word >> shamt) | (xs1_word << (32 - shamt));
   X[xd] = {{32{unextended_result[31]}}, unextended_result};

data/.data/spec/std/isa/inst/B/rorw.yaml

@@ -42,5 +42,5 @@ operation(): |
   XReg xs1_word = X[xs1][31:0];
   XReg shamt = X[xs2][4:0];
 
-  XReg unextended_result = (X[xs1] >> shamt) | (X[xs1] << (32 - shamt));
+  XReg unextended_result = (xs1_word >> shamt) | (xs1_word << (32 - shamt));
   X[xd] = {{32{unextended_result[31]}}, unextended_result};

data/.data/spec/std/isa/inst/C/c.add.yaml

@@ -28,6 +28,7 @@ access:
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 hints:
   - { $ref: inst/Zihintntl/c.ntl.p1.yaml# }
   - { $ref: inst/Zihintntl/c.ntl.pall.yaml# }

data/.data/spec/std/isa/inst/C/c.addi.yaml

@@ -31,6 +31,7 @@ access:
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 operation(): |
   if (implemented?(ExtensionName::C) && (CSR[misa].C == 1'b0)) {
     raise(ExceptionCode::IllegalInstruction, mode(), $encoding);

data/.data/spec/std/isa/inst/C/c.addiw.yaml

@@ -32,6 +32,7 @@ access:
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 operation(): |
   if (implemented?(ExtensionName::C) && (CSR[misa].C == 1'b0)) {
     raise(ExceptionCode::IllegalInstruction, mode(), $encoding);

data/.data/spec/std/isa/inst/C/c.addw.yaml

@@ -29,6 +29,7 @@ access:
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 operation(): |
   Bits<32> t0 = X[creg2reg(xd)][31:0];
   Bits<32> t1 = X[creg2reg(xs2)][31:0];

data/.data/spec/std/isa/inst/C/c.and.yaml

@@ -27,6 +27,7 @@ access:
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 operation(): |
   XReg t0 = X[creg2reg(xd)];
   XReg t1 = X[creg2reg(xs2)];

data/.data/spec/std/isa/inst/C/c.andi.yaml

@@ -28,6 +28,7 @@ access:
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 operation(): |
   # shamt is between 0-63
   X[creg2reg(xd)] = X[creg2reg(xd)] & $signed(imm);

data/.data/spec/std/isa/inst/C/c.lui.yaml

@@ -31,6 +31,7 @@ access:
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 operation(): |
   if (implemented?(ExtensionName::C) && (CSR[misa].C == 1'b0)) {
     raise(ExceptionCode::IllegalInstruction, mode(), $encoding);

data/.data/spec/std/isa/inst/C/c.mv.yaml

@@ -28,6 +28,7 @@ access:
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 operation(): |
   if (implemented?(ExtensionName::C) && (CSR[misa].C == 1'b0)) {
     raise(ExceptionCode::IllegalInstruction, mode(), $encoding);

data/.data/spec/std/isa/inst/C/c.nop.yaml

@@ -8,18 +8,29 @@ kind: instruction
 name: c.nop
 long_name: Non-operation
 description: |
+  C.NOP does not change any user-visible state, except for advancing the pc and
+  accepting any HINTs.
   C.NOP expands into `addi x0, x0, 0`.
+  C.NOP with non-zero immediate values are HINTs.
 definedBy:
   extension:
     name: Zca
-assembly: ""
+assembly: imm
 encoding:
-  match: "0000000000000001"
+  match: 000-00000-----01
+  variables:
+    - name: imm
+      location: 12|6-2
+      sign_extend: true
+pseudoinstructions:
+  - when: imm == 0
+    to: "c.nop"
 access:
   s: always
   u: always
   vs: always
   vu: always
+data_independent_timing: true
 operation(): |
   if (implemented?(ExtensionName::C) && (CSR[misa].C == 1'b0)) {
     raise(ExceptionCode::IllegalInstruction, mode(), $encoding);