@@ -184,7 +184,7 @@ static bool isProjectedFromAggregate(SILValue value) {
184
184
}
185
185
186
186
// ===----------------------------------------------------------------------===//
187
- // MARK: Main Computation
187
+ // MARK: Instruction Level Model
188
188
// ===----------------------------------------------------------------------===//
189
189
190
190
namespace {
@@ -1342,6 +1342,14 @@ void PartitionOpBuilder::print(llvm::raw_ostream &os) const {
1342
1342
#endif
1343
1343
}
1344
1344
1345
+ } // namespace
1346
+
1347
+ // ===----------------------------------------------------------------------===//
1348
+ // MARK: Block Level Model
1349
+ // ===----------------------------------------------------------------------===//
1350
+
1351
+ namespace {
1352
+
1345
1353
// / Dataflow State associated with a specific SILBasicBlock.
1346
1354
class BlockPartitionState {
1347
1355
friend class PartitionAnalysis ;
@@ -1463,6 +1471,14 @@ class BlockPartitionState {
1463
1471
}
1464
1472
};
1465
1473
1474
+ } // namespace
1475
+
1476
+ // ===----------------------------------------------------------------------===//
1477
+ // MARK: Inferring Transferred Instruction from violating Require
1478
+ // ===----------------------------------------------------------------------===//
1479
+
1480
+ namespace {
1481
+
1466
1482
// / Classified kind for a LocalTransferredReason.
1467
1483
enum class LocalTransferredReasonKind {
1468
1484
// / A transfer instruction was found in this block.
@@ -1949,6 +1965,14 @@ class RaceTracer {
1949
1965
const TransferRequireAccumulator &getAccumulator () { return accumulator; }
1950
1966
};
1951
1967
1968
+ } // namespace
1969
+
1970
+ // ===----------------------------------------------------------------------===//
1971
+ // MARK: Dataflow
1972
+ // ===----------------------------------------------------------------------===//
1973
+
1974
+ namespace {
1975
+
1952
1976
// / The top level datastructure that we use to perform our dataflow. It
1953
1977
// / contains:
1954
1978
// /
0 commit comments