406def aarch64FloatRegisterCode :
407 (pi unrestricted register : (family AArch64FloatRegister) . Nat) =
408 (lambda unrestricted register : (family AArch64FloatRegister) .
409 (eliminate
410 AArch64FloatRegister
411 (lambda unrestricted current : (family AArch64FloatRegister) . Nat)
412 register
413 (branch AArch64S0 . 0)
414 (branch AArch64S1 . 1)
415 (branch AArch64S2 . 2)
416 (branch AArch64S3 . 3)
417 (branch AArch64S4 . 4)
418 (branch AArch64S5 . 5)
419 (branch AArch64S6 . 6)
420 (branch AArch64S7 . 7)
421 (branch AArch64S8 . 8)
422 (branch AArch64S9 . 9)
423 (branch AArch64S10 . 10)
424 (branch AArch64S11 . 11)
425 (branch AArch64S12 . 12)
426 (branch AArch64S13 . 13)
427 (branch AArch64S14 . 14)
428 (branch AArch64S15 . 15)
429 (branch AArch64S16 . 16)
430 (branch AArch64S17 . 17)
431 (branch AArch64S18 . 18)
432 (branch AArch64S19 . 19)
433 (branch AArch64S20 . 20)
434 (branch AArch64S21 . 21)
435 (branch AArch64S22 . 22)
436 (branch AArch64S23 . 23)
437 (branch AArch64S24 . 24)
438 (branch AArch64S25 . 25)
439 (branch AArch64S26 . 26)
440 (branch AArch64S27 . 27)
441 (branch AArch64S28 . 28)
442 (branch AArch64S29 . 29)
443 (branch AArch64S30 . 30)
444 (branch AArch64S31 . 31)
445 ))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.