True Label and False Label of an OpBranchConditional must not be the …

…same (#2528) Original commit: KhronosGroup/SPIRV-LLVM-Translator@4a6a1746c61f917
intel · Jun 27, 2024 · 061de13 · 061de13
1 parent 7c8cb41
commit 061de13
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/llvm-spirv/lib/SPIRV/libSPIRV/SPIRVInstruction.h b/llvm-spirv/lib/SPIRV/libSPIRV/SPIRVInstruction.h
@@ -850,6 +850,8 @@ class SPIRVBranchConditional : public SPIRVInstruction {
            getCondition()->getType()->isTypeBool());
     assert(getTrueLabel()->isForward() || getTrueLabel()->isLabel());
     assert(getFalseLabel()->isForward() || getFalseLabel()->isLabel());
+    if (Module->isAllowedToUseVersion(VersionNumber::SPIRV_1_6))
+      assert(TrueLabelId != FalseLabelId);
   }
   SPIRVId ConditionId;
   SPIRVId TrueLabelId;