Stable names and backwards compat for serialized IR modules (#7644)

* stable names

* tests, options and ci for stable names

* Add back compat design document

* fix warnings

* formatting

* comment

* neaten

* regenerate command line reference

* consolidate ci scripts

* faster ci

* remove libreadline

* Move new function to end of interface

---------

Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>

1 files changed, 61 insertions, 0 deletions

diff --git a/source/slang/slang-ir-insts-stable-names.cpp b/source/slang/slang-ir-insts-stable-names.cpp
new file mode 100644
index 000000000..2ac205faf
--- /dev/null
+++ b/source/slang/slang-ir-insts-stable-names.cpp
@@ -0,0 +1,61 @@
+#include "slang-ir-insts-stable-names.h"
+
+namespace Slang
+{
+
+static const UInt kOpcodeToStableName[] = {
+#if 0 // FIDDLE TEMPLATE:
+% local insts = require("source/slang/slang-ir-insts.lua")
+% insts.traverse(function(inst)
+%   if inst.is_leaf then
+%     if inst.stable_name == nil then 
+%       error("Instruction is missing stable name: " .. tostring(inst.struct_name)) 
+%     end
+%     local stable_name = tostring(inst.stable_name)
+      $stable_name,
+%   end
+% end)
+#else // FIDDLE OUTPUT:
+#define FIDDLE_GENERATED_OUTPUT_ID 0
+#include "slang-ir-insts-stable-names.cpp.fiddle"
+#endif // FIDDLE END
+};
+
+static const IROp kStableNameToOpcode[] = {
+#if 0 // FIDDLE TEMPLATE:
+% local insts = require("source/slang/slang-ir-insts.lua")
+% for i = 0, insts.max_stable_name do 
+%   inst = insts.stable_name_to_inst[i]
+%   if inst then
+%     local struct_name = inst.struct_name
+      kIROp_$struct_name,
+%   else
+      kIROp_Invalid,
+%   end
+% end
+#else // FIDDLE OUTPUT:
+#define FIDDLE_GENERATED_OUTPUT_ID 1
+#include "slang-ir-insts-stable-names.cpp.fiddle"
+#endif // FIDDLE END
+};
+
+UInt getOpcodeStableName(IROp op)
+{
+    // Check if the opcode is within valid range
+    if (op >= SLANG_COUNT_OF(kOpcodeToStableName))
+    {
+        return kInvalidStableName;
+    }
+    return kOpcodeToStableName[op];
+}
+
+IROp getStableNameOpcode(UInt stableName)
+{
+    // Check if the stable name is within valid range
+    if (stableName >= SLANG_COUNT_OF(kStableNameToOpcode))
+    {
+        return kIROp_Invalid;
+    }
+    return kStableNameToOpcode[stableName];
+}
+} // namespace Slang