Pipeline/SpirvShader: Process OpString instructions

src/Pipeline/SpirvShader.cpp

@@ -433,10 +433,13 @@ SpirvShader::SpirvShader(
 			case spv::OpLine:
 			case spv::OpNoLine:
 			case spv::OpModuleProcessed:
-			case spv::OpString:
 				// No semantic impact
 				break;
 
+			case spv::OpString:
+				strings.emplace(insn.word(1), insn.string(2));
+				break;
+
 			case spv::OpFunctionParameter:
 				// These should have all been removed by preprocessing passes. If we see them here,
 				// our assumptions are wrong and we will probably generate wrong code.

src/Pipeline/SpirvShader.hpp

@@ -377,6 +377,9 @@ public:
 		Type::ID result;          // return type.
 	};
 
+	using String = std::string;
+	using StringID = SpirvID<std::string>;
+
 	struct TypeOrObject
 	{};  // Dummy struct to represent a Type or Object.
 
@@ -728,6 +731,7 @@ private:
 	HandleMap<Type> types;
 	HandleMap<Object> defs;
 	HandleMap<Function> functions;
+	std::unordered_map<StringID, String> strings;
 	Function::ID entryPoint;
 
 	const bool robustBufferAccess = true;
@@ -1006,6 +1010,13 @@ private:
 		return it->second;
 	}
 
+	String const &getString(StringID id) const
+	{
+		auto it = strings.find(id);
+		ASSERT_MSG(it != strings.end(), "Unknown string %d", id.value());
+		return it->second;
+	}
+
 	// Returns a SIMD::Pointer to the underlying data for the given pointer
 	// object.
 	// Handles objects of the following kinds: