Move dead submodules in-tree

Signed-off-by: swurl <swurl@swurl.xyz>

externals/sirit/src/instructions/annotation.cpp

@@ -0,0 +1,27 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include <span>
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::Decorate(Id target, spv::Decoration decoration, std::span<const Literal> literals) {
+    annotations->Reserve(3 + literals.size());
+    return *annotations << spv::Op::OpDecorate << target << decoration << literals << EndOp{};
+}
+
+Id Module::MemberDecorate(Id structure_type, Literal member, spv::Decoration decoration,
+                          std::span<const Literal> literals) {
+    annotations->Reserve(4 + literals.size());
+    return *annotations << spv::Op::OpMemberDecorate << structure_type << member << decoration
+                        << literals << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/arithmetic.cpp

@@ -0,0 +1,46 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+#define DEFINE_UNARY(funcname, opcode)                                                             \
+    Id Module::funcname(Id result_type, Id operand) {                                              \
+        code->Reserve(4);                                                                          \
+        return *code << OpId{opcode, result_type} << operand << EndOp{};                           \
+    }
+
+#define DEFINE_BINARY(funcname, opcode)                                                            \
+    Id Module::funcname(Id result_type, Id operand_1, Id operand_2) {                              \
+        code->Reserve(5);                                                                          \
+        return *code << OpId{opcode, result_type} << operand_1 << operand_2 << EndOp{};            \
+    }
+
+DEFINE_UNARY(OpSNegate, spv::Op::OpSNegate)
+DEFINE_UNARY(OpFNegate, spv::Op::OpFNegate)
+
+DEFINE_BINARY(OpIAdd, spv::Op::OpIAdd)
+DEFINE_BINARY(OpFAdd, spv::Op::OpFAdd)
+DEFINE_BINARY(OpISub, spv::Op::OpISub)
+DEFINE_BINARY(OpFSub, spv::Op::OpFSub)
+DEFINE_BINARY(OpIMul, spv::Op::OpIMul)
+DEFINE_BINARY(OpFMul, spv::Op::OpFMul)
+DEFINE_BINARY(OpUDiv, spv::Op::OpUDiv)
+DEFINE_BINARY(OpSDiv, spv::Op::OpSDiv)
+DEFINE_BINARY(OpFDiv, spv::Op::OpFDiv)
+DEFINE_BINARY(OpUMod, spv::Op::OpUMod)
+DEFINE_BINARY(OpSMod, spv::Op::OpSMod)
+DEFINE_BINARY(OpFMod, spv::Op::OpFMod)
+DEFINE_BINARY(OpSRem, spv::Op::OpSRem)
+DEFINE_BINARY(OpFRem, spv::Op::OpFRem)
+DEFINE_BINARY(OpIAddCarry, spv::Op::OpIAddCarry)
+DEFINE_BINARY(OpVectorTimesScalar, spv::Op::OpVectorTimesScalar)
+DEFINE_BINARY(OpDot, spv::Op::OpDot)
+
+} // namespace Sirit

externals/sirit/src/instructions/atomic.cpp

@@ -0,0 +1,104 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpAtomicLoad(Id result_type, Id pointer, Id memory, Id semantics) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpAtomicLoad, result_type} << pointer << memory << semantics
+                 << EndOp{};
+}
+
+Id Module::OpAtomicStore(Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpAtomicStore} << pointer << memory << semantics << value
+                 << EndOp{};
+}
+
+Id Module::OpAtomicExchange(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicExchange, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicCompareExchange(Id result_type, Id pointer, Id memory, Id equal, Id unequal,
+                                   Id value, Id comparator) {
+    code->Reserve(9);
+    return *code << OpId{spv::Op::OpAtomicCompareExchange, result_type} << pointer << memory
+                 << equal << unequal << value << comparator << EndOp{};
+}
+
+Id Module::OpAtomicIIncrement(Id result_type, Id pointer, Id memory, Id semantics) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpAtomicIIncrement, result_type} << pointer << memory << semantics
+                 << EndOp{};
+}
+
+Id Module::OpAtomicIDecrement(Id result_type, Id pointer, Id memory, Id semantics) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpAtomicIDecrement, result_type} << pointer << memory << semantics
+                 << EndOp{};
+}
+
+Id Module::OpAtomicIAdd(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicIAdd, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicISub(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicISub, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicSMin(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicSMin, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicUMin(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicUMin, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicSMax(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicSMax, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicUMax(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicUMax, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicAnd(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicAnd, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicOr(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicOr, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+Id Module::OpAtomicXor(Id result_type, Id pointer, Id memory, Id semantics, Id value) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpAtomicXor, result_type} << pointer << memory << semantics
+                 << value << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/barrier.cpp

@@ -0,0 +1,23 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpControlBarrier(Id execution, Id memory, Id semantics) {
+    code->Reserve(4);
+    return *code << spv::Op::OpControlBarrier << execution << memory << semantics << EndOp{};
+}
+
+Id Module::OpMemoryBarrier(Id scope, Id semantics) {
+    code->Reserve(3);
+    return *code << spv::Op::OpMemoryBarrier << scope << semantics << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/bit.cpp

@@ -0,0 +1,76 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpShiftRightLogical(Id result_type, Id base, Id shift) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpShiftRightLogical, result_type} << base << shift << EndOp{};
+}
+
+Id Module::OpShiftRightArithmetic(Id result_type, Id base, Id shift) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpShiftRightArithmetic, result_type} << base << shift << EndOp{};
+}
+
+Id Module::OpShiftLeftLogical(Id result_type, Id base, Id shift) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpShiftLeftLogical, result_type} << base << shift << EndOp{};
+}
+
+Id Module::OpBitwiseOr(Id result_type, Id operand_1, Id operand_2) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpBitwiseOr, result_type} << operand_1 << operand_2 << EndOp{};
+}
+
+Id Module::OpBitwiseXor(Id result_type, Id operand_1, Id operand_2) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpBitwiseXor, result_type} << operand_1 << operand_2 << EndOp{};
+}
+
+Id Module::OpBitwiseAnd(Id result_type, Id operand_1, Id operand_2) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpBitwiseAnd, result_type} << operand_1 << operand_2 << EndOp{};
+}
+
+Id Module::OpNot(Id result_type, Id operand) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpNot, result_type} << operand << EndOp{};
+}
+
+Id Module::OpBitFieldInsert(Id result_type, Id base, Id insert, Id offset, Id count) {
+    code->Reserve(7);
+    return *code << OpId{spv::Op::OpBitFieldInsert, result_type} << base << insert << offset
+                 << count << EndOp{};
+}
+
+Id Module::OpBitFieldSExtract(Id result_type, Id base, Id offset, Id count) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpBitFieldSExtract, result_type} << base << offset << count
+                 << EndOp{};
+}
+
+Id Module::OpBitFieldUExtract(Id result_type, Id base, Id offset, Id count) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpBitFieldUExtract, result_type} << base << offset << count
+                 << EndOp{};
+}
+
+Id Module::OpBitReverse(Id result_type, Id base) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpBitReverse, result_type} << base << EndOp{};
+}
+
+Id Module::OpBitCount(Id result_type, Id base) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpBitCount, result_type} << base << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/constant.cpp

@@ -0,0 +1,48 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include <cassert>
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::ConstantTrue(Id result_type) {
+    declarations->Reserve(3);
+    return *declarations << OpId{spv::Op::OpConstantTrue, result_type} << EndOp{};
+}
+
+Id Module::ConstantFalse(Id result_type) {
+    declarations->Reserve(3);
+    return *declarations << OpId{spv::Op::OpConstantFalse, result_type} << EndOp{};
+}
+
+Id Module::Constant(Id result_type, const Literal& literal) {
+    declarations->Reserve(3 + 2);
+    return *declarations << OpId{spv::Op::OpConstant, result_type} << literal << EndOp{};
+}
+
+Id Module::ConstantComposite(Id result_type, std::span<const Id> constituents) {
+    declarations->Reserve(3 + constituents.size());
+    return *declarations << OpId{spv::Op::OpConstantComposite, result_type} << constituents
+                         << EndOp{};
+}
+
+Id Module::ConstantSampler(Id result_type, spv::SamplerAddressingMode addressing_mode,
+                           bool normalized, spv::SamplerFilterMode filter_mode) {
+    declarations->Reserve(6);
+    return *declarations << OpId{spv::Op::OpConstantSampler, result_type} << addressing_mode
+                         << normalized << filter_mode << EndOp{};
+}
+
+Id Module::ConstantNull(Id result_type) {
+    declarations->Reserve(3);
+    return *declarations << OpId{spv::Op::OpConstantNull, result_type} << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/conversion.cpp

@@ -0,0 +1,29 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+#define DEFINE_UNARY(opcode)                                                                       \
+    Id Module::opcode(Id result_type, Id operand) {                                                \
+        code->Reserve(4);                                                                          \
+        return *code << OpId{spv::Op::opcode, result_type} << operand << EndOp{};                  \
+    }
+
+DEFINE_UNARY(OpConvertFToU)
+DEFINE_UNARY(OpConvertFToS)
+DEFINE_UNARY(OpConvertSToF)
+DEFINE_UNARY(OpConvertUToF)
+DEFINE_UNARY(OpUConvert)
+DEFINE_UNARY(OpSConvert)
+DEFINE_UNARY(OpFConvert)
+DEFINE_UNARY(OpQuantizeToF16)
+DEFINE_UNARY(OpBitcast)
+
+} // namespace Sirit

externals/sirit/src/instructions/debug.cpp

@@ -0,0 +1,36 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "common_types.h"
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::Name(Id target, std::string_view name) {
+    debug->Reserve(3 + WordsInString(name));
+    *debug << spv::Op::OpName << target << name << EndOp{};
+    return target;
+}
+
+Id Module::MemberName(Id type, u32 member, std::string_view name) {
+    debug->Reserve(4 + WordsInString(name));
+    *debug << spv::Op::OpMemberName << type << member << name << EndOp{};
+    return type;
+}
+
+Id Module::String(std::string_view string) {
+    debug->Reserve(3 + WordsInString(string));
+    return *debug << OpId{spv::Op::OpString} << string << EndOp{};
+}
+
+Id Module::OpLine(Id file, Literal line, Literal column) {
+    debug->Reserve(4);
+    return *debug << spv::Op::OpLine << file << line << column << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/derivatives.cpp

@@ -0,0 +1,29 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2021 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+#define DEFINE_UNARY(funcname, opcode)                                                             \
+    Id Module::funcname(Id result_type, Id operand) {                                              \
+        code->Reserve(4);                                                                          \
+        return *code << OpId{opcode, result_type} << operand << EndOp{};                           \
+    }
+
+DEFINE_UNARY(OpDPdx, spv::Op::OpDPdx)
+DEFINE_UNARY(OpDPdy, spv::Op::OpDPdy)
+DEFINE_UNARY(OpFwidth, spv::Op::OpFwidth)
+DEFINE_UNARY(OpDPdxFine, spv::Op::OpDPdxFine)
+DEFINE_UNARY(OpDPdyFine, spv::Op::OpDPdyFine)
+DEFINE_UNARY(OpFwidthFine, spv::Op::OpFwidthFine)
+DEFINE_UNARY(OpDPdxCoarse, spv::Op::OpDPdxCoarse)
+DEFINE_UNARY(OpDPdyCoarse, spv::Op::OpDPdyCoarse)
+DEFINE_UNARY(OpFwidthCoarse, spv::Op::OpFwidthCoarse)
+
+} // namespace Sirit

externals/sirit/src/instructions/extension.cpp

@@ -0,0 +1,80 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include <spirv/unified1/GLSL.std.450.h>
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpExtInst(Id result_type, Id set, u32 instruction, std::span<const Id> operands) {
+    code->Reserve(5 + operands.size());
+    return *code << OpId{spv::Op::OpExtInst, result_type} << set << instruction << operands
+                 << EndOp{};
+}
+
+#define DEFINE_UNARY(funcname, opcode)                                                             \
+    Id Module::funcname(Id result_type, Id operand) {                                              \
+        return OpExtInst(result_type, GetGLSLstd450(), opcode, operand);                           \
+    }
+
+#define DEFINE_BINARY(funcname, opcode)                                                            \
+    Id Module::funcname(Id result_type, Id operand_1, Id operand_2) {                              \
+        return OpExtInst(result_type, GetGLSLstd450(), opcode, operand_1, operand_2);              \
+    }
+
+#define DEFINE_TRINARY(funcname, opcode)                                                           \
+    Id Module::funcname(Id result_type, Id operand_1, Id operand_2, Id operand_3) {                \
+        return OpExtInst(result_type, GetGLSLstd450(), opcode, operand_1, operand_2, operand_3);   \
+    }
+
+DEFINE_UNARY(OpFAbs, GLSLstd450FAbs)
+DEFINE_UNARY(OpSAbs, GLSLstd450SAbs)
+DEFINE_UNARY(OpRound, GLSLstd450Round)
+DEFINE_UNARY(OpRoundEven, GLSLstd450RoundEven)
+DEFINE_UNARY(OpTrunc, GLSLstd450Trunc)
+DEFINE_UNARY(OpFSign, GLSLstd450FSign)
+DEFINE_UNARY(OpSSign, GLSLstd450SSign)
+DEFINE_UNARY(OpFloor, GLSLstd450Floor)
+DEFINE_UNARY(OpCeil, GLSLstd450Ceil)
+DEFINE_UNARY(OpFract, GLSLstd450Fract)
+DEFINE_UNARY(OpSin, GLSLstd450Sin)
+DEFINE_UNARY(OpCos, GLSLstd450Cos)
+DEFINE_UNARY(OpAsin, GLSLstd450Asin)
+DEFINE_UNARY(OpAcos, GLSLstd450Acos)
+DEFINE_BINARY(OpPow, GLSLstd450Pow)
+DEFINE_UNARY(OpExp, GLSLstd450Exp)
+DEFINE_UNARY(OpLog, GLSLstd450Log)
+DEFINE_UNARY(OpExp2, GLSLstd450Exp2)
+DEFINE_UNARY(OpLog2, GLSLstd450Log2)
+DEFINE_UNARY(OpSqrt, GLSLstd450Sqrt)
+DEFINE_UNARY(OpInverseSqrt, GLSLstd450InverseSqrt)
+DEFINE_BINARY(OpFMin, GLSLstd450FMin)
+DEFINE_BINARY(OpUMin, GLSLstd450UMin)
+DEFINE_BINARY(OpSMin, GLSLstd450SMin)
+DEFINE_BINARY(OpFMax, GLSLstd450FMax)
+DEFINE_BINARY(OpUMax, GLSLstd450UMax)
+DEFINE_BINARY(OpSMax, GLSLstd450SMax)
+DEFINE_TRINARY(OpFClamp, GLSLstd450FClamp)
+DEFINE_TRINARY(OpUClamp, GLSLstd450UClamp)
+DEFINE_TRINARY(OpSClamp, GLSLstd450SClamp)
+DEFINE_TRINARY(OpFma, GLSLstd450Fma)
+DEFINE_UNARY(OpPackHalf2x16, GLSLstd450PackHalf2x16)
+DEFINE_UNARY(OpUnpackHalf2x16, GLSLstd450UnpackHalf2x16)
+DEFINE_UNARY(OpFindILsb, GLSLstd450FindILsb)
+DEFINE_UNARY(OpFindSMsb, GLSLstd450FindSMsb)
+DEFINE_UNARY(OpFindUMsb, GLSLstd450FindUMsb)
+DEFINE_UNARY(OpInterpolateAtCentroid, GLSLstd450InterpolateAtCentroid)
+DEFINE_BINARY(OpInterpolateAtSample, GLSLstd450InterpolateAtSample)
+DEFINE_BINARY(OpInterpolateAtOffset, GLSLstd450InterpolateAtOffset)
+DEFINE_UNARY(OpNormalize, GLSLstd450Normalize)
+DEFINE_BINARY(OpCross, GLSLstd450Cross)
+DEFINE_UNARY(OpLength, GLSLstd450Length)
+DEFINE_TRINARY(OpFMix, GLSLstd450FMix)
+
+} // namespace Sirit

externals/sirit/src/instructions/flow.cpp

@@ -0,0 +1,109 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include <cassert>
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpPhi(Id result_type, std::span<const Id> operands) {
+    assert(operands.size() % 2 == 0);
+    code->Reserve(3 + operands.size());
+    return *code << OpId{spv::Op::OpPhi, result_type} << operands << EndOp{};
+}
+
+Id Module::DeferredOpPhi(Id result_type, std::span<const Id> blocks) {
+    deferred_phi_nodes.push_back(code->LocalAddress());
+    code->Reserve(3 + blocks.size() * 2);
+    *code << OpId{spv::Op::OpPhi, result_type};
+    for (const Id block : blocks) {
+        *code << u32{0} << block;
+    }
+    return *code << EndOp{};
+}
+
+Id Module::OpLoopMerge(Id merge_block, Id continue_target, spv::LoopControlMask loop_control,
+                       std::span<const Id> literals) {
+    code->Reserve(4 + literals.size());
+    return *code << spv::Op::OpLoopMerge << merge_block << continue_target << loop_control
+                 << literals << EndOp{};
+}
+
+Id Module::OpSelectionMerge(Id merge_block, spv::SelectionControlMask selection_control) {
+    code->Reserve(3);
+    return *code << spv::Op::OpSelectionMerge << merge_block << selection_control << EndOp{};
+}
+
+Id Module::OpLabel() {
+    return Id{++bound};
+}
+
+Id Module::OpBranch(Id target_label) {
+    code->Reserve(2);
+    return *code << spv::Op::OpBranch << target_label << EndOp{};
+}
+
+Id Module::OpBranchConditional(Id condition, Id true_label, Id false_label, u32 true_weight,
+                               u32 false_weight) {
+    code->Reserve(6);
+    *code << spv::Op::OpBranchConditional << condition << true_label << false_label;
+    if (true_weight != 0 || false_weight != 0) {
+        *code << true_weight << false_weight;
+    }
+    return *code << EndOp{};
+}
+
+Id Module::OpSwitch(Id selector, Id default_label, std::span<const Literal> literals,
+                    std::span<const Id> labels) {
+    assert(literals.size() == labels.size());
+    const size_t size = literals.size();
+    code->Reserve(3 + size * 2);
+
+    *code << spv::Op::OpSwitch << selector << default_label;
+    for (std::size_t i = 0; i < size; ++i) {
+        *code << literals[i] << labels[i];
+    }
+    return *code << EndOp{};
+}
+
+void Module::OpReturn() {
+    code->Reserve(1);
+    *code << spv::Op::OpReturn << EndOp{};
+}
+
+void Module::OpUnreachable() {
+    code->Reserve(1);
+    *code << spv::Op::OpUnreachable << EndOp{};
+}
+
+Id Module::OpReturnValue(Id value) {
+    code->Reserve(2);
+    return *code << spv::Op::OpReturnValue << value << EndOp{};
+}
+
+void Module::OpKill() {
+    code->Reserve(1);
+    *code << spv::Op::OpKill << EndOp{};
+}
+
+void Module::OpDemoteToHelperInvocation() {
+    code->Reserve(1);
+    *code << spv::Op::OpDemoteToHelperInvocation << EndOp{};
+}
+
+void Module::OpDemoteToHelperInvocationEXT() {
+    OpDemoteToHelperInvocation();
+}
+
+void Module::OpTerminateInvocation() {
+    code->Reserve(1);
+    *code << spv::Op::OpTerminateInvocation << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/function.cpp

@@ -0,0 +1,34 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpFunction(Id result_type, spv::FunctionControlMask function_control, Id function_type) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpFunction, result_type} << function_control << function_type
+                 << EndOp{};
+}
+
+void Module::OpFunctionEnd() {
+    code->Reserve(1);
+    *code << spv::Op::OpFunctionEnd << EndOp{};
+}
+
+Id Module::OpFunctionCall(Id result_type, Id function, std::span<const Id> arguments) {
+    code->Reserve(4 + arguments.size());
+    return *code << OpId{spv::Op::OpFunctionCall, result_type} << function << arguments << EndOp{};
+}
+
+Id Module::OpFunctionParameter(Id result_type) {
+    code->Reserve(3);
+    return *code << OpId{spv::Op::OpFunctionParameter, result_type} << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/group.cpp

@@ -0,0 +1,88 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpSubgroupBallotKHR(Id result_type, Id predicate) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpSubgroupBallotKHR, result_type} << predicate << EndOp{};
+}
+
+Id Module::OpSubgroupReadInvocationKHR(Id result_type, Id value, Id index) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpSubgroupReadInvocationKHR, result_type} << value << index
+                 << EndOp{};
+}
+
+Id Module::OpSubgroupAllKHR(Id result_type, Id predicate) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpSubgroupAllKHR, result_type} << predicate << EndOp{};
+}
+
+Id Module::OpSubgroupAnyKHR(Id result_type, Id predicate) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpSubgroupAnyKHR, result_type} << predicate << EndOp{};
+}
+
+Id Module::OpSubgroupAllEqualKHR(Id result_type, Id predicate) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpSubgroupAllEqualKHR, result_type} << predicate << EndOp{};
+}
+
+Id Module::OpGroupNonUniformElect(Id result_type, Id scope) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpGroupNonUniformElect, result_type} << scope << EndOp{};
+}
+
+Id Module::OpGroupNonUniformBroadcastFirst(Id result_type, Id scope, Id value) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpGroupNonUniformBroadcastFirst, result_type} << scope << value
+                 << EndOp{};
+}
+
+Id Module::OpGroupNonUniformBroadcast(Id result_type, Id scope, Id value, Id id) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpGroupNonUniformBroadcast, result_type} << scope << value
+                 << id << EndOp{};
+}
+
+Id Module::OpGroupNonUniformShuffle(Id result_type, Id scope, Id value, Id id) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpGroupNonUniformShuffle, result_type} << scope << value << id
+                  << EndOp{};
+}
+
+Id Module::OpGroupNonUniformShuffleXor(Id result_type, Id scope, Id value, Id mask) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpGroupNonUniformShuffleXor, result_type} << scope << value
+                 << mask << EndOp{};
+}
+
+Id Module::OpGroupNonUniformAll(Id result_type, Id scope, Id predicate) {
+   code->Reserve(5);
+   return *code << OpId{spv::Op::OpGroupNonUniformAll, result_type} << scope << predicate << EndOp{};
+}
+
+Id Module::OpGroupNonUniformAny(Id result_type, Id scope, Id predicate) {
+   code->Reserve(5);
+   return *code << OpId{spv::Op::OpGroupNonUniformAny, result_type} << scope << predicate << EndOp{};
+}
+
+Id Module::OpGroupNonUniformAllEqual(Id result_type, Id scope, Id value) {
+   code->Reserve(5);
+   return *code << OpId{spv::Op::OpGroupNonUniformAllEqual, result_type} << scope << value << EndOp{};
+}
+
+Id Module::OpGroupNonUniformBallot(Id result_type, Id scope, Id predicate) {
+   code->Reserve(5);
+   return *code << OpId{spv::Op::OpGroupNonUniformBallot, result_type} << scope << predicate << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/image.cpp

@@ -0,0 +1,169 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include <cassert>
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+#define DEFINE_IMAGE_OP(opcode)                                                                    \
+    Id Module::opcode(Id result_type, Id sampled_image, Id coordinate,                             \
+                      std::optional<spv::ImageOperandsMask> image_operands,                        \
+                      std::span<const Id> operands) {                                              \
+        code->Reserve(6 + operands.size());                                                        \
+        return *code << OpId{spv::Op::opcode, result_type} << sampled_image << coordinate          \
+                     << image_operands << operands << EndOp{};                                     \
+    }
+
+#define DEFINE_IMAGE_EXP_OP(opcode)                                                                \
+    Id Module::opcode(Id result_type, Id sampled_image, Id coordinate,                             \
+                      spv::ImageOperandsMask image_operands, std::span<const Id> operands) {       \
+        code->Reserve(6 + operands.size());                                                        \
+        return *code << OpId{spv::Op::opcode, result_type} << sampled_image << coordinate          \
+                     << image_operands << operands << EndOp{};                                     \
+    }
+
+#define DEFINE_IMAGE_EXTRA_OP(opcode)                                                              \
+    Id Module::opcode(Id result_type, Id sampled_image, Id coordinate, Id extra,                   \
+                      std::optional<spv::ImageOperandsMask> image_operands,                        \
+                      std::span<const Id> operands) {                                              \
+        code->Reserve(7 + operands.size());                                                        \
+        return *code << OpId{spv::Op::opcode, result_type} << sampled_image << coordinate << extra \
+                     << image_operands << operands << EndOp{};                                     \
+    }
+
+#define DEFINE_IMAGE_EXTRA_EXP_OP(opcode)                                                          \
+    Id Module::opcode(Id result_type, Id sampled_image, Id coordinate, Id extra,                   \
+                      spv::ImageOperandsMask image_operands, std::span<const Id> operands) {       \
+        code->Reserve(8 + operands.size());                                                        \
+        return *code << OpId{spv::Op::opcode, result_type} << sampled_image << coordinate << extra \
+                     << image_operands << operands << EndOp{};                                     \
+    }
+
+#define DEFINE_IMAGE_QUERY_OP(opcode)                                                              \
+    Id Module::opcode(Id result_type, Id image) {                                                  \
+        code->Reserve(5);                                                                          \
+        return *code << OpId{spv::Op::opcode, result_type} << image << EndOp{};                    \
+    }
+
+#define DEFINE_IMAGE_QUERY_BIN_OP(opcode)                                                          \
+    Id Module::opcode(Id result_type, Id image, Id extra) {                                        \
+        code->Reserve(5);                                                                          \
+        return *code << OpId{spv::Op::opcode, result_type} << image << extra << EndOp{};           \
+    }
+
+DEFINE_IMAGE_OP(OpImageSampleImplicitLod)
+DEFINE_IMAGE_EXP_OP(OpImageSampleExplicitLod)
+DEFINE_IMAGE_EXTRA_OP(OpImageSampleDrefImplicitLod)
+DEFINE_IMAGE_EXTRA_EXP_OP(OpImageSampleDrefExplicitLod)
+DEFINE_IMAGE_OP(OpImageSampleProjImplicitLod)
+DEFINE_IMAGE_EXP_OP(OpImageSampleProjExplicitLod)
+DEFINE_IMAGE_EXTRA_OP(OpImageSampleProjDrefImplicitLod)
+DEFINE_IMAGE_EXTRA_EXP_OP(OpImageSampleProjDrefExplicitLod)
+DEFINE_IMAGE_OP(OpImageFetch)
+DEFINE_IMAGE_EXTRA_OP(OpImageGather)
+DEFINE_IMAGE_EXTRA_OP(OpImageDrefGather)
+DEFINE_IMAGE_OP(OpImageRead)
+DEFINE_IMAGE_QUERY_BIN_OP(OpImageQuerySizeLod)
+DEFINE_IMAGE_QUERY_OP(OpImageQuerySize)
+DEFINE_IMAGE_QUERY_BIN_OP(OpImageQueryLod)
+DEFINE_IMAGE_QUERY_OP(OpImageQueryLevels)
+DEFINE_IMAGE_QUERY_OP(OpImageQuerySamples)
+
+Id Module::OpSampledImage(Id result_type, Id image, Id sampler) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpSampledImage, result_type} << image << sampler << EndOp{};
+}
+
+Id Module::OpImageWrite(Id image, Id coordinate, Id texel,
+                        std::optional<spv::ImageOperandsMask> image_operands,
+                        std::span<const Id> operands) {
+    assert(image_operands.has_value() != operands.empty());
+    code->Reserve(5 + operands.size());
+    return *code << spv::Op::OpImageWrite << image << coordinate << texel << image_operands
+                 << operands << EndOp{};
+}
+
+Id Module::OpImage(Id result_type, Id sampled_image) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpImage, result_type} << sampled_image << EndOp{};
+}
+
+Id Module::OpImageSparseSampleImplicitLod(Id result_type, Id sampled_image, Id coordinate,
+                                          std::optional<spv::ImageOperandsMask> image_operands,
+                                          std::span<const Id> operands) {
+    code->Reserve(5 + (image_operands.has_value() ? 1 : 0) + operands.size());
+    return *code << OpId{spv::Op::OpImageSparseSampleImplicitLod, result_type} << sampled_image
+                 << coordinate << image_operands << operands << EndOp{};
+}
+
+Id Module::OpImageSparseSampleExplicitLod(Id result_type, Id sampled_image, Id coordinate,
+                                          spv::ImageOperandsMask image_operands,
+                                          std::span<const Id> operands) {
+    code->Reserve(6 + operands.size());
+    return *code << OpId{spv::Op::OpImageSparseSampleExplicitLod, result_type} << sampled_image
+                 << coordinate << image_operands << operands << EndOp{};
+}
+
+Id Module::OpImageSparseSampleDrefImplicitLod(Id result_type, Id sampled_image, Id coordinate,
+                                              Id dref,
+                                              std::optional<spv::ImageOperandsMask> image_operands,
+                                              std::span<const Id> operands) {
+    code->Reserve(6 + (image_operands.has_value() ? 1 : 0) + operands.size());
+    return *code << OpId{spv::Op::OpImageSparseSampleDrefImplicitLod, result_type} << sampled_image
+                 << coordinate << dref << image_operands << operands << EndOp{};
+}
+
+Id Module::OpImageSparseSampleDrefExplicitLod(Id result_type, Id sampled_image, Id coordinate,
+                                              Id dref, spv::ImageOperandsMask image_operands,
+                                              std::span<const Id> operands) {
+    code->Reserve(7 + operands.size());
+    return *code << OpId{spv::Op::OpImageSparseSampleDrefExplicitLod, result_type} << sampled_image
+                 << coordinate << dref << image_operands << operands << EndOp{};
+}
+
+Id Module::OpImageSparseFetch(Id result_type, Id image, Id coordinate,
+                              std::optional<spv::ImageOperandsMask> image_operands,
+                              std::span<const Id> operands) {
+    code->Reserve(5 + (image_operands.has_value() ? 1 : 0) + operands.size());
+    return *code << OpId{spv::Op::OpImageSparseFetch, result_type} << image << coordinate
+                 << image_operands << operands << EndOp{};
+}
+
+Id Module::OpImageSparseGather(Id result_type, Id sampled_image, Id coordinate, Id component,
+                               std::optional<spv::ImageOperandsMask> image_operands,
+                               std::span<const Id> operands) {
+    code->Reserve(6 + operands.size());
+    return *code << OpId{spv::Op::OpImageSparseGather, result_type} << sampled_image << coordinate
+                 << component << image_operands << operands << EndOp{};
+}
+
+Id Module::OpImageSparseDrefGather(Id result_type, Id sampled_image, Id coordinate, Id dref,
+                                   std::optional<spv::ImageOperandsMask> image_operands,
+                                   std::span<const Id> operands) {
+    code->Reserve(6 + operands.size());
+    return *code << OpId{spv::Op::OpImageSparseDrefGather, result_type} << sampled_image
+                 << coordinate << dref << image_operands << operands << EndOp{};
+}
+
+Id Module::OpImageSparseTexelsResident(Id result_type, Id resident_code) {
+    code->Reserve(4);
+    return *code << OpId{spv::Op::OpImageSparseTexelsResident, result_type} << resident_code
+                 << EndOp{};
+}
+
+Id Module::OpImageSparseRead(Id result_type, Id image, Id coordinate,
+                             std::optional<spv::ImageOperandsMask> image_operands,
+                             std::span<const Id> operands) {
+    code->Reserve(5 + (image_operands.has_value() ? 1 : 0) + operands.size());
+    return *code << OpId{spv::Op::OpImageSparseTexelsResident, result_type} << image << coordinate
+                 << image_operands << operands << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/logical.cpp

@@ -0,0 +1,65 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+#define DEFINE_UNARY(opcode)                                                                       \
+    Id Module::opcode(Id result_type, Id operand) {                                                \
+        code->Reserve(4);                                                                          \
+        return *code << OpId{spv::Op::opcode, result_type} << operand << EndOp{};                  \
+    }
+
+#define DEFINE_BINARY(opcode)                                                                      \
+    Id Module::opcode(Id result_type, Id operand_1, Id operand_2) {                                \
+        code->Reserve(5);                                                                          \
+        return *code << OpId{spv::Op::opcode, result_type} << operand_1 << operand_2 << EndOp{};   \
+    }
+
+#define DEFINE_TRINARY(opcode)                                                                     \
+    Id Module::opcode(Id result_type, Id operand_1, Id operand_2, Id operand_3) {                  \
+        code->Reserve(6);                                                                          \
+        return *code << OpId{spv::Op::opcode, result_type} << operand_1 << operand_2 << operand_3  \
+                     << EndOp{};                                                                   \
+    }
+
+DEFINE_UNARY(OpAny)
+DEFINE_UNARY(OpAll)
+DEFINE_UNARY(OpIsNan)
+DEFINE_UNARY(OpIsInf)
+DEFINE_BINARY(OpLogicalEqual)
+DEFINE_BINARY(OpLogicalNotEqual)
+DEFINE_BINARY(OpLogicalOr)
+DEFINE_BINARY(OpLogicalAnd)
+DEFINE_UNARY(OpLogicalNot)
+DEFINE_TRINARY(OpSelect)
+DEFINE_BINARY(OpIEqual)
+DEFINE_BINARY(OpINotEqual)
+DEFINE_BINARY(OpUGreaterThan)
+DEFINE_BINARY(OpSGreaterThan)
+DEFINE_BINARY(OpUGreaterThanEqual)
+DEFINE_BINARY(OpSGreaterThanEqual)
+DEFINE_BINARY(OpULessThan)
+DEFINE_BINARY(OpSLessThan)
+DEFINE_BINARY(OpULessThanEqual)
+DEFINE_BINARY(OpSLessThanEqual)
+DEFINE_BINARY(OpFOrdEqual)
+DEFINE_BINARY(OpFUnordEqual)
+DEFINE_BINARY(OpFOrdNotEqual)
+DEFINE_BINARY(OpFUnordNotEqual)
+DEFINE_BINARY(OpFOrdLessThan)
+DEFINE_BINARY(OpFUnordLessThan)
+DEFINE_BINARY(OpFOrdGreaterThan)
+DEFINE_BINARY(OpFUnordGreaterThan)
+DEFINE_BINARY(OpFOrdLessThanEqual)
+DEFINE_BINARY(OpFUnordLessThanEqual)
+DEFINE_BINARY(OpFOrdGreaterThanEqual)
+DEFINE_BINARY(OpFUnordGreaterThanEqual)
+
+} // namespace Sirit

externals/sirit/src/instructions/memory.cpp

@@ -0,0 +1,74 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include <cassert>
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpImageTexelPointer(Id result_type, Id image, Id coordinate, Id sample) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpImageTexelPointer, result_type} << image << coordinate << sample
+                 << EndOp{};
+}
+
+Id Module::OpLoad(Id result_type, Id pointer, std::optional<spv::MemoryAccessMask> memory_access) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpLoad, result_type} << pointer << memory_access << EndOp{};
+}
+
+Id Module::OpStore(Id pointer, Id object, std::optional<spv::MemoryAccessMask> memory_access) {
+    code->Reserve(4);
+    return *code << spv::Op::OpStore << pointer << object << memory_access << EndOp{};
+}
+
+Id Module::OpAccessChain(Id result_type, Id base, std::span<const Id> indexes) {
+    assert(!indexes.empty());
+    code->Reserve(4 + indexes.size());
+    return *code << OpId{spv::Op::OpAccessChain, result_type} << base << indexes << EndOp{};
+}
+
+Id Module::OpVectorExtractDynamic(Id result_type, Id vector, Id index) {
+    code->Reserve(5);
+    return *code << OpId{spv::Op::OpVectorExtractDynamic, result_type} << vector << index
+                 << EndOp{};
+}
+
+Id Module::OpVectorInsertDynamic(Id result_type, Id vector, Id component, Id index) {
+    code->Reserve(6);
+    return *code << OpId{spv::Op::OpVectorInsertDynamic, result_type} << vector << component
+                 << index << EndOp{};
+}
+
+Id Module::OpVectorShuffle(Id result_type, Id vector_1, Id vector_2, std::span<const Literal> components) {
+    code->Reserve(5 + components.size());
+    return *code << OpId{spv::Op::OpVectorShuffle, result_type} << vector_1 << vector_2
+                 << components << EndOp{};
+}
+
+Id Module::OpCompositeInsert(Id result_type, Id object, Id composite,
+                             std::span<const Literal> indexes) {
+    code->Reserve(5 + indexes.size());
+    return *code << OpId{spv::Op::OpCompositeInsert, result_type} << object << composite << indexes
+                 << EndOp{};
+}
+
+Id Module::OpCompositeExtract(Id result_type, Id composite, std::span<const Literal> indexes) {
+    code->Reserve(4 + indexes.size());
+    return *code << OpId{spv::Op::OpCompositeExtract, result_type} << composite << indexes
+                 << EndOp{};
+}
+
+Id Module::OpCompositeConstruct(Id result_type, std::span<const Id> ids) {
+    assert(ids.size() >= 1);
+    code->Reserve(3 + ids.size());
+    return *code << OpId{spv::Op::OpCompositeConstruct, result_type} << ids << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/misc.cpp

@@ -0,0 +1,38 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::OpUndef(Id result_type) {
+    code->Reserve(3);
+    return *code << OpId{spv::Op::OpUndef, result_type} << EndOp{};
+}
+
+void Module::OpEmitVertex() {
+    code->Reserve(1);
+    *code << spv::Op::OpEmitVertex << EndOp{};
+}
+
+void Module::OpEndPrimitive() {
+    code->Reserve(1);
+    *code << spv::Op::OpEndPrimitive << EndOp{};
+}
+
+void Module::OpEmitStreamVertex(Id stream) {
+    code->Reserve(2);
+    *code << spv::Op::OpEmitStreamVertex << stream << EndOp{};
+}
+
+void Module::OpEndStreamPrimitive(Id stream) {
+    code->Reserve(2);
+    *code << spv::Op::OpEndStreamPrimitive << stream << EndOp{};
+}
+
+} // namespace Sirit

externals/sirit/src/instructions/type.cpp

@@ -0,0 +1,130 @@
+/* This file is part of the sirit project.
+ * Copyright (c) 2019 sirit
+ * This software may be used and distributed according to the terms of the
+ * 3-Clause BSD License
+ */
+
+#include <cassert>
+#include <optional>
+
+#include "sirit/sirit.h"
+
+#include "stream.h"
+
+namespace Sirit {
+
+Id Module::TypeVoid() {
+    declarations->Reserve(2);
+    return *declarations << OpId{spv::Op::OpTypeVoid} << EndOp{};
+}
+
+Id Module::TypeBool() {
+    declarations->Reserve(2);
+    return *declarations << OpId{spv::Op::OpTypeBool} << EndOp{};
+}
+
+Id Module::TypeInt(int width, bool is_signed) {
+    declarations->Reserve(4);
+    return *declarations << OpId{spv::Op::OpTypeInt} << width << is_signed << EndOp{};
+}
+
+Id Module::TypeSInt(int width) {
+    return TypeInt(width, true);
+}
+
+Id Module::TypeUInt(int width) {
+    return TypeInt(width, false);
+}
+
+Id Module::TypeFloat(int width) {
+    declarations->Reserve(3);
+    return *declarations << OpId{spv::Op::OpTypeFloat} << width << EndOp{};
+}
+
+Id Module::TypeVector(Id component_type, int component_count) {
+    assert(component_count >= 2);
+    declarations->Reserve(4);
+    return *declarations << OpId{spv::Op::OpTypeVector} << component_type << component_count
+                         << EndOp{};
+}
+
+Id Module::TypeMatrix(Id column_type, int column_count) {
+    assert(column_count >= 2);
+    declarations->Reserve(4);
+    return *declarations << OpId{spv::Op::OpTypeMatrix} << column_type << column_count << EndOp{};
+}
+
+Id Module::TypeImage(Id sampled_type, spv::Dim dim, int depth, bool arrayed, bool ms, int sampled,
+                     spv::ImageFormat image_format,
+                     std::optional<spv::AccessQualifier> access_qualifier) {
+    declarations->Reserve(10);
+    return *declarations << OpId{spv::Op::OpTypeImage} << sampled_type << dim << depth << arrayed
+                         << ms << sampled << image_format << access_qualifier << EndOp{};
+}
+
+Id Module::TypeSampler() {
+    declarations->Reserve(2);
+    return *declarations << OpId{spv::Op::OpTypeSampler} << EndOp{};
+}
+
+Id Module::TypeSampledImage(Id image_type) {
+    declarations->Reserve(3);
+    return *declarations << OpId{spv::Op::OpTypeSampledImage} << image_type << EndOp{};
+}
+
+Id Module::TypeArray(Id element_type, Id length) {
+    declarations->Reserve(4);
+    return *declarations << OpId{spv::Op::OpTypeArray} << element_type << length << EndOp{};
+}
+
+Id Module::TypeRuntimeArray(Id element_type) {
+    declarations->Reserve(3);
+    return *declarations << OpId{spv::Op::OpTypeRuntimeArray} << element_type << EndOp{};
+}
+
+Id Module::TypeStruct(std::span<const Id> members) {
+    declarations->Reserve(2 + members.size());
+    return *declarations << OpId{spv::Op::OpTypeStruct} << members << EndOp{};
+}
+
+Id Module::TypeOpaque(std::string_view name) {
+    declarations->Reserve(3 + WordsInString(name));
+    return *declarations << OpId{spv::Op::OpTypeOpaque} << name << EndOp{};
+}
+
+Id Module::TypePointer(spv::StorageClass storage_class, Id type) {
+    declarations->Reserve(4);
+    return *declarations << OpId{spv::Op::OpTypePointer} << storage_class << type << EndOp{};
+}
+
+Id Module::TypeFunction(Id return_type, std::span<const Id> arguments) {
+    declarations->Reserve(3 + arguments.size());
+    return *declarations << OpId{spv::Op::OpTypeFunction} << return_type << arguments << EndOp{};
+}
+
+Id Module::TypeEvent() {
+    declarations->Reserve(2);
+    return *declarations << OpId{spv::Op::OpTypeEvent} << EndOp{};
+}
+
+Id Module::TypeDeviceEvent() {
+    declarations->Reserve(2);
+    return *declarations << OpId{spv::Op::OpTypeDeviceEvent} << EndOp{};
+}
+
+Id Module::TypeReserveId() {
+    declarations->Reserve(2);
+    return *declarations << OpId{spv::Op::OpTypeReserveId} << EndOp{};
+}
+
+Id Module::TypeQueue() {
+    declarations->Reserve(2);
+    return *declarations << OpId{spv::Op::OpTypeQueue} << EndOp{};
+}
+
+Id Module::TypePipe(spv::AccessQualifier access_qualifier) {
+    declarations->Reserve(2);
+    return *declarations << OpId{spv::Op::OpTypePipe} << access_qualifier << EndOp{};
+}
+
+} // namespace Sirit