Add flag to ext_pdf and allow either Sail, IDL or both (#469)

* Add flag to ext_pdf and allow either Sail, IDL or both

Signed-off-by: Afonso Oliveira <[email protected]>

* Add test case to new flags available on ext_pdf

Signed-off-by: Afonso Oliveira <[email protected]>

* Check for nil Fields instead check for existing field, because of empty fields. Also keeps consistency with the rest of the file

Signed-off-by: Afonso Oliveira <[email protected]>

* Removing IDL and SAIL tests, for now. Keeping both, so should not change previous behaviour.

Signed-off-by: Afonso Oliveira <[email protected]>

---------

Signed-off-by: Afonso Oliveira <[email protected]>
Co-authored-by: Derek Hower <[email protected]>

Author: AFOliveira

.github/workflows/regress.yml

@@ -110,6 +110,7 @@ jobs:
       EXT: B
       VERSION: latest
       SINGULARITY: 1
+      PSEUDO: both
     steps:
       - name: Clone Github Repo Action
         uses: actions/checkout@v4

backends/common_templates/adoc/inst.adoc.erb

@@ -1,3 +1,16 @@
+<%
+  write_flag = ENV["PSEUDO"]
+  include_idl = include_sail = true
+  if write_flag
+    case write_flag.downcase.strip
+    when "idl"
+      include_sail = false
+    when "sail"
+      include_idl = false
+    end
+  end
+%>
+
 <%= anchor_for_inst(inst.name) %>
 = <%= inst.name %>
 
@@ -71,13 +84,25 @@ RV64::
 <%- end # if multi_encoding? -%>
 <%- end # if no decode variables-%>
 
+<% unless inst.data["operation()"].nil? %>
+  <% if include_idl %>
 Operation::
-<%- unless inst.data["operation()"].nil? -%>
 [source,idl,subs="specialchars,macros"]
 ----
 <%= inst.operation_ast(cfg_arch.symtab).gen_adoc %>
 ----
-<%- end -%>
+  <% end %>
+<% end %>
+
+<% unless inst.data["sail()"].nil? %>
+  <% if include_sail %>
+Sail::
+[source,sail]
+----
+<%= inst.data["sail()"] %>
+----
+  <% end %>
+<% end %>
 
 Included in::