Merge pull request #34519 from jckarter/async-sil-tweaks

jckarter · web-flow · commit f72afc811081 · 2020-10-30T16:49:26.000-07:00
Async sil tweaks
diff --git a/lib/SIL/IR/OperandOwnership.cpp b/lib/SIL/IR/OperandOwnership.cpp
@@ -176,7 +176,7 @@ CONSTANT_OWNERSHIP_INST(Owned, MustBeInvalidated, DestroyValue)
 CONSTANT_OWNERSHIP_INST(Owned, MustBeInvalidated, EndLifetime)
 CONSTANT_OWNERSHIP_INST(Owned, MustBeInvalidated, BeginCOWMutation)
 CONSTANT_OWNERSHIP_INST(Owned, MustBeInvalidated, EndCOWMutation)
-CONSTANT_OWNERSHIP_INST(Owned, MustBeLive, AwaitAsyncContinuation)
+CONSTANT_OWNERSHIP_INST(None, MustBeLive, AwaitAsyncContinuation)
 CONSTANT_OWNERSHIP_INST(None, MustBeLive, AbortApply)
 CONSTANT_OWNERSHIP_INST(None, MustBeLive, AddressToPointer)
 CONSTANT_OWNERSHIP_INST(None, MustBeLive, BeginAccess)
diff --git a/lib/SIL/IR/ValueOwnership.cpp b/lib/SIL/IR/ValueOwnership.cpp
@@ -149,7 +149,7 @@ CONSTANT_OWNERSHIP_INST(Unowned, RawPointerToRef)
 CONSTANT_OWNERSHIP_INST(Unowned, ObjCProtocol)
 CONSTANT_OWNERSHIP_INST(Unowned, ValueToBridgeObject)
 CONSTANT_OWNERSHIP_INST(None, GetAsyncContinuation)
-CONSTANT_OWNERSHIP_INST(Unowned, GetAsyncContinuationAddr)
+CONSTANT_OWNERSHIP_INST(None, GetAsyncContinuationAddr)
 CONSTANT_OWNERSHIP_INST(None, ThinToThickFunction)
 #undef CONSTANT_OWNERSHIP_INST
 
diff --git a/stdlib/public/Concurrency/PartialAsyncTask.swift b/stdlib/public/Concurrency/PartialAsyncTask.swift
@@ -20,13 +20,14 @@ public struct PartialAsyncTask {
   public func run() { }
 }
 
-
+@frozen
 public struct UnsafeContinuation<T> {
   private var context: UnsafeRawPointer
 
   public func resume(_: T) { }
 }
 
+@frozen
 public struct UnsafeThrowingContinuation<T> {
   private var context: UnsafeRawPointer
 

Original file line number	Diff line number	Diff line change
`@@ -20,13 +20,14 @@ public struct PartialAsyncTask {`
`20`	`20`	`public func run() { }`
`21`	`21`	`}`
`22`	`22`
`23`		`-`
	`23`	`+@frozen`
`24`	`24`	`public struct UnsafeContinuation<T> {`
`25`	`25`	`private var context: UnsafeRawPointer`
`26`	`26`
`27`	`27`	`public func resume(_: T) { }`
`28`	`28`	`}`
`29`	`29`
	`30`	`+@frozen`
`30`	`31`	`public struct UnsafeThrowingContinuation<T> {`
`31`	`32`	`private var context: UnsafeRawPointer`
`32`	`33`