Filter by instruction set extensions

code/viewer_partial.html

@@ -16,6 +16,15 @@
   <label :for="group" style="display: inline">{{ group }}</label>
 </div>
 
+<p></p>
+<b style="padding-top: 10px">Instruction Set Extensions:</b>
+<p></p>
+
+<div v-for="extension in allExtensions">
+  <input type="checkbox" :id="extension" :value="extension" v-model="extensions" />
+  <label :for="extension" style="display: inline">{{ extension }}</label>
+</div>
+
 <p></p>
 <b>Filter by content:</b>
 <p></p>
@@ -50,13 +59,17 @@
     setup() {
       const search = ref("");
       const allGroups = {% endraw %} {{ all_groups() }} {% raw %};
+      const allExtensions = ["LSX", "LASX"];
       const groups = ref(allGroups);
+      const extensions = ref(allExtensions);
 
       const intrinsics = computed(() => {
         let result = [];
         for (let val of allIntrinsics) {
           if (!groups.value.includes(val.group)) {
             continue;
+          } else if (!extensions.value.includes(val.extension)) {
+            continue;
           } else if (val.name.includes(search.value)) {
             result.push(val);
           } else if (val.content.includes(search.value)) {
@@ -72,7 +85,9 @@
         intrinsics,
         search,
         groups,
-        allGroups
+        allGroups,
+        extensions,
+        allExtensions
       }
     }
   }).mount('#app')

main.py

@@ -1669,6 +1669,10 @@ def all_intrinsics():
                             if line.startswith("##"):
                                 body = "\n".join(lines[i + 1 :])
                                 intrinsic = line[2:].strip()
+                                if "_lsx_" in intrinsic:
+                                    extension = "LSX"
+                                else:
+                                    extension = "LASX"
                                 result.append(
                                     {
                                         "name": intrinsic,
@@ -1677,6 +1681,7 @@ def all_intrinsics():
                                             extensions=["fenced_code", "codehilite"],
                                         ),
                                         "group": title,
+                                        "extension": extension
                                     }
                                 )
                                 break
@@ -1691,4 +1696,4 @@ def all_groups():
                     title = line[1:].strip()
                     result.append(title)
                     break
-        return json.dumps(sorted(result))
+        return json.dumps(sorted(list(set(result))))