359def nativePhysicalOperationCounts =
360 (lambda unrestricted operation : (family NativePhysicalOperation) .
361 (eliminate
362 NativePhysicalOperation
363 (lambda unrestricted current : (family NativePhysicalOperation) .
364 (family NativePhysicalCounts))
365 operation
366 (branch
367 NativePhysicalSystemCall
368 number
369 arguments
370 payload
371 result
372 .
373 (constructor
374 NativePhysicalCounts
375 NativePhysicalCountsValue
376 (succ zero)
377 (succ zero)
378 zero
379 zero
380 zero
381 zero
382 zero
383 zero
384 (bytes-length payload)))
385 (branch
386 NativePhysicalCopyPayloadToState
387 destination
388 extent
389 payload
390 .
391 (constructor
392 NativePhysicalCounts
393 NativePhysicalCountsValue
394 (succ zero)
395 zero
396 (succ zero)
397 zero
398 zero
399 zero
400 zero
401 zero
402 (bytes-length payload)))
403 (branch
404 NativePhysicalMachineRoutine
405 code
406 arguments
407 result
408 .
409 (constructor
410 NativePhysicalCounts
411 NativePhysicalCountsValue
412 (succ zero)
413 zero
414 zero
415 (succ zero)
416 zero
417 zero
418 zero
419 zero
420 (bytes-length code)))
421 (branch
422 NativePhysicalFencePoll
423 address
424 expected
425 maximumPolls
426 .
427 (constructor
428 NativePhysicalCounts
429 NativePhysicalCountsValue
430 (succ zero)
431 zero
432 zero
433 zero
434 (succ zero)
435 zero
436 zero
437 zero
438 zero))
439 (branch
440 NativePhysicalTelemetryAppend
441 path
442 record
443 .
444 (constructor
445 NativePhysicalCounts
446 NativePhysicalCountsValue
447 (succ zero)
448 zero
449 zero
450 zero
451 zero
452 (succ zero)
453 zero
454 zero
455 (naturalAdd (bytes-length path) (bytes-length record))))
456 (branch
457 NativePhysicalAssertEqual
458 left
459 right
460 error
461 .
462 (constructor
463 NativePhysicalCounts
464 NativePhysicalCountsValue
465 (succ zero)
466 zero
467 zero
468 zero
469 zero
470 zero
471 (succ zero)
472 zero
473 zero))
474 (branch
475 NativePhysicalAssertOneOf
476 observed
477 first
478 second
479 error
480 .
481 (constructor
482 NativePhysicalCounts
483 NativePhysicalCountsValue
484 (succ zero)
485 zero
486 zero
487 zero
488 zero
489 zero
490 (succ zero)
491 zero
492 zero))
493 (branch
494 NativePhysicalHaltSuccess
495 .
496 (constructor
497 NativePhysicalCounts
498 NativePhysicalCountsValue
499 (succ zero)
500 zero
501 zero
502 zero
503 zero
504 zero
505 zero
506 (succ zero)
507 zero))
508 (branch
509 NativePhysicalRepeatBegin
510 count
511 .
512 (constructor
513 NativePhysicalCounts
514 NativePhysicalCountsValue
515 (succ zero)
516 zero
517 zero
518 zero
519 zero
520 zero
521 zero
522 zero
523 zero))
524 (branch
525 NativePhysicalSkipUnlessEqual
526 left
527 right
528 count
529 .
530 (constructor NativePhysicalCounts NativePhysicalCountsValue 1 0 0 0 0 0 0 0 0))
531 (branch
532 NativePhysicalRepeatEnd
533 .
534 (constructor
535 NativePhysicalCounts
536 NativePhysicalCountsValue
537 (succ zero)
538 zero
539 zero
540 zero
541 zero
542 zero
543 zero
544 zero
545 zero))
546 (branch
547 NativePhysicalRepeatEndWhen
548 observed
549 expected
550 .
551 (constructor
552 NativePhysicalCounts
553 NativePhysicalCountsValue
554 (succ zero)
555 zero
556 zero
557 zero
558 zero
559 zero
560 zero
561 zero
562 zero))
563 (branch
564 NativePhysicalStoreWord64
565 destination
566 value
567 .
568 (constructor
569 NativePhysicalCounts
570 NativePhysicalCountsValue
571 (succ zero)
572 zero
573 zero
574 zero
575 zero
576 zero
577 zero
578 zero
579 zero))
580 (branch
581 NativePhysicalFenceWait
582 address
583 expected
584 maximumPolls
585 interval
586 .
587 (constructor
588 NativePhysicalCounts
589 NativePhysicalCountsValue
590 (succ zero)
591 zero
592 zero
593 zero
594 zero
595 zero
596 zero
597 zero
598 zero))
599 (branch
600 NativePhysicalRepeatBeginCounted
601 count
602 .
603 (constructor
604 NativePhysicalCounts
605 NativePhysicalCountsValue
606 (succ zero)
607 zero
608 zero
609 zero
610 zero
611 zero
612 zero
613 zero
614 zero))
615 (branch
616 NativePhysicalAddWord64
617 destination
618 left
619 right
620 .
621 (constructor
622 NativePhysicalCounts
623 NativePhysicalCountsValue
624 (succ zero)
625 zero
626 zero
627 zero
628 zero
629 zero
630 zero
631 zero
632 zero))
633 (branch
634 NativePhysicalFloat64
635 operation
636 destination
637 left
638 right
639 .
640 (constructor
641 NativePhysicalCounts
642 NativePhysicalCountsValue
643 (succ zero)
644 zero
645 zero
646 zero
647 zero
648 zero
649 zero
650 zero
651 zero))))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.