Skip to content

Commit 1a6d7c1

Browse files
atrickatrick
authored
Merge pull request #41947 from atrick/opv-silgen
[nfc-5.7] Initial round of SILGen fixes and tests for opaque value
2 parents 743d82b + 05fb8c7 commit 1a6d7c1

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

59 files changed

+1571
-2361
lines changed

‎SwiftCompilerSources/Sources/SIL/Instruction.swift‎

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -408,12 +408,6 @@ class UnconditionalCheckedCastInst : SingleValueInstruction, UnaryInstruction {
408408
public override var mayTrap: Bool { true }
409409
}
410410

411-
final public
412-
class UnconditionalCheckedCastValueInst : SingleValueInstruction,
413-
UnaryInstruction {
414-
public override var mayTrap: Bool { true }
415-
}
416-
417411
final public
418412
class ConvertFunctionInst : SingleValueInstruction, UnaryInstruction {}
419413

@@ -624,7 +618,3 @@ final public class CheckedCastBranchInst : TermInst, UnaryInstruction {
624618

625619
final public class CheckedCastAddrBranchInst : TermInst, UnaryInstruction {
626620
}
627-
628-
final public class CheckedCastValueBranchInst : TermInst, UnaryInstruction {
629-
}
630-

‎SwiftCompilerSources/Sources/SIL/Registration.swift‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -92,7 +92,6 @@ public func registerSILClasses() {
9292
register(RefElementAddrInst.self)
9393
register(RefTailAddrInst.self)
9494
register(UnconditionalCheckedCastInst.self)
95-
register(UnconditionalCheckedCastValueInst.self)
9695
register(ConvertFunctionInst.self)
9796
register(ThinToThickFunctionInst.self)
9897
register(ObjCExistentialMetatypeToObjectInst.self)
@@ -140,5 +139,4 @@ public func registerSILClasses() {
140139
register(AwaitAsyncContinuationInst.self)
141140
register(CheckedCastBranchInst.self)
142141
register(CheckedCastAddrBranchInst.self)
143-
register(CheckedCastValueBranchInst.self)
144142
}

‎include/swift/SIL/DynamicCasts.h‎

Lines changed: 0 additions & 54 deletions
Original file line numberDiff line numberDiff line change
@@ -187,14 +187,10 @@ struct SILDynamicCastInst {
187187
// checked_cast_value_br yet. Should we ever support it, please
188188
// review this code.
189189
case SILDynamicCastKind::CheckedCastBranchInst:
190-
case SILDynamicCastKind::CheckedCastValueBranchInst:
191-
return CastConsumptionKind::CopyOnSuccess;
192190
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
193191
return CastConsumptionKind::TakeAlways;
194192
case SILDynamicCastKind::UnconditionalCheckedCastInst:
195193
return CastConsumptionKind::CopyOnSuccess;
196-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
197-
llvm_unreachable("unsupported");
198194
}
199195
llvm_unreachable("covered switch");
200196
}
@@ -203,10 +199,8 @@ struct SILDynamicCastInst {
203199
switch (getKind()) {
204200
case SILDynamicCastKind::CheckedCastAddrBranchInst:
205201
case SILDynamicCastKind::CheckedCastBranchInst:
206-
case SILDynamicCastKind::CheckedCastValueBranchInst:
207202
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
208203
case SILDynamicCastKind::UnconditionalCheckedCastInst:
209-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
210204
llvm_unreachable("unsupported");
211205
}
212206
}
@@ -217,13 +211,9 @@ struct SILDynamicCastInst {
217211
return cast<CheckedCastAddrBranchInst>(inst)->getSuccessBB();
218212
case SILDynamicCastKind::CheckedCastBranchInst:
219213
return cast<CheckedCastBranchInst>(inst)->getSuccessBB();
220-
case SILDynamicCastKind::CheckedCastValueBranchInst:
221-
return cast<CheckedCastValueBranchInst>(inst)->getSuccessBB();
222214
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
223215
case SILDynamicCastKind::UnconditionalCheckedCastInst:
224216
return nullptr;
225-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
226-
llvm_unreachable("unsupported");
227217
}
228218
llvm_unreachable("covered switch");
229219
}
@@ -234,13 +224,9 @@ struct SILDynamicCastInst {
234224
llvm_unreachable("unsupported");
235225
case SILDynamicCastKind::CheckedCastBranchInst:
236226
return cast<CheckedCastBranchInst>(inst)->getTrueBBCount();
237-
case SILDynamicCastKind::CheckedCastValueBranchInst:
238-
llvm_unreachable("unsupported");
239227
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
240228
case SILDynamicCastKind::UnconditionalCheckedCastInst:
241229
return None;
242-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
243-
llvm_unreachable("unsupported");
244230
}
245231
llvm_unreachable("covered switch");
246232
}
@@ -255,13 +241,9 @@ struct SILDynamicCastInst {
255241
return cast<CheckedCastAddrBranchInst>(inst)->getFailureBB();
256242
case SILDynamicCastKind::CheckedCastBranchInst:
257243
return cast<CheckedCastBranchInst>(inst)->getFailureBB();
258-
case SILDynamicCastKind::CheckedCastValueBranchInst:
259-
return cast<CheckedCastValueBranchInst>(inst)->getFailureBB();
260244
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
261245
case SILDynamicCastKind::UnconditionalCheckedCastInst:
262246
return nullptr;
263-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
264-
llvm_unreachable("unsupported");
265247
}
266248
llvm_unreachable("covered switch");
267249
}
@@ -272,13 +254,9 @@ struct SILDynamicCastInst {
272254
llvm_unreachable("unsupported");
273255
case SILDynamicCastKind::CheckedCastBranchInst:
274256
return cast<CheckedCastBranchInst>(inst)->getFalseBBCount();
275-
case SILDynamicCastKind::CheckedCastValueBranchInst:
276-
llvm_unreachable("unsupported");
277257
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
278258
case SILDynamicCastKind::UnconditionalCheckedCastInst:
279259
return None;
280-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
281-
llvm_unreachable("unsupported");
282260
}
283261
llvm_unreachable("covered switch");
284262
}
@@ -293,14 +271,10 @@ struct SILDynamicCastInst {
293271
return cast<CheckedCastAddrBranchInst>(inst)->getSrc();
294272
case SILDynamicCastKind::CheckedCastBranchInst:
295273
return cast<CheckedCastBranchInst>(inst)->getOperand();
296-
case SILDynamicCastKind::CheckedCastValueBranchInst:
297-
return cast<CheckedCastValueBranchInst>(inst)->getOperand();
298274
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
299275
return cast<UnconditionalCheckedCastAddrInst>(inst)->getSrc();
300276
case SILDynamicCastKind::UnconditionalCheckedCastInst:
301277
return cast<UnconditionalCheckedCastInst>(inst)->getOperand();
302-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
303-
llvm_unreachable("unsupported");
304278
}
305279
llvm_unreachable("covered switch");
306280
}
@@ -311,7 +285,6 @@ struct SILDynamicCastInst {
311285
case SILDynamicCastKind::CheckedCastAddrBranchInst:
312286
return cast<CheckedCastAddrBranchInst>(inst)->getDest();
313287
case SILDynamicCastKind::CheckedCastBranchInst:
314-
case SILDynamicCastKind::CheckedCastValueBranchInst:
315288
// TODO: Shouldn't this return getSuccessBlock()->getArgument(0)?
316289
return SILValue();
317290
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
@@ -321,8 +294,6 @@ struct SILDynamicCastInst {
321294
//
322295
// return cast<UnconditionalCheckedCastInst>(inst);
323296
return SILValue();
324-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
325-
llvm_unreachable("unimplemented");
326297
}
327298
llvm_unreachable("covered switch");
328299
}
@@ -333,14 +304,10 @@ struct SILDynamicCastInst {
333304
return cast<CheckedCastAddrBranchInst>(inst)->getSourceFormalType();
334305
case SILDynamicCastKind::CheckedCastBranchInst:
335306
return cast<CheckedCastBranchInst>(inst)->getSourceFormalType();
336-
case SILDynamicCastKind::CheckedCastValueBranchInst:
337-
return cast<CheckedCastValueBranchInst>(inst)->getSourceFormalType();
338307
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
339308
return cast<UnconditionalCheckedCastAddrInst>(inst)->getSourceFormalType();
340309
case SILDynamicCastKind::UnconditionalCheckedCastInst:
341310
return cast<UnconditionalCheckedCastInst>(inst)->getSourceFormalType();
342-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
343-
return cast<UnconditionalCheckedCastValueInst>(inst)->getSourceFormalType();
344311
}
345312
llvm_unreachable("covered switch");
346313
}
@@ -351,14 +318,10 @@ struct SILDynamicCastInst {
351318
return cast<CheckedCastAddrBranchInst>(inst)->getSourceLoweredType();
352319
case SILDynamicCastKind::CheckedCastBranchInst:
353320
return cast<CheckedCastBranchInst>(inst)->getSourceLoweredType();
354-
case SILDynamicCastKind::CheckedCastValueBranchInst:
355-
return cast<CheckedCastValueBranchInst>(inst)->getSourceLoweredType();
356321
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
357322
return cast<UnconditionalCheckedCastAddrInst>(inst)->getSourceLoweredType();
358323
case SILDynamicCastKind::UnconditionalCheckedCastInst:
359324
return cast<UnconditionalCheckedCastInst>(inst)->getSourceLoweredType();
360-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
361-
return cast<UnconditionalCheckedCastValueInst>(inst)->getSourceLoweredType();
362325
}
363326
llvm_unreachable("covered switch");
364327
}
@@ -369,14 +332,10 @@ struct SILDynamicCastInst {
369332
return cast<CheckedCastAddrBranchInst>(inst)->getTargetFormalType();
370333
case SILDynamicCastKind::CheckedCastBranchInst:
371334
return cast<CheckedCastBranchInst>(inst)->getTargetFormalType();
372-
case SILDynamicCastKind::CheckedCastValueBranchInst:
373-
return cast<CheckedCastValueBranchInst>(inst)->getTargetFormalType();
374335
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
375336
return cast<UnconditionalCheckedCastAddrInst>(inst)->getTargetFormalType();
376337
case SILDynamicCastKind::UnconditionalCheckedCastInst:
377338
return cast<UnconditionalCheckedCastInst>(inst)->getTargetFormalType();
378-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
379-
return cast<UnconditionalCheckedCastValueInst>(inst)->getTargetFormalType();
380339
}
381340
llvm_unreachable("covered switch");
382341
}
@@ -387,28 +346,21 @@ struct SILDynamicCastInst {
387346
return cast<CheckedCastAddrBranchInst>(inst)->getDest()->getType();
388347
case SILDynamicCastKind::CheckedCastBranchInst:
389348
return cast<CheckedCastBranchInst>(inst)->getTargetLoweredType();
390-
case SILDynamicCastKind::CheckedCastValueBranchInst:
391-
return cast<CheckedCastValueBranchInst>(inst)->getTargetLoweredType();
392349
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
393350
return cast<UnconditionalCheckedCastAddrInst>(inst)->getDest()->getType();
394351
case SILDynamicCastKind::UnconditionalCheckedCastInst:
395352
return cast<UnconditionalCheckedCastInst>(inst)->getTargetLoweredType();
396-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
397-
return cast<UnconditionalCheckedCastValueInst>(inst)->getTargetLoweredType();
398353
}
399354
llvm_unreachable("covered switch");
400355
}
401356

402357
bool isSourceTypeExact() const {
403358
switch (getKind()) {
404-
case SILDynamicCastKind::CheckedCastValueBranchInst:
405359
case SILDynamicCastKind::CheckedCastBranchInst:
406360
case SILDynamicCastKind::CheckedCastAddrBranchInst:
407361
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
408362
case SILDynamicCastKind::UnconditionalCheckedCastInst:
409363
return isa<MetatypeInst>(getSource());
410-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
411-
llvm_unreachable("unsupported");
412364
}
413365
llvm_unreachable("covered switch");
414366
}
@@ -476,15 +428,9 @@ struct SILDynamicCastInst {
476428
auto f = classifyFeasibility(false /*allow wmo*/);
477429
return f == DynamicCastFeasibility::MaySucceed;
478430
}
479-
case SILDynamicCastKind::CheckedCastValueBranchInst: {
480-
auto f = classifyFeasibility(false /*allow wmo opts*/);
481-
return f == DynamicCastFeasibility::MaySucceed;
482-
}
483431
case SILDynamicCastKind::UnconditionalCheckedCastAddrInst:
484432
case SILDynamicCastKind::UnconditionalCheckedCastInst:
485433
return false;
486-
case SILDynamicCastKind::UnconditionalCheckedCastValueInst:
487-
llvm_unreachable("unsupported");
488434
}
489435
llvm_unreachable("covered switch");
490436
}

‎include/swift/SIL/SILBuilder.h‎

Lines changed: 0 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -1314,16 +1314,6 @@ class SILBuilder {
13141314
dest, targetFormalType, getFunction()));
13151315
}
13161316

1317-
UnconditionalCheckedCastValueInst *
1318-
createUnconditionalCheckedCastValue(SILLocation Loc,
1319-
SILValue op, CanType srcFormalTy,
1320-
SILType destLoweredTy,
1321-
CanType destFormalTy) {
1322-
return insert(UnconditionalCheckedCastValueInst::create(
1323-
getSILDebugLocation(Loc), op, srcFormalTy,
1324-
destLoweredTy, destFormalTy, getFunction()));
1325-
}
1326-
13271317
RetainValueInst *createRetainValue(SILLocation Loc, SILValue operand,
13281318
Atomicity atomicity) {
13291319
assert(!hasOwnership());
@@ -2324,18 +2314,6 @@ class SILBuilder {
23242314
ProfileCounter Target1Count = ProfileCounter(),
23252315
ProfileCounter Target2Count = ProfileCounter());
23262316

2327-
CheckedCastValueBranchInst *
2328-
createCheckedCastValueBranch(SILLocation Loc,
2329-
SILValue op, CanType srcFormalTy,
2330-
SILType destLoweredTy,
2331-
CanType destFormalTy,
2332-
SILBasicBlock *successBB,
2333-
SILBasicBlock *failureBB) {
2334-
return insertTerminator(CheckedCastValueBranchInst::create(
2335-
getSILDebugLocation(Loc), op, srcFormalTy,
2336-
destLoweredTy, destFormalTy, successBB, failureBB, getFunction()));
2337-
}
2338-
23392317
CheckedCastAddrBranchInst *
23402318
createCheckedCastAddrBranch(SILLocation Loc, CastConsumptionKind consumption,
23412319
SILValue src, CanType sourceFormalType,

‎include/swift/SIL/SILCloner.h‎

Lines changed: 0 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -1706,24 +1706,6 @@ SILCloner<ImplClass>::visitUnconditionalCheckedCastAddrInst(
17061706
OpLoc, SrcValue, SrcType, DestValue, TargetType));
17071707
}
17081708

1709-
template <typename ImplClass>
1710-
void SILCloner<ImplClass>::visitUnconditionalCheckedCastValueInst(
1711-
UnconditionalCheckedCastValueInst *Inst) {
1712-
SILLocation OpLoc = getOpLocation(Inst->getLoc());
1713-
SILValue OpValue = getOpValue(Inst->getOperand());
1714-
CanType SrcFormalType = getOpASTType(Inst->getSourceFormalType());
1715-
SILType OpLoweredType = getOpType(Inst->getTargetLoweredType());
1716-
CanType OpFormalType = getOpASTType(Inst->getTargetFormalType());
1717-
getBuilder().setCurrentDebugScope(getOpScope(Inst->getDebugScope()));
1718-
recordClonedInstruction(
1719-
Inst,
1720-
getBuilder().createUnconditionalCheckedCastValue(OpLoc,
1721-
OpValue,
1722-
SrcFormalType,
1723-
OpLoweredType,
1724-
OpFormalType));
1725-
}
1726-
17271709
template <typename ImplClass>
17281710
void SILCloner<ImplClass>::visitRetainValueInst(RetainValueInst *Inst) {
17291711
getBuilder().setCurrentDebugScope(getOpScope(Inst->getDebugScope()));
@@ -2737,22 +2719,6 @@ SILCloner<ImplClass>::visitCheckedCastBranchInst(CheckedCastBranchInst *Inst) {
27372719
Inst->getForwardingOwnershipKind(), TrueCount, FalseCount));
27382720
}
27392721

2740-
template <typename ImplClass>
2741-
void SILCloner<ImplClass>::visitCheckedCastValueBranchInst(
2742-
CheckedCastValueBranchInst *Inst) {
2743-
SILBasicBlock *OpSuccBB = getOpBasicBlock(Inst->getSuccessBB());
2744-
SILBasicBlock *OpFailBB = getOpBasicBlock(Inst->getFailureBB());
2745-
getBuilder().setCurrentDebugScope(getOpScope(Inst->getDebugScope()));
2746-
recordClonedInstruction(
2747-
Inst, getBuilder().createCheckedCastValueBranch(
2748-
getOpLocation(Inst->getLoc()),
2749-
getOpValue(Inst->getOperand()),
2750-
getOpASTType(Inst->getSourceFormalType()),
2751-
getOpType(Inst->getTargetLoweredType()),
2752-
getOpASTType(Inst->getTargetFormalType()),
2753-
OpSuccBB, OpFailBB));
2754-
}
2755-
27562722
template<typename ImplClass>
27572723
void SILCloner<ImplClass>::visitCheckedCastAddrBranchInst(
27582724
CheckedCastAddrBranchInst *Inst) {

0 commit comments

Comments
 (0)