Skip to content

Commit 1ee0970

Browse files
slavapestovslavapestov
committed
SIL: Use objc_method instruction for Objective-C protocol method calls
Fixes <rdar://problem/15933365>.
1 parent a23d1fa commit 1ee0970

31 files changed

+75
-110
lines changed

‎include/swift/SIL/SILBuilder.h

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1282,11 +1282,10 @@ class SILBuilder {
12821282

12831283
WitnessMethodInst *createWitnessMethod(SILLocation Loc, CanType LookupTy,
12841284
ProtocolConformanceRef Conformance,
1285-
SILDeclRef Member, SILType MethodTy,
1286-
bool Volatile = false) {
1285+
SILDeclRef Member, SILType MethodTy) {
12871286
return insert(WitnessMethodInst::create(
12881287
getSILDebugLocation(Loc), LookupTy, Conformance, Member, MethodTy,
1289-
&getFunction(), OpenedArchetypes, Volatile));
1288+
&getFunction(), OpenedArchetypes));
12901289
}
12911290

12921291
OpenExistentialAddrInst *

‎include/swift/SIL/SILCloner.h

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1640,8 +1640,7 @@ SILCloner<ImplClass>::visitWitnessMethodInst(WitnessMethodInst *Inst) {
16401640
.createWitnessMethod(
16411641
getOpLocation(Inst->getLoc()),
16421642
newLookupType, conformance,
1643-
Inst->getMember(), Inst->getType(),
1644-
Inst->isVolatile()));
1643+
Inst->getMember(), Inst->getType()));
16451644
}
16461645

16471646
template<typename ImplClass>

‎include/swift/SIL/SILInstruction.h

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -5464,16 +5464,13 @@ class WitnessMethodInst final
54645464
CanType LookupType;
54655465
ProtocolConformanceRef Conformance;
54665466
unsigned NumOperands;
5467-
bool Volatile;
54685467

54695468
WitnessMethodInst(SILDebugLocation DebugLoc, CanType LookupType,
54705469
ProtocolConformanceRef Conformance, SILDeclRef Member,
5471-
SILType Ty, ArrayRef<SILValue> TypeDependentOperands,
5472-
bool Volatile = false)
5470+
SILType Ty, ArrayRef<SILValue> TypeDependentOperands)
54735471
: InstructionBase(DebugLoc, Ty, Member),
54745472
LookupType(LookupType), Conformance(Conformance),
5475-
NumOperands(TypeDependentOperands.size()),
5476-
Volatile(Volatile) {
5473+
NumOperands(TypeDependentOperands.size()) {
54775474
TrailingOperandsList::InitOperandsList(getAllOperands().begin(), this,
54785475
TypeDependentOperands);
54795476
}
@@ -5493,8 +5490,7 @@ class WitnessMethodInst final
54935490
static WitnessMethodInst *
54945491
create(SILDebugLocation DebugLoc, CanType LookupType,
54955492
ProtocolConformanceRef Conformance, SILDeclRef Member, SILType Ty,
5496-
SILFunction *Parent, SILOpenedArchetypesState &OpenedArchetypes,
5497-
bool Volatile = false);
5493+
SILFunction *Parent, SILOpenedArchetypesState &OpenedArchetypes);
54985494

54995495
public:
55005496
~WitnessMethodInst() {
@@ -5510,8 +5506,6 @@ class WitnessMethodInst final
55105506
->getAsProtocolOrProtocolExtensionContext();
55115507
}
55125508

5513-
bool isVolatile() const { return Volatile; }
5514-
55155509
ProtocolConformanceRef getConformance() const { return Conformance; }
55165510

55175511
ArrayRef<Operand> getAllOperands() const {

‎include/swift/Serialization/ModuleFormat.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ const uint16_t VERSION_MAJOR = 0;
5454
/// in source control, you should also update the comment to briefly
5555
/// describe what change you made. The content of this comment isn't important;
5656
/// it just ensures a conflict if two people change the module format.
57-
const uint16_t VERSION_MINOR = 389; // Last change: don't serialize 'self'
57+
const uint16_t VERSION_MINOR = 340; // Last change: remove 'volatile' bit from witness_method
5858

5959
using DeclIDField = BCFixed<31>;
6060

‎lib/IRGen/IRGenSIL.cpp

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -5032,13 +5032,6 @@ IRGenSILFunction::visitProjectExistentialBoxInst(ProjectExistentialBoxInst *i) {
50325032
}
50335033

50345034
void IRGenSILFunction::visitWitnessMethodInst(swift::WitnessMethodInst *i) {
5035-
// For Objective-C classes we need to arrange for a msgSend
5036-
// to happen when the method is called.
5037-
if (i->getMember().isForeign) {
5038-
setLoweredObjCMethod(i, i->getMember());
5039-
return;
5040-
}
5041-
50425035
CanType baseTy = i->getLookupType();
50435036
ProtocolConformanceRef conformance = i->getConformance();
50445037
SILDeclRef member = i->getMember();

‎lib/IRGen/LoadableByAddress.cpp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1997,7 +1997,6 @@ static void rewriteFunction(StructLoweringState &pass,
19971997
}
19981998
case SILInstructionKind::WitnessMethodInst: {
19991999
auto *WMI = dyn_cast<WitnessMethodInst>(instr);
2000-
assert(!WMI->isVolatile());
20012000
assert(WMI && "ValueKind is Witness Method but dyn_cast failed");
20022001
newInstr = methodBuilder.createWitnessMethod(
20032002
loc, WMI->getLookupType(), WMI->getConformance(), member, newSILType);

‎lib/ParseSIL/ParseSIL.cpp

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3902,9 +3902,6 @@ bool SILParser::parseSILInstruction(SILBuilder &B) {
39023902
break;
39033903
}
39043904
case SILInstructionKind::WitnessMethodInst: {
3905-
bool IsVolatile = false;
3906-
if (parseSILOptional(IsVolatile, *this, "volatile"))
3907-
return true;
39083905
CanType LookupTy;
39093906
SILDeclRef Member;
39103907
SILType MethodTy;
@@ -3945,7 +3942,7 @@ bool SILParser::parseSILInstruction(SILBuilder &B) {
39453942
}
39463943

39473944
ResultVal = B.createWitnessMethod(InstLoc, LookupTy, Conformance, Member,
3948-
MethodTy, IsVolatile);
3945+
MethodTy);
39493946
break;
39503947
}
39513948
case SILInstructionKind::CopyAddrInst: {

‎lib/SIL/SILInstruction.cpp

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -807,8 +807,6 @@ namespace {
807807

808808
bool visitWitnessMethodInst(const WitnessMethodInst *RHS) {
809809
auto *X = cast<WitnessMethodInst>(LHS);
810-
if (X->isVolatile() != RHS->isVolatile())
811-
return false;
812810
if (X->getMember() != RHS->getMember())
813811
return false;
814812
if (X->getLookupType() != RHS->getLookupType())

‎lib/SIL/SILInstructions.cpp

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1688,8 +1688,7 @@ WitnessMethodInst *
16881688
WitnessMethodInst::create(SILDebugLocation Loc, CanType LookupType,
16891689
ProtocolConformanceRef Conformance, SILDeclRef Member,
16901690
SILType Ty, SILFunction *F,
1691-
SILOpenedArchetypesState &OpenedArchetypes,
1692-
bool Volatile) {
1691+
SILOpenedArchetypesState &OpenedArchetypes) {
16931692
assert(cast<ProtocolDecl>(Member.getDecl()->getDeclContext())
16941693
== Conformance.getRequirement());
16951694

@@ -1704,7 +1703,7 @@ WitnessMethodInst::create(SILDebugLocation Loc, CanType LookupType,
17041703

17051704
declareWitnessTable(Mod, Conformance);
17061705
return ::new (Buffer) WitnessMethodInst(Loc, LookupType, Conformance, Member,
1707-
Ty, TypeDependentOperands, Volatile);
1706+
Ty, TypeDependentOperands);
17081707
}
17091708

17101709
ObjCMethodInst *

‎lib/SIL/SILPrinter.cpp

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1669,8 +1669,6 @@ class SILPrinter : public SILInstructionVisitor<SILPrinter> {
16691669
PrintOptions QualifiedSILTypeOptions =
16701670
PrintOptions::printQualifiedSILType();
16711671
QualifiedSILTypeOptions.CurrentModule = WMI->getModule().getSwiftModule();
1672-
if (WMI->isVolatile())
1673-
*this << "[volatile] ";
16741672
*this << "$" << WMI->getLookupType() << ", " << WMI->getMember() << " : ";
16751673
WMI->getMember().getDecl()->getInterfaceType().print(
16761674
PrintState.OS, QualifiedSILTypeOptions);

‎lib/SIL/SILVerifier.cpp

Lines changed: 9 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2332,19 +2332,21 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
23322332

23332333
auto methodSelfType = getMethodSelfType(methodType);
23342334
auto operandType = OMI->getOperand()->getType();
2335+
auto operandInstanceType = operandType.getSwiftRValueType();
2336+
if (auto metatypeType = dyn_cast<MetatypeType>(operandInstanceType))
2337+
operandInstanceType = metatypeType.getInstanceType();
23352338

2336-
if (methodSelfType.isClassOrClassMetatype()) {
2339+
if (operandInstanceType.getClassOrBoundGenericClass()) {
23372340
auto overrideTy = TC.getConstantOverrideType(member);
23382341
requireSameType(
23392342
OMI->getType(), SILType::getPrimitiveObjectType(overrideTy),
23402343
"result type of objc_method must match abstracted type of method");
2341-
require(operandType.isClassOrClassMetatype(),
2342-
"operand must be of a class type");
2344+
require(methodSelfType.isClassOrClassMetatype(),
2345+
"method self type must be of a class type");
23432346
} else {
2344-
require(getDynamicMethodType(operandType, OMI->getMember())
2345-
.getSwiftRValueType()
2346-
->isBindableTo(OMI->getType().getSwiftRValueType()),
2347-
"result must be of the method's type");
2347+
require(isa<ArchetypeType>(operandInstanceType) ||
2348+
operandInstanceType->isObjCExistentialType(),
2349+
"operand type must be an archetype or self-conforming existential");
23482350
verifyOpenedArchetype(OMI, OMI->getType().getSwiftRValueType());
23492351
}
23502352

‎lib/SILGen/SILGenApply.cpp

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -418,7 +418,10 @@ class Callee {
418418
case Kind::IndirectValue:
419419
case Kind::StandaloneFunction:
420420
case Kind::EnumElement:
421+
return false;
421422
case Kind::WitnessMethod:
423+
if (Constant.isForeign)
424+
return true;
422425
return false;
423426
case Kind::ClassMethod:
424427
case Kind::SuperMethod:
@@ -548,9 +551,17 @@ class Callee {
548551
->getRValueInstanceType()
549552
->getCanonicalType();
550553

551-
SILValue fn = SGF.B.createWitnessMethod(
554+
SILValue fn;
555+
556+
if (!constant->isForeign) {
557+
fn = SGF.B.createWitnessMethod(
552558
Loc, lookupType, ProtocolConformanceRef(proto), *constant,
553-
constantInfo.getSILType(), constant->isForeign);
559+
constantInfo.getSILType());
560+
} else {
561+
fn = SGF.B.createObjCMethod(Loc, borrowedSelf->getValue(),
562+
*constant, constantInfo.getSILType());
563+
}
564+
554565
return ManagedValue::forUnmanaged(fn);
555566
}
556567
case Kind::DynamicMethod: {

‎lib/SILGen/SILGenBridging.cpp

Lines changed: 5 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1489,31 +1489,17 @@ getThunkedForeignFunctionRef(SILGenFunction &SGF,
14891489
const SILConstantInfo &foreignCI) {
14901490
assert(!foreign.isCurried
14911491
&& "should not thunk calling convention when curried");
1492+
assert(foreign.isForeign);
14921493

1493-
// Produce a witness_method when thunking ObjC protocol methods.
1494-
auto dc = foreign.getDecl()->getDeclContext();
1495-
if (isa<ProtocolDecl>(dc) && cast<ProtocolDecl>(dc)->isObjC()) {
1496-
assert(subs.size() == 1);
1497-
auto thisType = subs[0].getReplacement()->getCanonicalType();
1498-
assert(isa<ArchetypeType>(thisType) && "no archetype for witness?!");
1499-
SILValue thisArg = args.back().getValue();
1500-
1501-
SILValue OpenedExistential;
1502-
if (!cast<ArchetypeType>(thisType)->getOpenedExistentialType().isNull())
1503-
OpenedExistential = thisArg;
1504-
auto conformance = ProtocolConformanceRef(cast<ProtocolDecl>(dc));
1505-
return SGF.B.createWitnessMethod(loc, thisType, conformance, foreign,
1506-
foreignCI.getSILType(),
1507-
OpenedExistential);
1508-
1509-
// Produce a class_method when thunking imported ObjC methods.
1510-
} else if (foreignCI.SILFnType->getRepresentation()
1494+
// Produce an objc_method when thunking ObjC methods.
1495+
if (foreignCI.SILFnType->getRepresentation()
15111496
== SILFunctionTypeRepresentation::ObjCMethod) {
15121497
SILValue thisArg = args.back().getValue();
15131498

15141499
return SGF.B.createObjCMethod(loc, thisArg, foreign,
1515-
SILType::getPrimitiveObjectType(foreignCI.SILFnType));
1500+
foreignCI.getSILType());
15161501
}
1502+
15171503
// Otherwise, emit a function_ref.
15181504
return SGF.emitGlobalFunctionRef(loc, foreign);
15191505
}

‎lib/SILGen/SILGenThunk.cpp

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -221,12 +221,8 @@ static SILValue getNextUncurryLevelRef(SILGenFunction &SGF,
221221
auto origSelfType = protocol->getSelfInterfaceType()->getCanonicalType();
222222
auto substSelfType = origSelfType.subst(subMap)->getCanonicalType();
223223
auto conformance = subMap.lookupConformance(origSelfType, protocol);
224-
SILValue OpenedExistential;
225-
if (substSelfType->isOpenedExistential())
226-
OpenedExistential = selfArg;
227224
return SGF.B.createWitnessMethod(loc, substSelfType, *conformance, next,
228-
constantInfo.getSILType(),
229-
OpenedExistential);
225+
constantInfo.getSILType());
230226
}
231227
}
232228

‎lib/SILOptimizer/Analysis/BasicCalleeAnalysis.cpp

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -189,9 +189,6 @@ CalleeList CalleeCache::getCalleeList(SILDeclRef Decl) const {
189189

190190
// Return a callee list for the given witness method.
191191
CalleeList CalleeCache::getCalleeList(WitnessMethodInst *WMI) const {
192-
if (WMI->isVolatile())
193-
return CalleeList();
194-
195192
// First attempt to see if we can narrow it down to a single
196193
// function based on the conformance.
197194
if (auto *CalleeFn = getSingleCalleeForWitnessMethod(WMI))

‎lib/SILOptimizer/SILCombiner/SILCombinerApplyVisitors.cpp

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1050,8 +1050,7 @@ SILCombiner::propagateConcreteTypeOfInitExistential(FullApplySite AI,
10501050
auto *NewWMI = Builder.createWitnessMethod(WMI->getLoc(),
10511051
ConcreteType,
10521052
Conformance, WMI->getMember(),
1053-
WMI->getType(),
1054-
WMI->isVolatile());
1053+
WMI->getType());
10551054
// Replace only uses of the witness_method in the apply that is going to
10561055
// be changed.
10571056
MutableArrayRef<Operand> Operands = AI.getInstruction()->getAllOperands();

‎lib/SILOptimizer/Transforms/CSE.cpp

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -880,9 +880,6 @@ bool CSE::canHandle(SILInstruction *Inst) {
880880
return false;
881881
return !BI->mayReadOrWriteMemory();
882882
}
883-
if (auto *WMI = dyn_cast<WitnessMethodInst>(Inst)) {
884-
return !WMI->isVolatile();
885-
}
886883
if (auto *EMI = dyn_cast<ExistentialMetatypeInst>(Inst)) {
887884
return !EMI->getOperand()->getType().isAddress();
888885
}
@@ -937,6 +934,7 @@ bool CSE::canHandle(SILInstruction *Inst) {
937934
case SILInstructionKind::PointerToThinFunctionInst:
938935
case SILInstructionKind::MarkDependenceInst:
939936
case SILInstructionKind::OpenExistentialRefInst:
937+
case SILInstructionKind::WitnessMethodInst:
940938
return true;
941939
default:
942940
return false;

‎lib/SILOptimizer/Transforms/SimplifyCFG.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2371,8 +2371,8 @@ static SILBasicBlock *isObjCMethodCallBlock(SILBasicBlock &Block) {
23712371
auto *Apply = dyn_cast<ApplyInst>(&Inst);
23722372
if (!Apply)
23732373
continue;
2374-
auto *Callee = dyn_cast<WitnessMethodInst>(Apply->getCallee());
2375-
if (!Callee || !Callee->getMember().isForeign)
2374+
auto *Callee = dyn_cast<ObjCMethodInst>(Apply->getCallee());
2375+
if (!Callee)
23762376
continue;
23772377

23782378
return Branch->getDestBB();

‎lib/Serialization/DeserializeSIL.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1985,7 +1985,7 @@ bool SILDeserializer::readSILInstruction(SILFunction *Fn, SILBasicBlock *BB,
19851985
ExistentialOperand = getLocalValue(ValID3, ExistentialOperandTy);
19861986
}
19871987
ResultVal = Builder.createWitnessMethod(
1988-
Loc, Ty, Conformance, DRef, OperandTy, Attr);
1988+
Loc, Ty, Conformance, DRef, OperandTy);
19891989
break;
19901990
}
19911991
case SILInstructionKind::DynamicMethodBranchInst: {

‎lib/Serialization/SerializeSIL.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1730,7 +1730,7 @@ void SILSerializer::writeSILInstruction(const SILInstruction &SI) {
17301730

17311731
SILInstWitnessMethodLayout::emitRecord(
17321732
Out, ScratchRecord, SILAbbrCodes[SILInstWitnessMethodLayout::Code],
1733-
S.addTypeRef(Ty), 0, WMI->isVolatile(),
1733+
S.addTypeRef(Ty), 0, 0,
17341734
S.addTypeRef(Ty2.getSwiftRValueType()), (unsigned)Ty2.getCategory(),
17351735
OperandTy, OperandTyCategory, OperandValueId, ListOfValues);
17361736

‎test/SIL/Parser/basic.sil

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -303,8 +303,8 @@ bb0(%0 : $*T):
303303
%5 = apply %4(%0) : $@cc(method) (@inout T) -> @thick T.U.Type
304304
store %5 to %3 : $*@thick T.U.Type
305305
%7 = metatype $@thick T.Type
306-
// C/HECK: witness_method [volatile] $*T, #Runcible.static_method!1
307-
%8 = witness_method [volatile] $*T, #Runcible.static_method!1 : $(@thick T.Type) -> ()
306+
// C/HECK: objc_method $*T, #Runcible.static_method!1
307+
%8 = objc_method $*T, #Runcible.static_method!1 : $(@thick T.Type) -> ()
308308
%9 = apply %8(%7) : $(@thick T.Type) -> ()
309309
dealloc_stack %3 : $*@thick T.U.Type
310310
%11 = tuple ()

‎test/SILGen/foreign_errors.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -212,13 +212,13 @@ class VeryErrorProne : ErrorProne {
212212
func testProtocol(_ p: ErrorProneProtocol) throws {
213213
// CHECK: [[BORROWED_ARG0:%.*]] = begin_borrow [[ARG0]]
214214
// CHECK: [[T0:%.*]] = open_existential_ref [[BORROWED_ARG0]] : $ErrorProneProtocol to $[[OPENED:@opened(.*) ErrorProneProtocol]]
215-
// CHECK: [[T1:%.*]] = witness_method [volatile] $[[OPENED]], #ErrorProneProtocol.obliterate!1.foreign : {{.*}}, [[T0]] : $[[OPENED]] :
215+
// CHECK: [[T1:%.*]] = objc_method [[T0]] : $[[OPENED]], #ErrorProneProtocol.obliterate!1.foreign : {{.*}}
216216
// CHECK: apply [[T1]]<[[OPENED]]>({{%.*}}, [[T0]]) : $@convention(objc_method) <τ_0_0 where τ_0_0 : ErrorProneProtocol> (Optional<AutoreleasingUnsafeMutablePointer<Optional<NSError>>>, τ_0_0) -> ObjCBool
217217
try p.obliterate()
218218

219219
// CHECK: [[BORROWED_ARG0:%.*]] = begin_borrow [[ARG0]]
220220
// CHECK: [[T0:%.*]] = open_existential_ref [[BORROWED_ARG0]] : $ErrorProneProtocol to $[[OPENED:@opened(.*) ErrorProneProtocol]]
221-
// CHECK: [[T1:%.*]] = witness_method [volatile] $[[OPENED]], #ErrorProneProtocol.invigorate!1.foreign : {{.*}}, [[T0]] : $[[OPENED]] :
221+
// CHECK: [[T1:%.*]] = objc_method [[T0]] : $[[OPENED]], #ErrorProneProtocol.invigorate!1.foreign : {{.*}}
222222
// CHECK: apply [[T1]]<[[OPENED]]>({{%.*}}, {{%.*}}, [[T0]]) : $@convention(objc_method) <τ_0_0 where τ_0_0 : ErrorProneProtocol> (Optional<AutoreleasingUnsafeMutablePointer<Optional<NSError>>>, Optional<@convention(block) () -> ()>, τ_0_0) -> ObjCBool
223223
try p.invigorate(callback: {})
224224
}

‎test/SILGen/generic_property_base_lifetime.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ func getIntPropGeneric<T: ProtocolB>(_ a: T) -> Int {
9696
// CHECK: [[BORROWED_ARG:%.*]] = begin_borrow [[ARG]]
9797
// CHECK: [[PROJECTION:%.*]] = open_existential_ref [[BORROWED_ARG]]
9898
// CHECK: [[PROJECTION_COPY:%.*]] = copy_value [[PROJECTION]]
99-
// CHECK: [[METHOD:%.*]] = witness_method [volatile] $@opened({{.*}}) ProtocolO, #ProtocolO.intProp!getter.1.foreign : {{.*}}, [[PROJECTION]]
99+
// CHECK: [[METHOD:%.*]] = objc_method [[PROJECTION_COPY]] : $@opened({{.*}}) ProtocolO, #ProtocolO.intProp!getter.1.foreign : {{.*}}
100100
// CHECK: apply [[METHOD]]<@opened{{.*}}>([[PROJECTION_COPY]])
101101
// CHECK: destroy_value [[PROJECTION_COPY]]
102102
// CHECK: end_borrow [[BORROWED_ARG]] from [[ARG]]
@@ -111,7 +111,7 @@ func getIntPropExistential(_ a: ProtocolO) -> Int {
111111
// CHECK: [[BORROWED_ARG:%.*]] = begin_borrow [[ARG]]
112112
// CHECK: [[PROJECTION:%.*]] = open_existential_ref [[BORROWED_ARG]]
113113
// CHECK: [[PROJECTION_COPY:%.*]] = copy_value [[PROJECTION]]
114-
// CHECK: [[METHOD:%.*]] = witness_method [volatile] $@opened({{.*}}) ProtocolO, #ProtocolO.intProp!setter.1.foreign : {{.*}}, [[PROJECTION]]
114+
// CHECK: [[METHOD:%.*]] = objc_method [[PROJECTION_COPY]] : $@opened({{.*}}) ProtocolO, #ProtocolO.intProp!setter.1.foreign : {{.*}}
115115
// CHECK: apply [[METHOD]]<@opened{{.*}}>({{.*}}, [[PROJECTION_COPY]])
116116
// CHECK: destroy_value [[PROJECTION_COPY]]
117117
// CHECK: end_borrow [[BORROWED_ARG]] from [[ARG]]

0 commit comments

Comments
 (0)