udb 0.1.14 → 0.1.16

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

@@ -8,15 +8,24 @@ kind: parameter
 name: VLEN
 description: |
   The number of bits in a single vector register.
-long_name: TODO
+long_name: vector register bit width
 schema:
   type: integer
-  minimum: 32
-  maximum: 65536
-#    requirements:
-#      idl(): |
-#        -> (VLEN >= ELEN) && (VLEN <='h10000) && (popcount(VLEN) == 1);
-#      reason: VLEN >= ELEN, which must be a power of 2, and must be no greater than 2^16.
+  enum:
+    [
+      0x20,
+      0x40,
+      0x80,
+      0x100,
+      0x200,
+      0x400,
+      0x800,
+      0x1000,
+      0x2000,
+      0x4000,
+      0x8000,
+      0x10000,
+    ]
 definedBy:
   extension:
     name: Zvl32b

data/.data/spec/std/isa/param/VSTVEC_MODES.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/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: VSTVEC_MODES
+long_name: |
+  Modes supported by `vstvec.MODE`
+definedBy:
+  extension:
+    name: H
+description: |
+  Options:
+
+    0::
+      Direct; All traps set `pc` to `vstvec.BASE`
+    1::
+      Vectored; Asynchronous interrupts set `pc` to `vstvec.BASE` + 4 x cause.
+
+  If only one mode is given, `vstvec.MODE` is assumed to be read-only with that value.
+  Otherwise, `vstvec.MODE` is read-write.
+schema:
+  type: array
+  items:
+    type: integer
+    enum: [0, 1]
+  minItems: 1
+  maxItems: 2
+  uniqueItems: true

data/lib/udb/Z3_VERSION

@@ -1 +1 @@
-z3-4.16.0
+z3-5.0.0

data/lib/udb/config.rb

@@ -238,7 +238,7 @@ module Udb
     def initialize(data, info)
       super(data, info)
 
-      @param_values = @data.key?("params") ? @data["params"] : [].freeze
+      @param_values = @data.key?("params") ? @data["params"] : {}.freeze
 
       @mxlen = @data.dig("params", "MXLEN")
 

data/lib/udb/obj/csr.rb

@@ -198,7 +198,7 @@ module Udb
         # VSXLEN condition applies if VS-mode is possible
         (cfg_arch.mxlen.nil?) || \
         (cfg_arch.possible_extensions.map(&:name).include?("S") && \
-          (cfg_arch.param_values["SXLEN"].nil? || cfg_arch.param_values["SXLEN"].size > 1)) && \
+          (cfg_arch.param_values["SXLEN"].nil? || cfg_arch.param_values["SXLEN"].size > 1)) || \
         (cfg_arch.possible_extensions.map(&:name).include?("H") && \
           (cfg_arch.param_values["VSXLEN"].nil? || cfg_arch.param_values["VSXLEN"].size > 1))
       else

data/lib/udb/obj/csr_field.rb

@@ -715,7 +715,7 @@ module Udb
     sig { override.returns(T::Boolean) }
     def defined_in_base64? = base != 32
 
-    sig { params(xlen: Integer).returns(T::Boolean) }
+    sig { override.params(xlen: Integer).returns(T::Boolean) }
     def defined_in_base?(xlen) = xlen == 32 ? defined_in_base32? : defined_in_base64?
 
     # @return [Boolean] Whether or not this field exists for any XLEN

data/lib/udb/obj/extension.rb

@@ -403,7 +403,7 @@ module Udb
     sig { override.params(other_ext: Object).returns(T.nilable(Integer)).checked(:never) }
     def <=>(other_ext)
       return nil unless other_ext.is_a?(Extension)
-      other_ext.name <=> name
+      name <=> other_ext.name
     end
 
     # returns list of exception codes that are defined by any version of this extension

data/lib/udb/version.rb

@@ -5,5 +5,5 @@
 # frozen_string_literal: true
 
 module Udb
-  def self.version = "0.1.14"
+  def self.version = "0.1.16"
 end

data/lib/udb/version_spec.rb

@@ -114,7 +114,7 @@ module Udb
     sig { params(other: T.untyped).returns(T.nilable(Integer)).checked(:never) }
     def <=>(other)
       if other.is_a?(String)
-        VersionSpec.new(other) <=> self
+        self <=> VersionSpec.new(other)
       elsif other.is_a?(VersionSpec)
         if @major != other.major
           @major <=> other.major

data/lib/udb/z3.rb

@@ -318,12 +318,13 @@ module Udb
   # Supported JSON schema features:
   # - Type constraints (boolean, integer, string, array)
   # - Value constraints (const, enum, minimum, maximum)
-  # - Composition (allOf)
+  # - Composition (allOf; anyOf for boolean, integer, and string)
   # - References ($ref to uint32/uint64)
   # - Array constraints (items, minItems, maxItems, contains, uniqueItems)
   #
   # Not yet supported (TODO):
-  # - anyOf, oneOf, noneOf (would require disjunctive constraints)
+  # - anyOf for array
+  # - oneOf, noneOf
   # - if/then/else (conditional schemas)
   class Z3ParameterTerm
     extend T::Sig
@@ -341,6 +342,7 @@ module Udb
     # - enum: one of several values
     # - minimum/maximum: range bounds (unsigned comparison)
     # - allOf: conjunction of subschemas
+    # - anyOf: inclusive disjunction of subschemas (at least one must hold)
     # - $ref: references to uint32/uint64 types
     #
     # @param solver [Z3Solver] The solver to add assertions to
@@ -385,12 +387,15 @@ module Udb
 
       if schema_hsh.key?("allOf")
         schema_hsh.fetch("allOf").each do |h|
-          assertions += constrain_int(solver, term, h)
+          assertions += constrain_int(solver, term, h, assert: false)
         end
       end
 
       if schema_hsh.key?("anyOf")
-        raise "TODO: anyOf not yet implemented for integer constraints"
+        branches = schema_hsh.fetch("anyOf").map do |h|
+          constrain_int(solver, term, h, assert: false)
+        end
+        assertions << any_of_constraint(branches)
       end
 
       if schema_hsh.key?("oneOf")
@@ -433,6 +438,7 @@ module Udb
     # Handles JSON schema keywords:
     # - const: exact boolean value
     # - allOf: conjunction of subschemas
+    # - anyOf: inclusive disjunction of subschemas (at least one must hold)
     #
     # @param solver [Z3Solver] The solver to add assertions to
     # @param term [Z3::BoolExpr] The Z3 boolean term to constrain
@@ -458,12 +464,15 @@ module Udb
 
       if schema_hsh.key?("allOf")
         schema_hsh.fetch("allOf").each do |h|
-          assertions += constrain_bool(solver, term, h)
+          assertions += constrain_bool(solver, term, h, assert: false)
         end
       end
 
       if schema_hsh.key?("anyOf")
-        raise "TODO: anyOf not yet implemented for boolean constraints"
+        branches = schema_hsh.fetch("anyOf").map do |h|
+          constrain_bool(solver, term, h, assert: false)
+        end
+        assertions << any_of_constraint(branches)
       end
 
       if schema_hsh.key?("oneOf")
@@ -492,6 +501,7 @@ module Udb
     # Handles JSON schema keywords:
     # - const: exact string value (compared via hash)
     # - enum: one of several string values (compared via hash)
+    # - anyOf: inclusive disjunction of subschemas (at least one must hold)
     #
     # @param solver [Z3Solver] The solver to add assertions to
     # @param term [Z3::IntExpr] The Z3 integer term representing the string hash
@@ -526,7 +536,10 @@ module Udb
       end
 
       if schema_hsh.key?("anyOf")
-        raise "TODO: anyOf not yet implemented for string constraints"
+        branches = schema_hsh.fetch("anyOf").map do |h|
+          constrain_string(solver, term, h, assert: false)
+        end
+        assertions << any_of_constraint(branches)
       end
 
       if schema_hsh.key?("oneOf")
@@ -547,6 +560,15 @@ module Udb
       assertions
     end
 
+    sig { params(branches: T::Array[T::Array[Z3::BoolExpr]]).returns(Z3::BoolExpr) }
+    def self.any_of_constraint(branches)
+      expressions = branches.map do |branch|
+        branch.reduce(Z3.True) { |expression, assertion| expression & assertion }
+      end
+      expressions.reduce(Z3.False) { |expression, branch| expression | branch }
+    end
+    private_class_method :any_of_constraint
+
     # Extract array constraints from JSON schema
     #
     # Processes JSON schema array keywords and returns an ArrayConstraints object

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: udb
 version: !ruby/object:Gem::Version
-  version: 0.1.14
+  version: 0.1.16
 platform: ruby
 authors:
 - Derek Hower
 - James Ball
 bindir: bin
 cert_chain: []
-date: 2026-07-18 00:00:00.000000000 Z
+date: 2026-08-15 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: activesupport
@@ -72,14 +72,14 @@ dependencies:
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 0.1.5
+        version: 0.1.7
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 0.1.5
+        version: 0.1.7
 - !ruby/object:Gem::Dependency
   name: json_schemer
   requirement: !ruby/object:Gem::Requirement
@@ -1213,6 +1213,7 @@ files:
 - ".data/spec/std/isa/ext/Sha.yaml"
 - ".data/spec/std/isa/ext/Shcounterenw.yaml"
 - ".data/spec/std/isa/ext/Shgatpa.yaml"
+- ".data/spec/std/isa/ext/Shlcofideleg.yaml"
 - ".data/spec/std/isa/ext/Shtvala.yaml"
 - ".data/spec/std/isa/ext/Shvsatpa.yaml"
 - ".data/spec/std/isa/ext/Shvstvala.yaml"
@@ -1299,12 +1300,14 @@ files:
 - ".data/spec/std/isa/ext/Zfinx.yaml"
 - ".data/spec/std/isa/ext/Zhinx.yaml"
 - ".data/spec/std/isa/ext/Zhinxmin.yaml"
+- ".data/spec/std/isa/ext/Zibi.yaml"
 - ".data/spec/std/isa/ext/Zic64b.yaml"
 - ".data/spec/std/isa/ext/Zicbom.yaml"
 - ".data/spec/std/isa/ext/Zicbop.yaml"
 - ".data/spec/std/isa/ext/Zicboz.yaml"
 - ".data/spec/std/isa/ext/Ziccamoa.yaml"
 - ".data/spec/std/isa/ext/Ziccamoc.yaml"
+- ".data/spec/std/isa/ext/Ziccid.yaml"
 - ".data/spec/std/isa/ext/Ziccif.yaml"
 - ".data/spec/std/isa/ext/Zicclsm.yaml"
 - ".data/spec/std/isa/ext/Ziccrse.yaml"
@@ -1318,6 +1321,7 @@ files:
 - ".data/spec/std/isa/ext/Zihintpause.yaml"
 - ".data/spec/std/isa/ext/Zihpm.yaml"
 - ".data/spec/std/isa/ext/Zilsd.yaml"
+- ".data/spec/std/isa/ext/Zilx.yaml"
 - ".data/spec/std/isa/ext/Zimop.yaml"
 - ".data/spec/std/isa/ext/Zk.yaml"
 - ".data/spec/std/isa/ext/Zkn.yaml"
@@ -1331,6 +1335,7 @@ files:
 - ".data/spec/std/isa/ext/Zkt.yaml"
 - ".data/spec/std/isa/ext/Zmmul.yaml"
 - ".data/spec/std/isa/ext/Ztso.yaml"
+- ".data/spec/std/isa/ext/Zvabd.yaml"
 - ".data/spec/std/isa/ext/Zvbb.yaml"
 - ".data/spec/std/isa/ext/Zvbc.yaml"
 - ".data/spec/std/isa/ext/Zve32f.yaml"
@@ -1420,30 +1425,20 @@ files:
 - ".data/spec/std/isa/inst/D/fcvt.s.d.yaml"
 - ".data/spec/std/isa/inst/D/fcvt.w.d.yaml"
 - ".data/spec/std/isa/inst/D/fcvt.wu.d.yaml"
-- ".data/spec/std/isa/inst/D/fcvtmod.w.d.yaml"
 - ".data/spec/std/isa/inst/D/fdiv.d.yaml"
 - ".data/spec/std/isa/inst/D/feq.d.yaml"
 - ".data/spec/std/isa/inst/D/fld.yaml"
 - ".data/spec/std/isa/inst/D/fle.d.yaml"
-- ".data/spec/std/isa/inst/D/fleq.d.yaml"
-- ".data/spec/std/isa/inst/D/fli.d.yaml"
 - ".data/spec/std/isa/inst/D/flt.d.yaml"
-- ".data/spec/std/isa/inst/D/fltq.d.yaml"
 - ".data/spec/std/isa/inst/D/fmadd.d.yaml"
 - ".data/spec/std/isa/inst/D/fmax.d.yaml"
-- ".data/spec/std/isa/inst/D/fmaxm.d.yaml"
 - ".data/spec/std/isa/inst/D/fmin.d.yaml"
-- ".data/spec/std/isa/inst/D/fminm.d.yaml"
 - ".data/spec/std/isa/inst/D/fmsub.d.yaml"
 - ".data/spec/std/isa/inst/D/fmul.d.yaml"
 - ".data/spec/std/isa/inst/D/fmv.d.x.yaml"
 - ".data/spec/std/isa/inst/D/fmv.x.d.yaml"
-- ".data/spec/std/isa/inst/D/fmvh.x.d.yaml"
-- ".data/spec/std/isa/inst/D/fmvp.d.x.yaml"
 - ".data/spec/std/isa/inst/D/fnmadd.d.yaml"
 - ".data/spec/std/isa/inst/D/fnmsub.d.yaml"
-- ".data/spec/std/isa/inst/D/fround.d.yaml"
-- ".data/spec/std/isa/inst/D/froundnx.d.yaml"
 - ".data/spec/std/isa/inst/D/fsd.yaml"
 - ".data/spec/std/isa/inst/D/fsgnj.d.yaml"
 - ".data/spec/std/isa/inst/D/fsgnjn.d.yaml"
@@ -1463,9 +1458,7 @@ files:
 - ".data/spec/std/isa/inst/F/fdiv.s.yaml"
 - ".data/spec/std/isa/inst/F/feq.s.yaml"
 - ".data/spec/std/isa/inst/F/fle.s.yaml"
-- ".data/spec/std/isa/inst/F/fleq.s.yaml"
 - ".data/spec/std/isa/inst/F/flt.s.yaml"
-- ".data/spec/std/isa/inst/F/fltq.s.yaml"
 - ".data/spec/std/isa/inst/F/flw.yaml"
 - ".data/spec/std/isa/inst/F/fmadd.s.yaml"
 - ".data/spec/std/isa/inst/F/fmax.s.yaml"
@@ -1584,24 +1577,15 @@ files:
 - ".data/spec/std/isa/inst/Q/fdiv.q.yaml"
 - ".data/spec/std/isa/inst/Q/feq.q.yaml"
 - ".data/spec/std/isa/inst/Q/fle.q.yaml"
-- ".data/spec/std/isa/inst/Q/fleq.q.yaml"
-- ".data/spec/std/isa/inst/Q/fli.q.yaml"
 - ".data/spec/std/isa/inst/Q/flq.yaml"
 - ".data/spec/std/isa/inst/Q/flt.q.yaml"
-- ".data/spec/std/isa/inst/Q/fltq.q.yaml"
 - ".data/spec/std/isa/inst/Q/fmadd.q.yaml"
 - ".data/spec/std/isa/inst/Q/fmax.q.yaml"
-- ".data/spec/std/isa/inst/Q/fmaxm.q.yaml"
 - ".data/spec/std/isa/inst/Q/fmin.q.yaml"
-- ".data/spec/std/isa/inst/Q/fminm.q.yaml"
 - ".data/spec/std/isa/inst/Q/fmsub.q.yaml"
 - ".data/spec/std/isa/inst/Q/fmul.q.yaml"
-- ".data/spec/std/isa/inst/Q/fmvh.x.q.yaml"
-- ".data/spec/std/isa/inst/Q/fmvp.q.x.yaml"
 - ".data/spec/std/isa/inst/Q/fnmadd.q.yaml"
 - ".data/spec/std/isa/inst/Q/fnmsub.q.yaml"
-- ".data/spec/std/isa/inst/Q/fround.q.yaml"
-- ".data/spec/std/isa/inst/Q/froundnx.q.yaml"
 - ".data/spec/std/isa/inst/Q/fsgnj.q.yaml"
 - ".data/spec/std/isa/inst/Q/fsgnjn.q.yaml"
 - ".data/spec/std/isa/inst/Q/fsgnjx.q.yaml"
@@ -1612,7 +1596,7 @@ files:
 - ".data/spec/std/isa/inst/S/sfence.vma.yaml"
 - ".data/spec/std/isa/inst/S/sret.yaml"
 - ".data/spec/std/isa/inst/Sdext/dret.yaml"
-- ".data/spec/std/isa/inst/Smdbltrp/sctrclr.yaml"
+- ".data/spec/std/isa/inst/Smctr/sctrclr.yaml"
 - ".data/spec/std/isa/inst/Smrnmi/mnret.yaml"
 - ".data/spec/std/isa/inst/Svinval/hinval.gvma.yaml"
 - ".data/spec/std/isa/inst/Svinval/hinval.vvma.yaml"
@@ -2534,10 +2518,38 @@ files:
 - ".data/spec/std/isa/inst/Zcmp/cm.push.yaml"
 - ".data/spec/std/isa/inst/Zcmt/cm.jalt.yaml"
 - ".data/spec/std/isa/inst/Zcmt/cm.jt.yaml"
+- ".data/spec/std/isa/inst/Zfa/fcvtmod.w.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/fleq.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/fleq.h.yaml"
+- ".data/spec/std/isa/inst/Zfa/fleq.q.yaml"
+- ".data/spec/std/isa/inst/Zfa/fleq.s.yaml"
+- ".data/spec/std/isa/inst/Zfa/fli.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/fli.h.yaml"
+- ".data/spec/std/isa/inst/Zfa/fli.q.yaml"
 - ".data/spec/std/isa/inst/Zfa/fli.s.yaml"
+- ".data/spec/std/isa/inst/Zfa/fltq.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/fltq.h.yaml"
+- ".data/spec/std/isa/inst/Zfa/fltq.q.yaml"
+- ".data/spec/std/isa/inst/Zfa/fltq.s.yaml"
+- ".data/spec/std/isa/inst/Zfa/fmaxm.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/fmaxm.h.yaml"
+- ".data/spec/std/isa/inst/Zfa/fmaxm.q.yaml"
 - ".data/spec/std/isa/inst/Zfa/fmaxm.s.yaml"
+- ".data/spec/std/isa/inst/Zfa/fminm.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/fminm.h.yaml"
+- ".data/spec/std/isa/inst/Zfa/fminm.q.yaml"
 - ".data/spec/std/isa/inst/Zfa/fminm.s.yaml"
+- ".data/spec/std/isa/inst/Zfa/fmvh.x.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/fmvh.x.q.yaml"
+- ".data/spec/std/isa/inst/Zfa/fmvp.d.x.yaml"
+- ".data/spec/std/isa/inst/Zfa/fmvp.q.x.yaml"
+- ".data/spec/std/isa/inst/Zfa/fround.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/fround.h.yaml"
+- ".data/spec/std/isa/inst/Zfa/fround.q.yaml"
 - ".data/spec/std/isa/inst/Zfa/fround.s.yaml"
+- ".data/spec/std/isa/inst/Zfa/froundnx.d.yaml"
+- ".data/spec/std/isa/inst/Zfa/froundnx.h.yaml"
+- ".data/spec/std/isa/inst/Zfa/froundnx.q.yaml"
 - ".data/spec/std/isa/inst/Zfa/froundnx.s.yaml"
 - ".data/spec/std/isa/inst/Zfbfmin/fcvt.bf16.s.yaml"
 - ".data/spec/std/isa/inst/Zfbfmin/fcvt.s.bf16.yaml"
@@ -2558,30 +2570,25 @@ files:
 - ".data/spec/std/isa/inst/Zfh/fdiv.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/feq.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fle.h.yaml"
-- ".data/spec/std/isa/inst/Zfh/fleq.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/flh.yaml"
-- ".data/spec/std/isa/inst/Zfh/fli.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/flt.h.yaml"
-- ".data/spec/std/isa/inst/Zfh/fltq.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fmadd.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fmax.h.yaml"
-- ".data/spec/std/isa/inst/Zfh/fmaxm.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fmin.h.yaml"
-- ".data/spec/std/isa/inst/Zfh/fminm.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fmsub.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fmul.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fmv.h.x.yaml"
 - ".data/spec/std/isa/inst/Zfh/fmv.x.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fnmadd.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fnmsub.h.yaml"
-- ".data/spec/std/isa/inst/Zfh/fround.h.yaml"
-- ".data/spec/std/isa/inst/Zfh/froundnx.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fsgnj.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fsgnjn.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fsgnjx.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fsh.yaml"
 - ".data/spec/std/isa/inst/Zfh/fsqrt.h.yaml"
 - ".data/spec/std/isa/inst/Zfh/fsub.h.yaml"
+- ".data/spec/std/isa/inst/Zibi/beqi.yaml"
+- ".data/spec/std/isa/inst/Zibi/bnei.yaml"
 - ".data/spec/std/isa/inst/Zicbom/cbo.clean.yaml"
 - ".data/spec/std/isa/inst/Zicbom/cbo.flush.yaml"
 - ".data/spec/std/isa/inst/Zicbom/cbo.inval.yaml"
@@ -2590,12 +2597,12 @@ files:
 - ".data/spec/std/isa/inst/Zicbop/prefetch.w.yaml"
 - ".data/spec/std/isa/inst/Zicboz/cbo.zero.yaml"
 - ".data/spec/std/isa/inst/Zicfilp/lpad.yaml"
+- ".data/spec/std/isa/inst/Zicfiss/c.sspopchk.yaml"
+- ".data/spec/std/isa/inst/Zicfiss/c.sspush.yaml"
 - ".data/spec/std/isa/inst/Zicfiss/ssamoswap.d.yaml"
 - ".data/spec/std/isa/inst/Zicfiss/ssamoswap.w.yaml"
-- ".data/spec/std/isa/inst/Zicfiss/sspopchk.x1.yaml"
-- ".data/spec/std/isa/inst/Zicfiss/sspopchk.x5.yaml"
-- ".data/spec/std/isa/inst/Zicfiss/sspush.x1.yaml"
-- ".data/spec/std/isa/inst/Zicfiss/sspush.x5.yaml"
+- ".data/spec/std/isa/inst/Zicfiss/sspopchk.yaml"
+- ".data/spec/std/isa/inst/Zicfiss/sspush.yaml"
 - ".data/spec/std/isa/inst/Zicfiss/ssrdp.yaml"
 - ".data/spec/std/isa/inst/Zicond/czero.eqz.yaml"
 - ".data/spec/std/isa/inst/Zicond/czero.nez.yaml"
@@ -2615,6 +2622,25 @@ files:
 - ".data/spec/std/isa/inst/Zihintntl/ntl.pall.yaml"
 - ".data/spec/std/isa/inst/Zihintntl/ntl.s1.yaml"
 - ".data/spec/std/isa/inst/Zihintpause/pause.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxd.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxh.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxhu.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsb.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsbu.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsd.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsh.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxshu.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsuwb.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsuwbu.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsuwd.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsuwh.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsuwhu.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsuww.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsuwwu.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxsw.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxswu.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxw.yaml"
+- ".data/spec/std/isa/inst/Zilx/lxwu.yaml"
 - ".data/spec/std/isa/inst/Zimop/mop.r.0.yaml"
 - ".data/spec/std/isa/inst/Zimop/mop.r.1.yaml"
 - ".data/spec/std/isa/inst/Zimop/mop.r.10.yaml"
@@ -2686,19 +2712,15 @@ files:
 - ".data/spec/std/isa/inst/Zks/sm3p1.yaml"
 - ".data/spec/std/isa/inst/Zks/sm4ed.yaml"
 - ".data/spec/std/isa/inst/Zks/sm4ks.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vandn.vv.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vandn.vx.yaml"
+- ".data/spec/std/isa/inst/Zvabd/vabd.vv.yaml"
+- ".data/spec/std/isa/inst/Zvabd/vabdu.vv.yaml"
+- ".data/spec/std/isa/inst/Zvabd/vabs.v.yaml"
+- ".data/spec/std/isa/inst/Zvabd/vwabda.vv.yaml"
+- ".data/spec/std/isa/inst/Zvabd/vwabdau.vv.yaml"
 - ".data/spec/std/isa/inst/Zvbb/vbrev.v.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vbrev8.v.yaml"
 - ".data/spec/std/isa/inst/Zvbb/vclz.v.yaml"
 - ".data/spec/std/isa/inst/Zvbb/vcpop.v.yaml"
 - ".data/spec/std/isa/inst/Zvbb/vctz.v.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vrev8.v.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vrol.vv.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vrol.vx.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vror.vi.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vror.vv.yaml"
-- ".data/spec/std/isa/inst/Zvbb/vror.vx.yaml"
 - ".data/spec/std/isa/inst/Zvbb/vwsll.vi.yaml"
 - ".data/spec/std/isa/inst/Zvbb/vwsll.vv.yaml"
 - ".data/spec/std/isa/inst/Zvbb/vwsll.vx.yaml"
@@ -2710,6 +2732,15 @@ files:
 - ".data/spec/std/isa/inst/Zvfbfmin/vfwcvtbf16.f.f.v.yaml"
 - ".data/spec/std/isa/inst/Zvfbfwma/vfwmaccbf16.vf.yaml"
 - ".data/spec/std/isa/inst/Zvfbfwma/vfwmaccbf16.vv.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vandn.vv.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vandn.vx.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vbrev8.v.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vrev8.v.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vrol.vv.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vrol.vx.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vror.vi.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vror.vv.yaml"
+- ".data/spec/std/isa/inst/Zvkb/vror.vx.yaml"
 - ".data/spec/std/isa/inst/Zvkg/vghsh.vv.yaml"
 - ".data/spec/std/isa/inst/Zvkg/vgmul.vv.yaml"
 - ".data/spec/std/isa/inst/Zvkned/vaesdf.vs.yaml"
@@ -2923,8 +2954,8 @@ files:
 - ".data/spec/std/isa/param/SEW_MIN.yaml"
 - ".data/spec/std/isa/param/SSTATEEN_JVT_TYPE.yaml"
 - ".data/spec/std/isa/param/STVAL_WIDTH.yaml"
-- ".data/spec/std/isa/param/STVEC_MODE_DIRECT.yaml"
-- ".data/spec/std/isa/param/STVEC_MODE_VECTORED.yaml"
+- ".data/spec/std/isa/param/STVEC_BASE_ALIGNMENT_VECTORED.yaml"
+- ".data/spec/std/isa/param/STVEC_MODES.yaml"
 - ".data/spec/std/isa/param/SUPPORT_FRACTIONAL_LMUL_BEYOND_REQUIRED.yaml"
 - ".data/spec/std/isa/param/SV32X4_TRANSLATION.yaml"
 - ".data/spec/std/isa/param/SV32_VSMODE_TRANSLATION.yaml"
@@ -2985,8 +3016,7 @@ files:
 - ".data/spec/std/isa/param/VMID_WIDTH.yaml"
 - ".data/spec/std/isa/param/VSSTAGE_MODE_BARE.yaml"
 - ".data/spec/std/isa/param/VSSTATUS_VS_EXISTS.yaml"
-- ".data/spec/std/isa/param/VSTVEC_MODE_DIRECT.yaml"
-- ".data/spec/std/isa/param/VSTVEC_MODE_VECTORED.yaml"
+- ".data/spec/std/isa/param/VSTVEC_MODES.yaml"
 - ".data/spec/std/isa/param/VSXLEN.yaml"
 - ".data/spec/std/isa/param/VS_MODE_ENDIANNESS.yaml"
 - ".data/spec/std/isa/param/VUXLEN.yaml"

data/.data/spec/std/isa/inst/Zicfiss/sspopchk.x1.yaml

@@ -1,25 +0,0 @@
-# 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: sspopchk.x1
-long_name: No synopsis available
-description: |
-  No description available.
-definedBy:
-  extension:
-    name: Zicfiss
-assembly: sspopchk_x1
-encoding:
-  match: "11001101110000001100000001110011"
-  variables: []
-access:
-  s: always
-  u: always
-  vs: always
-  vu: always
-data_independent_timing: false
-operation(): |

data/.data/spec/std/isa/inst/Zicfiss/sspopchk.x5.yaml

@@ -1,25 +0,0 @@
-# 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: sspopchk.x5
-long_name: No synopsis available
-description: |
-  No description available.
-definedBy:
-  extension:
-    name: Zicfiss
-assembly: sspopchk_x5
-encoding:
-  match: "11001101110000101100000001110011"
-  variables: []
-access:
-  s: always
-  u: always
-  vs: always
-  vu: always
-data_independent_timing: false
-operation(): |

data/.data/spec/std/isa/inst/Zicfiss/sspush.x1.yaml

@@ -1,25 +0,0 @@
-# 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: sspush.x1
-long_name: No synopsis available
-description: |
-  No description available.
-definedBy:
-  extension:
-    name: Zicfiss
-assembly: sspush_x1
-encoding:
-  match: "11001110000100000100000001110011"
-  variables: []
-access:
-  s: always
-  u: always
-  vs: always
-  vu: always
-data_independent_timing: false
-operation(): |

data/.data/spec/std/isa/inst/Zicfiss/sspush.x5.yaml

@@ -1,25 +0,0 @@
-# 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: sspush.x5
-long_name: No synopsis available
-description: |
-  No description available.
-definedBy:
-  extension:
-    name: Zicfiss
-assembly: sspush_x5
-encoding:
-  match: "11001110010100000100000001110011"
-  variables: []
-access:
-  s: always
-  u: always
-  vs: always
-  vu: always
-data_independent_timing: false
-operation(): |