389def nativeTelemetryEmitSource =
390 (lambda unrestricted destination : (family NativePhysicalOperand) .
391 (lambda unrestricted operand : (family NativePhysicalOperand) .
392 (lambda unrestricted iterationAt : Nat .
393 (lambda unrestricted identity : Bytes .
394 (lambda unrestricted tail : (family NativePhysicalCommands) .
395 (eliminate
396 NativePhysicalOperand
397 (lambda unrestricted current : (family NativePhysicalOperand) .
398 (family NativePhysicalCommands))
399 operand
400 (branch
401 NativePhysicalImmediate
402 value
403 .
404 (nativeLaunchRecipeCommand
405 (constructor
406 NativePhysicalOperation
407 NativePhysicalStoreWord64
408 destination
409 operand)
410 identity
411 tail))
412 (branch
413 NativePhysicalResultValue
414 slot
415 .
416 (nativeLaunchRecipeCommand
417 (constructor
418 NativePhysicalOperation
419 NativePhysicalStoreWord64
420 destination
421 operand)
422 identity
423 tail))
424 (branch
425 NativePhysicalResultAddress
426 slot
427 offset
428 .
429 (nativeLaunchRecipeCommand
430 (constructor
431 NativePhysicalOperation
432 NativePhysicalStoreWord64
433 destination
434 operand)
435 identity
436 tail))
437 (branch
438 NativePhysicalStateAddress
439 offset
440 .
441 (nativeLaunchRecipeCommand
442 (constructor
443 NativePhysicalOperation
444 NativePhysicalStoreWord64
445 destination
446 operand)
447 identity
448 tail))
449 (branch
450 NativePhysicalStateLoad64
451 offset
452 .
453 (nativeLaunchRecipeCommand
454 (constructor
455 NativePhysicalOperation
456 NativePhysicalStoreWord64
457 destination
458 operand)
459 identity
460 tail))
461 (branch
462 NativePhysicalPayloadAddress
463 offset
464 .
465 (nativeLaunchRecipeCommand
466 (constructor
467 NativePhysicalOperation
468 NativePhysicalStoreWord64
469 destination
470 operand)
471 identity
472 tail))
473 (branch
474 NativePhysicalPayloadLoad64
475 offset
476 .
477 (nativeLaunchRecipeCommand
478 (constructor
479 NativePhysicalOperation
480 NativePhysicalStoreWord64
481 destination
482 operand)
483 identity
484 tail))
485 (branch
486 NativePhysicalProcessArgument
487 index
488 .
489 (nativeLaunchRecipeCommand
490 (constructor
491 NativePhysicalOperation
492 NativePhysicalStoreWord64
493 destination
494 operand)
495 identity
496 tail))
497 (branch
498 NativePhysicalLoopAffine
499 base
500 stride
501 .
502 (nativeLaunchRecipeCommand
503 (constructor
504 NativePhysicalOperation
505 NativePhysicalMachineRoutine
506 nativeTelemetrySourceAffineRoutine
507 (nativeLaunchRecipeArguments
508 (nativeTelemetryPolicyLoad iterationAt)
509 (constructor NativePhysicalOperand NativePhysicalImmediate base)
510 (constructor NativePhysicalOperand NativePhysicalImmediate stride)
511 destination)
512 (constructor NativePhysicalResultBinding NativePhysicalDiscardResult))
513 identity
514 tail))))))))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.