@@ -1198,8 +1198,8 @@ void TransferNonSendableImpl::emitUseAfterTransferDiagnostics() {
1198
1198
if (transferOpToRequireInstMultiMap.empty ())
1199
1199
return ;
1200
1200
1201
- REGIONBASEDISOLATION_LOG (llvm::dbgs ()
1202
- << " Emitting use after transfer diagnostics.\n " );
1201
+ REGIONBASEDISOLATION_LOG (
1202
+ llvm::dbgs () << " Emitting Error. Kind: Use After Send diagnostics.\n " );
1203
1203
1204
1204
for (auto [transferOp, requireInsts] :
1205
1205
transferOpToRequireInstMultiMap.getRange ()) {
@@ -1792,8 +1792,8 @@ void TransferNonSendableImpl::emitTransferredNonTransferrableDiagnostics() {
1792
1792
if (transferredNonTransferrableInfoList.empty ())
1793
1793
return ;
1794
1794
1795
- REGIONBASEDISOLATION_LOG (
1796
- llvm::dbgs () << " Emitting transfer non transferrable diagnostics .\n " );
1795
+ REGIONBASEDISOLATION_LOG (llvm::dbgs ()
1796
+ << " Emitting Error. Kind: Send Never Sendable .\n " );
1797
1797
1798
1798
for (auto info : transferredNonTransferrableInfoList) {
1799
1799
TransferNonTransferrableDiagnosticInferrer diagnosticInferrer (info);
@@ -2195,7 +2195,7 @@ struct DiagnosticEvaluator final
2195
2195
auto rep = info->getValueMap ().getRepresentative (transferredVal);
2196
2196
REGIONBASEDISOLATION_LOG (
2197
2197
llvm::dbgs ()
2198
- << " Emitting Use After Transfer Error! \n "
2198
+ << " Emitting Error. Kind: Use After Send \n "
2199
2199
<< " Transferring Inst: " << *transferringOp->getUser ()
2200
2200
<< " Transferring Op Value: " << transferringOp->get ()
2201
2201
<< " Require Inst: " << *partitionOp.getSourceInst ()
@@ -2211,7 +2211,7 @@ struct DiagnosticEvaluator final
2211
2211
const PartitionOp &partitionOp, Element transferredVal,
2212
2212
SILDynamicMergedIsolationInfo isolationRegionInfo) const {
2213
2213
REGIONBASEDISOLATION_LOG (
2214
- llvm::dbgs () << " Emitting TransferNonTransferrable Error! \n "
2214
+ llvm::dbgs () << " Emitting Error. Kind: Send Non Sendable \n "
2215
2215
<< " ID: %%" << transferredVal << " \n "
2216
2216
<< " Rep: "
2217
2217
<< *info->getValueMap ().getRepresentative (transferredVal)
@@ -2223,10 +2223,7 @@ struct DiagnosticEvaluator final
2223
2223
auto name = inferNameHelper (isolatedValue);
2224
2224
llvm::dbgs () << " Isolated Value Name: "
2225
2225
<< (name.has_value () ? name->get () : " none" ) << ' \n ' ;
2226
- } else {
2227
- llvm::dbgs () << " Isolated Value: none\n " ;
2228
- }
2229
- );
2226
+ } else { llvm::dbgs () << " Isolated Value: none\n " ; });
2230
2227
auto *self = const_cast <DiagnosticEvaluator *>(this );
2231
2228
auto nonTransferrableValue =
2232
2229
info->getValueMap ().getRepresentative (transferredVal);
@@ -2239,7 +2236,8 @@ struct DiagnosticEvaluator final
2239
2236
const PartitionOp &partitionOp, Element inoutSendingVal,
2240
2237
SILDynamicMergedIsolationInfo isolationRegionInfo) const {
2241
2238
REGIONBASEDISOLATION_LOG (
2242
- llvm::dbgs () << " Emitting InOut Sending ActorIsolated at end of "
2239
+ llvm::dbgs () << " Emitting Error. Kind: InOut Sending ActorIsolated "
2240
+ " at end of "
2243
2241
" Function Error!\n "
2244
2242
<< " ID: %%" << inoutSendingVal << " \n "
2245
2243
<< " Rep: "
@@ -2261,7 +2259,7 @@ struct DiagnosticEvaluator final
2261
2259
Element actualNonTransferrableValue,
2262
2260
SILDynamicMergedIsolationInfo isolationRegionInfo) const {
2263
2261
REGIONBASEDISOLATION_LOG (
2264
- llvm::dbgs () << " Emitting TransferNonTransferrable Error! \n "
2262
+ llvm::dbgs () << " Emitting Error. Kind: Send Non Sendable \n "
2265
2263
<< " ID: %%" << transferredVal << " \n "
2266
2264
<< " Rep: "
2267
2265
<< *info->getValueMap ().getRepresentative (transferredVal)
@@ -2306,7 +2304,7 @@ struct DiagnosticEvaluator final
2306
2304
auto srcRep = info->getValueMap ().getRepresentativeValue (srcElement);
2307
2305
REGIONBASEDISOLATION_LOG (
2308
2306
llvm::dbgs ()
2309
- << " Emitting Error! Kind: Assign Isolated Into Sending Result!\n "
2307
+ << " Emitting Error. Kind: Assign Isolated Into Sending Result!\n "
2310
2308
<< " Assign Inst: " << *partitionOp.getSourceInst ()
2311
2309
<< " Dest Value: " << *destValue
2312
2310
<< " Dest Element: " << destElement << ' \n '
@@ -2325,7 +2323,8 @@ struct DiagnosticEvaluator final
2325
2323
auto rep = info->getValueMap ().getRepresentative (inoutSendingVal);
2326
2324
REGIONBASEDISOLATION_LOG (
2327
2325
llvm::dbgs ()
2328
- << " Emitting InOut Not Reinitialized At End Of Function!\n "
2326
+ << " Emitting Error. Kind: InOut Not Reinitialized At End Of "
2327
+ " Function\n "
2329
2328
<< " Transferring Inst: " << *transferringOp->getUser ()
2330
2329
<< " Transferring Op Value: " << transferringOp->get ()
2331
2330
<< " Require Inst: " << *partitionOp.getSourceInst ()
0 commit comments