Merge branch 'main' into misa-readonly-zero

Author: jevinjojo

.github/workflows/merge.yml

@@ -6,18 +6,26 @@ on:
   merge_group:
     types: [checks_requested]
   workflow_dispatch:
+  workflow_call:
+    inputs:
+      dry-run:
+        required: true
+        type: boolean
 env:
   SINGULARITY: 1
 jobs:
   build-reuse-manifest:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
 
     steps:
       - uses: actions/checkout@v4
-      - uses: actions/setup-python@v5
+      - name: singularity setup
+        uses: ./.github/actions/singularity-setup
       - name: run reuse
         run: ./bin/reuse spdx
   build-udb-api-doc:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -27,6 +35,7 @@ jobs:
       - name: Generate UDB API Docs
         run: ./do gen:udb:api_doc
   build-isa-explorer-csr:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -36,6 +45,7 @@ jobs:
       - name: Generate ISA Explorer CSR
         run: ./do gen:isa_explorer_browser_csr
   build-isa-explorer-ext:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -45,24 +55,27 @@ jobs:
       - name: Generate ISA Explorer Extension
         run: ./do gen:isa_explorer_browser_ext
   build-isa-explorer-inst:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
         uses: actions/checkout@v4
       - name: singularity setup
         uses: ./.github/actions/singularity-setup
       - name: Generate ISA Explorer Instructions
-        run: ./do gen:isa_explorer_browser_insts
+        run: ./do gen:isa_explorer_browser_inst
   build-isa-explorer-spreadsheet:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
         uses: actions/checkout@v4
       - name: singularity setup
         uses: ./.github/actions/singularity-setup
       - name: Generate ISA Explorer Spreadsheet
-        run: ./do gen:isa_explorer_browser_spreadsheet
+        run: ./do gen:isa_explorer_spreadsheet
   build-html-isa-manual:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     env:
       MANUAL_NAME: isa
@@ -75,6 +88,7 @@ jobs:
       - name: Generate HTML ISA manual
         run: ./do gen:html_manual
   build-html-cfg-isa-manual:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -84,6 +98,7 @@ jobs:
       - name: Generate HTML ISA manual for a config
         run: ./do gen:html[example_rv64_with_overlay]
   build-instruction-appendix:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -93,6 +108,7 @@ jobs:
       - name: Generate instruction appendix
         run: ./do gen:instruction_appendix
   build-rvi20-profile:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -102,6 +118,7 @@ jobs:
       - name: Generate RVI20
         run: ./do gen:profile_release_pdf[RVI20]
   build-rva20-profile:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -111,6 +128,7 @@ jobs:
       - name: Generate RVA20
         run: ./do gen:profile_release_pdf[RVA20]
   build-rva22-profile:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -120,6 +138,7 @@ jobs:
       - name: Generate RVA22
         run: ./do gen:profile_release_pdf[RVA22]
   build-rva23-profile:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -129,6 +148,7 @@ jobs:
       - name: Generate RVA23
         run: ./do gen:profile_release_pdf[RVA23]
   build-rvb23-profile:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -138,6 +158,7 @@ jobs:
       - name: Generate RVB23
         run: ./do gen:profile_release_pdf[RVB23]
   build-ac100-crd:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -147,6 +168,7 @@ jobs:
       - name: Generate AC100 CRD
         run: ./do gen:proc_crd_pdf[AC100]
   build-ac200-crd:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -156,6 +178,7 @@ jobs:
       - name: Generate AC200 CRD
         run: ./do gen:proc_crd_pdf[AC200]
   build-mc100-32-crd:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -165,6 +188,7 @@ jobs:
       - name: Generate MC100-32 CRD
         run: ./do gen:proc_crd_pdf[MC100-32]
   build-mc100-64-crd:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -174,6 +198,7 @@ jobs:
       - name: Generate MC100-64 CRD
         run: ./do gen:proc_crd_pdf[MC100-64]
   build-mc200-32-crd:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -183,6 +208,7 @@ jobs:
       - name: Generate MC200-32 CRD
         run: ./do gen:proc_crd_pdf[MC200-32]
   build-mc200-64-crd:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -192,6 +218,7 @@ jobs:
       - name: Generate MC200-64 CRD
         run: ./do gen:proc_crd_pdf[MC200-64]
   build-mc300-32-crd:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -201,6 +228,7 @@ jobs:
       - name: Generate MC300-32 CRD
         run: ./do gen:proc_crd_pdf[MC300-32]
   build-mc300-64-crd:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action
@@ -210,6 +238,7 @@ jobs:
       - name: Generate MC300-64 CRD
         run: ./do gen:proc_crd_pdf[MC300-64]
   build-mc100-32-ctp:
+    if: (github.event_name == 'merge_queue') || (inputs.dry-run == false)
     runs-on: ubuntu-latest
     steps:
       - name: Clone Github Repo Action

.github/workflows/regress.yml

@@ -201,3 +201,18 @@ jobs:
         uses: ./.github/actions/singularity-setup
       - name: Run cpp unit tests
         run: ./do test:cpp_hart CONFIG=rv64 JOBS=4
+  regress-xqci-doc:
+    runs-on: ubuntu-latest
+    env:
+      SINGULARITY: 1
+    steps:
+      - name: Clone Github Repo Action
+        uses: actions/checkout@v4
+      - name: singularity setup
+        uses: ./.github/actions/singularity-setup
+      - name: Run cpp unit tests
+        run: ./do gen:ext_pdf EXT=Xqci CFG=qc_iu.yaml VERSION=latest
+  call-deploy:
+    uses: ./.github/workflows/merge.yml
+    with:
+      dry-run: true

Gemfile.lock

@@ -130,7 +130,7 @@ GEM
     nokogiri (1.18.8-x86_64-linux-gnu)
       racc (~> 1.4)
     observer (0.1.2)
-    ostruct (0.6.1)
+    ostruct (0.6.2)
     parallel (1.27.0)
     parser (3.3.8.0)
       ast (~> 2.4.1)
@@ -188,18 +188,18 @@ GEM
       nokogiri
     rexml (3.4.1)
     rouge (4.5.2)
-    rubocop (1.76.0)
+    rubocop (1.77.0)
       json (~> 2.3)
       language_server-protocol (~> 3.17.0.2)
       lint_roller (~> 1.1.0)
       parallel (~> 1.10)
       parser (>= 3.3.0.2)
       rainbow (>= 2.2.2, < 4.0)
       regexp_parser (>= 2.9.3, < 3.0)
-      rubocop-ast (>= 1.45.0, < 2.0)
+      rubocop-ast (>= 1.45.1, < 2.0)
       ruby-progressbar (~> 1.7)
       unicode-display_width (>= 2.4.0, < 4.0)
-    rubocop-ast (1.45.0)
+    rubocop-ast (1.45.1)
       parser (>= 3.3.7.2)
       prism (~> 1.4)
     rubocop-github (0.26.0)
@@ -239,7 +239,7 @@ GEM
     simplecov-html (0.13.1)
     simplecov_json_formatter (0.1.4)
     simpleidn (0.2.3)
-    solargraph (0.55.0)
+    solargraph (0.56.0)
       backport (~> 1.2)
       benchmark (~> 0.4)
       bundler (~> 2.0)
@@ -251,6 +251,7 @@ GEM
       observer (~> 0.1)
       ostruct (~> 0.6)
       parser (~> 3.0)
+      prism (~> 1.4)
       rbs (~> 3.3)
       reverse_markdown (~> 3.0)
       rubocop (~> 1.38)
@@ -287,7 +288,7 @@ GEM
     terminal-table (4.0.0)
       unicode-display_width (>= 1.1.1, < 4)
     thor (1.3.2)
-    tilt (2.6.0)
+    tilt (2.6.1)
     treetop (1.6.12)
       polyglot (~> 0.3)
     ttfunk (1.7.0)

Rakefile

@@ -489,6 +489,10 @@ task :portfolios do
   Rake::Task["#{$root}/gen/proc_ctp/pdf/MockProcessor-CTP.pdf"].invoke
   portfolio_start_msg("MockProfileRelease")
   Rake::Task["#{$root}/gen/profile/pdf/MockProfileRelease.pdf"].invoke
+  portfolio_start_msg("RVI20-32-CTP")
+  Rake::Task["#{$root}/gen/proc_ctp/pdf/RVI20-32-CTP.pdf"].invoke
+  portfolio_start_msg("RVI20-64-CTP")
+  Rake::Task["#{$root}/gen/proc_ctp/pdf/RVI20-64-CTP.pdf"].invoke
   portfolio_start_msg("MC100-32-CTP")
   Rake::Task["#{$root}/gen/proc_ctp/pdf/MC100-32-CTP.pdf"].invoke
   portfolio_start_msg("MC100-32-CRD")
@@ -534,6 +538,8 @@ task "MockCTP": "#{$root}/gen/proc_ctp/pdf/MockProcessor-CTP.pdf"
 task "MockProcessorCTP": "#{$root}/gen/proc_ctp/pdf/MockProcessor-CTP.pdf"
 task "MockCTP-HTML": "#{$root}/gen/proc_ctp/pdf/MockProcessor-CTP.html"
 task "MockProcessorCTP-HTML": "#{$root}/gen/proc_ctp/pdf/MockProcessor-CTP.html"
+task "RVI20-32-CTP": "#{$root}/gen/proc_ctp/pdf/RVI20-32-CTP.pdf"
+task "RVI20-64-CTP": "#{$root}/gen/proc_ctp/pdf/RVI20-64-CTP.pdf"
 task "MC100-32-CTP": "#{$root}/gen/proc_ctp/pdf/MC100-32-CTP.pdf"
 task "MC100-32-CTP-HTML": "#{$root}/gen/proc_ctp/pdf/MC100-32-CTP.html"
 task "MC100-32-CRD": "#{$root}/gen/proc_crd/pdf/MC100-32-CRD.pdf"

backends/cfg_html_doc/templates/inst.adoc.erb

@@ -42,21 +42,55 @@ RV64::
 <%= inst.description %>
 
 == Access
-<%- if cfg_arch.ext?(:H) -%>
-[cols="^,^,^,^,^"]
-<%- else -%>
-[cols="^,^,^"]
-<%- end -%>
+<%-
+  # Determine which privilege modes to display based on implemented extensions
+  modes = ["M"]  # M-mode is always present
+  mode_headers = ["M"]
+  mode_values = ["[.access-always]#Always#"]
+
+  # Add S-mode if S extension is implemented
+  if cfg_arch.ext?(:S)
+    if cfg_arch.ext?(:H)
+      modes << "HS"
+      mode_headers << "HS"
+    else
+      modes << "S"
+      mode_headers << "S"
+    end
+    mode_values << "[.access-#{inst.access['s']}]##{inst.access['s'].capitalize}#"
+  end
+
+  # Add U-mode if U extension is implemented
+  if cfg_arch.ext?(:U)
+    modes << "U"
+    mode_headers << "U"
+    mode_values << "[.access-#{inst.access['u']}]##{inst.access['u'].capitalize}#"
+  end
+
+  # Add virtual modes if H extension is implemented
+  if cfg_arch.ext?(:H)
+    # Always add VS mode when H extension is present
+    modes << "VS"
+    mode_headers << "VS"
+    mode_values << "[.access-#{inst.access['vs']}]##{inst.access['vs'].capitalize}#"
+
+    # Only add VU mode if both H and U extensions are present
+    if cfg_arch.ext?(:U)
+      modes << "VU"
+      mode_headers << "VU"
+      mode_values << "[.access-#{inst.access['vu']}]##{inst.access['vu'].capitalize}#"
+    end
+  end
+
+  # Generate column specification
+  col_spec = "^," * modes.size
+  col_spec = col_spec.chomp(",")
+-%>
+[cols="<%= col_spec %>"]
 |===
-| M | <%- if cfg_arch.ext?(:H) -%>HS<%- else -%>S<%- end -%> | U <%- if cfg_arch.ext?(:H) -%> | VS | VU <%- end -%>
-
-| [.access-always]#Always#
-| [.access-<%=inst.access['s']%>]#<%= inst.access['s'].capitalize %>#
-| [.access-<%=inst.access['u']%>]#<%= inst.access['u'].capitalize %>#
-<% if cfg_arch.ext?(:H) %>
-| [.access-<%=inst.access['vs']%>]#<%= inst.access['vs'].capitalize %>#
-| [.access-<%=inst.access['vu']%>]#<%= inst.access['vu'].capitalize %>#
-<% end %>
+| <%= mode_headers.join(" | ") %>
+
+| <%= mode_values.join("\n| ") %>
 |===
 
 <%- if inst.access_detail? -%>

backends/ext_pdf_doc/tasks.rake

@@ -34,6 +34,7 @@ rule %r{#{$resolver.gen_path}/ext_pdf_doc/.*/pdf/.*_extension\.pdf} => proc { |t
     "-a pdf-theme=#{ENV['THEME']}",
     "-a pdf-fontsdir=#{$root}/ext/docs-resources/fonts",
     "-a imagesdir=#{$root}/ext/docs-resources/images",
+    "-a wavedrom=#{$root}/node_modules/.bin/wavedrom-cli",
     "-r asciidoctor-diagram",
     "-r idl_highlighter",
     "-o #{t.name}",
@@ -62,6 +63,7 @@ rule %r{#{$resolver.gen_path}/ext_pdf_doc/.*/html/.*_extension\.html} => proc {
     "-v",
     "-a toc",
     "-r asciidoctor-diagram",
+    "-a wavedrom=#{$root}/node_modules/.bin/wavedrom-cli",
     "-o #{t.name}",
     adoc_file
   ].join(" ")
@@ -74,7 +76,7 @@ rule %r{#{$resolver.gen_path}/ext_pdf_doc/.*/adoc/.*_extension\.adoc} => proc {
   config_name = Pathname.new(tname).relative_path_from("#{$resolver.gen_path}/ext_pdf_doc").to_s.split("/")[0]
   arch_yaml_paths = Dir.glob("#{$resolver.resolved_spec_path(config_name)}/**/*.yaml")
   cfg_path = $resolver.gen_path / "ext_pdf_doc" / "#{config_name}.yaml"
-  cfg = Udb::AbstractConfig.create(cfg_path)
+  cfg = Udb::AbstractConfig.create(cfg_path, $resolver.cfg_info(config_name))
   arch_yaml_paths += Dir.glob("#{cfg.arch_overlay_abs}/**/*.yaml") unless cfg.arch_overlay.nil?
   [
     (EXT_PDF_DOC_DIR / "templates" / "ext_pdf.adoc.erb").to_s,