Merge branch 'main' into mstatus

Author: dhower-qc

arch/ext/V.yaml

@@ -0,0 +1,17 @@
+# yaml-language-server: $schema=../../schemas/ext_schema.json
+
+V:
+  type: unprivileged
+  long_name: Variable-length vector
+  versions:
+  - version: "1.0.0"
+    state: ratified
+    ratification_date: null
+  description: |
+    TODO
+  params:
+    MUTABLE_MISA_V:
+      description: |
+        Indicates whether or not the `V` extension can be disabled with the `misa.V` bit.
+      schema:
+        type: boolean

backends/crd_doc/templates/crd.adoc.erb

@@ -514,6 +514,10 @@ h| Privilege Mode | <%= csr.priv_mode %>
 
 
 ==== Format
+
+Green fields are present in <%= crd.name %>.
+Red fields are defined by the RISC-V ISA but not present in <%= crd.name %>.
+
 <% unless csr.dynamic_length?(crd.arch_def) || csr.fields.any? { |f| f.dynamic_location?(crd.arch_def) } -%>
 <%# CSR has a known static length, so there is only one format to display -%>
 .<%= csr.name %> format

cfgs/generic_rv64/implemented_exts.yaml

@@ -14,6 +14,7 @@ implemented_extensions:
   - [Smhpm, "1.12.0"]
   - [Smpmp, "1.12.0"]
   - [U, "1.12.0"]
+  - [V, "1.0.0"]
   - [Zicntr, "2.0.0"]
   - [Zicsr, "2.0.0"]
   - [Zihpm, "2.0.0"]

cfgs/generic_rv64/params.yaml

@@ -372,6 +372,10 @@ params:
   # the extension can be disabled in the `misa.U` bit.
   MUTABLE_MISA_U: false
 
+  # when the V extensions is supported, indicates whether or not
+  # the extension can be disabled in the `misa.V` bit.
+  MUTABLE_MISA_V: false
+
   # size of a cache block, in bytes
   CACHE_BLOCK_SIZE: 64
 

lib/arch_obj_models/extension.rb

@@ -225,6 +225,28 @@ def csrs
     @csrs = arch_def.csrs.select { |csr| csr.defined_by?(ExtensionVersion.new(name, max_version)) }
   end
 
+  # @return [Array<Csr>] the list of CSRs implemented by this extension (may be empty)
+  def implemented_csrs(archdef)
+    raise "should only be called with a fully configured arch def" unless archdef.fully_configured?
+
+    return @implemented_csrs unless @implemented_csrs.nil?
+
+    @implemented_csrs = archdef.implemented_csrs.select do |csr|
+      versions.any? { |ver| csr.defined_by?(ExtensionVersion.new(name, ver["version"])) }
+    end
+  end
+
+  # @return [Array<Csr>] the list of CSRs implemented by this extension (may be empty)
+  def implemented_instructions(archdef)
+    raise "should only be called with a fully configured arch def" unless archdef.fully_configured?
+
+    return @implemented_instructions unless @implemented_instructions.nil?
+
+    @implemented_instructions = archdef.implemented_instructions.select do |inst|
+      versions.any? { |ver| inst.defined_by?(ExtensionVersion.new(name, ver["version"])) }
+    end
+  end
+
   # return the set of reachable functions from any of this extensions's CSRs or instructions in the given evaluation context
   #
   # @param symtab [Idl::SymbolTable] The evaluation context
@@ -329,6 +351,28 @@ def <=>(other)
       @version <=> other.version
     end
   end
+
+  # @return [Array<Csr>] the list of CSRs implemented by this extension version (may be empty)
+  def implemented_csrs(archdef)
+    raise "should only be called with a fully configured arch def" unless archdef.fully_configured?
+
+    return @implemented_csrs unless @implemented_csrs.nil?
+
+    @implemented_csrs = archdef.implemented_csrs.select do |csr|
+      csr.defined_by?(self)
+    end
+  end
+
+  # @return [Array<Csr>] the list of CSRs implemented by this extension version (may be empty)
+  def implemented_instructions(archdef)
+    raise "should only be called with a fully configured arch def" unless archdef.fully_configured?
+
+    return @implemented_instructions unless @implemented_instructions.nil?
+
+    @implemented_instructions = archdef.implemented_instructions.select do |inst|
+      inst.defined_by?(self)
+    end
+  end
 end
 
 # Represents an extension requirement, that is an extension name paired with version requirement(s)