[SPIR-V 1.6] True Label and False Label of an OpBranchConditional mus…

…t not be the same (#2528)
KhronosGroup · Jul 4, 2024 · 1d1e824 · 1d1e824
1 parent 3d58aef
commit 1d1e824
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/SPIRV/libSPIRV/SPIRVInstruction.h b/lib/SPIRV/libSPIRV/SPIRVInstruction.h
@@ -852,6 +852,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;