[Concurrency] SILGen for ExtractFunctionIsolationExpr.

hborla · hborla · commit 7e0f534a5a1e · 2024-03-13T22:23:31.000-07:00
diff --git a/lib/SILGen/SILGenExpr.cpp b/lib/SILGen/SILGenExpr.cpp
@@ -2109,9 +2109,12 @@ RValue RValueEmitter::visitActorIsolationErasureExpr(ActorIsolationErasureExpr *
                                                    nonIsolatedType));
 }
 
-RValue RValueEmitter::visitExtractFunctionIsolationExpr(ExtractFunctionIsolationExpr *E,
-                                                        SGFContext C) {
-  llvm_unreachable("not yet implemented for ExtractFunctionIsolationExpr");
+RValue RValueEmitter::visitExtractFunctionIsolationExpr(
+    ExtractFunctionIsolationExpr *E, SGFContext C) {
+  auto arg = SGF.emitRValue(E->getFunctionExpr());
+  auto result = SGF.emitExtractFunctionIsolation(
+      E, ArgumentSource(E, std::move(arg)), C);
+  return RValue(SGF, E, result);
 }
 
 RValue RValueEmitter::visitErasureExpr(ErasureExpr *E, SGFContext C) {

Original file line number	Diff line number	Diff line change
`@@ -2109,9 +2109,12 @@ RValue RValueEmitter::visitActorIsolationErasureExpr(ActorIsolationErasureExpr *`
`2109`	`2109`	`nonIsolatedType));`
`2110`	`2110`	`}`
`2111`	`2111`
`2112`		`-RValue RValueEmitter::visitExtractFunctionIsolationExpr(ExtractFunctionIsolationExpr *E,`
`2113`		`- SGFContext C) {`
`2114`		`- llvm_unreachable("not yet implemented for ExtractFunctionIsolationExpr");`
	`2112`	`+RValue RValueEmitter::visitExtractFunctionIsolationExpr(`
	`2113`	`+ ExtractFunctionIsolationExpr *E, SGFContext C) {`
	`2114`	`+ auto arg = SGF.emitRValue(E->getFunctionExpr());`
	`2115`	`+ auto result = SGF.emitExtractFunctionIsolation(`
	`2116`	`+ E, ArgumentSource(E, std::move(arg)), C);`
	`2117`	`+ return RValue(SGF, E, result);`
`2115`	`2118`	`}`
`2116`	`2119`
`2117`	`2120`	`RValue RValueEmitter::visitErasureExpr(ErasureExpr *E, SGFContext C) {`