@@ -49,16 +49,12 @@ static bool SILApplyCrossesIsolation(const SILInstruction *inst) {
49
49
return false ;
50
50
}
51
51
52
- static bool isAddress (SILValue val) {
53
- return val->getType () && val->getType ().isAddress ();
54
- }
55
-
56
52
static bool isApplyInst (SILInstruction &inst) {
57
53
return ApplySite::isa (&inst) || isa<BuiltinInst>(inst);
58
54
}
59
55
60
56
static AccessStorage getAccessStorageFromAddr (SILValue value) {
61
- assert (isAddress (value ));
57
+ assert (value-> getType (). isAddress ());
62
58
auto accessStorage = AccessStorage::compute (value);
63
59
if (accessStorage && accessStorage.getRoot ()) {
64
60
if (auto definingInst = accessStorage.getRoot ().getDefiningInstruction ()) {
@@ -72,7 +68,7 @@ static AccessStorage getAccessStorageFromAddr(SILValue value) {
72
68
}
73
69
74
70
static SILValue getUnderlyingTrackedValue (SILValue value) {
75
- if (!isAddress (value )) {
71
+ if (!value-> getType (). isAddress ()) {
76
72
return getUnderlyingObject (value);
77
73
}
78
74
@@ -355,9 +351,9 @@ class PartitionOpTranslator {
355
351
self->stateIndexToEquivalenceClass [iter.first ->second .getID ()] = value;
356
352
#endif
357
353
358
- // Otherwise, we need to compute our true aliased and sendable values. Begi
359
- // by seeing if we have a value that we can prove is not aliased.
360
- if (isAddress (value )) {
354
+ // Otherwise, we need to compute our flags. Begin by seeing if we have a
355
+ // value that we can prove is not aliased.
356
+ if (value-> getType (). isAddress ()) {
361
357
if (auto accessStorage = AccessStorage::compute (value))
362
358
if (accessStorage.isUniquelyIdentified () &&
363
359
!capturedUIValues.count (value))
0 commit comments