1 files changed, 109 insertions, 0 deletions
diff --git a/externals/sirit/src/instructions/flow.cpp b/externals/sirit/src/instructions/flow.cpp
new file mode 100644
index 0000000000..5f6b693d54
--- /dev/null
+++ b/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