@@ -1253,8 +1253,8 @@ void TransferNonSendableImpl::emitUseAfterTransferDiagnostics() {
1253
1253
if (transferOpToRequireInstMultiMap.empty ())
1254
1254
return ;
1255
1255
1256
- REGIONBASEDISOLATION_LOG (llvm::dbgs ()
1257
- << " Emitting use after transfer diagnostics.\n " );
1256
+ REGIONBASEDISOLATION_LOG (
1257
+ llvm::dbgs () << " Emitting Error. Kind: Use After Send diagnostics.\n " );
1258
1258
1259
1259
for (auto [transferOp, requireInsts] :
1260
1260
transferOpToRequireInstMultiMap.getRange ()) {
@@ -2030,8 +2030,8 @@ void TransferNonSendableImpl::emitTransferredNonTransferrableDiagnostics() {
2030
2030
if (transferredNonTransferrableInfoList.empty ())
2031
2031
return ;
2032
2032
2033
- REGIONBASEDISOLATION_LOG (
2034
- llvm::dbgs () << " Emitting transfer non transferrable diagnostics .\n " );
2033
+ REGIONBASEDISOLATION_LOG (llvm::dbgs ()
2034
+ << " Emitting Error. Kind: Send Never Sendable .\n " );
2035
2035
2036
2036
for (auto info : transferredNonTransferrableInfoList) {
2037
2037
TransferNonTransferrableDiagnosticInferrer diagnosticInferrer (
@@ -2434,7 +2434,7 @@ struct DiagnosticEvaluator final
2434
2434
auto rep = info->getValueMap ().getRepresentative (transferredVal);
2435
2435
REGIONBASEDISOLATION_LOG (
2436
2436
llvm::dbgs ()
2437
- << " Emitting Use After Transfer Error! \n "
2437
+ << " Emitting Error. Kind: Use After Send \n "
2438
2438
<< " Transferring Inst: " << *transferringOp->getUser ()
2439
2439
<< " Transferring Op Value: " << transferringOp->get ()
2440
2440
<< " Require Inst: " << *partitionOp.getSourceInst ()
@@ -2450,7 +2450,7 @@ struct DiagnosticEvaluator final
2450
2450
const PartitionOp &partitionOp, Element transferredVal,
2451
2451
SILDynamicMergedIsolationInfo isolationRegionInfo) const {
2452
2452
REGIONBASEDISOLATION_LOG (
2453
- llvm::dbgs () << " Emitting TransferNonTransferrable Error! \n "
2453
+ llvm::dbgs () << " Emitting Error. Kind: Send Non Sendable \n "
2454
2454
<< " ID: %%" << transferredVal << " \n "
2455
2455
<< " Rep: "
2456
2456
<< *info->getValueMap ().getRepresentative (transferredVal)
@@ -2462,10 +2462,7 @@ struct DiagnosticEvaluator final
2462
2462
auto name = inferNameHelper (isolatedValue);
2463
2463
llvm::dbgs () << " Isolated Value Name: "
2464
2464
<< (name.has_value () ? name->get () : " none" ) << ' \n ' ;
2465
- } else {
2466
- llvm::dbgs () << " Isolated Value: none\n " ;
2467
- }
2468
- );
2465
+ } else { llvm::dbgs () << " Isolated Value: none\n " ; });
2469
2466
auto *self = const_cast <DiagnosticEvaluator *>(this );
2470
2467
auto nonTransferrableValue =
2471
2468
info->getValueMap ().getRepresentative (transferredVal);
@@ -2478,7 +2475,8 @@ struct DiagnosticEvaluator final
2478
2475
const PartitionOp &partitionOp, Element inoutSendingVal,
2479
2476
SILDynamicMergedIsolationInfo isolationRegionInfo) const {
2480
2477
REGIONBASEDISOLATION_LOG (
2481
- llvm::dbgs () << " Emitting InOut Sending ActorIsolated at end of "
2478
+ llvm::dbgs () << " Emitting Error. Kind: InOut Sending ActorIsolated "
2479
+ " at end of "
2482
2480
" Function Error!\n "
2483
2481
<< " ID: %%" << inoutSendingVal << " \n "
2484
2482
<< " Rep: "
@@ -2500,7 +2498,7 @@ struct DiagnosticEvaluator final
2500
2498
Element actualNonTransferrableValue,
2501
2499
SILDynamicMergedIsolationInfo isolationRegionInfo) const {
2502
2500
REGIONBASEDISOLATION_LOG (
2503
- llvm::dbgs () << " Emitting TransferNonTransferrable Error! \n "
2501
+ llvm::dbgs () << " Emitting Error. Kind: Send Non Sendable \n "
2504
2502
<< " ID: %%" << transferredVal << " \n "
2505
2503
<< " Rep: "
2506
2504
<< *info->getValueMap ().getRepresentative (transferredVal)
@@ -2545,7 +2543,7 @@ struct DiagnosticEvaluator final
2545
2543
auto srcRep = info->getValueMap ().getRepresentativeValue (srcElement);
2546
2544
REGIONBASEDISOLATION_LOG (
2547
2545
llvm::dbgs ()
2548
- << " Emitting Error! Kind: Assign Isolated Into Sending Result!\n "
2546
+ << " Emitting Error. Kind: Assign Isolated Into Sending Result!\n "
2549
2547
<< " Assign Inst: " << *partitionOp.getSourceInst ()
2550
2548
<< " Dest Value: " << *destValue
2551
2549
<< " Dest Element: " << destElement << ' \n '
@@ -2564,7 +2562,8 @@ struct DiagnosticEvaluator final
2564
2562
auto rep = info->getValueMap ().getRepresentative (inoutSendingVal);
2565
2563
REGIONBASEDISOLATION_LOG (
2566
2564
llvm::dbgs ()
2567
- << " Emitting InOut Not Reinitialized At End Of Function!\n "
2565
+ << " Emitting Error. Kind: InOut Not Reinitialized At End Of "
2566
+ " Function\n "
2568
2567
<< " Transferring Inst: " << *transferringOp->getUser ()
2569
2568
<< " Transferring Op Value: " << transferringOp->get ()
2570
2569
<< " Require Inst: " << *partitionOp.getSourceInst ()
0 commit comments