514def nativePhysicalTrainingCheckedBitPatchAssemblyAppend =
515 (lambda unrestricted assembly : (family X86NativeAssembly) .
516 (lambda unrestricted tail : (family X86NativeAssembly) .
517 (eliminate
518 X86NativeAssembly
519 (lambda unrestricted current : (family X86NativeAssembly) . (family X86NativeAssembly))
520 assembly
521 (branch X86NativeAssemblyEnd . tail)
522 (branch
523 X86NativeAssemblyEmit
524 instruction
525 rest
526 induction
527 .
528 (constructor X86NativeAssembly X86NativeAssemblyEmit instruction induction))
529 (branch
530 X86NativeAssemblyLabel
531 name
532 rest
533 induction
534 .
535 (constructor X86NativeAssembly X86NativeAssemblyLabel name induction))
536 (branch
537 X86NativeAssemblyJump
538 target
539 rest
540 induction
541 .
542 (constructor X86NativeAssembly X86NativeAssemblyJump target induction))
543 (branch
544 X86NativeAssemblyJumpCondition
545 condition
546 target
547 rest
548 induction
549 .
550 (constructor X86NativeAssembly X86NativeAssemblyJumpCondition condition target induction))
551 (branch
552 X86NativeAssemblyLoadEffectiveAddressRIPLabel
553 destination
554 target
555 rest
556 induction
557 .
558 (constructor
559 X86NativeAssembly
560 X86NativeAssemblyLoadEffectiveAddressRIPLabel
561 destination
562 target
563 induction)))))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.