Verify load_borrow's unchecked bit is off in canonical SIL

meg-gupta · meg-gupta · commit f179e5d60308 · 2025-10-23T05:19:05.000-07:00
diff --git a/lib/SIL/Verifier/SILVerifier.cpp b/lib/SIL/Verifier/SILVerifier.cpp
@@ -2728,6 +2728,8 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
     requireSameType(LBI->getOperand()->getType().getObjectType(),
                     LBI->getType(),
                     "Load operand type and result type mismatch");
+    require(F.getModule().getStage() == SILStage::Raw || !LBI->isUnchecked(),
+            "load_borrow's unchecked bit is on");
   }
 
   void checkBeginBorrowInst(BeginBorrowInst *bbi) {

Original file line number	Diff line number	Diff line change
`@@ -2728,6 +2728,8 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {`
`2728`	`2728`	`requireSameType(LBI->getOperand()->getType().getObjectType(),`
`2729`	`2729`	`LBI->getType(),`
`2730`	`2730`	`"Load operand type and result type mismatch");`
	`2731`	`+ require(F.getModule().getStage() == SILStage::Raw \|\| !LBI->isUnchecked(),`
	`2732`	`+ "load_borrow's unchecked bit is on");`
`2731`	`2733`	`}`
`2732`	`2734`
`2733`	`2735`	`void checkBeginBorrowInst(BeginBorrowInst *bbi) {`