udb 0.1.16 → 0.1.17

data/.data/spec/std/isa/inst/Zvfofp8min/vfncvt.f.f.q.yaml

@@ -0,0 +1,31 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+# yaml-language-server: $schema=../../../../schemas/inst_schema.json
+$schema: "inst_schema.json#"
+kind: instruction
+name: vfncvt.f.f.q
+long_name: Vector floating-point FP32 conversion to OFP8
+description: |
+  Converts FP32 floating-point elements in vector register vs2 to OFP8
+  elements and stores the results in vector register vd according to mask vm.
+  Results are rounded using the dynamic floating-point rounding mode.
+definedBy:
+  extension:
+    name: Zvfofp8min
+assembly: vd, vs2, vm
+encoding:
+  match: 010010------11001001-----1010111
+  variables:
+    - name: vm
+      location: 25-25
+    - name: vs2
+      location: 24-20
+    - name: vd
+      location: 11-7
+access:
+  s: always
+  u: always
+  vs: always
+  vu: always
+data_independent_timing: false
+operation(): |

data/.data/spec/std/isa/inst/Zvfofp8min/vfncvt.sat.f.f.q.yaml

@@ -0,0 +1,32 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+# yaml-language-server: $schema=../../../../schemas/inst_schema.json
+$schema: "inst_schema.json#"
+kind: instruction
+name: vfncvt.sat.f.f.q
+long_name: Vector floating-point FP32 saturating conversion to OFP8
+description: |
+  Converts FP32 floating-point elements in vector register vs2 to OFP8
+  elements and stores the results in vector register vd according to mask vm.
+  Infinite results are converted to the maximum-magnitude finite value of the
+  same sign.
+definedBy:
+  extension:
+    name: Zvfofp8min
+assembly: vd, vs2, vm
+encoding:
+  match: 010010------11011001-----1010111
+  variables:
+    - name: vm
+      location: 25-25
+    - name: vs2
+      location: 24-20
+    - name: vd
+      location: 11-7
+access:
+  s: always
+  u: always
+  vs: always
+  vu: always
+data_independent_timing: false
+operation(): |

data/.data/spec/std/isa/inst/Zvfofp8min/vfncvtbf16.sat.f.f.w.yaml

@@ -0,0 +1,32 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+# yaml-language-server: $schema=../../../../schemas/inst_schema.json
+$schema: "inst_schema.json#"
+kind: instruction
+name: vfncvtbf16.sat.f.f.w
+long_name: Vector saturating narrowing BFloat16 to OFP8 conversion
+description: |
+  Converts BFloat16 floating-point elements in vector register vs2 to OFP8
+  elements and stores the results in vector register vd according to mask vm.
+  Infinite results are converted to the maximum-magnitude finite value of the
+  same sign.
+definedBy:
+  extension:
+    name: Zvfofp8min
+assembly: vd, vs2, vm
+encoding:
+  match: 010010------11111001-----1010111
+  variables:
+    - name: vm
+      location: 25-25
+    - name: vs2
+      location: 24-20
+    - name: vd
+      location: 11-7
+access:
+  s: always
+  u: always
+  vs: always
+  vu: always
+data_independent_timing: false
+operation(): |

data/.data/spec/std/isa/isa/builtin_functions.idl

@@ -58,10 +58,12 @@ generated function direct_csr_lookup {
 generated function indirect_csr_lookup {
   returns Csr
   arguments
+    PrivilegeMode target_mode,
     Bits<MXLEN> csr_addr,
     Bits<4> window_slot  # 1-indexed "slot" in the window (corresponding to *ireg<window_slot>)
   description {
-    Return CSR info for a CSR with indirect address +csr_addr+ at window slot +window_slot+.
+    Return CSR info for a CSR with indirect address +csr_addr+ in the target privilege-mode
+    indirect address space at window slot +window_slot+.
 
     If no CSR exists, <return_value>.valid == false
   }

data/.data/spec/std/isa/isa/util.idl

@@ -71,6 +71,7 @@ function highest_set_bit {
   description {
     Returns the position of the highest (nearest MSB) bit that is '1',
     or -1 if value is zero.
+    Callers should cast the return value with $signed().
   }
   body {
     for (Bits<8> i=xlen(); i > 0; i--) {

data/.data/spec/std/isa/param/COUNTINHIBIT_EN.yaml

@@ -9,8 +9,8 @@ name: COUNTINHIBIT_EN
 description: |
   Indicates which hardware performance monitor counters can be disabled from `mcountinhibit`.
 
-  An unimplemented counter cannot be specified, i.e., if HPM_COUNTER_EN[3] is false,
-  it would be illegal to set COUNTINHIBIT_EN[3] to true.
+  `COUNTINHIBIT_EN[n]` controls whether `mcountinhibit.HPM<n>` is writable. It does
+  not depend on whether `hpmcounter<n>`/`mhpmcounter<n>` is read-only zero.
 
   COUNTINHIBIT_EN[1] can never be true, since it corresponds to `mcountinhibit.TM`,
   which is always read-only-0.
@@ -26,14 +26,6 @@ schema:
   maxItems: 32
   minItems: 32
 
-requirements:
-  idl(): |
-    for (U32 i = 3; i < 32; i++) {
-      (!HPM_COUNTER_EN[i]) -> !COUNTINHIBIT_EN[i];
-    }
-  reason: |
-    When mhpmcounter[i] is not implemented, it cannot be inhibited.
-
 definedBy:
   allOf:
     - extension:

data/.data/spec/std/isa/param/HCOUNTENABLE_EN.yaml

@@ -9,9 +9,8 @@ name: HCOUNTENABLE_EN
 description: |
   Indicates which counters can delegated via `hcounteren`
 
-  An unimplemented counter cannot be specified, i.e., if
-  HPM_COUNTER_EN[3] is false, it would be illegal to set
-  HCOUNTENABLE_EN[3] to true.
+  `HCOUNTENABLE_EN[n]` controls whether `hcounteren.HPM<n>` is writable. It does not
+  depend on whether `hpmcounter<n>`/`mhpmcounter<n>` is read-only zero.
 
   HCOUNTENABLE_EN[0:2] must all be false if `Zicntr` is not implemented.
   HCOUNTENABLE_EN[3:31] must all be false if `Zihpm` is not implemented.
@@ -32,9 +31,7 @@ requirements:
     }
     for (U32 i = 3; i < 32; i++) {
       !implemented?(ExtensionName::Zihpm) -> !HCOUNTENABLE_EN[i];
-      (!HPM_COUNTER_EN[i]) -> !HCOUNTENABLE_EN[i];
     }
   reason: |
     Counters 0-2 are defined by Zicntr
     Counters 3..31 are defined by Zihpm
-    When mhpmcounter[i] is not implemented, it cannot be enabled.

data/.data/spec/std/isa/param/HPM_COUNTER10_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER10_WIDTH
+long_name: Width of HPM counter 10
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 10
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter10`.
+
+  This parameter exists only when `HPM_COUNTER_EN[10]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER11_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER11_WIDTH
+long_name: Width of HPM counter 11
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 11
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter11`.
+
+  This parameter exists only when `HPM_COUNTER_EN[11]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER12_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER12_WIDTH
+long_name: Width of HPM counter 12
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 12
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter12`.
+
+  This parameter exists only when `HPM_COUNTER_EN[12]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER13_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER13_WIDTH
+long_name: Width of HPM counter 13
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 13
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter13`.
+
+  This parameter exists only when `HPM_COUNTER_EN[13]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER14_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER14_WIDTH
+long_name: Width of HPM counter 14
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 14
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter14`.
+
+  This parameter exists only when `HPM_COUNTER_EN[14]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER15_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER15_WIDTH
+long_name: Width of HPM counter 15
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 15
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter15`.
+
+  This parameter exists only when `HPM_COUNTER_EN[15]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER16_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER16_WIDTH
+long_name: Width of HPM counter 16
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 16
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter16`.
+
+  This parameter exists only when `HPM_COUNTER_EN[16]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER17_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER17_WIDTH
+long_name: Width of HPM counter 17
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 17
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter17`.
+
+  This parameter exists only when `HPM_COUNTER_EN[17]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER18_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER18_WIDTH
+long_name: Width of HPM counter 18
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 18
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter18`.
+
+  This parameter exists only when `HPM_COUNTER_EN[18]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER19_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER19_WIDTH
+long_name: Width of HPM counter 19
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 19
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter19`.
+
+  This parameter exists only when `HPM_COUNTER_EN[19]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER20_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER20_WIDTH
+long_name: Width of HPM counter 20
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 20
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter20`.
+
+  This parameter exists only when `HPM_COUNTER_EN[20]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER21_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER21_WIDTH
+long_name: Width of HPM counter 21
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 21
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter21`.
+
+  This parameter exists only when `HPM_COUNTER_EN[21]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER22_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER22_WIDTH
+long_name: Width of HPM counter 22
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 22
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter22`.
+
+  This parameter exists only when `HPM_COUNTER_EN[22]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER23_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER23_WIDTH
+long_name: Width of HPM counter 23
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 23
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter23`.
+
+  This parameter exists only when `HPM_COUNTER_EN[23]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER24_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER24_WIDTH
+long_name: Width of HPM counter 24
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 24
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter24`.
+
+  This parameter exists only when `HPM_COUNTER_EN[24]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER25_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER25_WIDTH
+long_name: Width of HPM counter 25
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 25
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter25`.
+
+  This parameter exists only when `HPM_COUNTER_EN[25]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64