Reuse phases come from the same projection as the actual transfers. This
removes a second manually maintained sender/consumer table for each role.
1297def chAdvanceRound =
1298 (lambda unrestricted layout : (family CoordinateHostLayout) .
1299 (lambda unrestricted worker : Nat .
1300 (nativeProtocolCommands
1301 (family CoordinateRoundOperation)
1302 (family RegionFrameLayout)
1303 (family ProtocolNoDecision)
1304 (lambda unrestricted operation : (family CoordinateRoundOperation) .
1305 (lambda unrestricted tail : (family NativePhysicalCommands) . tail))
1306 (lambda unrestricted direction : (family ProtocolDirection) .
1307 (lambda unrestricted identity : (family RegionTransferIdentity) .
1308 (lambda unrestricted frame : (family RegionFrameLayout) .
1309 (nativeFrameAdvance
1310 frame
1311 (eliminate
1312 ProtocolDirection
1313 (lambda unrestricted current : (family ProtocolDirection) .
1314 (family NativeFrameTerminal))
1315 direction
1316 (branch ProtocolSend . (constructor NativeFrameTerminal NativeFrameSendComplete))
1317 (branch
1318 ProtocolReceive
1319 .
1320 (constructor NativeFrameTerminal NativeFrameConsumeComplete)))
1321 nativePeerScratchSlot))))
1322 nativeProtocolNoFrameDecisions
1323 b"coordinate-rearm"
1324 (chProjectedRound layout worker))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.