1326def chRounds =
1327 (lambda unrestricted layout : (family CoordinateHostLayout) .
1328 (lambda unrestricted worker : Nat .
1329 (lambda unrestricted steps : Nat .
1330 (lambda unrestricted forward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1331 (lambda unrestricted backward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1332 (lambda unrestricted update : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1333 (lambda unrestricted finish : (family NativePhysicalCommands) .
1334 (nativeCheckedWordAdd
1335 (nativeMemoryState (chScratch layout))
1336 (nativeMemoryLoad (chVersion layout))
1337 (nativeLaunchRecipeImmediate steps)
1338 nativePeerScratchSlot
1339 b"coordinate-version-range"
1340 (nativeCheckedWordAdd
1341 (nativeMemoryState (chScratch layout))
1342 (nativeMemoryLoad (chCursor layout))
1343 (nativeLaunchRecipeImmediate steps)
1344 nativePeerScratchSlot
1345 b"coordinate-cursor-range"
1346 (nat-eliminate
1347 (lambda unrestricted count : Nat . (family NativePhysicalCommands))
1348 finish
1349 (lambda unrestricted previous : Nat .
1350 (lambda unrestricted ignored : (family NativePhysicalCommands) .
1351 (nativeCheckedWordAdd
1352 (nativeMemoryState (chScratch layout))
1353 (nativeMemoryLoad (chVersion layout))
1354 (nativeLaunchRecipeImmediate 1)
1355 nativePeerScratchSlot
1356 b"coordinate-first-version"
1357 (nativeFrameInitializeRound
1358 (chPrediction layout)
1359 (nativeMemoryLoad (chEpoch layout))
1360 (nativeMemoryLoad (chVersion layout))
1361 (nativeFrameInitializeRound
1362 (chResidual layout)
1363 (nativeMemoryLoad (chEpoch layout))
1364 (nativeMemoryLoad (chVersion layout))
1365 (nativeFrameInitializeRound
1366 (chAcknowledgment layout)
1367 (nativeMemoryLoad (chEpoch layout))
1368 (nativeMemoryLoad (chScratch layout))
1369 (chRound
1370 layout
1371 worker
1372 forward
1373 backward
1374 update
1375 (nativeLaunchRecipeCommand
1376 (constructor
1377 NativePhysicalOperation
1378 NativePhysicalRepeatBeginCounted
1379 (nativeLaunchRecipeImmediate previous))
1380 b"coordinate-repeat"
1381 (chAdvanceRound
1382 layout
1383 worker
1384 (chRound
1385 layout
1386 worker
1387 forward
1388 backward
1389 update
1390 (nativeLaunchRecipeCommand
1391 (constructor
1392 NativePhysicalOperation
1393 NativePhysicalRepeatEnd)
1394 b"coordinate-repeat-end"
1395 finish)))))))))))
1396 steps))))))))))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.