Return BorrowedValueKind::Invalid for GuaranteedForwardingPhi

meg-gupta · meg-gupta · commit 79496ab513a0 · 2022-10-21T11:46:31.000-07:00
diff --git a/include/swift/SIL/OwnershipUtils.h b/include/swift/SIL/OwnershipUtils.h
@@ -527,6 +527,9 @@ class BorrowedValueKind {
                        })) {
         return Kind::Invalid;
       }
+      if (isGuaranteedForwardingPhi(value)) {
+        return Kind::Invalid;
+      }
       return Kind::Phi;
     }
     }

Original file line number	Diff line number	Diff line change
`@@ -527,6 +527,9 @@ class BorrowedValueKind {`
`527`	`527`	`})) {`
`528`	`528`	`return Kind::Invalid;`
`529`	`529`	`}`
	`530`	`+ if (isGuaranteedForwardingPhi(value)) {`
	`531`	`+ return Kind::Invalid;`
	`532`	`+ }`
`530`	`533`	`return Kind::Phi;`
`531`	`534`	`}`
`532`	`535`	`}`