Skip to content

Commit 14f5623

Browse files
committed
[region-isolation] Look through actor isolated, non-Sendable struct_element_addr geps.
Just an initial commit. Going to add more tests. rdar://127006035.
1 parent ea1408b commit 14f5623

File tree

1 file changed

+0
-11
lines changed

1 file changed

+0
-11
lines changed

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -188,17 +188,6 @@ struct UseDefChainVisitor
188188
case ProjectionKind::Struct:
189189
auto *sea = cast<StructElementAddrInst>(inst);
190190

191-
// See if our type is actor isolated.
192-
if (!bool(actorIsolation)) {
193-
auto i = getActorIsolation(sea->getStructDecl());
194-
// If our parent type is actor isolated then we do not want to keep on
195-
// walking up from use->def since the value is considered Sendable.
196-
if (i.isActorIsolated()) {
197-
actorIsolation = i;
198-
return SILValue();
199-
}
200-
}
201-
202191
// See if our result type is a sendable type. In such a case, we do not
203192
// want to look through the struct_element_addr since we do not want to
204193
// identify the sendable type with the non-sendable operand. These we

0 commit comments

Comments
 (0)