diff --git a/CMakeLists.txt b/CMakeLists.txt
index 4f86ed1..a0de054 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -144,6 +144,12 @@ add_test(
     --fixture
     ${CMAKE_CURRENT_SOURCE_DIR}/tests/fixtures/pto_v058_shared_state.json)
 set_tests_properties(linx_model_check_pto_v058_shared_fixture PROPERTIES LABELS "checks")
+add_test(
+  NAME linx_model_check_diff_runner
+  COMMAND
+    ${Python3_EXECUTABLE}
+    ${CMAKE_CURRENT_SOURCE_DIR}/tests/avs/test_run_model_diff_suite.py)
+set_tests_properties(linx_model_check_diff_runner PROPERTIES LABELS "checks")
 add_test(
   NAME linx_model_check_gen_minst_codec
   COMMAND
diff --git a/include/linx/model/emulator/execution_context.hpp b/include/linx/model/emulator/execution_context.hpp
index b5d8fdf..db4d19e 100644
--- a/include/linx/model/emulator/execution_context.hpp
+++ b/include/linx/model/emulator/execution_context.hpp
@@ -73,6 +73,8 @@ class ExecutionContext {
   [[nodiscard]] std::optional<std::uint16_t> Read16(std::uint64_t addr) const;
   [[nodiscard]] std::optional<std::uint32_t> Read32(std::uint64_t addr) const;
   [[nodiscard]] std::optional<std::uint64_t> Read64(std::uint64_t addr) const;
+  [[nodiscard]] std::optional<std::vector<std::uint8_t>> ReadMemoryRange(std::uint64_t addr,
+                                                                         std::size_t size) const;
   void Write8(std::uint64_t addr, std::uint8_t value);
   void Write32(std::uint64_t addr, std::uint32_t value);
   void Write64(std::uint64_t addr, std::uint64_t value);
diff --git a/include/linx/model/sim_main.hpp b/include/linx/model/sim_main.hpp
index 851a76f..e6e2842 100644
--- a/include/linx/model/sim_main.hpp
+++ b/include/linx/model/sim_main.hpp
@@ -22,6 +22,9 @@ namespace linx::model {
 struct SimMainArgs {
   std::string engine = "ref";
   std::optional<std::string> emit_trace_path;
+  std::optional<std::string> result_dump_path;
+  std::optional<std::uint64_t> result_address;
+  std::optional<std::uint64_t> result_size;
   std::optional<std::uint64_t> stop_pc;
   std::optional<std::uint64_t> max_cycles;
   std::size_t compare_window = 128;
diff --git a/src/emulator/execution_context.cpp b/src/emulator/execution_context.cpp
index 80cf3ef..f0529bd 100644
--- a/src/emulator/execution_context.cpp
+++ b/src/emulator/execution_context.cpp
@@ -1,6 +1,7 @@
 #include "linx/model/emulator/execution_context.hpp"
 
 #include <filesystem>
+#include <limits>
 
 #include "linx/model/sim_assert.hpp"
 
@@ -148,6 +149,23 @@ std::optional<std::uint64_t> ExecutionContext::Read64(std::uint64_t addr) const
   return value;
 }
 
+std::optional<std::vector<std::uint8_t>> ExecutionContext::ReadMemoryRange(std::uint64_t addr,
+                                                                           std::size_t size) const {
+  if (size > 0 && size - 1U > std::numeric_limits<std::uint64_t>::max() - addr) {
+    return std::nullopt;
+  }
+  std::vector<std::uint8_t> bytes;
+  bytes.reserve(size);
+  for (std::size_t index = 0; index < size; ++index) {
+    const auto byte = Read8(addr + index);
+    if (!byte.has_value()) {
+      return std::nullopt;
+    }
+    bytes.push_back(*byte);
+  }
+  return bytes;
+}
+
 void ExecutionContext::Write8(std::uint64_t addr, std::uint8_t value) {
   memory_[addr] = value;
 }
diff --git a/src/isa/generated_tables.cpp b/src/isa/generated_tables.cpp
index 368dddc..fea0b53 100644
--- a/src/isa/generated_tables.cpp
+++ b/src/isa/generated_tables.cpp
@@ -5173,7 +5173,7 @@ const MinstConstraintDesc kConstraints[] = {
 const std::size_t kConstraintCount = 780;
 
 const MinstFormDesc kForms[] = {
-    {.uid = "4ecf52b5127e",
+    {.uid = "a9c0e33f9904",
      .mnemonic = "ACRC",
      .asm_template = "acrc rst_type",
      .encoding_kind = "L32",
@@ -5188,7 +5188,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 0,
      .constraint_count = 0},
-    {.uid = "a8259d99731c",
+    {.uid = "54b80944d32d",
      .mnemonic = "ACRE",
      .asm_template = "acre rra_type",
      .encoding_kind = "L32",
@@ -5203,7 +5203,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 0,
      .constraint_count = 14},
-    {.uid = "3af05dd9677d",
+    {.uid = "d04202886d0a",
      .mnemonic = "ADD",
      .asm_template = "add SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5218,7 +5218,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 14,
      .constraint_count = 0},
-    {.uid = "1f3ff8db558b",
+    {.uid = "2decd0a93a0a",
      .mnemonic = "ADDI",
      .asm_template = "addi SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5233,7 +5233,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 14,
      .constraint_count = 0},
-    {.uid = "21a5eabbbdc6",
+    {.uid = "08cc89cd2689",
      .mnemonic = "ADDIW",
      .asm_template = "addiw SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5248,7 +5248,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 14,
      .constraint_count = 0},
-    {.uid = "425b43c01598",
+    {.uid = "e5aa0f0abca3",
      .mnemonic = "ADDTPC",
      .asm_template = "addtpc simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5263,7 +5263,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 14,
      .constraint_count = 1},
-    {.uid = "f237d211a91d",
+    {.uid = "a27109fe30fc",
      .mnemonic = "ADDW",
      .asm_template = "addw SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5278,7 +5278,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 15,
      .constraint_count = 0},
-    {.uid = "947d0acde105",
+    {.uid = "b6a903a3ec94",
      .mnemonic = "AND",
      .asm_template = "and SrcL, SrcR<{.sw,.uw,.not}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5293,7 +5293,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 15,
      .constraint_count = 0},
-    {.uid = "2465e8402fe6",
+    {.uid = "1d9302e57d30",
      .mnemonic = "ANDI",
      .asm_template = "andi SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5308,7 +5308,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 15,
      .constraint_count = 0},
-    {.uid = "a84e137e01a1",
+    {.uid = "9ec1f7343dbd",
      .mnemonic = "ANDIW",
      .asm_template = "andiw SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5323,7 +5323,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 15,
      .constraint_count = 0},
-    {.uid = "e5aabf349678",
+    {.uid = "6907ed7cec90",
      .mnemonic = "ANDW",
      .asm_template = "andw SrcL, SrcR<{.sw,.uw,.not}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5338,7 +5338,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 15,
      .constraint_count = 0},
-    {.uid = "5a2aa5fe31c5",
+    {.uid = "f05d67874ae5",
      .mnemonic = "ASSERT",
      .asm_template = "assert SrcL",
      .encoding_kind = "L32",
@@ -5353,7 +5353,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 15,
      .constraint_count = 0},
-    {.uid = "18ebd8429b53",
+    {.uid = "e90bd52fa480",
      .mnemonic = "B.CATR",
      .asm_template = "B.CATR {trap, atomic, <aq, rl, aqrl>, far, dr}",
      .encoding_kind = "L32",
@@ -5368,7 +5368,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 15,
      .constraint_count = 0},
-    {.uid = "85918343b9b5",
+    {.uid = "c161a042ff38",
      .mnemonic = "B.DATR",
      .asm_template =
          "B.DATR {layout, datatype, padvalue_or_byteid, cmode, rmode, sat, canonicalize}",
@@ -5384,7 +5384,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 7,
      .constraint_start = 15,
      .constraint_count = 27},
-    {.uid = "570ae2178c51",
+    {.uid = "4191099a5f4d",
      .mnemonic = "B.DIM",
      .asm_template = "B.DIM RegSrc, uimm, ->LB1",
      .encoding_kind = "L32",
@@ -5399,7 +5399,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 42,
      .constraint_count = 8},
-    {.uid = "a097166c338b",
+    {.uid = "27602ab68929",
      .mnemonic = "B.DIM",
      .asm_template = "B.DIM RegSrc, uimm, ->LB0",
      .encoding_kind = "L32",
@@ -5414,7 +5414,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 50,
      .constraint_count = 8},
-    {.uid = "f88715bdc6ea",
+    {.uid = "1caa1aa2944a",
      .mnemonic = "B.DIM",
      .asm_template = "B.DIM RegSrc, uimm, ->LB2",
      .encoding_kind = "L32",
@@ -5429,7 +5429,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 58,
      .constraint_count = 8},
-    {.uid = "f0f909e9f755",
+    {.uid = "41f00e5abd89",
      .mnemonic = "B.EQ",
      .asm_template = "b.eq SrcL, SrcR, label",
      .encoding_kind = "L32",
@@ -5444,7 +5444,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 66,
      .constraint_count = 0},
-    {.uid = "cba93d710148",
+    {.uid = "4f2db11e8e8a",
      .mnemonic = "B.FPATR",
      .asm_template =
          "B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn",
@@ -5460,7 +5460,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 7,
      .constraint_start = 66,
      .constraint_count = 47},
-    {.uid = "4d00af558ba0",
+    {.uid = "7bd9050705dc",
      .mnemonic = "B.GE",
      .asm_template = "b.ge SrcL, SrcR, label",
      .encoding_kind = "L32",
@@ -5475,7 +5475,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 113,
      .constraint_count = 0},
-    {.uid = "7832bac8f1a4",
+    {.uid = "43a6e57dce55",
      .mnemonic = "B.GEU",
      .asm_template = "b.geu SrcL, SrcR, label",
      .encoding_kind = "L32",
@@ -5490,7 +5490,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 113,
      .constraint_count = 0},
-    {.uid = "67e2ad8dd981",
+    {.uid = "f7d01d734925",
      .mnemonic = "B.HINT",
      .asm_template = "B.HINT TRACE.{begin, end}",
      .encoding_kind = "L32",
@@ -5505,7 +5505,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 113,
      .constraint_count = 0},
-    {.uid = "b3e8a4e77930",
+    {.uid = "69d942ff1583",
      .mnemonic = "B.HINT",
      .asm_template = "B.HINT {BR.{likely, unlikely}, TEMP.{hot, warm, cool, none}, PRFSIZE}",
      .encoding_kind = "L32",
@@ -5520,7 +5520,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 113,
      .constraint_count = 0},
-    {.uid = "df50a269be7c",
+    {.uid = "c3ea71404eb3",
      .mnemonic = "B.IOR",
      .asm_template = "B.IOR [<gpr>[, <gpr>[, <gpr>]]][, -><gpr>]",
      .encoding_kind = "L32",
@@ -5535,7 +5535,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 113,
      .constraint_count = 32},
-    {.uid = "11ff57a2e635",
+    {.uid = "4ba5ef98fdaa",
      .mnemonic = "B.IOS",
      .asm_template =
          "B.IOS S<SharedTID>, mask=<PE_MASK> | B.IOS mask=<PE_MASK>, ->S<SharedTID><TSize>",
@@ -5551,7 +5551,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 145,
      .constraint_count = 0},
-    {.uid = "36792782e584",
+    {.uid = "2c07e7177fad",
      .mnemonic = "B.IOT",
      .asm_template = "B.IOT SrcTile0, SrcTile1, mask=PE_MASK, <last>",
      .encoding_kind = "L32",
@@ -5566,7 +5566,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 145,
      .constraint_count = 0},
-    {.uid = "3a493c45ddfa",
+    {.uid = "efa0fe3fe49a",
      .mnemonic = "B.IOT",
      .asm_template = "B.IOT mask=PE_MASK, <last>, ->DstTile<TSize>",
      .encoding_kind = "L32",
@@ -5581,7 +5581,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 145,
      .constraint_count = 1},
-    {.uid = "437af312f86d",
+    {.uid = "10db6db84f5d",
      .mnemonic = "B.IOT",
      .asm_template = "B.IOT SrcTile0, mask=PE_MASK, <last>, ->DstTile<TSize>",
      .encoding_kind = "L32",
@@ -5596,7 +5596,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 146,
      .constraint_count = 1},
-    {.uid = "84944b9c3d19",
+    {.uid = "8b8bce6bffe8",
      .mnemonic = "B.IOT",
      .asm_template = "B.IOT SrcTile0, SrcTile1, mask=PE_MASK, <last>, ->DstTile<TSize>",
      .encoding_kind = "L32",
@@ -5611,7 +5611,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 147,
      .constraint_count = 1},
-    {.uid = "f17390877416",
+    {.uid = "c11eb189dd83",
      .mnemonic = "B.IOT",
      .asm_template = "B.IOT SrcTile0, mask=PE_MASK, <last>",
      .encoding_kind = "L32",
@@ -5626,7 +5626,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "59c035b9c132",
+    {.uid = "2ca5ecd25cfb",
      .mnemonic = "B.LT",
      .asm_template = "b.lt SrcL, SrcR, label",
      .encoding_kind = "L32",
@@ -5641,7 +5641,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "fe13236f720b",
+    {.uid = "f1ea7ad44e37",
      .mnemonic = "B.LTU",
      .asm_template = "b.ltu SrcL, SrcR, label",
      .encoding_kind = "L32",
@@ -5656,7 +5656,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "af79aa13d05a",
+    {.uid = "831af6a36ff4",
      .mnemonic = "B.NE",
      .asm_template = "b.ne SrcL, SrcR, label",
      .encoding_kind = "L32",
@@ -5671,7 +5671,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "890ac2de1897",
+    {.uid = "0f583cdd8d4d",
      .mnemonic = "B.NZ",
      .asm_template = "b.nz label",
      .encoding_kind = "L32",
@@ -5701,7 +5701,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "caa0ef1ffc2e",
+    {.uid = "753dd3b4fcb6",
      .mnemonic = "B.Z",
      .asm_template = "b.z label",
      .encoding_kind = "L32",
@@ -5716,7 +5716,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "27b4ceb9cbaa",
+    {.uid = "fdceb48516a8",
      .mnemonic = "BC.IALL",
      .asm_template = "bc.iall",
      .encoding_kind = "L32",
@@ -5731,7 +5731,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "1108bd41a6b4",
+    {.uid = "c166de534c98",
      .mnemonic = "BC.IVA",
      .asm_template = "bc.iva SrcL",
      .encoding_kind = "L32",
@@ -5746,7 +5746,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "421cd5d5713a",
+    {.uid = "e0b06e436a5b",
      .mnemonic = "BCNT",
      .asm_template = "bcnt srcL,  M, N, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5761,7 +5761,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "856fa5d3ee3c",
+    {.uid = "3a10830a3a93",
      .mnemonic = "BIC",
      .asm_template = "bic SrcL, M, N, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5776,7 +5776,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "74124ad50d6b",
+    {.uid = "bca5d1a80f32",
      .mnemonic = "BIS",
      .asm_template = "bis SrcL, M, N, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -5791,7 +5791,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "1e9f7cd317bd",
+    {.uid = "883b5167edbc",
      .mnemonic = "BSE",
      .asm_template = "bse SrcL",
      .encoding_kind = "L32",
@@ -5806,7 +5806,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "416bc417fc20",
+    {.uid = "7eb93b649748",
      .mnemonic = "BSTART",
      .asm_template = "BSTART DIRECT, <label>",
      .encoding_kind = "L32",
@@ -5821,7 +5821,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "7e66993d15d0",
+    {.uid = "e11e678a32ac",
      .mnemonic = "BSTART",
      .asm_template = "BSTART COND, <label>",
      .encoding_kind = "L32",
@@ -5836,7 +5836,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "b9e7c481c0c7",
+    {.uid = "9404418d1ae5",
      .mnemonic = "BSTART.CALL",
      .asm_template = "BSTART.CALL <br_label>, <rt_label>, ->ra",
      .encoding_kind = "L32",
@@ -5851,7 +5851,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "2d6ee1b89bae",
+    {.uid = "face4f238d84",
      .mnemonic = "BSTART.FP",
      .asm_template = "BSTART.FP FALL",
      .encoding_kind = "L32",
@@ -5866,7 +5866,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "82106bc72d98",
+    {.uid = "0c671a644214",
      .mnemonic = "BSTART.FP",
      .asm_template = "BSTART.FP RET",
      .encoding_kind = "L32",
@@ -5881,7 +5881,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "c6cf502b7ebd",
+    {.uid = "d00a708a81f0",
      .mnemonic = "BSTART.FP",
      .asm_template = "BSTART.FP DIRECT, <label>",
      .encoding_kind = "L32",
@@ -5896,7 +5896,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "dea7bdf4c480",
+    {.uid = "7978795a29a1",
      .mnemonic = "BSTART.FP",
      .asm_template = "BSTART.FP IND",
      .encoding_kind = "L32",
@@ -5911,7 +5911,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "ed54a0ac3b7a",
+    {.uid = "58ad7954fb49",
      .mnemonic = "BSTART.FP",
      .asm_template = "BSTART.FP COND, <label>",
      .encoding_kind = "L32",
@@ -5926,7 +5926,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 148,
      .constraint_count = 0},
-    {.uid = "ccfcf9904850",
+    {.uid = "6c21e223eaa7",
      .mnemonic = "BSTART.GMOV",
      .asm_template = "BSTART.GMOV DataType",
      .encoding_kind = "L32",
@@ -5956,7 +5956,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 155,
      .constraint_count = 0},
-    {.uid = "477b2795765c",
+    {.uid = "c9defbf18276",
      .mnemonic = "BSTART.MGATHER",
      .asm_template = "BSTART.MGATHER DataType",
      .encoding_kind = "L32",
@@ -5971,7 +5971,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 155,
      .constraint_count = 7},
-    {.uid = "74d282c28e52",
+    {.uid = "fd8c8a3b720a",
      .mnemonic = "BSTART.MGATHER.CAS",
      .asm_template = "BSTART.MGATHER.CAS DataType",
      .encoding_kind = "L32",
@@ -5986,7 +5986,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 162,
      .constraint_count = 7},
-    {.uid = "c53a0033eb26",
+    {.uid = "5573241cd944",
      .mnemonic = "BSTART.MGATHER.MASK",
      .asm_template = "BSTART.MGATHER.MASK DataType",
      .encoding_kind = "L32",
@@ -6016,7 +6016,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 176,
      .constraint_count = 0},
-    {.uid = "7f76f632a75f",
+    {.uid = "0f0ba08bd798",
      .mnemonic = "BSTART.MSCATTER",
      .asm_template = "BSTART.MSCATTER DataType",
      .encoding_kind = "L32",
@@ -6031,7 +6031,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 176,
      .constraint_count = 7},
-    {.uid = "6037e1cd885f",
+    {.uid = "2a33eed646f7",
      .mnemonic = "BSTART.MSCATTER.MASK",
      .asm_template = "BSTART.MSCATTER.MASK DataType",
      .encoding_kind = "L32",
@@ -6061,7 +6061,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 190,
      .constraint_count = 0},
-    {.uid = "185f13d8e302",
+    {.uid = "441ad677fffe",
      .mnemonic = "BSTART.STD",
      .asm_template = "BSTART.STD FALL",
      .encoding_kind = "L32",
@@ -6076,7 +6076,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 190,
      .constraint_count = 0},
-    {.uid = "49f2c6a8906f",
+    {.uid = "986b7ee2cf6a",
      .mnemonic = "BSTART.STD",
      .asm_template = "BSTART.STD IND",
      .encoding_kind = "L32",
@@ -6091,7 +6091,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 190,
      .constraint_count = 0},
-    {.uid = "696f98ac4bf1",
+    {.uid = "1ef99c4cedcb",
      .mnemonic = "BSTART.STD",
      .asm_template = "BSTART.STD COND, <label>",
      .encoding_kind = "L32",
@@ -6106,7 +6106,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 190,
      .constraint_count = 0},
-    {.uid = "7876537dce06",
+    {.uid = "816dfa76cc4a",
      .mnemonic = "BSTART.STD",
      .asm_template = "BSTART.STD RET",
      .encoding_kind = "L32",
@@ -6121,7 +6121,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 190,
      .constraint_count = 0},
-    {.uid = "d3733f87964d",
+    {.uid = "c1de85e06878",
      .mnemonic = "BSTART.STD",
      .asm_template = "BSTART.STD DIRECT, <label>",
      .encoding_kind = "L32",
@@ -6136,7 +6136,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 190,
      .constraint_count = 0},
-    {.uid = "bde97cc8c0cd",
+    {.uid = "762d9d84a6d8",
      .mnemonic = "BSTART.SYS",
      .asm_template = "BSTART.SYS FALL",
      .encoding_kind = "L32",
@@ -6151,7 +6151,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 190,
      .constraint_count = 0},
-    {.uid = "f0754cf51a8d",
+    {.uid = "d022db6dacb3",
      .mnemonic = "BSTART.TEPL",
      .asm_template = "BSTART.TEPL Mode, Function, DataType",
      .encoding_kind = "L32",
@@ -6166,7 +6166,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 190,
      .constraint_count = 7},
-    {.uid = "5793d27aa023",
+    {.uid = "ae19f5b678f5",
      .mnemonic = "BSTART.TGEMV",
      .asm_template = "BSTART.TGEMV DataType",
      .encoding_kind = "L32",
@@ -6181,7 +6181,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 197,
      .constraint_count = 7},
-    {.uid = "d95ec8489341",
+    {.uid = "9a471b21913e",
      .mnemonic = "BSTART.TGEMV.ACC",
      .asm_template = "BSTART.TGEMV.ACC DataType",
      .encoding_kind = "L32",
@@ -6196,7 +6196,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 204,
      .constraint_count = 7},
-    {.uid = "98ff0e3b4e7b",
+    {.uid = "186ee96c0a8b",
      .mnemonic = "BSTART.TGEMV.BIAS",
      .asm_template = "BSTART.TGEMV.BIAS DataType",
      .encoding_kind = "L32",
@@ -6211,7 +6211,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 211,
      .constraint_count = 7},
-    {.uid = "a6083394d51a",
+    {.uid = "ae5e005f6589",
      .mnemonic = "BSTART.TGEMVMX",
      .asm_template = "BSTART.TGEMVMX DataType",
      .encoding_kind = "L32",
@@ -6226,7 +6226,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 218,
      .constraint_count = 7},
-    {.uid = "750196820fcf",
+    {.uid = "368647b04bb0",
      .mnemonic = "BSTART.TGEMVMX.ACC",
      .asm_template = "BSTART.TGEMVMX.ACC DataType",
      .encoding_kind = "L32",
@@ -6241,7 +6241,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 225,
      .constraint_count = 7},
-    {.uid = "efccafe36069",
+    {.uid = "d23011f15171",
      .mnemonic = "BSTART.TGEMVMX.BIAS",
      .asm_template = "BSTART.TGEMVMX.BIAS DataType",
      .encoding_kind = "L32",
@@ -6256,7 +6256,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 232,
      .constraint_count = 7},
-    {.uid = "5178a1794614",
+    {.uid = "d0c18bb0ab15",
      .mnemonic = "BSTART.TLOAD",
      .asm_template = "BSTART.TLOAD DataType",
      .encoding_kind = "L32",
@@ -6271,7 +6271,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 239,
      .constraint_count = 7},
-    {.uid = "3bb582723869",
+    {.uid = "f9da70e4e0ad",
      .mnemonic = "BSTART.TMATMUL",
      .asm_template = "BSTART.TMATMUL DataType",
      .encoding_kind = "L32",
@@ -6286,7 +6286,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 246,
      .constraint_count = 7},
-    {.uid = "e0bbf989304d",
+    {.uid = "0c8c62e5f00a",
      .mnemonic = "BSTART.TMATMUL.ACC",
      .asm_template = "BSTART.TMATMUL.ACC DataType",
      .encoding_kind = "L32",
@@ -6301,7 +6301,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 253,
      .constraint_count = 7},
-    {.uid = "82792b6c3b84",
+    {.uid = "4d5a498d12f3",
      .mnemonic = "BSTART.TMATMUL.BIAS",
      .asm_template = "BSTART.TMATMUL.BIAS DataType",
      .encoding_kind = "L32",
@@ -6316,7 +6316,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 260,
      .constraint_count = 7},
-    {.uid = "4df63f33e364",
+    {.uid = "e26cb3874648",
      .mnemonic = "BSTART.TMATMULMX",
      .asm_template = "BSTART.TMATMULMX DataType",
      .encoding_kind = "L32",
@@ -6331,7 +6331,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 267,
      .constraint_count = 7},
-    {.uid = "3848afaeabdd",
+    {.uid = "70fa59b0ab4c",
      .mnemonic = "BSTART.TMATMULMX.ACC",
      .asm_template = "BSTART.TMATMULMX.ACC DataType",
      .encoding_kind = "L32",
@@ -6346,7 +6346,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 274,
      .constraint_count = 7},
-    {.uid = "5b20d174f5d9",
+    {.uid = "098c7efa51b0",
      .mnemonic = "BSTART.TMATMULMX.BIAS",
      .asm_template = "BSTART.TMATMULMX.BIAS DataType",
      .encoding_kind = "L32",
@@ -6361,7 +6361,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 281,
      .constraint_count = 7},
-    {.uid = "3079328b98d6",
+    {.uid = "211446509efb",
      .mnemonic = "BSTART.TMOV",
      .asm_template = "BSTART.TMOV DataType",
      .encoding_kind = "L32",
@@ -6436,7 +6436,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 294,
      .constraint_count = 0},
-    {.uid = "3c9e83c5a42f",
+    {.uid = "d5f83e5aadf6",
      .mnemonic = "BSTART.TPREFETCH",
      .asm_template = "BSTART.TPREFETCH DataType",
      .encoding_kind = "L32",
@@ -6466,7 +6466,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 301,
      .constraint_count = 0},
-    {.uid = "d592de9e15a8",
+    {.uid = "4048b6e8b0f4",
      .mnemonic = "BSTART.TSTORE",
      .asm_template = "BSTART.TSTORE DataType",
      .encoding_kind = "L32",
@@ -6511,7 +6511,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "1c80341ebaa2",
+    {.uid = "d25b09fdd59c",
      .mnemonic = "BSTOP",
      .asm_template = "BSTOP",
      .encoding_kind = "L32",
@@ -6526,7 +6526,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "bc6f2ef50c92",
+    {.uid = "e5a5240bdf9b",
      .mnemonic = "BWE",
      .asm_template = "bwe SrcL",
      .encoding_kind = "L32",
@@ -6541,7 +6541,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "fb691744700c",
+    {.uid = "d9a0905cb31b",
      .mnemonic = "BWI",
      .asm_template = "bwi SrcL",
      .encoding_kind = "L32",
@@ -6556,7 +6556,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "eb6a95d3ce3b",
+    {.uid = "5a0fe4a8e61f",
      .mnemonic = "BWT",
      .asm_template = "bwt SrcL",
      .encoding_kind = "L32",
@@ -6571,7 +6571,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "052087417b0a",
+    {.uid = "b1bb003c1703",
      .mnemonic = "BXS",
      .asm_template = "bxs SrcL, M, N, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -6586,7 +6586,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "2e573a8b7d39",
+    {.uid = "e9ea9715ba62",
      .mnemonic = "BXU",
      .asm_template = "bxu SrcL, M, N, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -6601,7 +6601,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "60d7dba2d28e",
+    {.uid = "85136d1e4904",
      .mnemonic = "C.ADD",
      .asm_template = "c.add srcL, srcR, ->t",
      .encoding_kind = "C16",
@@ -6616,7 +6616,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "b54f67cb5084",
+    {.uid = "3050744f2322",
      .mnemonic = "C.ADDI",
      .asm_template = "c.addi srcL, simm, ->t",
      .encoding_kind = "C16",
@@ -6631,7 +6631,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "9e9b46560f1a",
+    {.uid = "379e5bed3352",
      .mnemonic = "C.AND",
      .asm_template = "c.and srcL, srcR, ->t",
      .encoding_kind = "C16",
@@ -6646,7 +6646,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 308,
      .constraint_count = 0},
-    {.uid = "f5bd6ae22b96",
+    {.uid = "3f1b113c76ce",
      .mnemonic = "C.B.DIMI",
      .asm_template = "C.B.DIMI imm, ->{LB0, LB1, LB2}",
      .encoding_kind = "C16",
@@ -6661,7 +6661,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 308,
      .constraint_count = 1},
-    {.uid = "78ebf9b37d2d",
+    {.uid = "f833d2a4753c",
      .mnemonic = "C.BSTART",
      .asm_template = "C.BSTART DIRECT, label",
      .encoding_kind = "C16",
@@ -6676,7 +6676,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 309,
      .constraint_count = 0},
-    {.uid = "b82b9a0c292c",
+    {.uid = "c4e238a9227a",
      .mnemonic = "C.BSTART",
      .asm_template = "C.BSTART COND,  label",
      .encoding_kind = "C16",
@@ -6691,7 +6691,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 309,
      .constraint_count = 0},
-    {.uid = "9581dfc6187e",
+    {.uid = "9dcef7e3a85b",
      .mnemonic = "C.BSTART.FP",
      .asm_template = "C.BSTART.FP {FALL, IND, RET}",
      .encoding_kind = "C16",
@@ -6736,7 +6736,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 314,
      .constraint_count = 0},
-    {.uid = "f98cb0206cb1",
+    {.uid = "8b40f078c14a",
      .mnemonic = "C.BSTART.STD",
      .asm_template = "C.BSTART.STD {FALL, IND, RET}",
      .encoding_kind = "C16",
@@ -6751,7 +6751,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 314,
      .constraint_count = 5},
-    {.uid = "1c7558ab7fe7",
+    {.uid = "ec213ce96eb7",
      .mnemonic = "C.BSTART.SYS",
      .asm_template = "C.BSTART.SYS FALL",
      .encoding_kind = "C16",
@@ -6796,7 +6796,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 319,
      .constraint_count = 0},
-    {.uid = "08a2ad84e04b",
+    {.uid = "ca4743d8a95e",
      .mnemonic = "C.BSTOP",
      .asm_template = "C.BSTOP",
      .encoding_kind = "C16",
@@ -6811,7 +6811,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 319,
      .constraint_count = 0},
-    {.uid = "2a8ab7c0001a",
+    {.uid = "e34367883ba1",
      .mnemonic = "C.CMP.EQI",
      .asm_template = "c.cmp.eqi t#1, simm, ->t",
      .encoding_kind = "C16",
@@ -6826,7 +6826,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 319,
      .constraint_count = 0},
-    {.uid = "64f5d184f8e1",
+    {.uid = "35d1f02063e2",
      .mnemonic = "C.CMP.NEI",
      .asm_template = "c.cmp.nei t#1, simm, ->t",
      .encoding_kind = "C16",
@@ -6841,7 +6841,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 319,
      .constraint_count = 0},
-    {.uid = "89cecd4d3b49",
+    {.uid = "7f9c245fa13c",
      .mnemonic = "C.EBREAK",
      .asm_template = "c.break imm",
      .encoding_kind = "C16",
@@ -6856,7 +6856,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 319,
      .constraint_count = 0},
-    {.uid = "0a811dc4fbfa",
+    {.uid = "973f42d37f29",
      .mnemonic = "C.LDI",
      .asm_template = "c.ldi [srcL, simm], ->t",
      .encoding_kind = "C16",
@@ -6871,7 +6871,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 319,
      .constraint_count = 0},
-    {.uid = "1dc1e4810b0d",
+    {.uid = "b224525971da",
      .mnemonic = "C.LWI",
      .asm_template = "c.lwi [srcL, simm], ->t",
      .encoding_kind = "C16",
@@ -6886,7 +6886,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 319,
      .constraint_count = 0},
-    {.uid = "1b0d3ea7d5fd",
+    {.uid = "2c84faf1bc72",
      .mnemonic = "C.MOVI",
      .asm_template = "c.movi simm, ->{t, u, Rd}",
      .encoding_kind = "C16",
@@ -6901,7 +6901,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 319,
      .constraint_count = 1},
-    {.uid = "12f1ae6e940f",
+    {.uid = "80d2b5f3580b",
      .mnemonic = "C.MOVR",
      .asm_template = "c.movr SrcL, ->{t, u, Rd}",
      .encoding_kind = "C16",
@@ -6916,7 +6916,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "0916ed8c7749",
+    {.uid = "90864d13a661",
      .mnemonic = "C.OR",
      .asm_template = "c.or srcL, srcR, ->t",
      .encoding_kind = "C16",
@@ -6931,7 +6931,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "c675b0c547ac",
+    {.uid = "bbec69bcfd5d",
      .mnemonic = "C.SDI",
      .asm_template = "c.sdi t#1, [srcL, simm]",
      .encoding_kind = "C16",
@@ -6946,7 +6946,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "cea2ce71935f",
+    {.uid = "03e6b07a3699",
      .mnemonic = "C.SETC.EQ",
      .asm_template = "c.setc.eq srcL, srcR",
      .encoding_kind = "C16",
@@ -6961,7 +6961,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "1ab7c6d0b122",
+    {.uid = "e9092e487e98",
      .mnemonic = "C.SETC.NE",
      .asm_template = "c.setc.ne srcL, srcR",
      .encoding_kind = "C16",
@@ -6976,7 +6976,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "dcaf9673a01f",
+    {.uid = "736be9cada01",
      .mnemonic = "C.SETC.TGT",
      .asm_template = "c.setc.tgt srcL",
      .encoding_kind = "C16",
@@ -6991,7 +6991,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "a7d8ca711d38",
+    {.uid = "335651ef6c27",
      .mnemonic = "C.SETRET",
      .asm_template = "c.setret uimm, ->ra",
      .encoding_kind = "C16",
@@ -7006,7 +7006,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "7e23cd4d5047",
+    {.uid = "8ffd07d15409",
      .mnemonic = "C.SEXT.B",
      .asm_template = "c.sext.b srcL, ->t",
      .encoding_kind = "C16",
@@ -7021,7 +7021,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "68b189004851",
+    {.uid = "90cb7ea36bd3",
      .mnemonic = "C.SEXT.H",
      .asm_template = "c.sext.h srcL, ->t",
      .encoding_kind = "C16",
@@ -7036,7 +7036,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "da3221576f02",
+    {.uid = "f2bb13f0797b",
      .mnemonic = "C.SEXT.W",
      .asm_template = "c.sext.w srcL, ->t",
      .encoding_kind = "C16",
@@ -7051,7 +7051,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "87838075b971",
+    {.uid = "958a14dc4058",
      .mnemonic = "C.SLLI",
      .asm_template = "c.slli t#1, uimm, ->t",
      .encoding_kind = "C16",
@@ -7066,7 +7066,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "418c85aaaef6",
+    {.uid = "b411862f7820",
      .mnemonic = "C.SRLI",
      .asm_template = "c.srli t#1, uimm, ->t",
      .encoding_kind = "C16",
@@ -7081,7 +7081,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 320,
      .constraint_count = 0},
-    {.uid = "1f3b9fc04215",
+    {.uid = "9d83a6f2749a",
      .mnemonic = "C.SSRGET",
      .asm_template = "c.ssrget SSR-ID, ->t",
      .encoding_kind = "C16",
@@ -7096,7 +7096,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 320,
      .constraint_count = 29},
-    {.uid = "539862e7d43d",
+    {.uid = "ff0056ac7053",
      .mnemonic = "C.SUB",
      .asm_template = "c.sub srcL, srcR, ->t",
      .encoding_kind = "C16",
@@ -7111,7 +7111,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "c1eaad946ebb",
+    {.uid = "ca6c111163e5",
      .mnemonic = "C.SWI",
      .asm_template = "c.swi t#1, [srcL, simm]",
      .encoding_kind = "C16",
@@ -7126,7 +7126,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "77d351ddb38b",
+    {.uid = "7ea1a59fa2da",
      .mnemonic = "C.ZEXT.B",
      .asm_template = "c.zext.b srcL, ->t",
      .encoding_kind = "C16",
@@ -7141,7 +7141,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "9e970296ffaa",
+    {.uid = "4c0976791cbc",
      .mnemonic = "C.ZEXT.H",
      .asm_template = "c.zext.h srcL, ->t",
      .encoding_kind = "C16",
@@ -7156,7 +7156,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "0ee7e6d7a99d",
+    {.uid = "e8bc051c7e8c",
      .mnemonic = "C.ZEXT.W",
      .asm_template = "c.zext.w srcL, ->t",
      .encoding_kind = "C16",
@@ -7171,7 +7171,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "60f1b44a0423",
+    {.uid = "7e529b871832",
      .mnemonic = "CASB",
      .asm_template = "casb<.{aq, rl, aqrl}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7186,7 +7186,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "952d49f5a0e8",
+    {.uid = "5852c57277a6",
      .mnemonic = "CASD",
      .asm_template = "casd<.{aq, rl, aqrl}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7201,7 +7201,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "0cd597b13a14",
+    {.uid = "cb1315ff6cb5",
      .mnemonic = "CASH",
      .asm_template = "cash<.{aq, rl, aqrl}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7216,7 +7216,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "8752413602c1",
+    {.uid = "cb29e4287223",
      .mnemonic = "CASW",
      .asm_template = "casw<.{aq, rl, aqrl}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7231,7 +7231,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "55751a03cf54",
+    {.uid = "f890415c15b6",
      .mnemonic = "CLZ",
      .asm_template = "clz SrcL,  M, N, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7246,7 +7246,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "712a3c7a400d",
+    {.uid = "036813a12ae8",
      .mnemonic = "CMP.AND",
      .asm_template = "cmp.and SrcL, SrcR<.sw, .uw, .not>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7261,7 +7261,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "79b337f0fbdb",
+    {.uid = "da7a5391738d",
      .mnemonic = "CMP.ANDI",
      .asm_template = "cmp.andi SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7276,7 +7276,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "3c038a11a08f",
+    {.uid = "6af7c8f41300",
      .mnemonic = "CMP.EQ",
      .asm_template = "cmp.eq SrcL, SrcR<{.sw, .uw}>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7291,7 +7291,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "6b9e0a769ea7",
+    {.uid = "252943516dca",
      .mnemonic = "CMP.EQI",
      .asm_template = "cmp.eqi SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7306,7 +7306,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "2ed74e719f3f",
+    {.uid = "d88e3a1cfff4",
      .mnemonic = "CMP.GE",
      .asm_template = "cmp.ge SrcL, SrcR<{.sw, .uw}>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7321,7 +7321,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "08ce61bb4e3d",
+    {.uid = "48bf7ea50737",
      .mnemonic = "CMP.GEI",
      .asm_template = "cmp.gei SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7336,7 +7336,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "e4a826feb1e8",
+    {.uid = "0c002dc415ef",
      .mnemonic = "CMP.GEU",
      .asm_template = "cmp.geu SrcL, SrcR<{.sw, .uw}>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7351,7 +7351,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "76bef0cfc2de",
+    {.uid = "69ec7b908f5d",
      .mnemonic = "CMP.GEUI",
      .asm_template = "cmp.geui SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7366,7 +7366,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "162aa717f9f5",
+    {.uid = "c0b8cc320f12",
      .mnemonic = "CMP.LT",
      .asm_template = "cmp.lt SrcL, SrcR<{.sw, .uw}>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7381,7 +7381,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "850e5cef0629",
+    {.uid = "02d3081d120b",
      .mnemonic = "CMP.LTI",
      .asm_template = "cmp.lti SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7396,7 +7396,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "5f14a7edd35a",
+    {.uid = "4377481baebc",
      .mnemonic = "CMP.LTU",
      .asm_template = "cmp.ltu SrcL, SrcR<{.sw, .uw}>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7411,7 +7411,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "9cfd73ac37dc",
+    {.uid = "8676c7bfd797",
      .mnemonic = "CMP.LTUI",
      .asm_template = "cmp.ltui SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7426,7 +7426,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "5a105022c779",
+    {.uid = "fc47fbb1a0de",
      .mnemonic = "CMP.NE",
      .asm_template = "cmp.ne SrcL, SrcR<{.sw, .uw}>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7441,7 +7441,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "52420af6fb9d",
+    {.uid = "00abf831b572",
      .mnemonic = "CMP.NEI",
      .asm_template = "cmp.nei SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7456,7 +7456,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "11d1e68a8482",
+    {.uid = "75e1fa54ba94",
      .mnemonic = "CMP.OR",
      .asm_template = "cmp.or SrcL, SrcR<.sw, .uw, .not>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7471,7 +7471,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "ea0f4c81dbe8",
+    {.uid = "6d3efbc3d093",
      .mnemonic = "CMP.ORI",
      .asm_template = "cmp.ori SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7486,7 +7486,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "380797cd2ab0",
+    {.uid = "ba77cbad3c99",
      .mnemonic = "CSEL",
      .asm_template = "csel SrcP, SrcL, SrcR<.neg>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7501,7 +7501,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "57d18ac7129e",
+    {.uid = "1761cbcc2a89",
      .mnemonic = "CTZ",
      .asm_template = "ctz SrcL,  M, N, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7516,7 +7516,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "2c4675665e67",
+    {.uid = "166b7135e3c1",
      .mnemonic = "DC.CISW",
      .asm_template = "dc.cisw SrcL",
      .encoding_kind = "L32",
@@ -7531,7 +7531,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "70b9880b0c8e",
+    {.uid = "265d686549c8",
      .mnemonic = "DC.CIVA",
      .asm_template = "dc.civa SrcL",
      .encoding_kind = "L32",
@@ -7546,7 +7546,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "b695d404903d",
+    {.uid = "2719115a9246",
      .mnemonic = "DC.CSW",
      .asm_template = "dc.csw SrcL",
      .encoding_kind = "L32",
@@ -7561,7 +7561,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "58d234be1c1c",
+    {.uid = "166d5a076f0e",
      .mnemonic = "DC.CVA",
      .asm_template = "dc.cva SrcL",
      .encoding_kind = "L32",
@@ -7576,7 +7576,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "5b7bb9ddc741",
+    {.uid = "3d61563dd077",
      .mnemonic = "DC.IALL",
      .asm_template = "dc.iall",
      .encoding_kind = "L32",
@@ -7591,7 +7591,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "a8126df1ce9d",
+    {.uid = "7940273560b2",
      .mnemonic = "DC.ISW",
      .asm_template = "dc.isw SrcL",
      .encoding_kind = "L32",
@@ -7606,7 +7606,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "918b61f9da95",
+    {.uid = "0131d0cf364f",
      .mnemonic = "DC.IVA",
      .asm_template = "dc.iva SrcL",
      .encoding_kind = "L32",
@@ -7621,7 +7621,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "c9c44b37d958",
+    {.uid = "0859a1d7aa5b",
      .mnemonic = "DC.ZVA",
      .asm_template = "dc.zva SrcL",
      .encoding_kind = "L32",
@@ -7636,7 +7636,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "0aea1e39938c",
+    {.uid = "a6efe85f8662",
      .mnemonic = "DIV",
      .asm_template = "div SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7651,7 +7651,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "db4cf971d07e",
+    {.uid = "cfbc0d1760e4",
      .mnemonic = "DIVU",
      .asm_template = "divu SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7666,7 +7666,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "98893eeefac0",
+    {.uid = "9c9470ef8982",
      .mnemonic = "DIVUW",
      .asm_template = "divuw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7681,7 +7681,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "194dfb6bb5cf",
+    {.uid = "b6366c50ac8c",
      .mnemonic = "DIVW",
      .asm_template = "divw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7696,7 +7696,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "d287b8b83b11",
+    {.uid = "a168aeca5fa5",
      .mnemonic = "DMA",
      .asm_template = "dma [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -7711,7 +7711,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "d02053c744f8",
+    {.uid = "4f122d1e6be3",
      .mnemonic = "EBREAK",
      .asm_template = "ebreak imm",
      .encoding_kind = "L32",
@@ -7726,7 +7726,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "9b0c74795df0",
+    {.uid = "dc0be14a2d8b",
      .mnemonic = "ERCOV",
      .asm_template = "ERCOV [RegSrc0=BasePtr, RegSrc1=LenBytes, RegSrc2=Kind]",
      .encoding_kind = "L32",
@@ -7741,7 +7741,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "c85cb830dc0b",
+    {.uid = "4c4f79fe3171",
      .mnemonic = "ESAVE",
      .asm_template = "ESAVE [RegSrc0=BasePtr, RegSrc1=LenBytes, RegSrc2=Kind]",
      .encoding_kind = "L32",
@@ -7756,7 +7756,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 0},
-    {.uid = "4fe7844762b0",
+    {.uid = "9515e008bf17",
      .mnemonic = "FABS",
      .asm_template = "fabs.{T} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7771,7 +7771,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 349,
      .constraint_count = 2},
-    {.uid = "678eb1a3a4fe",
+    {.uid = "b78b658e6740",
      .mnemonic = "FADD",
      .asm_template = "fadd.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7786,7 +7786,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 351,
      .constraint_count = 2},
-    {.uid = "5bc6f18dcd9f",
+    {.uid = "1102f5aeeda9",
      .mnemonic = "FCVT",
      .asm_template = "fcvt.{srcT2dstT} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7801,7 +7801,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 353,
      .constraint_count = 19},
-    {.uid = "e40944328b8e",
+    {.uid = "010837b9acbd",
      .mnemonic = "FCVTA",
      .asm_template = "fcvta.{srcT2dstT} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7816,7 +7816,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 372,
      .constraint_count = 19},
-    {.uid = "9a1ae5d79987",
+    {.uid = "8801f1562870",
      .mnemonic = "FCVTM",
      .asm_template = "fcvtm.{srcT2dstT} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7831,7 +7831,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 391,
      .constraint_count = 19},
-    {.uid = "a24d859f77cf",
+    {.uid = "8714ba358d80",
      .mnemonic = "FCVTN",
      .asm_template = "fcvtn.{srcT2dstT} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7846,7 +7846,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 410,
      .constraint_count = 19},
-    {.uid = "20805e380dd5",
+    {.uid = "84354a7aa6b1",
      .mnemonic = "FCVTP",
      .asm_template = "fcvtp.{srcT2dstT} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7861,7 +7861,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 429,
      .constraint_count = 19},
-    {.uid = "d9465be494b6",
+    {.uid = "bee01d31217c",
      .mnemonic = "FCVTZ",
      .asm_template = "fcvtz.{srcT2dstT} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7876,7 +7876,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 448,
      .constraint_count = 19},
-    {.uid = "9182a842b59f",
+    {.uid = "04a5bb6ab56f",
      .mnemonic = "FDIV",
      .asm_template = "fdiv.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7891,7 +7891,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 467,
      .constraint_count = 2},
-    {.uid = "995ba6ba6bb7",
+    {.uid = "f4783f17d84d",
      .mnemonic = "FENCE.D",
      .asm_template = "fence.d pred_imm, succ_imm",
      .encoding_kind = "L32",
@@ -7906,7 +7906,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 469,
      .constraint_count = 0},
-    {.uid = "85d88bc9693d",
+    {.uid = "a321a2a186b1",
      .mnemonic = "FENCE.I",
      .asm_template = "fence.i",
      .encoding_kind = "L32",
@@ -7921,7 +7921,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 469,
      .constraint_count = 0},
-    {.uid = "74a07f46d846",
+    {.uid = "a47584ec13b6",
      .mnemonic = "FENTRY",
      .asm_template = "FENTRY [RegSrc0 ~ RegSrcn], sp!, uimm",
      .encoding_kind = "L32",
@@ -7936,7 +7936,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 469,
      .constraint_count = 20},
-    {.uid = "d68cbd7fb75e",
+    {.uid = "9435d6959c3c",
      .mnemonic = "FEQ",
      .asm_template = "feq.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7951,7 +7951,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 489,
      .constraint_count = 2},
-    {.uid = "b96fd8f404be",
+    {.uid = "1d3011890fa8",
      .mnemonic = "FEQS",
      .asm_template = "feqs.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7966,7 +7966,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 491,
      .constraint_count = 2},
-    {.uid = "6492f41b2239",
+    {.uid = "37b663f2a34d",
      .mnemonic = "FEXIT",
      .asm_template = "FEXIT [RegDst0 ~ RegDstn], sp!, uimm",
      .encoding_kind = "L32",
@@ -7981,7 +7981,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 493,
      .constraint_count = 20},
-    {.uid = "c8235e433da4",
+    {.uid = "592ef5288c7d",
      .mnemonic = "FEXP",
      .asm_template = "fexp.{T} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -7996,7 +7996,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 513,
      .constraint_count = 2},
-    {.uid = "f8b4d2fde903",
+    {.uid = "b3244b2ffa89",
      .mnemonic = "FGE",
      .asm_template = "fge.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8011,7 +8011,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 515,
      .constraint_count = 2},
-    {.uid = "e68ae150702f",
+    {.uid = "e0301fcee743",
      .mnemonic = "FGES",
      .asm_template = "fges.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8026,7 +8026,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 517,
      .constraint_count = 2},
-    {.uid = "7cead0abb1e8",
+    {.uid = "1c09549d8d3f",
      .mnemonic = "FLT",
      .asm_template = "flt.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8041,7 +8041,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 519,
      .constraint_count = 2},
-    {.uid = "0b2f02b4f248",
+    {.uid = "c744c874e6a2",
      .mnemonic = "FLTS",
      .asm_template = "flts.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8056,7 +8056,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 521,
      .constraint_count = 2},
-    {.uid = "2c655b4fc4d1",
+    {.uid = "c616a17bcb12",
      .mnemonic = "FMADD",
      .asm_template = "fmadd.{T} SrcL, SrcR, SrcA, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8071,7 +8071,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 523,
      .constraint_count = 2},
-    {.uid = "a026430d6076",
+    {.uid = "eaf3880d7739",
      .mnemonic = "FMAX",
      .asm_template = "fmax.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8086,7 +8086,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 525,
      .constraint_count = 2},
-    {.uid = "426b837bba00",
+    {.uid = "b5c106e5cd7e",
      .mnemonic = "FMIN",
      .asm_template = "fmin.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8101,7 +8101,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 527,
      .constraint_count = 2},
-    {.uid = "f43eed53d58a",
+    {.uid = "b83012b83148",
      .mnemonic = "FMSUB",
      .asm_template = "fmsub.{T} SrcL, SrcR, SrcA, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8116,7 +8116,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 529,
      .constraint_count = 2},
-    {.uid = "8f181aff2541",
+    {.uid = "7d521d9d65e7",
      .mnemonic = "FMUL",
      .asm_template = "fmul.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8131,7 +8131,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 531,
      .constraint_count = 2},
-    {.uid = "c2d4729317fd",
+    {.uid = "822c18caca3b",
      .mnemonic = "FNE",
      .asm_template = "fne.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8146,7 +8146,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 533,
      .constraint_count = 2},
-    {.uid = "d39b1e9f5f31",
+    {.uid = "9b4b5a493783",
      .mnemonic = "FNES",
      .asm_template = "fnes.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8161,7 +8161,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 535,
      .constraint_count = 2},
-    {.uid = "b5451d3af407",
+    {.uid = "7f45e606d299",
      .mnemonic = "FNMADD",
      .asm_template = "fnmadd.{T} SrcL, SrcR, SrcA, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8176,7 +8176,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 537,
      .constraint_count = 2},
-    {.uid = "b2356ddae775",
+    {.uid = "6542d56665b3",
      .mnemonic = "FNMSUB",
      .asm_template = "fnmsub.{T} SrcL, SrcR, SrcA, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8191,7 +8191,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 539,
      .constraint_count = 2},
-    {.uid = "a98fab5ffa1c",
+    {.uid = "3d51f4f727ea",
      .mnemonic = "FRECIP",
      .asm_template = "frecip.{T} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8206,7 +8206,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 541,
      .constraint_count = 2},
-    {.uid = "b6f13adb3ea1",
+    {.uid = "659c886221c1",
      .mnemonic = "FRET.RA",
      .asm_template = "FRET.RA [RegDst0 ~ RegDstn], sp!, uimm",
      .encoding_kind = "L32",
@@ -8221,7 +8221,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 543,
      .constraint_count = 20},
-    {.uid = "4084c4c88e89",
+    {.uid = "4fe246bd8241",
      .mnemonic = "FRET.STK",
      .asm_template = "FRET.STK [ra ~ RegDstn], sp!, uimm",
      .encoding_kind = "L32",
@@ -8236,7 +8236,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 563,
      .constraint_count = 10},
-    {.uid = "38ae82082994",
+    {.uid = "84b3495cc6c7",
      .mnemonic = "FSQRT",
      .asm_template = "fsqrt.{T} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8251,7 +8251,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 573,
      .constraint_count = 2},
-    {.uid = "ba1bdae6b276",
+    {.uid = "a4479d0d4276",
      .mnemonic = "FSUB",
      .asm_template = "fsub.{T} SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -8266,7 +8266,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 575,
      .constraint_count = 2},
-    {.uid = "33e95acd8260",
+    {.uid = "9d3818bfbe64",
      .mnemonic = "HL.ADDI",
      .asm_template = "hl.addi SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8281,7 +8281,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 577,
      .constraint_count = 0},
-    {.uid = "44b1e49e137f",
+    {.uid = "f6d7f5032964",
      .mnemonic = "HL.ADDIW",
      .asm_template = "hl.addiw SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8296,7 +8296,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 577,
      .constraint_count = 0},
-    {.uid = "ff231c57a91f",
+    {.uid = "2e8e692eea09",
      .mnemonic = "HL.ADDTPC",
      .asm_template = "hl.addtpc imm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8311,7 +8311,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 577,
      .constraint_count = 1},
-    {.uid = "eb27c6a8244f",
+    {.uid = "fe11c7ebca41",
      .mnemonic = "HL.ANDI",
      .asm_template = "hl.andi SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8326,7 +8326,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "86e6d9c1191f",
+    {.uid = "878c6594c6ff",
      .mnemonic = "HL.ANDIW",
      .asm_template = "hl.andiw SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8341,7 +8341,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "995211593446",
+    {.uid = "8adfd476aacc",
      .mnemonic = "HL.BFI",
      .asm_template = "hl.bfi SrcL, SrcR, M, N, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8506,7 +8506,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "543d7c321553",
+    {.uid = "21fb578617a8",
      .mnemonic = "HL.CASB",
      .asm_template =
          "hl.casb<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
@@ -8522,7 +8522,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 7,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "c9fee5d4bfb6",
+    {.uid = "fbb5c4256d30",
      .mnemonic = "HL.CASD",
      .asm_template =
          "hl.casd<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
@@ -8538,7 +8538,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 7,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "e2e9707803e1",
+    {.uid = "eee12c324d97",
      .mnemonic = "HL.CASH",
      .asm_template =
          "hl.cash<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
@@ -8554,7 +8554,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 7,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "0752c0399a3b",
+    {.uid = "a89b3d58d8f0",
      .mnemonic = "HL.CASW",
      .asm_template =
          "hl.casw<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
@@ -8570,7 +8570,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 7,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "8d442e3c68d1",
+    {.uid = "a1200d8bf5ac",
      .mnemonic = "HL.CCAT",
      .asm_template = "hl.ccat SrcL, SrcR, shamt, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8585,7 +8585,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "c255ae0ff09d",
+    {.uid = "24a85ea4659c",
      .mnemonic = "HL.CCATW",
      .asm_template = "hl.ccatw SrcL, SrcR, shamt, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8600,7 +8600,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "1c5c0a327c51",
+    {.uid = "de2aae3f4516",
      .mnemonic = "HL.CMP.ANDI",
      .asm_template = "hl.cmp.andi SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8615,7 +8615,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "a8ed1ea8c5f7",
+    {.uid = "887accd218b1",
      .mnemonic = "HL.CMP.EQI",
      .asm_template = "hl.cmp.eqi SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8630,7 +8630,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "b2f7c4a0a0c3",
+    {.uid = "b3703d4c4619",
      .mnemonic = "HL.CMP.GEI",
      .asm_template = "hl.cmp.gei SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8645,7 +8645,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "23dc3a234311",
+    {.uid = "c71f4fb29e6b",
      .mnemonic = "HL.CMP.GEUI",
      .asm_template = "hl.cmp.geui SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8660,7 +8660,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "4ab7ca4fb5c8",
+    {.uid = "bec21b77021a",
      .mnemonic = "HL.CMP.LTI",
      .asm_template = "hl.cmp.lti SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8675,7 +8675,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "49567bfce62b",
+    {.uid = "d12167277d58",
      .mnemonic = "HL.CMP.LTUI",
      .asm_template = "hl.cmp.ltui SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8690,7 +8690,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "c7925860f736",
+    {.uid = "e77da507704a",
      .mnemonic = "HL.CMP.NEI",
      .asm_template = "hl.cmp.nei SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8705,7 +8705,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "4441b48214ea",
+    {.uid = "4167568cb50b",
      .mnemonic = "HL.CMP.ORI",
      .asm_template = "hl.cmp.ori SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8720,7 +8720,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "71f2e355e814",
+    {.uid = "e8ff1fc1cb98",
      .mnemonic = "HL.DIV",
      .asm_template = "hl.div SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8735,7 +8735,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "c52b29acc7b1",
+    {.uid = "597acda29e08",
      .mnemonic = "HL.DIVU",
      .asm_template = "hl.divu SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8750,7 +8750,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "9d1b07a9059c",
+    {.uid = "9ebe516091b8",
      .mnemonic = "HL.DIVUW",
      .asm_template = "hl.divuw SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8765,7 +8765,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "fb301f0618c6",
+    {.uid = "9048cdb3b22f",
      .mnemonic = "HL.DIVW",
      .asm_template = "hl.divw SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8780,7 +8780,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "0d026bcec3ef",
+    {.uid = "c0ba9a54c8e0",
      .mnemonic = "HL.LB.PCR",
      .asm_template = "hl.lb.pcr [<symbol>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8795,7 +8795,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "6681088ab2a9",
+    {.uid = "5c7f5c82b186",
      .mnemonic = "HL.LB.PO",
      .asm_template = "hl.lb.po [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8810,7 +8810,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "7dd145c8dca5",
+    {.uid = "cf73675cad50",
      .mnemonic = "HL.LB.PR",
      .asm_template = "hl.lb.pr [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8825,7 +8825,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "e7c7b8c76609",
+    {.uid = "250803040cc8",
      .mnemonic = "HL.LBI",
      .asm_template = "hl.lbi [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8840,7 +8840,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "8939cd7ecd19",
+    {.uid = "afbc00c48aba",
      .mnemonic = "HL.LBI.PO",
      .asm_template = "hl.lbi.po [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8855,7 +8855,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "d86f43dc8985",
+    {.uid = "b4bdbd29f859",
      .mnemonic = "HL.LBI.PR",
      .asm_template = "hl.lbi.pr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8870,7 +8870,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "99deb40fb45c",
+    {.uid = "70a5767aff16",
      .mnemonic = "HL.LBIP",
      .asm_template = "hl.lbip [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8885,7 +8885,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "2fcf575fd0c8",
+    {.uid = "9d1fd0b3105b",
      .mnemonic = "HL.LBP",
      .asm_template = "hl.lbp [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8900,7 +8900,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "206750c55446",
+    {.uid = "504b34c0ec9d",
      .mnemonic = "HL.LBU.PCR",
      .asm_template = "hl.lbu.pcr [<symbol>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8915,7 +8915,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "7269ae6c8b57",
+    {.uid = "5c8a5b39e6c5",
      .mnemonic = "HL.LBU.PO",
      .asm_template = "hl.lbu.po [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8930,7 +8930,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "38f53bbd7a7d",
+    {.uid = "bf9a0ea4b0db",
      .mnemonic = "HL.LBU.PR",
      .asm_template = "hl.lbu.pr [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8945,7 +8945,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "b2a72ba31c04",
+    {.uid = "50579e3558f4",
      .mnemonic = "HL.LBUI",
      .asm_template = "hl.lbui [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -8960,7 +8960,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "07d4e31821b3",
+    {.uid = "c889b4445022",
      .mnemonic = "HL.LBUI.PO",
      .asm_template = "hl.lbui.po [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8975,7 +8975,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "f8822006b39c",
+    {.uid = "78a81538a7fa",
      .mnemonic = "HL.LBUI.PR",
      .asm_template = "hl.lbui.pr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -8990,7 +8990,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "19d9df22b9d2",
+    {.uid = "ad419fc474c0",
      .mnemonic = "HL.LBUIP",
      .asm_template = "hl.lbuip [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9005,7 +9005,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "c9bf719605ca",
+    {.uid = "c9598658dde4",
      .mnemonic = "HL.LBUP",
      .asm_template = "hl.lbup [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9020,7 +9020,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "971d12875e46",
+    {.uid = "703673c266da",
      .mnemonic = "HL.LD.PCR",
      .asm_template = "hl.ld.pcr [<symbol>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9035,7 +9035,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "bf5a47212c1e",
+    {.uid = "870e30995d10",
      .mnemonic = "HL.LD.PO",
      .asm_template = "hl.ld.po [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9050,7 +9050,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "b3cce95b31c8",
+    {.uid = "7ec4111b123b",
      .mnemonic = "HL.LD.PR",
      .asm_template = "hl.ld.pr [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9065,7 +9065,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "42b665589078",
+    {.uid = "088e69e45b37",
      .mnemonic = "HL.LDI",
      .asm_template = "hl.ldi [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9080,7 +9080,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "6c56a698bc83",
+    {.uid = "0cc539e6798d",
      .mnemonic = "HL.LDI.PO",
      .asm_template = "hl.ldi.po [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9095,7 +9095,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "163ccda97ea5",
+    {.uid = "d07cced5a281",
      .mnemonic = "HL.LDI.PR",
      .asm_template = "hl.ldi.pr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9110,7 +9110,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "5fc63cc9d17f",
+    {.uid = "894d02c12dcc",
      .mnemonic = "HL.LDI.U",
      .asm_template = "hl.ldi.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9125,7 +9125,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "b564aabf17a1",
+    {.uid = "5126b735cfe8",
      .mnemonic = "HL.LDI.UPO",
      .asm_template = "hl.ldi.upo [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9140,7 +9140,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "e05f983dbeea",
+    {.uid = "7a8e2794526f",
      .mnemonic = "HL.LDI.UPR",
      .asm_template = "hl.ldi.upr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9155,7 +9155,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "7ee4459b0119",
+    {.uid = "60afa6423d39",
      .mnemonic = "HL.LDIP",
      .asm_template = "hl.ldip [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9170,7 +9170,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "ec566188b987",
+    {.uid = "6813f4fdce5c",
      .mnemonic = "HL.LDIP.U",
      .asm_template = "hl.ldip.u [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9185,7 +9185,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "bacfe47cfd0b",
+    {.uid = "a7a45a43dff9",
      .mnemonic = "HL.LDP",
      .asm_template = "hl.ldp [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9200,7 +9200,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "e44e7573e419",
+    {.uid = "37df3cfe0d6e",
      .mnemonic = "HL.LH.PCR",
      .asm_template = "hl.lh.pcr [<symbol>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9215,7 +9215,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "94154c7cdaba",
+    {.uid = "7ca3e8b77906",
      .mnemonic = "HL.LH.PO",
      .asm_template = "hl.lh.po [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9230,7 +9230,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "d39cc9e74fc5",
+    {.uid = "d59f64cde1dc",
      .mnemonic = "HL.LH.PR",
      .asm_template = "hl.lh.pr [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9245,7 +9245,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "ccd58bb7ba6a",
+    {.uid = "6d94cb04aeac",
      .mnemonic = "HL.LHI",
      .asm_template = "hl.lhi [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9260,7 +9260,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "7777af2b3eba",
+    {.uid = "aa393747abda",
      .mnemonic = "HL.LHI.PO",
      .asm_template = "hl.lhi.po [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9275,7 +9275,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "7a7ffb4eb11b",
+    {.uid = "9ec8198594ad",
      .mnemonic = "HL.LHI.PR",
      .asm_template = "hl.lhi.pr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9290,7 +9290,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "56134c39e154",
+    {.uid = "4d4b89e63c98",
      .mnemonic = "HL.LHI.U",
      .asm_template = "hl.lhi.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9305,7 +9305,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "8f1c29de8d0d",
+    {.uid = "81c796b13b12",
      .mnemonic = "HL.LHI.UPO",
      .asm_template = "hl.lhi.upo [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9320,7 +9320,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "b0352400b8b9",
+    {.uid = "2a7c09d4b645",
      .mnemonic = "HL.LHI.UPR",
      .asm_template = "hl.lhi.upr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9335,7 +9335,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "72c9f0a89cc7",
+    {.uid = "2c664751c537",
      .mnemonic = "HL.LHIP",
      .asm_template = "hl.lhip [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9350,7 +9350,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "7a8680fa8b47",
+    {.uid = "e37e98d63bfd",
      .mnemonic = "HL.LHIP.U",
      .asm_template = "hl.lhip.u [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9365,7 +9365,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "1a5646453ffe",
+    {.uid = "128eb429101f",
      .mnemonic = "HL.LHP",
      .asm_template = "hl.lhp [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9380,7 +9380,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "1b37beb01959",
+    {.uid = "444cb4ddde1d",
      .mnemonic = "HL.LHU.PCR",
      .asm_template = "hl.lhu.pcr [<symbol>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9395,7 +9395,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "70fcb01a2cd1",
+    {.uid = "c57c3b4a74e8",
      .mnemonic = "HL.LHU.PO",
      .asm_template = "hl.lhu.po [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9410,7 +9410,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "2b52029d8c1e",
+    {.uid = "f874b126e29c",
      .mnemonic = "HL.LHU.PR",
      .asm_template = "hl.lhu.pr [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9425,7 +9425,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "d8ada6e118bb",
+    {.uid = "6450dca3aad9",
      .mnemonic = "HL.LHUI",
      .asm_template = "hl.lhui [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9440,7 +9440,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "9072402646de",
+    {.uid = "16db8d40eee8",
      .mnemonic = "HL.LHUI.PO",
      .asm_template = "hl.lhui.po [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9455,7 +9455,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "ffbc70cf6bab",
+    {.uid = "6a99a2b99298",
      .mnemonic = "HL.LHUI.PR",
      .asm_template = "hl.lhui.pr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9470,7 +9470,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "9c6adb3e74fa",
+    {.uid = "d75649bac1c7",
      .mnemonic = "HL.LHUI.U",
      .asm_template = "hl.lhui.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9485,7 +9485,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "4dd8fd7a2b40",
+    {.uid = "7f2c3eae793e",
      .mnemonic = "HL.LHUI.UPO",
      .asm_template = "hl.lhui.upo [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9500,7 +9500,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "f8e469e22f81",
+    {.uid = "7e66aaf61701",
      .mnemonic = "HL.LHUI.UPR",
      .asm_template = "hl.lhui.upr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9515,7 +9515,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "bee400d26d88",
+    {.uid = "0b0ef5bd2405",
      .mnemonic = "HL.LHUIP",
      .asm_template = "hl.lhuip [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9530,7 +9530,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "20eef6633c21",
+    {.uid = "11a0e580caf1",
      .mnemonic = "HL.LHUIP.U",
      .asm_template = "hl.lhuip.u [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9545,7 +9545,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "0ba242a670ec",
+    {.uid = "ea24f978b27a",
      .mnemonic = "HL.LHUP",
      .asm_template = "hl.lhup [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9560,7 +9560,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "cfdc142eab23",
+    {.uid = "908853d6ef87",
      .mnemonic = "HL.LIS",
      .asm_template = "hl.lis simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9575,7 +9575,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "38b81ddfedb9",
+    {.uid = "9dd207ce3aea",
      .mnemonic = "HL.LIU",
      .asm_template = "hl.liu uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9590,7 +9590,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "6807bdeb5949",
+    {.uid = "255991889818",
      .mnemonic = "HL.LUI",
      .asm_template = "hl.lui imm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9605,7 +9605,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "8baa40761b79",
+    {.uid = "00cf25e2ac36",
      .mnemonic = "HL.LW.PCR",
      .asm_template = "hl.lw.pcr [<symbol>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9620,7 +9620,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "e8f3606964a3",
+    {.uid = "ff2c6de58064",
      .mnemonic = "HL.LW.PO",
      .asm_template = "hl.lw.po [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9635,7 +9635,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "18db10ea88bf",
+    {.uid = "2b0d62d28b57",
      .mnemonic = "HL.LW.PR",
      .asm_template = "hl.lw.pr [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9650,7 +9650,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "4e3ee1ad8fbb",
+    {.uid = "549c666c56fd",
      .mnemonic = "HL.LWI",
      .asm_template = "hl.lwi [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9665,7 +9665,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "d1dd4dcb83f8",
+    {.uid = "2dc642d88d9d",
      .mnemonic = "HL.LWI.PO",
      .asm_template = "hl.lwi.po [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9680,7 +9680,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "07652004a078",
+    {.uid = "3b5e1524de1b",
      .mnemonic = "HL.LWI.PR",
      .asm_template = "hl.lwi.pr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9695,7 +9695,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "8f7ddeda1ee1",
+    {.uid = "267e0f4a6222",
      .mnemonic = "HL.LWI.U",
      .asm_template = "hl.lwi.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9710,7 +9710,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "22bd809942f5",
+    {.uid = "1c25d6266934",
      .mnemonic = "HL.LWI.UPO",
      .asm_template = "hl.lwi.upo [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9725,7 +9725,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "be29d00a32b6",
+    {.uid = "03b5f7994b14",
      .mnemonic = "HL.LWI.UPR",
      .asm_template = "hl.lwi.upr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9740,7 +9740,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "359f152d06c6",
+    {.uid = "e459297b8b7c",
      .mnemonic = "HL.LWIP",
      .asm_template = "hl.lwip [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9755,7 +9755,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "1b411285dd44",
+    {.uid = "c9aca369eab2",
      .mnemonic = "HL.LWIP.U",
      .asm_template = "hl.lwip.u [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9770,7 +9770,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "7a46de902d85",
+    {.uid = "10fe25c62553",
      .mnemonic = "HL.LWP",
      .asm_template = "hl.lwp [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9785,7 +9785,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "33cfc704c915",
+    {.uid = "95ba33b7b68c",
      .mnemonic = "HL.LWU.PCR",
      .asm_template = "hl.lwu.pcr [<symbol>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9800,7 +9800,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "ec309139d376",
+    {.uid = "98730d2ddead",
      .mnemonic = "HL.LWU.PO",
      .asm_template = "hl.lwu.po [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9815,7 +9815,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "319ed7e2c7d1",
+    {.uid = "f105cacec36c",
      .mnemonic = "HL.LWU.PR",
      .asm_template = "hl.lwu.pr [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9830,7 +9830,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "ecf00d3a73ba",
+    {.uid = "eeb551f8269d",
      .mnemonic = "HL.LWUI",
      .asm_template = "hl.lwui [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9845,7 +9845,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "0209610deddf",
+    {.uid = "09a75b628dc4",
      .mnemonic = "HL.LWUI.PO",
      .asm_template = "hl.lwui.po [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9860,7 +9860,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "4074eea19f29",
+    {.uid = "32de19a508f0",
      .mnemonic = "HL.LWUI.PR",
      .asm_template = "hl.lwui.pr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9875,7 +9875,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "37c064b9c5f3",
+    {.uid = "4570cc517629",
      .mnemonic = "HL.LWUI.U",
      .asm_template = "hl.lwui.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -9890,7 +9890,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "ae76cad8040a",
+    {.uid = "33260eb06a2c",
      .mnemonic = "HL.LWUI.UPO",
      .asm_template = "hl.lwui.upo [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9905,7 +9905,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "3fcf561adb02",
+    {.uid = "998a98c46469",
      .mnemonic = "HL.LWUI.UPR",
      .asm_template = "hl.lwui.upr [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9920,7 +9920,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "0c385f4e5dbb",
+    {.uid = "2a5d6d8f3b70",
      .mnemonic = "HL.LWUIP",
      .asm_template = "hl.lwuip [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9935,7 +9935,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "73994be97243",
+    {.uid = "0fed3b8c43b6",
      .mnemonic = "HL.LWUIP.U",
      .asm_template = "hl.lwuip.u [SrcL, simm], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9950,7 +9950,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "9af645913747",
+    {.uid = "30f20380c354",
      .mnemonic = "HL.LWUP",
      .asm_template = "hl.lwup [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9965,7 +9965,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "1c48c58a9113",
+    {.uid = "b062d741fd99",
      .mnemonic = "HL.MADD",
      .asm_template = "hl.madd SrcL, SrcR, SrcD, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9980,7 +9980,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "f3705bdfbffe",
+    {.uid = "6fac897f0264",
      .mnemonic = "HL.MADDW",
      .asm_template = "hl.maddw SrcL, SrcR, SrcD, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -9995,7 +9995,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "988747dddd68",
+    {.uid = "ec5127b6dfd6",
      .mnemonic = "HL.MIADD",
      .asm_template = "hl.miadd SrcL, SrcR, uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10010,7 +10010,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "f04e7ab7158a",
+    {.uid = "e9e4c7b23479",
      .mnemonic = "HL.MISUB",
      .asm_template = "hl.misub SrcL, SrcR, uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10025,7 +10025,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "630da5409394",
+    {.uid = "0d059ff178fb",
      .mnemonic = "HL.MUL",
      .asm_template = "hl.mul SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -10040,7 +10040,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "a136ffa6b63f",
+    {.uid = "85efdc81e8fc",
      .mnemonic = "HL.MULU",
      .asm_template = "hl.mulu SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -10055,7 +10055,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "2c8dba59eddb",
+    {.uid = "c6d8ce28a78b",
      .mnemonic = "HL.ORI",
      .asm_template = "hl.ori SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10070,7 +10070,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "688c3cd2776e",
+    {.uid = "17673d186249",
      .mnemonic = "HL.ORIW",
      .asm_template = "hl.oriw SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10085,7 +10085,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 578,
      .constraint_count = 0},
-    {.uid = "6a2f3688490f",
+    {.uid = "39641863bb21",
      .mnemonic = "HL.PRF",
      .asm_template = "hl.prf{.l1,.l2,.l3} [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>]",
      .encoding_kind = "HL48",
@@ -10100,7 +10100,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 578,
      .constraint_count = 29},
-    {.uid = "1dc197c8b5a5",
+    {.uid = "267dc57d14f4",
      .mnemonic = "HL.PRF.A",
      .asm_template = "hl.prf.a{.l1,.l2,.l3} [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10115,7 +10115,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 607,
      .constraint_count = 29},
-    {.uid = "2181f92b4f6c",
+    {.uid = "be73891e376e",
      .mnemonic = "HL.PRFI.U",
      .asm_template = "hl.prfi.u{.l1,.l2,.l3} [SrcL, simm]",
      .encoding_kind = "HL48",
@@ -10130,7 +10130,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 636,
      .constraint_count = 29},
-    {.uid = "9cb440f97caa",
+    {.uid = "c37fb30ecb0f",
      .mnemonic = "HL.PRFI.UA",
      .asm_template = "hl.prfi.ua{.l1,.l2,.l3} [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10145,7 +10145,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 665,
      .constraint_count = 29},
-    {.uid = "e99d838fab5c",
+    {.uid = "eb9e41958045",
      .mnemonic = "HL.QMT",
      .asm_template = "hl.qmt[.{i,e,s,r,ie,is,ir,es,er,ies,ier}] SrcL[, SrcR when i], ->RegDst",
      .encoding_kind = "HL48",
@@ -10160,7 +10160,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 7,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "59f01625592b",
+    {.uid = "a2c57f5bc27b",
      .mnemonic = "HL.QPOP",
      .asm_template = "hl.qpop[.{e,r,er}] SrcL, ->RegDst0, RegDst1",
      .encoding_kind = "HL48",
@@ -10175,7 +10175,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "6183db9ebfd4",
+    {.uid = "3eab8e05d61a",
      .mnemonic = "HL.QPUSH",
      .asm_template = "hl.qpush[.{h,e,r,he,hr,er,her}] SrcL, SrcR, ->RegDst",
      .encoding_kind = "HL48",
@@ -10190,7 +10190,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "d27b2fa30c08",
+    {.uid = "3c13e08615aa",
      .mnemonic = "HL.REM",
      .asm_template = "hl.rem SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -10205,7 +10205,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "4c8ad6d9e72e",
+    {.uid = "3bf4e5a663c1",
      .mnemonic = "HL.REMU",
      .asm_template = "hl.remu SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -10220,7 +10220,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "43e2a7472661",
+    {.uid = "26ea6e70f2fc",
      .mnemonic = "HL.REMUW",
      .asm_template = "hl.remuw SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -10235,7 +10235,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "1d5c20784d8d",
+    {.uid = "3acb485d39a7",
      .mnemonic = "HL.REMW",
      .asm_template = "hl.remw SrcL, SrcR, ->Dst0, Dst1",
      .encoding_kind = "HL48",
@@ -10250,7 +10250,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3edd50c2e4d3",
+    {.uid = "d0ba4b6e0f54",
      .mnemonic = "HL.SB.PCR",
      .asm_template = "hl.sb.pcr SrcL, [<symbol>]",
      .encoding_kind = "HL48",
@@ -10265,7 +10265,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "bb1ccb3da24b",
+    {.uid = "c21837f2c14d",
      .mnemonic = "HL.SB.PO",
      .asm_template = "hl.sb.po SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10280,7 +10280,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "6355032ffe23",
+    {.uid = "40eae4513905",
      .mnemonic = "HL.SB.PR",
      .asm_template = "hl.sb.pr SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10295,7 +10295,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "9ded48f94933",
+    {.uid = "3504e6935382",
      .mnemonic = "HL.SBI",
      .asm_template = "hl.sbi SrcD, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10310,7 +10310,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "4d35de8bc8ed",
+    {.uid = "493d9c8b27eb",
      .mnemonic = "HL.SBI.PO",
      .asm_template = "hl.sbi.po SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10325,7 +10325,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "7d8ae796d058",
+    {.uid = "d6f48429cca5",
      .mnemonic = "HL.SBI.PR",
      .asm_template = "hl.sbi.pr SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10340,7 +10340,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "78d33102ae32",
+    {.uid = "48a212ee655e",
      .mnemonic = "HL.SBIP",
      .asm_template = "hl.sbip SrcD, SrcD1, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10355,7 +10355,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "4e0c7cb0c724",
+    {.uid = "12e03c011f0a",
      .mnemonic = "HL.SBP",
      .asm_template = "hl.sbp SrcD, SrcD1, [SrcL, SrcR<{.sw,.uw,.neg}>]",
      .encoding_kind = "HL48",
@@ -10370,7 +10370,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "1f32ea8965a7",
+    {.uid = "8ed6bb942a78",
      .mnemonic = "HL.SD.PCR",
      .asm_template = "hl.sd.pcr SrcL, [<symbol>]",
      .encoding_kind = "HL48",
@@ -10385,7 +10385,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "f335328a7f87",
+    {.uid = "9ced722101a8",
      .mnemonic = "HL.SD.PO",
      .asm_template = "hl.sd.po SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<3], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10400,7 +10400,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "a9ff27c38e8d",
+    {.uid = "4f96249f5efe",
      .mnemonic = "HL.SD.PR",
      .asm_template = "hl.sd.pr SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<3], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10415,7 +10415,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "7d91573c6555",
+    {.uid = "ba930fbec5c7",
      .mnemonic = "HL.SD.UPO",
      .asm_template = "hl.sd.upo SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10430,7 +10430,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "9dcf6a32e5df",
+    {.uid = "af7118270a90",
      .mnemonic = "HL.SD.UPR",
      .asm_template = "hl.sd.upr SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10445,7 +10445,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "e62d1f19a3e4",
+    {.uid = "3203094081da",
      .mnemonic = "HL.SDI",
      .asm_template = "hl.sdi SrcD, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10460,7 +10460,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "147ebb5e1375",
+    {.uid = "4b6af4b433bb",
      .mnemonic = "HL.SDI.PO",
      .asm_template = "hl.sdi.po SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10475,7 +10475,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "c0d6ef7ce611",
+    {.uid = "8b2688251991",
      .mnemonic = "HL.SDI.PR",
      .asm_template = "hl.sdi.pr SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10490,7 +10490,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "dde4cfc9cefe",
+    {.uid = "d9597eeba6b4",
      .mnemonic = "HL.SDI.U",
      .asm_template = "hl.sdi.u SrcD, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10505,7 +10505,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "99764b84d0a4",
+    {.uid = "0ceed9e5fdb0",
      .mnemonic = "HL.SDI.UPO",
      .asm_template = "hl.sdi.upo SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10520,7 +10520,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "c1c26840de0c",
+    {.uid = "f8aba43b65d5",
      .mnemonic = "HL.SDI.UPR",
      .asm_template = "hl.sdi.upr SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10535,7 +10535,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "0a27599f4729",
+    {.uid = "6d622cf167ca",
      .mnemonic = "HL.SDIP",
      .asm_template = "hl.sdip SrcD, SrcD1, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10550,7 +10550,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "50e999584b6c",
+    {.uid = "3260b03bb762",
      .mnemonic = "HL.SDIP.U",
      .asm_template = "hl.sdip.u SrcD, SrcD1, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10565,7 +10565,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "355cef372d62",
+    {.uid = "5884c49a7e55",
      .mnemonic = "HL.SDP",
      .asm_template = "hl.sdp SrcD, SrcD1, [SrcL, SrcR<{.sw,.uw,.neg}><<3]",
      .encoding_kind = "HL48",
@@ -10580,7 +10580,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "30e8e0d29477",
+    {.uid = "66de58724f2f",
      .mnemonic = "HL.SDP.U",
      .asm_template = "hl.sdp.u SrcD, SrcD1, [SrcL, SrcR<{.sw,.uw,.neg}>]",
      .encoding_kind = "HL48",
@@ -10595,7 +10595,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "0f1b4b325221",
+    {.uid = "f27796612fb3",
      .mnemonic = "HL.SETC.ANDI",
      .asm_template = "hl.setc.andi SrcL, simm",
      .encoding_kind = "HL48",
@@ -10610,7 +10610,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "36b03e040e50",
+    {.uid = "0fe891fb0890",
      .mnemonic = "HL.SETC.EQI",
      .asm_template = "hl.setc.eqi SrcL, simm",
      .encoding_kind = "HL48",
@@ -10625,7 +10625,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "c8e6af25febe",
+    {.uid = "9563d6395d06",
      .mnemonic = "HL.SETC.GEI",
      .asm_template = "hl.setc.gei SrcL, simm",
      .encoding_kind = "HL48",
@@ -10640,7 +10640,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "4dccc643dda4",
+    {.uid = "2390319baf54",
      .mnemonic = "HL.SETC.GEUI",
      .asm_template = "hl.setc.geui SrcL, uimm",
      .encoding_kind = "HL48",
@@ -10655,7 +10655,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "4ba5d7d9fa2a",
+    {.uid = "ad4ffebe877c",
      .mnemonic = "HL.SETC.LTI",
      .asm_template = "hl.setc.lti SrcL, simm",
      .encoding_kind = "HL48",
@@ -10670,7 +10670,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "c2daef3063ae",
+    {.uid = "cb7a12ba6ead",
      .mnemonic = "HL.SETC.LTUI",
      .asm_template = "hl.setc.ltui SrcL, uimm",
      .encoding_kind = "HL48",
@@ -10685,7 +10685,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "1062c234904a",
+    {.uid = "f0bcf6586274",
      .mnemonic = "HL.SETC.NEI",
      .asm_template = "hl.setc.nei SrcL, simm",
      .encoding_kind = "HL48",
@@ -10700,7 +10700,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "7c8062d805d3",
+    {.uid = "137bce8aeb04",
      .mnemonic = "HL.SETC.ORI",
      .asm_template = "hl.setc.ori SrcL, simm",
      .encoding_kind = "HL48",
@@ -10715,7 +10715,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "303ff59769e6",
+    {.uid = "302bb793a800",
      .mnemonic = "HL.SETRET",
      .asm_template = "hl.setret imm, ->Ra",
      .encoding_kind = "HL48",
@@ -10730,7 +10730,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "ab8f759fa2d1",
+    {.uid = "705ea4062d0b",
      .mnemonic = "HL.SH.PCR",
      .asm_template = "hl.sh.pcr SrcL, [<symbol>]",
      .encoding_kind = "HL48",
@@ -10745,7 +10745,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "2b20a782f566",
+    {.uid = "e0b543d5b724",
      .mnemonic = "HL.SH.PO",
      .asm_template = "hl.sh.po SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<1], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10760,7 +10760,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "ec007e4fe531",
+    {.uid = "40ab17f5a580",
      .mnemonic = "HL.SH.PR",
      .asm_template = "hl.sh.pr SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<1], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10775,7 +10775,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "d28769e5b16f",
+    {.uid = "5bfb8ea0c992",
      .mnemonic = "HL.SH.UPO",
      .asm_template = "hl.sh.upo SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10790,7 +10790,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "d53d5eeaff29",
+    {.uid = "719102d66e45",
      .mnemonic = "HL.SH.UPR",
      .asm_template = "hl.sh.upr SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10805,7 +10805,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "19b6916e34bd",
+    {.uid = "38ea3f0a4f08",
      .mnemonic = "HL.SHI",
      .asm_template = "hl.shi SrcD, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10820,7 +10820,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "bbfebb77238a",
+    {.uid = "636fea832c7b",
      .mnemonic = "HL.SHI.PO",
      .asm_template = "hl.shi.po SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10835,7 +10835,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "4b0c8fab1063",
+    {.uid = "1020eb4dff56",
      .mnemonic = "HL.SHI.PR",
      .asm_template = "hl.shi.pr SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10850,7 +10850,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "c065af0df813",
+    {.uid = "79dbaa14d2c2",
      .mnemonic = "HL.SHI.U",
      .asm_template = "hl.shi.u SrcD, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10865,7 +10865,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "b0d962877d74",
+    {.uid = "de81eed370cf",
      .mnemonic = "HL.SHI.UPO",
      .asm_template = "hl.shi.upo SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10880,7 +10880,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "583e46fc6a97",
+    {.uid = "ca9f1acbb1b2",
      .mnemonic = "HL.SHI.UPR",
      .asm_template = "hl.shi.upr SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10895,7 +10895,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "5e9e236d7bcf",
+    {.uid = "156afe74f95b",
      .mnemonic = "HL.SHIP",
      .asm_template = "hl.ship SrcD, SrcD1, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10910,7 +10910,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "c6538e773f2f",
+    {.uid = "fa5e1d981a8a",
      .mnemonic = "HL.SHIP.U",
      .asm_template = "hl.ship.u SrcD, SrcD1, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -10925,7 +10925,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "c360aaff00b3",
+    {.uid = "ccc507e71a27",
      .mnemonic = "HL.SHP",
      .asm_template = "hl.shp SrcD, SrcD1, [SrcL, SrcR<{.sw,.uw,.neg}><<1]",
      .encoding_kind = "HL48",
@@ -10940,7 +10940,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "f36739d9d0e0",
+    {.uid = "232b2200b7b9",
      .mnemonic = "HL.SHP.U",
      .asm_template = "hl.shp.u SrcD, SrcD1, [SrcL, SrcR<{.sw,.uw,.neg}>]",
      .encoding_kind = "HL48",
@@ -10955,7 +10955,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3f4a207e02ae",
+    {.uid = "fde37e58a3c4",
      .mnemonic = "HL.SSRGET",
      .asm_template = "hl.ssrget SSR_ID, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -10970,7 +10970,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "b5e450817a0e",
+    {.uid = "dd25753307c2",
      .mnemonic = "HL.SSRSET",
      .asm_template = "hl.ssrset SrcL, SSR_ID",
      .encoding_kind = "HL48",
@@ -10985,7 +10985,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "e24cfc10af59",
+    {.uid = "e1f491a8aead",
      .mnemonic = "HL.SUBI",
      .asm_template = "hl.subi SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11000,7 +11000,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "15dba1df0e83",
+    {.uid = "adc7b127a2f8",
      .mnemonic = "HL.SUBIW",
      .asm_template = "hl.subiw SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11015,7 +11015,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "4ae85c4a7c73",
+    {.uid = "8f8900dfac6b",
      .mnemonic = "HL.SW.PCR",
      .asm_template = "hl.sw.pcr SrcL, [<symbol>]",
      .encoding_kind = "HL48",
@@ -11030,7 +11030,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3183f373cc63",
+    {.uid = "84cf0cd97fde",
      .mnemonic = "HL.SW.PO",
      .asm_template = "hl.sw.po SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<2], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11045,7 +11045,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "f2ebdd2d507e",
+    {.uid = "d80424b0a9cb",
      .mnemonic = "HL.SW.PR",
      .asm_template = "hl.sw.pr SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<2], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11060,7 +11060,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "bab8d2d69b0b",
+    {.uid = "59be7b468f8a",
      .mnemonic = "HL.SW.UPO",
      .asm_template = "hl.sw.upo SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11075,7 +11075,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "0710e763bdf1",
+    {.uid = "d4ccb513944a",
      .mnemonic = "HL.SW.UPR",
      .asm_template = "hl.sw.upr SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11090,7 +11090,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "1ca52c250ca8",
+    {.uid = "13deb2849df5",
      .mnemonic = "HL.SWI",
      .asm_template = "hl.swi SrcD, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -11105,7 +11105,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "22c0e2195cd7",
+    {.uid = "66a80d0fa7f5",
      .mnemonic = "HL.SWI.PO",
      .asm_template = "hl.swi.po SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11120,7 +11120,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "109e1049de72",
+    {.uid = "68b9003e0421",
      .mnemonic = "HL.SWI.PR",
      .asm_template = "hl.swi.pr SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11135,7 +11135,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "83c932505b7c",
+    {.uid = "fac636330fd6",
      .mnemonic = "HL.SWI.U",
      .asm_template = "hl.swi.u SrcD, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -11150,7 +11150,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "60c134e0b774",
+    {.uid = "243d3c38cd1a",
      .mnemonic = "HL.SWI.UPO",
      .asm_template = "hl.swi.upo SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11165,7 +11165,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "314b5788553e",
+    {.uid = "15c2fb96aab0",
      .mnemonic = "HL.SWI.UPR",
      .asm_template = "hl.swi.upr SrcD, [SrcR, simm], ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11180,7 +11180,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "48e44471c6f2",
+    {.uid = "e2fca8cde001",
      .mnemonic = "HL.SWIP",
      .asm_template = "hl.swip SrcD, SrcD1, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -11195,7 +11195,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "be6dc0457f8a",
+    {.uid = "e2dc917c8505",
      .mnemonic = "HL.SWIP.U",
      .asm_template = "hl.swip.u SrcD, SrcD1, [SrcR, simm]",
      .encoding_kind = "HL48",
@@ -11210,7 +11210,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "86359b86a0ae",
+    {.uid = "d0efe96e09f0",
      .mnemonic = "HL.SWP",
      .asm_template = "hl.swp SrcD, SrcD1, [SrcL, SrcR<{.sw,.uw,.neg}><<2]",
      .encoding_kind = "HL48",
@@ -11225,7 +11225,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "31bb1fa06039",
+    {.uid = "c244a576be8e",
      .mnemonic = "HL.SWP.U",
      .asm_template = "hl.swp.u SrcD, SrcD1, [SrcL, SrcR<{.sw,.uw,.neg}>]",
      .encoding_kind = "HL48",
@@ -11240,7 +11240,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "8c8f3b38f25f",
+    {.uid = "b4d85f91aad8",
      .mnemonic = "HL.XORI",
      .asm_template = "hl.xori SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11255,7 +11255,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "e30713fd754d",
+    {.uid = "9a3edbd09746",
      .mnemonic = "HL.XORIW",
      .asm_template = "hl.xoriw SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "HL48",
@@ -11270,7 +11270,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3277175d73e1",
+    {.uid = "854f0d4d906a",
      .mnemonic = "IC.IALL",
      .asm_template = "ic.iall",
      .encoding_kind = "L32",
@@ -11285,7 +11285,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "ab867dbab977",
+    {.uid = "11b9a61dd8b5",
      .mnemonic = "IC.IVA",
      .asm_template = "ic.iva SrcL",
      .encoding_kind = "L32",
@@ -11300,7 +11300,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "545bba5a7d2e",
+    {.uid = "a303cf05af42",
      .mnemonic = "J",
      .asm_template = "j label",
      .encoding_kind = "L32",
@@ -11315,7 +11315,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "a2e6279f1caa",
+    {.uid = "c4128e843b05",
      .mnemonic = "JR",
      .asm_template = "jr SrcL, label",
      .encoding_kind = "L32",
@@ -11480,7 +11480,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "69fa62bab890",
+    {.uid = "b718aa88e28f",
      .mnemonic = "LB",
      .asm_template = "lb [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11495,7 +11495,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "35a7f7d403b6",
+    {.uid = "3fa2540b22d0",
      .mnemonic = "LB.PCR",
      .asm_template = "lb.pcr [symbol], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11510,7 +11510,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "2e4235d2fdb2",
+    {.uid = "9af2cdbeb38f",
      .mnemonic = "LBI",
      .asm_template = "lbi [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11525,7 +11525,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3dba99c3867b",
+    {.uid = "a9a58ab4ea22",
      .mnemonic = "LBU",
      .asm_template = "lbu [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11540,7 +11540,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "b48094a9d8c6",
+    {.uid = "5b571b0c8dc2",
      .mnemonic = "LBU.PCR",
      .asm_template = "lbu.pcr [symbol], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11555,7 +11555,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "620e17877f76",
+    {.uid = "c39b9aa11f02",
      .mnemonic = "LBUI",
      .asm_template = "lbui [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11570,7 +11570,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "6ccb1c483bc5",
+    {.uid = "7c48838bc4e6",
      .mnemonic = "LD",
      .asm_template = "ld [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11585,7 +11585,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "1059d59ebbb1",
+    {.uid = "a4038a6c7e86",
      .mnemonic = "LD.ADD",
      .asm_template = "ld.add<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11600,7 +11600,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "6213c35d41cb",
+    {.uid = "2a46b3003480",
      .mnemonic = "LD.AND",
      .asm_template = "ld.and<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11615,7 +11615,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "067ab99e72fd",
+    {.uid = "456d270cfc7d",
      .mnemonic = "LD.OR",
      .asm_template = "ld.or<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11630,7 +11630,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "dfdb0c48c7d8",
+    {.uid = "99bc3d2d487b",
      .mnemonic = "LD.PCR",
      .asm_template = "ld.pcr [symbol], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11645,7 +11645,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "8ae8a06320c9",
+    {.uid = "a3aad6120226",
      .mnemonic = "LD.SMAX",
      .asm_template = "ld.smax<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11660,7 +11660,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "915060eba2af",
+    {.uid = "9461d345718f",
      .mnemonic = "LD.SMIN",
      .asm_template = "ld.smin<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11675,7 +11675,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "f46746e8ee1f",
+    {.uid = "a84af75745d9",
      .mnemonic = "LD.UMAX",
      .asm_template = "ld.umax<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11690,7 +11690,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "41c2e3541b69",
+    {.uid = "4bf2f357eff3",
      .mnemonic = "LD.UMIN",
      .asm_template = "ld.umin<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11705,7 +11705,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "45316e13ea74",
+    {.uid = "33072c0fde61",
      .mnemonic = "LD.XOR",
      .asm_template = "ld.xor<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11720,7 +11720,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "5df81383309c",
+    {.uid = "d82a643f7a2b",
      .mnemonic = "LDI",
      .asm_template = "ldi [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11735,7 +11735,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "714e79f9744a",
+    {.uid = "111bb521a439",
      .mnemonic = "LDI.U",
      .asm_template = "ldi.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11750,7 +11750,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "ba0f2afd9b3f",
+    {.uid = "d0f04d7d7696",
      .mnemonic = "LH",
      .asm_template = "lh [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11765,7 +11765,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3067e63aab10",
+    {.uid = "aabf46d21e49",
      .mnemonic = "LH.PCR",
      .asm_template = "lh.pcr [symbol], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11780,7 +11780,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "311b9e5390e6",
+    {.uid = "46a45ec7074d",
      .mnemonic = "LHI",
      .asm_template = "lhi [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11795,7 +11795,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "abbfae330ce5",
+    {.uid = "bb0c81c6e61d",
      .mnemonic = "LHI.U",
      .asm_template = "lhi.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11810,7 +11810,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "050c45d23cc9",
+    {.uid = "730caf67ecd1",
      .mnemonic = "LHU",
      .asm_template = "lhu [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11825,7 +11825,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "43db6db2cdfb",
+    {.uid = "9f4a1c04f258",
      .mnemonic = "LHU.PCR",
      .asm_template = "lhu.pcr [symbol], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11840,7 +11840,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3e96a40d0e4f",
+    {.uid = "6da39bba900b",
      .mnemonic = "LHUI",
      .asm_template = "lhui [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11855,7 +11855,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "ca6aaba67d99",
+    {.uid = "748b15cd2ced",
      .mnemonic = "LHUI.U",
      .asm_template = "lhui.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11870,7 +11870,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "b7a0ca906d57",
+    {.uid = "cf80903a761a",
      .mnemonic = "LR.B",
      .asm_template = "lr.b<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11885,7 +11885,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "b5d1530c7787",
+    {.uid = "84d21a553dc1",
      .mnemonic = "LR.D",
      .asm_template = "lr.d<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11900,7 +11900,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "a20ac817e2cc",
+    {.uid = "f936df218d63",
      .mnemonic = "LR.H",
      .asm_template = "lr.h<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11915,7 +11915,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "86c9c73c8792",
+    {.uid = "efecc735bb75",
      .mnemonic = "LR.W",
      .asm_template = "lr.w<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11930,7 +11930,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "cd877ff2f5e7",
+    {.uid = "448b17d7c20a",
      .mnemonic = "LSRGET",
      .asm_template = "lsrget LSR_ID, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11945,7 +11945,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "8481697c660d",
+    {.uid = "982113b541d6",
      .mnemonic = "LUI",
      .asm_template = "lui simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11960,7 +11960,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3ab9351b5a00",
+    {.uid = "3a77ffafcb34",
      .mnemonic = "LW",
      .asm_template = "lw [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -11975,7 +11975,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "a395e466a6c2",
+    {.uid = "5be3ad1ad081",
      .mnemonic = "LW.ADD",
      .asm_template = "lw.add<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -11990,7 +11990,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "5c78019e851b",
+    {.uid = "f8dd9866b069",
      .mnemonic = "LW.AND",
      .asm_template = "lw.and<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12005,7 +12005,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "182cc5df92cc",
+    {.uid = "d6d2f87706fd",
      .mnemonic = "LW.OR",
      .asm_template = "lw.or<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12020,7 +12020,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "0c1cd331cf43",
+    {.uid = "d135a1aa4ffb",
      .mnemonic = "LW.PCR",
      .asm_template = "lw.pcr [symbol], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12035,7 +12035,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "98238fd7ce15",
+    {.uid = "838b8c673c91",
      .mnemonic = "LW.SMAX",
      .asm_template = "lw.smax<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12050,7 +12050,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "840c62d9e860",
+    {.uid = "44452ae44d02",
      .mnemonic = "LW.SMIN",
      .asm_template = "lw.smin<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12065,7 +12065,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "b5079b716b2e",
+    {.uid = "3c6a5a534674",
      .mnemonic = "LW.UMAX",
      .asm_template = "lw.umax<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12080,7 +12080,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "71f5871dfdae",
+    {.uid = "fd9b7bb538a3",
      .mnemonic = "LW.UMIN",
      .asm_template = "lw.umin<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12095,7 +12095,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "e503e89a906c",
+    {.uid = "4d4aa82c676a",
      .mnemonic = "LW.XOR",
      .asm_template = "lw.xor<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12110,7 +12110,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "f51e338c5e26",
+    {.uid = "7085c98058fa",
      .mnemonic = "LWI",
      .asm_template = "lwi [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12125,7 +12125,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "69287e07c1af",
+    {.uid = "4a7426a70f10",
      .mnemonic = "LWI.U",
      .asm_template = "lwi.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12140,7 +12140,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "59dfc83ee4f4",
+    {.uid = "678935925636",
      .mnemonic = "LWU",
      .asm_template = "lwu [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12155,7 +12155,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "1368b9ed54fa",
+    {.uid = "df27ea51c564",
      .mnemonic = "LWU.PCR",
      .asm_template = "lwu.pcr [symbol], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12170,7 +12170,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "4a15d73c75bf",
+    {.uid = "b435f946eb71",
      .mnemonic = "LWUI",
      .asm_template = "lwui [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12185,7 +12185,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "b3a8fb4b79a0",
+    {.uid = "1fcbb98df571",
      .mnemonic = "LWUI.U",
      .asm_template = "lwui.u [SrcL, simm], ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12200,7 +12200,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "112b471fbd0b",
+    {.uid = "6208e8e59303",
      .mnemonic = "MADD",
      .asm_template = "madd SrcL, SrcR, SrcD, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12215,7 +12215,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "3d8ff30fb154",
+    {.uid = "9f922b15e674",
      .mnemonic = "MADDW",
      .asm_template = "maddw SrcL, SrcR, SrcD, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12230,7 +12230,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "dc7d53abd4ea",
+    {.uid = "9166468a1db7",
      .mnemonic = "MAX",
      .asm_template = "max SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12245,7 +12245,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "9a84aa7c58da",
+    {.uid = "b8789571339d",
      .mnemonic = "MAXU",
      .asm_template = "maxu SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12260,7 +12260,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 0},
-    {.uid = "10262506ace5",
+    {.uid = "4fc4a803e995",
      .mnemonic = "MCOPY",
      .asm_template = "MCOPY [RegSrc0, RegSrc1, RegSrc2]",
      .encoding_kind = "L32",
@@ -12275,7 +12275,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 694,
      .constraint_count = 24},
-    {.uid = "617f56f2afaa",
+    {.uid = "25692b799267",
      .mnemonic = "MIN",
      .asm_template = "min SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12290,7 +12290,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 718,
      .constraint_count = 0},
-    {.uid = "7989855fde1f",
+    {.uid = "9bdb71ef7b19",
      .mnemonic = "MINU",
      .asm_template = "minu SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12305,7 +12305,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 718,
      .constraint_count = 0},
-    {.uid = "7a5f3c26ac6b",
+    {.uid = "0b932f291932",
      .mnemonic = "MSET",
      .asm_template = "MSET [RegSrc0=Destination, RegSrc1=FillByte, RegSrc2=LengthBytes]",
      .encoding_kind = "L32",
@@ -12320,7 +12320,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 718,
      .constraint_count = 24},
-    {.uid = "39b0b15eeb20",
+    {.uid = "9f2affd8efb8",
      .mnemonic = "MUL",
      .asm_template = "mul SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12335,7 +12335,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "1a9c899e0ceb",
+    {.uid = "10b9d1936631",
      .mnemonic = "MULU",
      .asm_template = "mulu SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12350,7 +12350,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "79a76c3ecbb6",
+    {.uid = "8f52b3d45e53",
      .mnemonic = "MULUW",
      .asm_template = "muluw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12365,7 +12365,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "82baaad1cb95",
+    {.uid = "b90cb6a30a23",
      .mnemonic = "MULW",
      .asm_template = "mulw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12380,7 +12380,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "3eaea256559e",
+    {.uid = "a7fb80e78831",
      .mnemonic = "OR",
      .asm_template = "or SrcL, SrcR<{.sw,.uw,.not}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12395,7 +12395,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "7c9ff7ddead8",
+    {.uid = "413a6cc76e9a",
      .mnemonic = "ORI",
      .asm_template = "ori SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12410,7 +12410,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "bfe88cba243e",
+    {.uid = "91608caf1ba6",
      .mnemonic = "ORIW",
      .asm_template = "oriw SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12425,7 +12425,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "66180559ceab",
+    {.uid = "84f7ac2ed68f",
      .mnemonic = "ORW",
      .asm_template = "orw SrcL, SrcR<{.sw,.uw,.not}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12440,7 +12440,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "a91e5e18a496",
+    {.uid = "30e6dfe4e3ce",
      .mnemonic = "PRF",
      .asm_template = "prf [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>]",
      .encoding_kind = "L32",
@@ -12455,7 +12455,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "81492f3b1005",
+    {.uid = "167b42882547",
      .mnemonic = "PRFI.U",
      .asm_template = "prfi.u [SrcL, simm]",
      .encoding_kind = "L32",
@@ -12470,7 +12470,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "505d4821713f",
+    {.uid = "0abbd6a3b865",
      .mnemonic = "REM",
      .asm_template = "rem SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12485,7 +12485,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "6ca426fd271f",
+    {.uid = "d7a5d1ebbbf5",
      .mnemonic = "REMU",
      .asm_template = "remu SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12500,7 +12500,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "f48071cbb8d7",
+    {.uid = "f10ade2f5ccb",
      .mnemonic = "REMUW",
      .asm_template = "remuw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12515,7 +12515,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "76360e4f0bf8",
+    {.uid = "22659af46ec0",
      .mnemonic = "REMW",
      .asm_template = "remw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12530,7 +12530,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "3222fc17aabf",
+    {.uid = "58badc109d49",
      .mnemonic = "REV",
      .asm_template = "rev SrcL,  M, N, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12545,7 +12545,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "f0f61f5c7063",
+    {.uid = "43c106ae3749",
      .mnemonic = "SB",
      .asm_template = "sb SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>]",
      .encoding_kind = "L32",
@@ -12560,7 +12560,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "f34cd5d155fe",
+    {.uid = "7625a9a24c59",
      .mnemonic = "SB.PCR",
      .asm_template = "sb.pcr SrcL, [symbol]",
      .encoding_kind = "L32",
@@ -12575,7 +12575,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "c2e4f36e227d",
+    {.uid = "f3c6b796f0d9",
      .mnemonic = "SBI",
      .asm_template = "sbi SrcL, [SrcR, simm]",
      .encoding_kind = "L32",
@@ -12590,7 +12590,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "d2dd1725583d",
+    {.uid = "baf609e1d5c3",
      .mnemonic = "SC.B",
      .asm_template = "sc.b<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> SrcL, [SrcR], {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12605,7 +12605,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "af31bdf7ae6e",
+    {.uid = "2e714149031c",
      .mnemonic = "SC.D",
      .asm_template = "sc.d<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> SrcL, [SrcR], {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12620,7 +12620,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "ad0be22f85c0",
+    {.uid = "108941eabac6",
      .mnemonic = "SC.H",
      .asm_template = "sc.h<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> SrcL, [SrcR], {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12635,7 +12635,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "4b98cbdec076",
+    {.uid = "14b238f02bfd",
      .mnemonic = "SC.W",
      .asm_template = "sc.w<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> SrcL, [SrcR], {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -12650,7 +12650,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 742,
      .constraint_count = 0},
-    {.uid = "1dad03d9ab31",
+    {.uid = "01861bbd5ef2",
      .mnemonic = "SCVTF",
      .asm_template = "scvtf.{srcT2dstT} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -12665,7 +12665,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 742,
      .constraint_count = 19},
-    {.uid = "324dd0ff5d29",
+    {.uid = "9dbc40328653",
      .mnemonic = "SD",
      .asm_template = "sd SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<3]",
      .encoding_kind = "L32",
@@ -12680,7 +12680,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "9cdd40184ec2",
+    {.uid = "2a55ae1228bd",
      .mnemonic = "SD.ADD",
      .asm_template = "sd.add<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -12695,7 +12695,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "8b24390b4f75",
+    {.uid = "71963e1769c2",
      .mnemonic = "SD.AND",
      .asm_template = "sd.and<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -12710,7 +12710,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "e7c1239db1b8",
+    {.uid = "2a65eedfae0f",
      .mnemonic = "SD.OR",
      .asm_template = "sd.or<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -12725,7 +12725,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "4e6429160192",
+    {.uid = "2340e0085413",
      .mnemonic = "SD.PCR",
      .asm_template = "sd.pcr SrcL, [symbol]",
      .encoding_kind = "L32",
@@ -12740,7 +12740,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "5b65ed0a13c9",
+    {.uid = "e59bf90b50c3",
      .mnemonic = "SD.SMAX",
      .asm_template = "sd.smax<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -12755,7 +12755,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "31474faff237",
+    {.uid = "188d93125032",
      .mnemonic = "SD.SMIN",
      .asm_template = "sd.smin<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -12770,7 +12770,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "854cc53e5b65",
+    {.uid = "1602c58c2031",
      .mnemonic = "SD.U",
      .asm_template = "sd.u SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>]",
      .encoding_kind = "L32",
@@ -12785,7 +12785,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "0d7af57a68c8",
+    {.uid = "89c5ec42be68",
      .mnemonic = "SD.UMAX",
      .asm_template = "sd.umax<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -12800,7 +12800,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "eb1f770c8c37",
+    {.uid = "2388cbb378ac",
      .mnemonic = "SD.UMIN",
      .asm_template = "sd.umin<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -12815,7 +12815,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "23ed6f566772",
+    {.uid = "7655ceaf9497",
      .mnemonic = "SD.XOR",
      .asm_template = "sd.xor<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -12830,7 +12830,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "93a5e282bc1e",
+    {.uid = "fab563230a66",
      .mnemonic = "SDI",
      .asm_template = "sdi SrcL, [SrcR, simm]",
      .encoding_kind = "L32",
@@ -12845,7 +12845,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "13fc6b3e5eed",
+    {.uid = "cba5a4a04e7b",
      .mnemonic = "SDI.U",
      .asm_template = "sdi.u SrcL, [SrcR, simm]",
      .encoding_kind = "L32",
@@ -12860,7 +12860,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "89cbb60acd53",
+    {.uid = "90b4e93ef9d4",
      .mnemonic = "SETC.AND",
      .asm_template = "setc.and SrcL, SrcR<.sw, .uw, .not>",
      .encoding_kind = "L32",
@@ -12875,7 +12875,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "71953c53b18f",
+    {.uid = "32fe61c0559b",
      .mnemonic = "SETC.ANDI",
      .asm_template = "setc.andi SrcL, simm",
      .encoding_kind = "L32",
@@ -12890,7 +12890,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "5b3c1db79061",
+    {.uid = "fb06e1dddc5c",
      .mnemonic = "SETC.EQ",
      .asm_template = "setc.eq SrcL, SrcR<{.sw, .uw}>",
      .encoding_kind = "L32",
@@ -12905,7 +12905,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "59f7ff1d8707",
+    {.uid = "5b2366a4e55d",
      .mnemonic = "SETC.EQI",
      .asm_template = "setc.eqi SrcL, simm",
      .encoding_kind = "L32",
@@ -12920,7 +12920,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "b67724f42531",
+    {.uid = "56a2b539b072",
      .mnemonic = "SETC.GE",
      .asm_template = "setc.ge SrcL, SrcR<{.sw, .uw}>",
      .encoding_kind = "L32",
@@ -12935,7 +12935,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "47f1badfff34",
+    {.uid = "c3f4fdc4adcc",
      .mnemonic = "SETC.GEI",
      .asm_template = "setc.gei SrcL, simm",
      .encoding_kind = "L32",
@@ -12950,7 +12950,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "840231c0c297",
+    {.uid = "494f1f79099e",
      .mnemonic = "SETC.GEU",
      .asm_template = "setc.geu SrcL, SrcR<{.sw, .uw}>",
      .encoding_kind = "L32",
@@ -12965,7 +12965,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "2314f2526764",
+    {.uid = "6c34bc4ad314",
      .mnemonic = "SETC.GEUI",
      .asm_template = "setc.geui SrcL, uimm",
      .encoding_kind = "L32",
@@ -12980,7 +12980,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "3b019851f06f",
+    {.uid = "10de99f3ad6a",
      .mnemonic = "SETC.LT",
      .asm_template = "setc.lt SrcL, SrcR<{.sw, .uw}>",
      .encoding_kind = "L32",
@@ -12995,7 +12995,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "b52c260573ef",
+    {.uid = "89d74d948b74",
      .mnemonic = "SETC.LTI",
      .asm_template = "setc.lti SrcL, simm",
      .encoding_kind = "L32",
@@ -13010,7 +13010,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "e8f0be86d019",
+    {.uid = "4a1ff65ecafb",
      .mnemonic = "SETC.LTU",
      .asm_template = "setc.ltu SrcL, SrcR<{.sw, .uw}>",
      .encoding_kind = "L32",
@@ -13025,7 +13025,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "9de64cdb95a3",
+    {.uid = "7908d25901c6",
      .mnemonic = "SETC.LTUI",
      .asm_template = "setc.ltui SrcL, uimm",
      .encoding_kind = "L32",
@@ -13040,7 +13040,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "970844ff2f9d",
+    {.uid = "77576a5c690c",
      .mnemonic = "SETC.NE",
      .asm_template = "setc.ne SrcL, SrcR<{.sw, .uw}>",
      .encoding_kind = "L32",
@@ -13055,7 +13055,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "ad00412a2c42",
+    {.uid = "fa01e973ab76",
      .mnemonic = "SETC.NEI",
      .asm_template = "setc.nei SrcL, simm",
      .encoding_kind = "L32",
@@ -13070,7 +13070,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "7e7049d48a32",
+    {.uid = "740134c709d2",
      .mnemonic = "SETC.OR",
      .asm_template = "setc.or SrcL, SrcR<.sw, .uw, .not>",
      .encoding_kind = "L32",
@@ -13085,7 +13085,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "b8d2423ac08d",
+    {.uid = "183dc15fad54",
      .mnemonic = "SETC.ORI",
      .asm_template = "setc.ori SrcL, simm",
      .encoding_kind = "L32",
@@ -13100,7 +13100,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "1142be6a4568",
+    {.uid = "c02656d3a2b8",
      .mnemonic = "SETC.TGT",
      .asm_template = "setc.tgt SrcL",
      .encoding_kind = "L32",
@@ -13115,7 +13115,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "4f06d5a8c864",
+    {.uid = "72003dcf3b59",
      .mnemonic = "SETRET",
      .asm_template = "setret uimm, ->Ra",
      .encoding_kind = "L32",
@@ -13130,7 +13130,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "80b2371159a4",
+    {.uid = "bc7d4a7dea28",
      .mnemonic = "SH",
      .asm_template = "sh SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<1]",
      .encoding_kind = "L32",
@@ -13145,7 +13145,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "879c887630be",
+    {.uid = "14ba505eb3c2",
      .mnemonic = "SH.PCR",
      .asm_template = "sh.pcr SrcL, [symbol]",
      .encoding_kind = "L32",
@@ -13160,7 +13160,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "bf6553f1739e",
+    {.uid = "fa87afbf8f24",
      .mnemonic = "SH.U",
      .asm_template = "sh.u SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>]",
      .encoding_kind = "L32",
@@ -13175,7 +13175,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "871a7b8c3c21",
+    {.uid = "21351c202204",
      .mnemonic = "SHI",
      .asm_template = "shi SrcL, [SrcR, simm]",
      .encoding_kind = "L32",
@@ -13190,7 +13190,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "0029a9aab2b2",
+    {.uid = "caaf3ed72a8f",
      .mnemonic = "SHI.U",
      .asm_template = "shi.u SrcL, [SrcR, simm]",
      .encoding_kind = "L32",
@@ -13205,7 +13205,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "ec390af54378",
+    {.uid = "a100b8961e21",
      .mnemonic = "SLL",
      .asm_template = "sll SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13220,7 +13220,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "429ee9565626",
+    {.uid = "b43ca2454e3a",
      .mnemonic = "SLLI",
      .asm_template = "slli SrcL, shamt, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13235,7 +13235,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "3e4ad076fbfe",
+    {.uid = "c6bf463b97ae",
      .mnemonic = "SLLIW",
      .asm_template = "slliw SrcL, shamt, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13250,7 +13250,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "cbb3d01355c7",
+    {.uid = "a37b63c16b27",
      .mnemonic = "SLLW",
      .asm_template = "sllw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13265,7 +13265,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "a121613c8ef0",
+    {.uid = "ba03eea6386b",
      .mnemonic = "SRA",
      .asm_template = "sra SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13280,7 +13280,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "12275dbcf4a3",
+    {.uid = "e471ea84d4fd",
      .mnemonic = "SRAI",
      .asm_template = "srai SrcL, shamt, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13295,7 +13295,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "8187cca2c0bf",
+    {.uid = "db04a6299504",
      .mnemonic = "SRAIW",
      .asm_template = "sraiw SrcL, shamt, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13310,7 +13310,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "338dfb251c52",
+    {.uid = "5baf37f34241",
      .mnemonic = "SRAW",
      .asm_template = "sraw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13325,7 +13325,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "68dcf8b0f7e8",
+    {.uid = "5cfca42c59f3",
      .mnemonic = "SRL",
      .asm_template = "srl SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13340,7 +13340,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "169911e3d3be",
+    {.uid = "dd29ca058cfe",
      .mnemonic = "SRLI",
      .asm_template = "srli SrcL, shamt, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13355,7 +13355,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "915d4a723b73",
+    {.uid = "ef4aa650f46e",
      .mnemonic = "SRLIW",
      .asm_template = "srliw SrcL, shamt, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13370,7 +13370,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "a0c0469fb5ad",
+    {.uid = "2c6458b2aadb",
      .mnemonic = "SRLW",
      .asm_template = "srlw SrcL, SrcR, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13385,7 +13385,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "631c1632acb5",
+    {.uid = "959957ab6b75",
      .mnemonic = "SSRGET",
      .asm_template = "ssrget SSR_ID, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13400,7 +13400,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "b8183287cc8a",
+    {.uid = "4dd3b71802c6",
      .mnemonic = "SSRSET",
      .asm_template = "ssrset SrcL, SSR_ID",
      .encoding_kind = "L32",
@@ -13415,7 +13415,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "09746cac9337",
+    {.uid = "a01c7e2c7c29",
      .mnemonic = "SSRSWAP",
      .asm_template = "ssrswap SrcL, SSR_ID, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13430,7 +13430,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "44e15384f7e6",
+    {.uid = "af383d4a2b42",
      .mnemonic = "SUB",
      .asm_template = "sub SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13445,7 +13445,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "3affc814439d",
+    {.uid = "a0c87f5e7ac4",
      .mnemonic = "SUBI",
      .asm_template = "subi SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13460,7 +13460,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "cce8f90b8d62",
+    {.uid = "51019ff77d0a",
      .mnemonic = "SUBIW",
      .asm_template = "subiw SrcL, uimm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13475,7 +13475,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "f266a4b8d382",
+    {.uid = "3a8d45653c98",
      .mnemonic = "SUBW",
      .asm_template = "subw SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -13490,7 +13490,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "4fdd666796e5",
+    {.uid = "28ad317b1b41",
      .mnemonic = "SW",
      .asm_template = "sw SrcD, [SrcL, SrcR<{.sw,.uw,.neg}><<2]",
      .encoding_kind = "L32",
@@ -13505,7 +13505,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "cdc21110aec6",
+    {.uid = "3dca755552cb",
      .mnemonic = "SW.ADD",
      .asm_template = "sw.add<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -13520,7 +13520,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "2c5dbd101b9c",
+    {.uid = "7ef0872d5502",
      .mnemonic = "SW.AND",
      .asm_template = "sw.and<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -13535,7 +13535,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "23725511705c",
+    {.uid = "354579538c4e",
      .mnemonic = "SW.OR",
      .asm_template = "sw.or<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -13550,7 +13550,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "0976817e543a",
+    {.uid = "436677679523",
      .mnemonic = "SW.PCR",
      .asm_template = "sw.pcr SrcL, [symbol]",
      .encoding_kind = "L32",
@@ -13565,7 +13565,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "b2f2db9c26ee",
+    {.uid = "8bab38a878d7",
      .mnemonic = "SW.SMAX",
      .asm_template = "sw.smax<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -13580,7 +13580,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "6aa9a7fd742e",
+    {.uid = "773e7d83b011",
      .mnemonic = "SW.SMIN",
      .asm_template = "sw.smin<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -13595,7 +13595,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "9f812ca5bf87",
+    {.uid = "718a61f75d33",
      .mnemonic = "SW.U",
      .asm_template = "sw.u SrcD, [SrcL, SrcR<{.sw,.uw,.neg}>]",
      .encoding_kind = "L32",
@@ -13610,7 +13610,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "6a5330a64d74",
+    {.uid = "5530dfa23323",
      .mnemonic = "SW.UMAX",
      .asm_template = "sw.umax<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -13625,7 +13625,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "98008dc9a665",
+    {.uid = "3ce114819cfc",
      .mnemonic = "SW.UMIN",
      .asm_template = "sw.umin<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -13640,7 +13640,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "5f8233437aed",
+    {.uid = "874c32572226",
      .mnemonic = "SW.XOR",
      .asm_template = "sw.xor<.{rl, f, rlf}> [SrcL], SrcR",
      .encoding_kind = "L32",
@@ -13655,7 +13655,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 4,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "1595e5ac6857",
+    {.uid = "80733f03b77f",
      .mnemonic = "SWAPB",
      .asm_template = "swapb<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -13670,7 +13670,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "de13dd7c6406",
+    {.uid = "cd31ccde2303",
      .mnemonic = "SWAPD",
      .asm_template = "swapd<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -13685,7 +13685,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "60efe56aa597",
+    {.uid = "8c2d4a28bf25",
      .mnemonic = "SWAPH",
      .asm_template = "swaph<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -13700,7 +13700,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "fc4f50e6139b",
+    {.uid = "ef15c3ebac33",
      .mnemonic = "SWAPW",
      .asm_template = "swapw<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, {->t, ->u, ->Rd}",
      .encoding_kind = "L32",
@@ -13715,7 +13715,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 6,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "20c6d8c05d74",
+    {.uid = "147e55489c41",
      .mnemonic = "SWI",
      .asm_template = "swi SrcL, [SrcR, simm]",
      .encoding_kind = "L32",
@@ -13730,7 +13730,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "05ddb4525450",
+    {.uid = "1630e926da1a",
      .mnemonic = "SWI.U",
      .asm_template = "swi.u SrcL, [SrcR, simm]",
      .encoding_kind = "L32",
@@ -13745,7 +13745,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "c51104bbc469",
+    {.uid = "e794d6bf347e",
      .mnemonic = "TLB.IA",
      .asm_template = "tlb.ia SrcL",
      .encoding_kind = "L32",
@@ -13760,7 +13760,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "6ba8b1f1b813",
+    {.uid = "0fb421b85c88",
      .mnemonic = "TLB.IALL",
      .asm_template = "tlb.iall",
      .encoding_kind = "L32",
@@ -13775,7 +13775,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 0,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "f7dd01305fed",
+    {.uid = "95f4937d2917",
      .mnemonic = "TLB.IAV",
      .asm_template = "tlb.iav SrcL",
      .encoding_kind = "L32",
@@ -13790,7 +13790,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "d5562480924a",
+    {.uid = "bf0a5d1ea211",
      .mnemonic = "TLB.IV",
      .asm_template = "tlb.iv SrcL",
      .encoding_kind = "L32",
@@ -13805,7 +13805,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 1,
      .constraint_start = 761,
      .constraint_count = 0},
-    {.uid = "828c970cf295",
+    {.uid = "987f4e019c32",
      .mnemonic = "UCVTF",
      .asm_template = "ucvtf.{srcT2dstT} SrcL, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -16580,7 +16580,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 780,
      .constraint_count = 0},
-    {.uid = "1c3043ef6fa8",
+    {.uid = "40ad190a0a7f",
      .mnemonic = "XB",
      .asm_template = "XB ACR-ID, C-ID",
      .encoding_kind = "L32",
@@ -16595,7 +16595,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 2,
      .constraint_start = 780,
      .constraint_count = 0},
-    {.uid = "068757596736",
+    {.uid = "33510860c585",
      .mnemonic = "XOR",
      .asm_template = "xor SrcL, SrcR<{.sw,.uw,.not}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -16610,7 +16610,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 5,
      .constraint_start = 780,
      .constraint_count = 0},
-    {.uid = "879e08eb6d7b",
+    {.uid = "5cf7e5be17e7",
      .mnemonic = "XORI",
      .asm_template = "xori SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -16625,7 +16625,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 780,
      .constraint_count = 0},
-    {.uid = "36bd3823f008",
+    {.uid = "1f8c6f43e2bd",
      .mnemonic = "XORIW",
      .asm_template = "xoriw SrcL, simm, ->{t, u, Rd}",
      .encoding_kind = "L32",
@@ -16640,7 +16640,7 @@ const MinstFormDesc kForms[] = {
      .field_count = 3,
      .constraint_start = 780,
      .constraint_count = 0},
-    {.uid = "48dec774b9d6",
+    {.uid = "32282566e32d",
      .mnemonic = "XORW",
      .asm_template = "xorw SrcL, SrcR<{.sw,.uw,.not}><<<shamt>, ->{t, u, Rd}",
      .encoding_kind = "L32",
diff --git a/src/linx_model_cli.cpp b/src/linx_model_cli.cpp
index 36c4ca1..51074c1 100644
--- a/src/linx_model_cli.cpp
+++ b/src/linx_model_cli.cpp
@@ -2,6 +2,7 @@
 
 #include <filesystem>
 #include <fstream>
+#include <limits>
 #include <memory>
 
 namespace {
@@ -18,7 +19,35 @@ using linx::model::emulator::ReferenceExecutor;
 using linx::model::emulator::WriteMinstRecordDump;
 using linx::model::emulator::WriteMinstRecordJson;
 
-int RunReferenceEngine(const SimMainArgs &args, std::ostream &out, std::ostream &) {
+int WriteResultDump(const SimMainArgs &args, const ExecutionContext &ctx, std::ostream &err) {
+  if (!args.result_dump_path.has_value()) {
+    return 0;
+  }
+  if (*args.result_size > std::numeric_limits<std::size_t>::max()) {
+    err << "result dump size exceeds host limits\n";
+    return 1;
+  }
+  const auto bytes =
+      ctx.ReadMemoryRange(*args.result_address, static_cast<std::size_t>(*args.result_size));
+  if (!bytes.has_value()) {
+    err << "result memory range is not fully mapped\n";
+    return 1;
+  }
+  const std::filesystem::path path(*args.result_dump_path);
+  if (path.has_parent_path()) {
+    std::filesystem::create_directories(path.parent_path());
+  }
+  std::ofstream output(path, std::ios::binary | std::ios::trunc);
+  output.write(reinterpret_cast<const char *>(bytes->data()),
+               static_cast<std::streamsize>(bytes->size()));
+  if (!output.good()) {
+    err << "failed to write result memory: " << path << '\n';
+    return 1;
+  }
+  return 0;
+}
+
+int RunReferenceEngine(const SimMainArgs &args, std::ostream &out, std::ostream &err) {
   auto ctx = std::make_shared<ExecutionContext>();
   auto executor = std::make_shared<ReferenceExecutor>(ctx);
   if (args.program_path.has_value()) {
@@ -35,7 +64,8 @@ int RunReferenceEngine(const SimMainArgs &args, std::ostream &out, std::ostream
     ctx->SetTracePath(*args.emit_trace_path);
   }
   executor->Run(args.stop_pc, args.max_cycles);
-  return ctx->ExitCode();
+  const int exit_code = ctx->ExitCode();
+  return exit_code == 0 ? WriteResultDump(args, *ctx, err) : exit_code;
 }
 
 void WriteMismatchDump(const SimMainArgs &args,
@@ -127,7 +157,8 @@ int RunCompareEngine(const SimMainArgs &args, std::ostream &, std::ostream &err)
         << " ca=" << ca_sim->Context().Committed().size() << '\n';
     return 3;
   }
-  return std::max(ref_ctx->ExitCode(), ca_sim->Context().ExitCode());
+  const int exit_code = std::max(ref_ctx->ExitCode(), ca_sim->Context().ExitCode());
+  return exit_code == 0 ? WriteResultDump(args, ca_sim->Context(), err) : exit_code;
 }
 
 } // namespace
@@ -147,5 +178,6 @@ int main(int argc, char **argv) {
   }
 
   auto sim = std::make_shared<ExecutorBackedSim>();
-  return RunSimMain(*sim, *parsed);
+  const int result = RunSimMain(*sim, *parsed);
+  return result == 0 ? WriteResultDump(*parsed, sim->Context(), std::cerr) : result;
 }
diff --git a/src/sim_main.cpp b/src/sim_main.cpp
index 64594b1..7704284 100644
--- a/src/sim_main.cpp
+++ b/src/sim_main.cpp
@@ -20,6 +20,10 @@ void PrintUsage(std::ostream &os, const char *program) {
      << "  --raw-base <addr>   Base address for raw non-ELF binaries\n"
      << "  --emit-minst-trace <path>\n"
      << "                      Emit Minst-native JSONL trace records\n"
+     << "  --result-dump <path>\n"
+     << "  --result-address <addr>\n"
+     << "  --result-size <bytes>\n"
+     << "                      Export architecture-visible result memory\n"
      << "  --disasm            Print program disassembly before simulation\n"
      << "  --disasm-only       Print program disassembly and exit\n"
      << "  --compare-window <n> Buffered compare window size (default 128)\n"
@@ -123,6 +127,37 @@ std::optional<SimMainArgs> ParseSimMainArgs(int argc, char **argv, std::ostream
       continue;
     }
 
+    if (Matches(arg, "--result-dump")) {
+      if (i + 1 >= argc) {
+        err << "missing value for --result-dump\n";
+        exit_code = 1;
+        return std::nullopt;
+      }
+      args.result_dump_path = std::string(argv[++i]);
+      continue;
+    }
+
+    if (Matches(arg, "--result-address") || Matches(arg, "--result-size")) {
+      if (i + 1 >= argc) {
+        err << "missing value for " << arg << '\n';
+        exit_code = 1;
+        return std::nullopt;
+      }
+      try {
+        const auto value = ParseUnsignedArg(argv[++i]);
+        if (Matches(arg, "--result-address")) {
+          args.result_address = value;
+        } else {
+          args.result_size = value;
+        }
+      } catch (const std::exception &) {
+        err << "invalid integer for " << arg << ": " << argv[i] << '\n';
+        exit_code = 1;
+        return std::nullopt;
+      }
+      continue;
+    }
+
     if (Matches(arg, "--max-cycles")) {
       if (i + 1 >= argc) {
         err << "missing value for --max-cycles\n";
@@ -206,6 +241,20 @@ std::optional<SimMainArgs> ParseSimMainArgs(int argc, char **argv, std::ostream
     return std::nullopt;
   }
 
+  const unsigned result_option_count = static_cast<unsigned>(args.result_dump_path.has_value()) +
+                                       static_cast<unsigned>(args.result_address.has_value()) +
+                                       static_cast<unsigned>(args.result_size.has_value());
+  if (result_option_count != 0U && result_option_count != 3U) {
+    err << "--result-dump, --result-address, and --result-size must be specified together\n";
+    exit_code = 1;
+    return std::nullopt;
+  }
+  if (args.result_size == 0) {
+    err << "--result-size must be greater than zero\n";
+    exit_code = 1;
+    return std::nullopt;
+  }
+
   exit_code = 0;
   return args;
 }
diff --git a/tests/avs/run_model_diff_suite.py b/tests/avs/run_model_diff_suite.py
index f7d141b..cbdac13 100644
--- a/tests/avs/run_model_diff_suite.py
+++ b/tests/avs/run_model_diff_suite.py
@@ -24,6 +24,28 @@ def _run(cmd: list[str], *, env: dict[str, str] | None = None, cwd: Path | None
     )
 
 
+def _run_with_fresh_output(
+    cmd: list[str],
+    output: Path,
+    *,
+    consumer: str,
+    env: dict[str, str] | None = None,
+    cwd: Path | None = None,
+) -> subprocess.CompletedProcess[str]:
+    if output.exists():
+        if not output.is_file():
+            raise SystemExit(
+                f"error: {consumer} result output is not a removable file: {output}"
+            )
+        output.unlink()
+    result = _run(cmd, env=env, cwd=cwd)
+    if result.returncode == 0 and not output.is_file():
+        raise SystemExit(
+            f"error: {consumer} did not create fresh result memory: {output}"
+        )
+    return result
+
+
 def _load_suite(path: Path) -> dict[str, Any]:
     import yaml  # type: ignore
 
@@ -37,6 +59,12 @@ def _default_bin(root: Path, rel: str) -> Path:
     return root / rel
 
 
+def _selected_cases(cases: list[dict[str, Any]], profile: str) -> list[dict[str, Any]]:
+    if not profile:
+        return cases
+    return [case for case in cases if profile in case.get("required_in_profile", [])]
+
+
 def _sha256(path: Path) -> str:
     digest = hashlib.sha256()
     with path.open("rb") as stream:
@@ -55,6 +83,41 @@ def _capture_artifacts(paths: dict[str, Path]) -> dict[str, dict[str, str]]:
     return artifacts
 
 
+def _git_identity(path: Path) -> dict[str, Any]:
+    resolved = path.resolve()
+    commit = _run(["git", "-C", str(resolved), "rev-parse", "HEAD"])
+    tree = _run(["git", "-C", str(resolved), "rev-parse", "HEAD^{tree}"])
+    if commit.returncode != 0 or tree.returncode != 0:
+        raise SystemExit(f"error: cannot authenticate Git component: {resolved}")
+    status = _run(
+        ["git", "-C", str(resolved), "status", "--porcelain", "--untracked-files=no"]
+    )
+    if status.returncode != 0 or status.stdout.strip():
+        raise SystemExit(f"error: Git component is not clean: {resolved}")
+    return {
+        "path": str(resolved),
+        "commit": commit.stdout.strip(),
+        "tree": tree.stdout.strip(),
+        "clean": True,
+    }
+
+
+def _capture_components(root: Path) -> dict[str, dict[str, Any]]:
+    return {
+        "compiler": _git_identity(root / "compiler/llvm"),
+        "model": _git_identity(root / "tools/model"),
+        "qemu": _git_identity(root / "emulator/qemu"),
+    }
+
+
+def _verify_components(components: dict[str, dict[str, Any]], consumer: str) -> None:
+    for name, expected in sorted(components.items()):
+        if _git_identity(Path(expected["path"])) != expected:
+            raise SystemExit(
+                f"error: component {name} identity changed before {consumer}"
+            )
+
+
 def _verify_artifacts(artifacts: dict[str, dict[str, str]], consumer: str) -> None:
     for name, row in sorted(artifacts.items()):
         path = Path(row["path"])
@@ -90,6 +153,27 @@ def _validate_trace(validator: Path, trace: Path, case: dict[str, Any]) -> subpr
     return _run(cmd)
 
 
+def _load_result_contract(root: Path, case: dict[str, Any]) -> tuple[Path, Path, int, int] | None:
+    manifest_name = case.get("result_manifest")
+    golden_name = case.get("golden")
+    if manifest_name is None and golden_name is None:
+        return None
+    if not isinstance(manifest_name, str) or not isinstance(golden_name, str):
+        raise SystemExit("error: result_manifest and golden must be specified together")
+    manifest_path = (root / manifest_name).resolve()
+    golden_path = (root / golden_name).resolve()
+    try:
+        manifest = json.loads(manifest_path.read_text(encoding="utf-8"))
+        result = manifest["result_memory"]
+        address = int(result["address"])
+        size = int(result["size"])
+    except (OSError, KeyError, TypeError, ValueError, json.JSONDecodeError) as exc:
+        raise SystemExit(f"error: invalid result manifest {manifest_path}: {exc}") from exc
+    if address <= 0 or size <= 0:
+        raise SystemExit(f"error: invalid result range in {manifest_path}")
+    return manifest_path, golden_path, address, size
+
+
 def _compile_case(root: Path, workdir: Path, case: dict[str, Any], clang: Path, clangxx: Path, llvm_mc: Path, llc: Path, lld: Path) -> Path:
     src = root / str(case["source"])
     obj = workdir / "case.o"
@@ -123,8 +207,27 @@ def _compile_case(root: Path, workdir: Path, case: dict[str, Any], clang: Path,
         raise SystemExit(f"error: unsupported source kind {kind!r} for {src}")
     if result.returncode != 0:
         raise SystemExit(result.stdout)
-    linked = workdir / "linked.o"
-    result = _run([str(lld), "-r", "-o", str(linked), str(obj)])
+    if case.get("link_mode") == "release-executable":
+        contract = _load_result_contract(root, case)
+        if contract is None:
+            raise SystemExit("error: release-executable requires result manifest")
+        _, _, result_address, _ = contract
+        linked = workdir / "case.elf"
+        link_command = [
+            str(lld),
+            "--image-base=0",
+            "-e",
+            "_start",
+            "-Ttext=0",
+            f"--section-start=.result={result_address:#x}",
+            "-o",
+            str(linked),
+            str(obj),
+        ]
+    else:
+        linked = workdir / "linked.o"
+        link_command = [str(lld), "-r", "-o", str(linked), str(obj)]
+    result = _run(link_command)
     if result.returncode != 0:
         raise SystemExit(result.stdout)
     return linked
@@ -180,6 +283,54 @@ def _first_mismatch(ref_rows: list[dict[str, Any]], other_rows: list[dict[str, A
     return None
 
 
+def _result_row(path: Path, consumer_sha256: str) -> dict[str, Any]:
+    if not path.is_file():
+        raise SystemExit(f"error: result memory output is missing: {path}")
+    return {
+        "path": str(path.resolve()),
+        "sha256": _sha256(path),
+        "size": path.stat().st_size,
+        "consumer_sha256": consumer_sha256,
+    }
+
+
+def _comparison_evidence(
+    results: dict[str, dict[str, Any]], artifacts: dict[str, dict[str, str]]
+) -> tuple[dict[str, dict[str, Any]], dict[str, dict[str, Any]]]:
+    golden_path = Path(artifacts["golden"]["path"])
+    golden_bytes = golden_path.read_bytes()
+    golden_sha256 = artifacts["golden"]["sha256"]
+    comparisons: dict[str, dict[str, Any]] = {}
+    result_bytes: dict[str, bytes] = {}
+    for consumer, row in results.items():
+        actual = Path(row["path"]).read_bytes()
+        if actual != golden_bytes:
+            raise SystemExit(f"error: {consumer} result memory differs from independent golden")
+        result_bytes[consumer] = actual
+        comparisons[consumer] = {
+            "status": "pass",
+            "actual_sha256": row["sha256"],
+            "golden_sha256": golden_sha256,
+            "consumer_sha256": artifacts[consumer]["sha256"],
+            "size": len(actual),
+        }
+    pairwise: dict[str, dict[str, Any]] = {}
+    consumers = ("qemu", "ref", "compare")
+    for index, left in enumerate(consumers):
+        for right in consumers[index + 1 :]:
+            if result_bytes[left] != result_bytes[right]:
+                raise SystemExit(f"error: result memory differs for {left} and {right}")
+            pairwise[f"{left}:{right}"] = {
+                "status": "pass",
+                "left_sha256": results[left]["sha256"],
+                "right_sha256": results[right]["sha256"],
+                "left_consumer_sha256": artifacts[left]["sha256"],
+                "right_consumer_sha256": artifacts[right]["sha256"],
+                "size": len(result_bytes[left]),
+            }
+    return comparisons, pairwise
+
+
 def main(argv: list[str]) -> int:
     ap = argparse.ArgumentParser(description="Run tools/model differential suite")
     ap.add_argument("--root", default="")
@@ -187,6 +338,7 @@ def main(argv: list[str]) -> int:
     ap.add_argument("--workdir", default="")
     ap.add_argument("--qemu", default="")
     ap.add_argument("--qemu-bios", default="")
+    ap.add_argument("--profile", default="")
     args = ap.parse_args(argv)
 
     root = Path(args.root).resolve() if args.root else Path(__file__).resolve().parents[4]
@@ -213,31 +365,70 @@ def main(argv: list[str]) -> int:
         base = Path(tempfile.mkdtemp(prefix="linx-model-suite."))
 
     ok = True
-    summary: dict[str, Any] = {"suite": str(suite_path), "cases": []}
-    for idx, case in enumerate(suite.get("cases", [])):
+    summary: dict[str, Any] = {
+        "suite": str(suite_path),
+        "suite_sha256": _sha256(suite_path),
+        "cases": [],
+    }
+    cases = _selected_cases(list(suite.get("cases", [])), args.profile)
+    if not cases:
+        raise SystemExit(f"error: no cases selected for profile {args.profile!r}")
+    for idx, case in enumerate(cases):
         case_id = str(case["id"])
         case_dir = base / f"{idx:02d}_{case_id}"
         case_dir.mkdir(parents=True, exist_ok=True)
         obj = _compile_case(root, case_dir, case, clang, clangxx, llvm_mc, llc, lld)
         source_path = root / str(case["source"])
-        artifacts = _capture_artifacts(
-            {
-                "compiler": _case_compiler(case, source_path, clang, clangxx, llvm_mc, llc),
-                "linker": lld,
-                "elf": obj,
-                "qemu": qemu,
-                "model": cli,
-                "manifest": suite_path,
-            }
-        )
-        provenance = {"artifacts": artifacts, "verified_after_run": False}
+        result_contract = _load_result_contract(root, case)
+        artifact_paths = {
+            "compiler": _case_compiler(case, source_path, clang, clangxx, llvm_mc, llc),
+            "linker": lld,
+            "elf": obj,
+            "qemu": qemu,
+            "qemu_source_marker": qemu.parent / ".linx_qemu_clean_head",
+        }
+        if result_contract is None:
+            artifact_paths.update({"model": cli, "manifest": suite_path})
+        else:
+            manifest_path, golden_path, _, _ = result_contract
+            artifact_paths.update(
+                {"ref": cli, "compare": cli, "manifest": manifest_path, "golden": golden_path}
+            )
+        artifacts = _capture_artifacts(artifact_paths)
+        inputs = _capture_artifacts({"source": source_path, "suite": suite_path})
+        components = _capture_components(root)
+        provenance = {
+            "artifacts": artifacts,
+            "inputs": inputs,
+            "components": components,
+            "verified_after_run": False,
+        }
 
         ref_trace = case_dir / "ref.jsonl"
         ca_trace = case_dir / "ca.jsonl"
         qemu_trace = case_dir / "qemu.jsonl"
+        ref_result = case_dir / "ref.result.bin"
+        compare_result = case_dir / "compare.result.bin"
+        qemu_result = case_dir / "qemu.result.bin"
+        model_result_args: list[str] = []
+        if result_contract is not None:
+            _, _, result_address, result_size = result_contract
+            model_result_args = [
+                "--result-address",
+                str(result_address),
+                "--result-size",
+                str(result_size),
+            ]
 
         _verify_artifacts(artifacts, "reference model")
-        result = _run([str(cli), "--engine", "ref", "--bin", str(obj), "--emit-minst-trace", str(ref_trace), "--max-cycles", "512"])
+        _verify_artifacts(inputs, "reference model")
+        _verify_components(components, "reference model")
+        ref_command = [str(cli), "--engine", "ref", "--bin", str(obj), "--emit-minst-trace", str(ref_trace), "--max-cycles", "512", *model_result_args, *(["--result-dump", str(ref_result)] if result_contract is not None else [])]
+        result = (
+            _run_with_fresh_output(ref_command, ref_result, consumer="ref")
+            if result_contract is not None
+            else _run(ref_command)
+        )
         if result.returncode != 0:
             summary["cases"].append({"id": case_id, "status": "fail", "stage": "ref", "log": result.stdout, "provenance": provenance})
             ok = False
@@ -249,7 +440,14 @@ def main(argv: list[str]) -> int:
             continue
 
         _verify_artifacts(artifacts, "compare model")
-        result = _run([str(cli), "--engine", "compare", "--bin", str(obj), "--emit-minst-trace", str(ca_trace), "--max-cycles", "512"])
+        _verify_artifacts(inputs, "compare model")
+        _verify_components(components, "compare model")
+        compare_command = [str(cli), "--engine", "compare", "--bin", str(obj), "--emit-minst-trace", str(ca_trace), "--max-cycles", "512", *model_result_args, *(["--result-dump", str(compare_result)] if result_contract is not None else [])]
+        result = (
+            _run_with_fresh_output(compare_command, compare_result, consumer="compare")
+            if result_contract is not None
+            else _run(compare_command)
+        )
         if result.returncode != 0:
             summary["cases"].append({"id": case_id, "status": "fail", "stage": "compare", "log": result.stdout})
             ok = False
@@ -262,12 +460,27 @@ def main(argv: list[str]) -> int:
 
         env = dict(os.environ)
         env["LINX_MINST_TRACE"] = str(qemu_trace)
-        qemu_cmd = [str(qemu), "-nographic", "-monitor", "none", "-machine", "virt"]
+        machine = "virt"
+        if result_contract is not None:
+            _, _, result_address, result_size = result_contract
+            machine = (
+                f"virt,cross-model-dump={qemu_result},"
+                f"cross-model-address={result_address},cross-model-size={result_size}"
+            )
+        qemu_cmd = [str(qemu), "-nographic", "-monitor", "none", "-machine", machine]
         if args.qemu_bios:
             qemu_cmd.extend(["-bios", args.qemu_bios])
         qemu_cmd.extend(["-kernel", str(obj)])
         _verify_artifacts(artifacts, "qemu")
-        result = _run(qemu_cmd, env=env)
+        _verify_artifacts(inputs, "qemu")
+        _verify_components(components, "qemu")
+        result = (
+            _run_with_fresh_output(
+                qemu_cmd, qemu_result, consumer="qemu", env=env
+            )
+            if result_contract is not None
+            else _run(qemu_cmd, env=env)
+        )
         if result.returncode != 0:
             summary["cases"].append({"id": case_id, "status": "fail", "stage": "qemu", "log": result.stdout})
             ok = False
@@ -331,8 +544,31 @@ def main(argv: list[str]) -> int:
             continue
 
         _verify_artifacts(artifacts, "final verification")
+        _verify_artifacts(inputs, "final verification")
+        _verify_components(components, "final verification")
         provenance["verified_after_run"] = True
-        summary["cases"].append({"id": case_id, "status": "pass", "provenance": provenance})
+        case_summary: dict[str, Any] = {
+            "id": case_id,
+            "source": str(source_path.resolve()),
+            "source_sha256": inputs["source"]["sha256"],
+            "status": "pass",
+            "provenance": provenance,
+        }
+        if result_contract is not None:
+            result_memory = {
+                "qemu": _result_row(qemu_result, artifacts["qemu"]["sha256"]),
+                "ref": _result_row(ref_result, artifacts["ref"]["sha256"]),
+                "compare": _result_row(compare_result, artifacts["compare"]["sha256"]),
+            }
+            comparisons, pairwise = _comparison_evidence(result_memory, artifacts)
+            case_summary.update(
+                {
+                    "result_memory": result_memory,
+                    "golden_comparisons": comparisons,
+                    "pairwise_comparisons": pairwise,
+                }
+            )
+        summary["cases"].append(case_summary)
 
     print(json.dumps(summary, indent=2, sort_keys=True))
     return 0 if ok else 1
diff --git a/tests/avs/test_run_model_diff_suite.py b/tests/avs/test_run_model_diff_suite.py
new file mode 100644
index 0000000..b85e80f
--- /dev/null
+++ b/tests/avs/test_run_model_diff_suite.py
@@ -0,0 +1,72 @@
+#!/usr/bin/env python3
+from __future__ import annotations
+
+import importlib.util
+import subprocess
+import tempfile
+import unittest
+from pathlib import Path
+from unittest import mock
+
+
+RUNNER_PATH = Path(__file__).with_name("run_model_diff_suite.py")
+SPEC = importlib.util.spec_from_file_location("model_diff_runner", RUNNER_PATH)
+assert SPEC is not None and SPEC.loader is not None
+model_diff_runner = importlib.util.module_from_spec(SPEC)
+SPEC.loader.exec_module(model_diff_runner)
+
+
+class ModelDiffRunnerTests(unittest.TestCase):
+    def test_consumer_cannot_reuse_stale_result_output(self) -> None:
+        with tempfile.TemporaryDirectory() as td:
+            result = Path(td) / "result.bin"
+            result.write_bytes(b"stale")
+            completed = subprocess.CompletedProcess([], 0, "")
+            with mock.patch.object(
+                model_diff_runner, "_run", return_value=completed
+            ):
+                with self.assertRaisesRegex(SystemExit, "fresh result memory"):
+                    model_diff_runner._run_with_fresh_output(
+                        ["consumer"], result, consumer="qemu"
+                    )
+            self.assertFalse(result.exists())
+
+    def test_consumer_must_create_result_after_invocation(self) -> None:
+        with tempfile.TemporaryDirectory() as td:
+            result = Path(td) / "result.bin"
+
+            def produce(_cmd: list[str], **_kwargs: object) -> subprocess.CompletedProcess[str]:
+                result.write_bytes(b"fresh")
+                return subprocess.CompletedProcess([], 0, "")
+
+            with mock.patch.object(model_diff_runner, "_run", side_effect=produce):
+                completed = model_diff_runner._run_with_fresh_output(
+                    ["consumer"], result, consumer="ref"
+                )
+            self.assertEqual(completed.returncode, 0)
+            self.assertEqual(result.read_bytes(), b"fresh")
+
+    def test_dump_failure_cannot_leave_reusable_result(self) -> None:
+        with tempfile.TemporaryDirectory() as td:
+            result = Path(td) / "result.bin"
+            result.write_bytes(b"stale")
+            failed = subprocess.CompletedProcess([], 7, "dump failed")
+            with mock.patch.object(model_diff_runner, "_run", return_value=failed):
+                completed = model_diff_runner._run_with_fresh_output(
+                    ["consumer"], result, consumer="qemu"
+                )
+            self.assertEqual(completed.returncode, 7)
+            self.assertFalse(result.exists())
+
+    def test_release_profile_selects_only_required_cases(self) -> None:
+        cases = [
+            {"id": "dev", "required_in_profile": ["dev"]},
+            {"id": "release", "required_in_profile": ["release-strict"]},
+            {"id": "both", "required_in_profile": ["dev", "release-strict"]},
+        ]
+        selected = model_diff_runner._selected_cases(cases, "release-strict")
+        self.assertEqual([case["id"] for case in selected], ["release", "both"])
+
+
+if __name__ == "__main__":
+    unittest.main()
diff --git a/tests/checks/test_gen_minst_codec.py b/tests/checks/test_gen_minst_codec.py
index f1350ee..a647113 100644
--- a/tests/checks/test_gen_minst_codec.py
+++ b/tests/checks/test_gen_minst_codec.py
@@ -142,6 +142,9 @@ def test_exact_v0581_authority_and_codec_shape_are_accepted(self) -> None:
 
         forms, *_ = gen_minst_codec.build_forms(self.spec)
         by_name = {form["mnemonic"]: form for form in forms}
+        self.assertEqual(by_name["C.BSTART.STD"]["uid"], "8b40f078c14a")
+        self.assertEqual(by_name["ADDI"]["uid"], "2decd0a93a0a")
+        self.assertEqual(by_name["BSTART.TLOAD"]["uid"], "d0c18bb0ab15")
         self.assertEqual(
             (by_name["B.FPATR"]["mask"], by_name["B.FPATR"]["match"]),
             (0x7FFF, 0x2023),
diff --git a/tests/system/sim_system_test.cpp b/tests/system/sim_system_test.cpp
index 2be9491..35956bd 100644
--- a/tests/system/sim_system_test.cpp
+++ b/tests/system/sim_system_test.cpp
@@ -197,6 +197,29 @@ int RunArgParseSmoke() {
   return 0;
 }
 
+int RunResultDumpArgParseSmoke() {
+  std::ostringstream out;
+  std::ostringstream err;
+  int exit_code = -1;
+  const char *argv[] = {
+      "linx-model",
+      "--result-dump",
+      "/tmp/result.bin",
+      "--result-address",
+      "0x20000",
+      "--result-size",
+      "12",
+  };
+  const auto parsed = linx::model::detail::ParseSimMainArgs(
+      static_cast<int>(std::size(argv)), const_cast<char **>(argv), out, err, exit_code);
+  if (!parsed.has_value() || exit_code != 0 || !err.str().empty() ||
+      parsed->result_dump_path != "/tmp/result.bin" || parsed->result_address != 0x20000 ||
+      parsed->result_size != 12) {
+    return 10;
+  }
+  return 0;
+}
+
 std::vector<std::uint8_t> EncodeAddBytes() {
   const auto *form = linx::model::isa::LookupFormByMnemonic("ADD");
   if (form == nullptr) {
@@ -380,6 +403,9 @@ int main() {
   if (RunArgParseSmoke() != 0) {
     return 2;
   }
+  if (RunResultDumpArgParseSmoke() != 0) {
+    return 6;
+  }
   if (RunInnerQueueSmoke() != 0) {
     return 3;
   }
diff --git a/tests/unit/emulator_test.cpp b/tests/unit/emulator_test.cpp
index 75c20f4..3871d0d 100644
--- a/tests/unit/emulator_test.cpp
+++ b/tests/unit/emulator_test.cpp
@@ -69,6 +69,17 @@ int TestStateReset() {
   return 0;
 }
 
+int TestMemoryRangeRead() {
+  ExecutionContext ctx;
+  ctx.Write32(0x20000, 0x646c6f67U);
+  const auto bytes = ctx.ReadMemoryRange(0x20000, 4);
+  if (!bytes.has_value() || *bytes != std::vector<std::uint8_t>({'g', 'o', 'l', 'd'}) ||
+      ctx.ReadMemoryRange(0x20002, 4).has_value()) {
+    return 44;
+  }
+  return 0;
+}
+
 int TestSharedTileState() {
   SharedTileBank bank;
   const SharedTileDescriptor descriptor{
@@ -176,7 +187,7 @@ int TestSharedTileBindingPolicy() {
 int TestSharedTileBindingDecode() {
   Minst inst;
   if (DecodeMinstPacked(0x00001013ULL, 32, inst) != MinstCodecStatus::Ok ||
-      inst.mnemonic != "B.IOS" || inst.form_id != "11ff57a2e635") {
+      inst.mnemonic != "B.IOS" || inst.form_id != "4ba5ef98fdaa") {
     return 40;
   }
   const std::uint64_t boundary = 0x00001013ULL | (0xffULL << 20U) | (0xfULL << 15U) | (7ULL << 9U);
@@ -203,7 +214,7 @@ int TestSharedTileBindingDecode() {
 
 int TestTileHeadersAndUnsupportedScalar() {
   {
-    const auto bytes = EncodedBytes(BuildZeroInst("3c9e83c5a42f")); // BSTART.TPREFETCH
+    const auto bytes = EncodedBytes(BuildZeroInst("d5f83e5aadf6")); // BSTART.TPREFETCH
     if (bytes.empty()) {
       return 23;
     }
@@ -219,7 +230,7 @@ int TestTileHeadersAndUnsupportedScalar() {
   }
 
   {
-    const auto bytes = EncodedBytes(BuildZeroInst("5793d27aa023")); // BSTART.TGEMV
+    const auto bytes = EncodedBytes(BuildZeroInst("ae19f5b678f5")); // BSTART.TGEMV
     if (bytes.empty()) {
       return 25;
     }
@@ -235,7 +246,7 @@ int TestTileHeadersAndUnsupportedScalar() {
   }
 
   {
-    const auto bytes = EncodedBytes(BuildZeroInst("60f1b44a0423")); // CASB
+    const auto bytes = EncodedBytes(BuildZeroInst("7e529b871832")); // CASB
     if (bytes.empty()) {
       return 27;
     }
@@ -429,6 +440,9 @@ int main() {
   if (const int rc = TestStateReset(); rc != 0) {
     return rc;
   }
+  if (const int rc = TestMemoryRangeRead(); rc != 0) {
+    return rc;
+  }
   if (const int rc = TestSharedTileState(); rc != 0) {
     return rc;
   }
diff --git a/tests/unit/minst_test.cpp b/tests/unit/minst_test.cpp
index 79e4788..40b1e2e 100644
--- a/tests/unit/minst_test.cpp
+++ b/tests/unit/minst_test.cpp
@@ -263,17 +263,17 @@ int RunActiveDeltaDecodeSmoke() {
   };
 
   constexpr std::array<ExpectedForm, 11> kExpectedForms = {{
-      {"3c9e83c5a42f", "BSTART.TPREFETCH", MinstOpcodeClass::System},
-      {"c53a0033eb26", "BSTART.MGATHER.MASK", MinstOpcodeClass::System},
-      {"6037e1cd885f", "BSTART.MSCATTER.MASK", MinstOpcodeClass::System},
-      {"74d282c28e52", "BSTART.MGATHER.CAS", MinstOpcodeClass::System},
-      {"11ff57a2e635", "B.IOS", MinstOpcodeClass::System},
-      {"84944b9c3d19", "B.IOT", MinstOpcodeClass::System},
-      {"5793d27aa023", "BSTART.TGEMV", MinstOpcodeClass::System},
-      {"5b20d174f5d9", "BSTART.TMATMULMX.BIAS", MinstOpcodeClass::System},
-      {"60f1b44a0423", "CASB", MinstOpcodeClass::Atomic},
-      {"952d49f5a0e8", "CASD", MinstOpcodeClass::Atomic},
-      {"d287b8b83b11", "DMA", MinstOpcodeClass::Atomic},
+      {"d5f83e5aadf6", "BSTART.TPREFETCH", MinstOpcodeClass::System},
+      {"5573241cd944", "BSTART.MGATHER.MASK", MinstOpcodeClass::System},
+      {"2a33eed646f7", "BSTART.MSCATTER.MASK", MinstOpcodeClass::System},
+      {"fd8c8a3b720a", "BSTART.MGATHER.CAS", MinstOpcodeClass::System},
+      {"4ba5ef98fdaa", "B.IOS", MinstOpcodeClass::System},
+      {"8b8bce6bffe8", "B.IOT", MinstOpcodeClass::System},
+      {"ae19f5b678f5", "BSTART.TGEMV", MinstOpcodeClass::System},
+      {"098c7efa51b0", "BSTART.TMATMULMX.BIAS", MinstOpcodeClass::System},
+      {"7e529b871832", "CASB", MinstOpcodeClass::Atomic},
+      {"5852c57277a6", "CASD", MinstOpcodeClass::Atomic},
+      {"a168aeca5fa5", "DMA", MinstOpcodeClass::Atomic},
   }};
 
   for (const auto &expected : kExpectedForms) {
@@ -314,7 +314,7 @@ int RunActiveDeltaDecodeSmoke() {
 }
 
 int RunTeplSelectorSmoke() {
-  const auto *form = LookupFormByUid("f0754cf51a8d");
+  const auto *form = LookupFormByUid("d022db6dacb3");
   if (form == nullptr || form->mnemonic != "BSTART.TEPL") {
     return 70;
   }
diff --git a/tools/isa/gen_minst_codec.py b/tools/isa/gen_minst_codec.py
index 9e3699d..7007abc 100755
--- a/tools/isa/gen_minst_codec.py
+++ b/tools/isa/gen_minst_codec.py
@@ -119,6 +119,14 @@ def build_forms(spec: dict) -> tuple[list[dict], list[dict], list[dict], list[di
     constraints = []
 
     for inst in spec.get("instructions", []):
+        source_form_id = str(inst.get("pto_source_form_id", ""))
+        source_uid = source_form_id.rsplit("_", 1)[-1]
+        trace_uid = (
+            source_uid
+            if len(source_uid) == 12
+            and all(character in "0123456789abcdef" for character in source_uid)
+            else str(inst.get("uid", ""))
+        )
         encoding = inst.get("encoding") or {}
         parts = list(encoding.get("parts") or [])
         offsets = []
@@ -207,7 +215,7 @@ def build_forms(spec: dict) -> tuple[list[dict], list[dict], list[dict], list[di
 
         forms.append(
             {
-                "uid": str(inst.get("uid", "")),
+                "uid": trace_uid,
                 "mnemonic": str(inst.get("mnemonic", "")),
                 "asm_template": str(inst.get("asm", "") or ""),
                 "encoding_kind": str(inst.get("encoding_kind", "") or ""),