#![allow(non_upper_case_globals, unused_macros, unused_imports)]
use crate::low::macros::*;
pub(crate) fn bignum_ksqr_32_64(z: &mut [u64], x: &[u64], t: &mut [u64; 72]) {
debug_assert!(z.len() == 64);
debug_assert!(x.len() == 32);
unsafe {
core::arch::asm!(
Q!(" stp " "x19, x20, [sp, #-16] !"),
Q!(" stp " "x21, x30, [sp, #-16] !"),
Q!(" mov " "x19, x0"),
Q!(" mov " "x20, x1"),
Q!(" mov " "x21, x2"),
Q!(" bl " Label!("bignum_ksqr_32_64_local_ksqr_16_32", 2, After)),
Q!(" add " "x0, x19, #0x100"),
Q!(" add " "x1, x20, #0x80"),
Q!(" mov " "x2, x21"),
Q!(" bl " Label!("bignum_ksqr_32_64_local_ksqr_16_32", 2, After)),
Q!(" ldp " "x0, x1, [x19, #256]"),
Q!(" ldp " "x2, x3, [x19, #128]"),
Q!(" adds " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #256]"),
Q!(" ldp " "x0, x1, [x19, #272]"),
Q!(" ldp " "x2, x3, [x19, #144]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #272]"),
Q!(" ldp " "x0, x1, [x19, #288]"),
Q!(" ldp " "x2, x3, [x19, #160]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #288]"),
Q!(" ldp " "x0, x1, [x19, #304]"),
Q!(" ldp " "x2, x3, [x19, #176]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #304]"),
Q!(" ldp " "x0, x1, [x19, #320]"),
Q!(" ldp " "x2, x3, [x19, #192]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #320]"),
Q!(" ldp " "x0, x1, [x19, #336]"),
Q!(" ldp " "x2, x3, [x19, #208]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #336]"),
Q!(" ldp " "x0, x1, [x19, #352]"),
Q!(" ldp " "x2, x3, [x19, #224]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #352]"),
Q!(" ldp " "x0, x1, [x19, #368]"),
Q!(" ldp " "x2, x3, [x19, #240]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #368]"),
Q!(" ldp " "x0, x1, [x19, #384]"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" adcs " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x19, #384]"),
Q!(" ldp " "x0, x1, [x19, #400]"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" adcs " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x19, #400]"),
Q!(" ldp " "x0, x1, [x19, #416]"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" adcs " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x19, #416]"),
Q!(" ldp " "x0, x1, [x19, #432]"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" adcs " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x19, #432]"),
Q!(" ldp " "x0, x1, [x19, #448]"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" adcs " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x19, #448]"),
Q!(" ldp " "x0, x1, [x19, #464]"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" adcs " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x19, #464]"),
Q!(" ldp " "x0, x1, [x19, #480]"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" adcs " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x19, #480]"),
Q!(" ldp " "x0, x1, [x19, #496]"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" adc " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x19, #496]"),
Q!(" ldp " "x0, x1, [x20, #128]"),
Q!(" ldp " "x16, x17, [x20]"),
Q!(" subs " "x0, x0, x16"),
Q!(" sbcs " "x1, x1, x17"),
Q!(" ldp " "x2, x3, [x20, #144]"),
Q!(" ldp " "x16, x17, [x20, #16]"),
Q!(" sbcs " "x2, x2, x16"),
Q!(" sbcs " "x3, x3, x17"),
Q!(" ldp " "x4, x5, [x20, #160]"),
Q!(" ldp " "x16, x17, [x20, #32]"),
Q!(" sbcs " "x4, x4, x16"),
Q!(" sbcs " "x5, x5, x17"),
Q!(" ldp " "x6, x7, [x20, #176]"),
Q!(" ldp " "x16, x17, [x20, #48]"),
Q!(" sbcs " "x6, x6, x16"),
Q!(" sbcs " "x7, x7, x17"),
Q!(" ldp " "x8, x9, [x20, #192]"),
Q!(" ldp " "x16, x17, [x20, #64]"),
Q!(" sbcs " "x8, x8, x16"),
Q!(" sbcs " "x9, x9, x17"),
Q!(" ldp " "x10, x11, [x20, #208]"),
Q!(" ldp " "x16, x17, [x20, #80]"),
Q!(" sbcs " "x10, x10, x16"),
Q!(" sbcs " "x11, x11, x17"),
Q!(" ldp " "x12, x13, [x20, #224]"),
Q!(" ldp " "x16, x17, [x20, #96]"),
Q!(" sbcs " "x12, x12, x16"),
Q!(" sbcs " "x13, x13, x17"),
Q!(" ldp " "x14, x15, [x20, #240]"),
Q!(" ldp " "x16, x17, [x20, #112]"),
Q!(" sbcs " "x14, x14, x16"),
Q!(" sbcs " "x15, x15, x17"),
Q!(" ngc " "x16, xzr"),
Q!(" cmn " "x16, x16"),
Q!(" eor " "x0, x0, x16"),
Q!(" adcs " "x0, x0, xzr"),
Q!(" eor " "x1, x1, x16"),
Q!(" adcs " "x1, x1, xzr"),
Q!(" stp " "x0, x1, [x21]"),
Q!(" eor " "x2, x2, x16"),
Q!(" adcs " "x2, x2, xzr"),
Q!(" eor " "x3, x3, x16"),
Q!(" adcs " "x3, x3, xzr"),
Q!(" stp " "x2, x3, [x21, #16]"),
Q!(" eor " "x4, x4, x16"),
Q!(" adcs " "x4, x4, xzr"),
Q!(" eor " "x5, x5, x16"),
Q!(" adcs " "x5, x5, xzr"),
Q!(" stp " "x4, x5, [x21, #32]"),
Q!(" eor " "x6, x6, x16"),
Q!(" adcs " "x6, x6, xzr"),
Q!(" eor " "x7, x7, x16"),
Q!(" adcs " "x7, x7, xzr"),
Q!(" stp " "x6, x7, [x21, #48]"),
Q!(" eor " "x8, x8, x16"),
Q!(" adcs " "x8, x8, xzr"),
Q!(" eor " "x9, x9, x16"),
Q!(" adcs " "x9, x9, xzr"),
Q!(" stp " "x8, x9, [x21, #64]"),
Q!(" eor " "x10, x10, x16"),
Q!(" adcs " "x10, x10, xzr"),
Q!(" eor " "x11, x11, x16"),
Q!(" adcs " "x11, x11, xzr"),
Q!(" stp " "x10, x11, [x21, #80]"),
Q!(" eor " "x12, x12, x16"),
Q!(" adcs " "x12, x12, xzr"),
Q!(" eor " "x13, x13, x16"),
Q!(" adcs " "x13, x13, xzr"),
Q!(" stp " "x12, x13, [x21, #96]"),
Q!(" eor " "x14, x14, x16"),
Q!(" adcs " "x14, x14, xzr"),
Q!(" eor " "x15, x15, x16"),
Q!(" adc " "x15, x15, xzr"),
Q!(" stp " "x14, x15, [x21, #112]"),
Q!(" add " "x0, x21, #0x80"),
Q!(" mov " "x1, x21"),
Q!(" add " "x2, x21, #0x180"),
Q!(" bl " Label!("bignum_ksqr_32_64_local_ksqr_16_32", 2, After)),
Q!(" ldp " "x0, x1, [x19, #256]"),
Q!(" ldp " "x2, x3, [x19]"),
Q!(" adds " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #128]"),
Q!(" ldp " "x0, x1, [x19, #272]"),
Q!(" ldp " "x2, x3, [x19, #16]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #144]"),
Q!(" ldp " "x0, x1, [x19, #288]"),
Q!(" ldp " "x2, x3, [x19, #32]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #160]"),
Q!(" ldp " "x0, x1, [x19, #304]"),
Q!(" ldp " "x2, x3, [x19, #48]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #176]"),
Q!(" ldp " "x0, x1, [x19, #320]"),
Q!(" ldp " "x2, x3, [x19, #64]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #192]"),
Q!(" ldp " "x0, x1, [x19, #336]"),
Q!(" ldp " "x2, x3, [x19, #80]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #208]"),
Q!(" ldp " "x0, x1, [x19, #352]"),
Q!(" ldp " "x2, x3, [x19, #96]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #224]"),
Q!(" ldp " "x0, x1, [x19, #368]"),
Q!(" ldp " "x2, x3, [x19, #112]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #240]"),
Q!(" ldp " "x0, x1, [x19, #256]"),
Q!(" ldp " "x2, x3, [x19, #384]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #256]"),
Q!(" ldp " "x0, x1, [x19, #272]"),
Q!(" ldp " "x2, x3, [x19, #400]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #272]"),
Q!(" ldp " "x0, x1, [x19, #288]"),
Q!(" ldp " "x2, x3, [x19, #416]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #288]"),
Q!(" ldp " "x0, x1, [x19, #304]"),
Q!(" ldp " "x2, x3, [x19, #432]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #304]"),
Q!(" ldp " "x0, x1, [x19, #320]"),
Q!(" ldp " "x2, x3, [x19, #448]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #320]"),
Q!(" ldp " "x0, x1, [x19, #336]"),
Q!(" ldp " "x2, x3, [x19, #464]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #336]"),
Q!(" ldp " "x0, x1, [x19, #352]"),
Q!(" ldp " "x2, x3, [x19, #480]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #352]"),
Q!(" ldp " "x0, x1, [x19, #368]"),
Q!(" ldp " "x2, x3, [x19, #496]"),
Q!(" adcs " "x0, x0, x2"),
Q!(" adcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #368]"),
Q!(" cset " "x20, cs"),
Q!(" ldp " "x0, x1, [x19, #128]"),
Q!(" ldp " "x2, x3, [x21, #128]"),
Q!(" subs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #128]"),
Q!(" ldp " "x0, x1, [x19, #144]"),
Q!(" ldp " "x2, x3, [x21, #144]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #144]"),
Q!(" ldp " "x0, x1, [x19, #160]"),
Q!(" ldp " "x2, x3, [x21, #160]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #160]"),
Q!(" ldp " "x0, x1, [x19, #176]"),
Q!(" ldp " "x2, x3, [x21, #176]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #176]"),
Q!(" ldp " "x0, x1, [x19, #192]"),
Q!(" ldp " "x2, x3, [x21, #192]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #192]"),
Q!(" ldp " "x0, x1, [x19, #208]"),
Q!(" ldp " "x2, x3, [x21, #208]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #208]"),
Q!(" ldp " "x0, x1, [x19, #224]"),
Q!(" ldp " "x2, x3, [x21, #224]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #224]"),
Q!(" ldp " "x0, x1, [x19, #240]"),
Q!(" ldp " "x2, x3, [x21, #240]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #240]"),
Q!(" ldp " "x0, x1, [x19, #256]"),
Q!(" ldp " "x2, x3, [x21, #256]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #256]"),
Q!(" ldp " "x0, x1, [x19, #272]"),
Q!(" ldp " "x2, x3, [x21, #272]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #272]"),
Q!(" ldp " "x0, x1, [x19, #288]"),
Q!(" ldp " "x2, x3, [x21, #288]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #288]"),
Q!(" ldp " "x0, x1, [x19, #304]"),
Q!(" ldp " "x2, x3, [x21, #304]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #304]"),
Q!(" ldp " "x0, x1, [x19, #320]"),
Q!(" ldp " "x2, x3, [x21, #320]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #320]"),
Q!(" ldp " "x0, x1, [x19, #336]"),
Q!(" ldp " "x2, x3, [x21, #336]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #336]"),
Q!(" ldp " "x0, x1, [x19, #352]"),
Q!(" ldp " "x2, x3, [x21, #352]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #352]"),
Q!(" ldp " "x0, x1, [x19, #368]"),
Q!(" ldp " "x2, x3, [x21, #368]"),
Q!(" sbcs " "x0, x0, x2"),
Q!(" sbcs " "x1, x1, x3"),
Q!(" stp " "x0, x1, [x19, #368]"),
Q!(" sbcs " "x20, x20, xzr"),
Q!(" csetm " "x16, cc"),
Q!(" ldp " "x0, x1, [x19, #384]"),
Q!(" adds " "x0, x0, x20"),
Q!(" adcs " "x1, x1, x16"),
Q!(" stp " "x0, x1, [x19, #384]"),
Q!(" ldp " "x0, x1, [x19, #400]"),
Q!(" adcs " "x0, x0, x16"),
Q!(" adcs " "x1, x1, x16"),
Q!(" stp " "x0, x1, [x19, #400]"),
Q!(" ldp " "x0, x1, [x19, #416]"),
Q!(" adcs " "x0, x0, x16"),
Q!(" adcs " "x1, x1, x16"),
Q!(" stp " "x0, x1, [x19, #416]"),
Q!(" ldp " "x0, x1, [x19, #432]"),
Q!(" adcs " "x0, x0, x16"),
Q!(" adcs " "x1, x1, x16"),
Q!(" stp " "x0, x1, [x19, #432]"),
Q!(" ldp " "x0, x1, [x19, #448]"),
Q!(" adcs " "x0, x0, x16"),
Q!(" adcs " "x1, x1, x16"),
Q!(" stp " "x0, x1, [x19, #448]"),
Q!(" ldp " "x0, x1, [x19, #464]"),
Q!(" adcs " "x0, x0, x16"),
Q!(" adcs " "x1, x1, x16"),
Q!(" stp " "x0, x1, [x19, #464]"),
Q!(" ldp " "x0, x1, [x19, #480]"),
Q!(" adcs " "x0, x0, x16"),
Q!(" adcs " "x1, x1, x16"),
Q!(" stp " "x0, x1, [x19, #480]"),
Q!(" ldp " "x0, x1, [x19, #496]"),
Q!(" adcs " "x0, x0, x16"),
Q!(" adc " "x1, x1, x16"),
Q!(" stp " "x0, x1, [x19, #496]"),
Q!(" ldp " "x21, x30, [sp], #16"),
Q!(" ldp " "x19, x20, [sp], #16"),
Q!(" b " Label!("hoist_finish", 3, After)),
Q!(Label!("bignum_ksqr_32_64_local_ksqr_16_32", 2) ":"),
Q!(" stp " "x19, x20, [sp, #-16] !"),
Q!(" stp " "x21, x22, [sp, #-16] !"),
Q!(" stp " "x23, x24, [sp, #-16] !"),
Q!(" stp " "x25, x30, [sp, #-16] !"),
Q!(" mov " "x23, x0"),
Q!(" mov " "x24, x1"),
Q!(" mov " "x25, x2"),
Q!(" bl " Label!("bignum_ksqr_32_64_local_sqr_8_16", 4, After)),
Q!(" ldp " "x10, x11, [x24]"),
Q!(" ldp " "x8, x9, [x24, #64]"),
Q!(" subs " "x10, x10, x8"),
Q!(" sbcs " "x11, x11, x9"),
Q!(" ldp " "x12, x13, [x24, #16]"),
Q!(" ldp " "x8, x9, [x24, #80]"),
Q!(" sbcs " "x12, x12, x8"),
Q!(" sbcs " "x13, x13, x9"),
Q!(" ldp " "x14, x15, [x24, #32]"),
Q!(" ldp " "x8, x9, [x24, #96]"),
Q!(" sbcs " "x14, x14, x8"),
Q!(" sbcs " "x15, x15, x9"),
Q!(" ldp " "x16, x17, [x24, #48]"),
Q!(" ldp " "x8, x9, [x24, #112]"),
Q!(" sbcs " "x16, x16, x8"),
Q!(" sbcs " "x17, x17, x9"),
Q!(" csetm " "x19, cc"),
Q!(" cmn " "x19, x19"),
Q!(" eor " "x10, x10, x19"),
Q!(" adcs " "x10, x10, xzr"),
Q!(" eor " "x11, x11, x19"),
Q!(" adcs " "x11, x11, xzr"),
Q!(" stp " "x10, x11, [x25]"),
Q!(" eor " "x12, x12, x19"),
Q!(" adcs " "x12, x12, xzr"),
Q!(" eor " "x13, x13, x19"),
Q!(" adcs " "x13, x13, xzr"),
Q!(" stp " "x12, x13, [x25, #16]"),
Q!(" eor " "x14, x14, x19"),
Q!(" adcs " "x14, x14, xzr"),
Q!(" eor " "x15, x15, x19"),
Q!(" adcs " "x15, x15, xzr"),
Q!(" stp " "x14, x15, [x25, #32]"),
Q!(" eor " "x16, x16, x19"),
Q!(" adcs " "x16, x16, xzr"),
Q!(" eor " "x17, x17, x19"),
Q!(" adcs " "x17, x17, xzr"),
Q!(" stp " "x16, x17, [x25, #48]"),
Q!(" add " "x0, x23, #0x80"),
Q!(" add " "x1, x24, #0x40"),
Q!(" bl " Label!("bignum_ksqr_32_64_local_sqr_8_16", 4, After)),
Q!(" ldp " "x10, x11, [x23, #128]"),
Q!(" ldp " "x12, x13, [x23, #64]"),
Q!(" adds " "x10, x10, x12"),
Q!(" adcs " "x11, x11, x13"),
Q!(" stp " "x10, x11, [x23, #128]"),
Q!(" ldp " "x10, x11, [x23, #144]"),
Q!(" ldp " "x12, x13, [x23, #80]"),
Q!(" adcs " "x10, x10, x12"),
Q!(" adcs " "x11, x11, x13"),
Q!(" stp " "x10, x11, [x23, #144]"),
Q!(" ldp " "x10, x11, [x23, #160]"),
Q!(" ldp " "x12, x13, [x23, #96]"),
Q!(" adcs " "x10, x10, x12"),
Q!(" adcs " "x11, x11, x13"),
Q!(" stp " "x10, x11, [x23, #160]"),
Q!(" ldp " "x10, x11, [x23, #176]"),
Q!(" ldp " "x12, x13, [x23, #112]"),
Q!(" adcs " "x10, x10, x12"),
Q!(" adcs " "x11, x11, x13"),
Q!(" stp " "x10, x11, [x23, #176]"),
Q!(" ldp " "x10, x11, [x23, #192]"),
Q!(" adcs " "x10, x10, xzr"),
Q!(" adcs " "x11, x11, xzr"),
Q!(" stp " "x10, x11, [x23, #192]"),
Q!(" ldp " "x10, x11, [x23, #208]"),
Q!(" adcs " "x10, x10, xzr"),
Q!(" adcs " "x11, x11, xzr"),
Q!(" stp " "x10, x11, [x23, #208]"),
Q!(" ldp " "x10, x11, [x23, #224]"),
Q!(" adcs " "x10, x10, xzr"),
Q!(" adcs " "x11, x11, xzr"),
Q!(" stp " "x10, x11, [x23, #224]"),
Q!(" ldp " "x10, x11, [x23, #240]"),
Q!(" adcs " "x10, x10, xzr"),
Q!(" adcs " "x11, x11, xzr"),
Q!(" stp " "x10, x11, [x23, #240]"),
Q!(" add " "x0, x25, #0x40"),
Q!(" mov " "x1, x25"),
Q!(" bl " Label!("bignum_ksqr_32_64_local_sqr_8_16", 4, After)),
Q!(" ldp " "x0, x1, [x23]"),
Q!(" ldp " "x16, x17, [x23, #128]"),
Q!(" adds " "x0, x0, x16"),
Q!(" adcs " "x1, x1, x17"),
Q!(" ldp " "x2, x3, [x23, #16]"),
Q!(" ldp " "x16, x17, [x23, #144]"),
Q!(" adcs " "x2, x2, x16"),
Q!(" adcs " "x3, x3, x17"),
Q!(" ldp " "x4, x5, [x23, #32]"),
Q!(" ldp " "x16, x17, [x23, #160]"),
Q!(" adcs " "x4, x4, x16"),
Q!(" adcs " "x5, x5, x17"),
Q!(" ldp " "x6, x7, [x23, #48]"),
Q!(" ldp " "x16, x17, [x23, #176]"),
Q!(" adcs " "x6, x6, x16"),
Q!(" adcs " "x7, x7, x17"),
Q!(" ldp " "x8, x9, [x23, #128]"),
Q!(" ldp " "x16, x17, [x23, #192]"),
Q!(" adcs " "x8, x8, x16"),
Q!(" adcs " "x9, x9, x17"),
Q!(" ldp " "x10, x11, [x23, #144]"),
Q!(" ldp " "x16, x17, [x23, #208]"),
Q!(" adcs " "x10, x10, x16"),
Q!(" adcs " "x11, x11, x17"),
Q!(" ldp " "x12, x13, [x23, #160]"),
Q!(" ldp " "x16, x17, [x23, #224]"),
Q!(" adcs " "x12, x12, x16"),
Q!(" adcs " "x13, x13, x17"),
Q!(" ldp " "x14, x15, [x23, #176]"),
Q!(" ldp " "x16, x17, [x23, #240]"),
Q!(" adcs " "x14, x14, x16"),
Q!(" adcs " "x15, x15, x17"),
Q!(" cset " "x24, cs"),
Q!(" ldp " "x16, x17, [x25, #64]"),
Q!(" subs " "x0, x0, x16"),
Q!(" sbcs " "x1, x1, x17"),
Q!(" stp " "x0, x1, [x23, #64]"),
Q!(" ldp " "x16, x17, [x25, #80]"),
Q!(" sbcs " "x2, x2, x16"),
Q!(" sbcs " "x3, x3, x17"),
Q!(" stp " "x2, x3, [x23, #80]"),
Q!(" ldp " "x16, x17, [x25, #96]"),
Q!(" sbcs " "x4, x4, x16"),
Q!(" sbcs " "x5, x5, x17"),
Q!(" stp " "x4, x5, [x23, #96]"),
Q!(" ldp " "x16, x17, [x25, #112]"),
Q!(" sbcs " "x6, x6, x16"),
Q!(" sbcs " "x7, x7, x17"),
Q!(" stp " "x6, x7, [x23, #112]"),
Q!(" ldp " "x16, x17, [x25, #128]"),
Q!(" sbcs " "x8, x8, x16"),
Q!(" sbcs " "x9, x9, x17"),
Q!(" stp " "x8, x9, [x23, #128]"),
Q!(" ldp " "x16, x17, [x25, #144]"),
Q!(" sbcs " "x10, x10, x16"),
Q!(" sbcs " "x11, x11, x17"),
Q!(" stp " "x10, x11, [x23, #144]"),
Q!(" ldp " "x16, x17, [x25, #160]"),
Q!(" sbcs " "x12, x12, x16"),
Q!(" sbcs " "x13, x13, x17"),
Q!(" stp " "x12, x13, [x23, #160]"),
Q!(" ldp " "x16, x17, [x25, #176]"),
Q!(" sbcs " "x14, x14, x16"),
Q!(" sbcs " "x15, x15, x17"),
Q!(" stp " "x14, x15, [x23, #176]"),
Q!(" sbcs " "x24, x24, xzr"),
Q!(" csetm " "x25, cc"),
Q!(" ldp " "x10, x11, [x23, #192]"),
Q!(" adds " "x10, x10, x24"),
Q!(" adcs " "x11, x11, x25"),
Q!(" stp " "x10, x11, [x23, #192]"),
Q!(" ldp " "x10, x11, [x23, #208]"),
Q!(" adcs " "x10, x10, x25"),
Q!(" adcs " "x11, x11, x25"),
Q!(" stp " "x10, x11, [x23, #208]"),
Q!(" ldp " "x10, x11, [x23, #224]"),
Q!(" adcs " "x10, x10, x25"),
Q!(" adcs " "x11, x11, x25"),
Q!(" stp " "x10, x11, [x23, #224]"),
Q!(" ldp " "x10, x11, [x23, #240]"),
Q!(" adcs " "x10, x10, x25"),
Q!(" adcs " "x11, x11, x25"),
Q!(" stp " "x10, x11, [x23, #240]"),
Q!(" ldp " "x25, x30, [sp], #16"),
Q!(" ldp " "x23, x24, [sp], #16"),
Q!(" ldp " "x21, x22, [sp], #16"),
Q!(" ldp " "x19, x20, [sp], #16"),
Q!(" ret " ),
Q!(Label!("bignum_ksqr_32_64_local_sqr_8_16", 4) ":"),
Q!(" ldp " "x2, x3, [x1]"),
Q!(" ldr " "q20, [x1]"),
Q!(" ldp " "x4, x5, [x1, #16]"),
Q!(" ldr " "q21, [x1, #16]"),
Q!(" ldp " "x6, x7, [x1, #32]"),
Q!(" ldr " "q22, [x1, #32]"),
Q!(" ldp " "x8, x9, [x1, #48]"),
Q!(" ldr " "q23, [x1, #48]"),
Q!(" movi " "v30.2d, #0xffffffff"),
Q!(" mul " "x17, x2, x4"),
Q!(" mul " "x14, x3, x5"),
Q!(" ext " "v1.16b, v20.16b, v20.16b, #8"),
Q!(" umulh " "x20, x2, x4"),
Q!(" shrn " "v2.2s, v20.2d, #32"),
Q!(" subs " "x21, x2, x3"),
Q!(" zip1 " "v0.2s, v20.2s, v1.2s"),
Q!(" cneg " "x21, x21, cc"),
Q!(" umull " "v5.2d, v2.2s, v2.2s"),
Q!(" csetm " "x11, cc"),
Q!(" umull " "v6.2d, v2.2s, v0.2s"),
Q!(" subs " "x12, x5, x4"),
Q!(" umull " "v3.2d, v0.2s, v0.2s"),
Q!(" cneg " "x12, x12, cc"),
Q!(" mov " "v1.16b, v6.16b"),
Q!(" mul " "x13, x21, x12"),
Q!(" usra " "v1.2d, v3.2d, #32"),
Q!(" umulh " "x12, x21, x12"),
Q!(" and " "v4.16b, v1.16b, v30.16b"),
Q!(" cinv " "x11, x11, cc"),
Q!(" add " "v4.2d, v4.2d, v6.2d"),
Q!(" eor " "x13, x13, x11"),
Q!(" usra " "v5.2d, v4.2d, #32"),
Q!(" eor " "x12, x12, x11"),
Q!(" sli " "v3.2d, v4.2d, #32"),
Q!(" adds " "x19, x17, x20"),
Q!(" usra " "v5.2d, v1.2d, #32"),
Q!(" adc " "x20, x20, xzr"),
Q!(" ext " "v1.16b, v21.16b, v21.16b, #8"),
Q!(" umulh " "x21, x3, x5"),
Q!(" shrn " "v2.2s, v21.2d, #32"),
Q!(" adds " "x19, x19, x14"),
Q!(" zip1 " "v0.2s, v21.2s, v1.2s"),
Q!(" adcs " "x20, x20, x21"),
Q!(" adc " "x21, x21, xzr"),
Q!(" adds " "x20, x20, x14"),
Q!(" adc " "x21, x21, xzr"),
Q!(" cmn " "x11, #0x1"),
Q!(" adcs " "x19, x19, x13"),
Q!(" mov " "x13, v3.d[1]"),
Q!(" adcs " "x20, x20, x12"),
Q!(" mov " "x14, v5.d[1]"),
Q!(" adc " "x21, x21, x11"),
Q!(" mov " "x12, v3.d[0]"),
Q!(" adds " "x17, x17, x17"),
Q!(" mov " "x11, v5.d[0]"),
Q!(" adcs " "x19, x19, x19"),
Q!(" umull " "v5.2d, v2.2s, v2.2s"),
Q!(" adcs " "x20, x20, x20"),
Q!(" umull " "v6.2d, v2.2s, v0.2s"),
Q!(" adcs " "x21, x21, x21"),
Q!(" umull " "v3.2d, v0.2s, v0.2s"),
Q!(" adc " "x10, xzr, xzr"),
Q!(" mov " "v1.16b, v6.16b"),
Q!(" mul " "x15, x2, x3"),
Q!(" usra " "v1.2d, v3.2d, #32"),
Q!(" umulh " "x16, x2, x3"),
Q!(" and " "v4.16b, v1.16b, v30.16b"),
Q!(" adds " "x11, x11, x15"),
Q!(" add " "v4.2d, v4.2d, v6.2d"),
Q!(" adcs " "x13, x13, x16"),
Q!(" usra " "v5.2d, v4.2d, #32"),
Q!(" adc " "x14, x14, xzr"),
Q!(" sli " "v3.2d, v4.2d, #32"),
Q!(" adds " "x11, x11, x15"),
Q!(" usra " "v5.2d, v1.2d, #32"),
Q!(" adcs " "x13, x13, x16"),
Q!(" adc " "x14, x14, xzr"),
Q!(" stp " "x12, x11, [x0]"),
Q!(" mov " "x11, v5.d[0]"),
Q!(" adds " "x17, x17, x13"),
Q!(" mov " "x13, v3.d[1]"),
Q!(" adcs " "x19, x19, x14"),
Q!(" mov " "x14, v5.d[1]"),
Q!(" adcs " "x20, x20, xzr"),
Q!(" mov " "x12, v3.d[0]"),
Q!(" adcs " "x21, x21, xzr"),
Q!(" ext " "v1.16b, v22.16b, v22.16b, #8"),
Q!(" adc " "x10, x10, xzr"),
Q!(" shrn " "v2.2s, v22.2d, #32"),
Q!(" stp " "x17, x19, [x0, #16]"),
Q!(" zip1 " "v0.2s, v22.2s, v1.2s"),
Q!(" mul " "x15, x4, x5"),
Q!(" umull " "v5.2d, v2.2s, v2.2s"),
Q!(" umulh " "x16, x4, x5"),
Q!(" umull " "v6.2d, v2.2s, v0.2s"),
Q!(" adds " "x11, x11, x15"),
Q!(" umull " "v3.2d, v0.2s, v0.2s"),
Q!(" adcs " "x13, x13, x16"),
Q!(" mov " "v1.16b, v6.16b"),
Q!(" adc " "x14, x14, xzr"),
Q!(" usra " "v1.2d, v3.2d, #32"),
Q!(" adds " "x11, x11, x15"),
Q!(" and " "v4.16b, v1.16b, v30.16b"),
Q!(" adcs " "x13, x13, x16"),
Q!(" add " "v4.2d, v4.2d, v6.2d"),
Q!(" adc " "x14, x14, xzr"),
Q!(" usra " "v5.2d, v4.2d, #32"),
Q!(" adds " "x12, x12, x20"),
Q!(" sli " "v3.2d, v4.2d, #32"),
Q!(" adcs " "x11, x11, x21"),
Q!(" usra " "v5.2d, v1.2d, #32"),
Q!(" stp " "x12, x11, [x0, #32]"),
Q!(" ext " "v1.16b, v23.16b, v23.16b, #8"),
Q!(" adcs " "x13, x13, x10"),
Q!(" shrn " "v2.2s, v23.2d, #32"),
Q!(" adc " "x14, x14, xzr"),
Q!(" zip1 " "v0.2s, v23.2s, v1.2s"),
Q!(" stp " "x13, x14, [x0, #48]"),
Q!(" mul " "x17, x6, x8"),
Q!(" umull " "v16.2d, v2.2s, v2.2s"),
Q!(" mul " "x14, x7, x9"),
Q!(" umull " "v6.2d, v2.2s, v0.2s"),
Q!(" umulh " "x20, x6, x8"),
Q!(" umull " "v18.2d, v0.2s, v0.2s"),
Q!(" subs " "x21, x6, x7"),
Q!(" cneg " "x21, x21, cc"),
Q!(" mov " "v1.16b, v6.16b"),
Q!(" csetm " "x11, cc"),
Q!(" subs " "x12, x9, x8"),
Q!(" cneg " "x12, x12, cc"),
Q!(" usra " "v1.2d, v18.2d, #32"),
Q!(" mul " "x13, x21, x12"),
Q!(" and " "v4.16b, v1.16b, v30.16b"),
Q!(" umulh " "x12, x21, x12"),
Q!(" add " "v4.2d, v4.2d, v6.2d"),
Q!(" cinv " "x11, x11, cc"),
Q!(" eor " "x13, x13, x11"),
Q!(" eor " "x12, x12, x11"),
Q!(" usra " "v16.2d, v4.2d, #32"),
Q!(" adds " "x19, x17, x20"),
Q!(" adc " "x20, x20, xzr"),
Q!(" sli " "v18.2d, v4.2d, #32"),
Q!(" umulh " "x21, x7, x9"),
Q!(" adds " "x19, x19, x14"),
Q!(" adcs " "x20, x20, x21"),
Q!(" adc " "x21, x21, xzr"),
Q!(" adds " "x20, x20, x14"),
Q!(" mov " "x14, v5.d[1]"),
Q!(" adc " "x21, x21, xzr"),
Q!(" cmn " "x11, #0x1"),
Q!(" adcs " "x19, x19, x13"),
Q!(" mov " "x13, v3.d[1]"),
Q!(" adcs " "x20, x20, x12"),
Q!(" mov " "x12, v3.d[0]"),
Q!(" adc " "x21, x21, x11"),
Q!(" mov " "x11, v5.d[0]"),
Q!(" adds " "x17, x17, x17"),
Q!(" adcs " "x19, x19, x19"),
Q!(" usra " "v16.2d, v1.2d, #32"),
Q!(" adcs " "x20, x20, x20"),
Q!(" adcs " "x21, x21, x21"),
Q!(" adc " "x10, xzr, xzr"),
Q!(" uzp2 " "v17.4s, v21.4s, v23.4s"),
Q!(" mul " "x15, x6, x7"),
Q!(" xtn " "v4.2s, v23.2d"),
Q!(" umulh " "x16, x6, x7"),
Q!(" mov " "x22, v16.d[0]"),
Q!(" adds " "x11, x11, x15"),
Q!(" adcs " "x13, x13, x16"),
Q!(" xtn " "v5.2s, v21.2d"),
Q!(" adc " "x14, x14, xzr"),
Q!(" adds " "x11, x11, x15"),
Q!(" rev64 " "v1.4s, v21.4s"),
Q!(" adcs " "x13, x13, x16"),
Q!(" adc " "x14, x14, xzr"),
Q!(" stp " "x12, x11, [x0, #64]"),
Q!(" adds " "x17, x17, x13"),
Q!(" mov " "x13, v18.d[1]"),
Q!(" adcs " "x19, x19, x14"),
Q!(" mov " "x14, v16.d[1]"),
Q!(" adcs " "x20, x20, xzr"),
Q!(" mov " "x12, v18.d[0]"),
Q!(" adcs " "x21, x21, xzr"),
Q!(" adc " "x10, x10, xzr"),
Q!(" umull " "v6.2d, v4.2s, v5.2s"),
Q!(" stp " "x17, x19, [x0, #80]"),
Q!(" umull " "v7.2d, v4.2s, v17.2s"),
Q!(" mul " "x15, x8, x9"),
Q!(" uzp2 " "v16.4s, v23.4s, v23.4s"),
Q!(" umulh " "x16, x8, x9"),
Q!(" mul " "v0.4s, v1.4s, v23.4s"),
Q!(" adds " "x11, x22, x15"),
Q!(" adcs " "x13, x13, x16"),
Q!(" usra " "v7.2d, v6.2d, #32"),
Q!(" adc " "x14, x14, xzr"),
Q!(" adds " "x11, x11, x15"),
Q!(" umull " "v1.2d, v16.2s, v17.2s"),
Q!(" adcs " "x13, x13, x16"),
Q!(" adc " "x14, x14, xzr"),
Q!(" uaddlp " "v0.2d, v0.4s"),
Q!(" adds " "x12, x12, x20"),
Q!(" adcs " "x11, x11, x21"),
Q!(" and " "v2.16b, v7.16b, v30.16b"),
Q!(" umlal " "v2.2d, v16.2s, v5.2s"),
Q!(" shl " "v0.2d, v0.2d, #32"),
Q!(" usra " "v1.2d, v7.2d, #32"),
Q!(" umlal " "v0.2d, v4.2s, v5.2s"),
Q!(" mov " "x16, v0.d[1]"),
Q!(" mov " "x15, v0.d[0]"),
Q!(" usra " "v1.2d, v2.2d, #32"),
Q!(" mov " "x20, v1.d[0]"),
Q!(" mov " "x21, v1.d[1]"),
Q!(" stp " "x12, x11, [x0, #96]"),
Q!(" adcs " "x13, x13, x10"),
Q!(" adc " "x14, x14, xzr"),
Q!(" stp " "x13, x14, [x0, #112]"),
Q!(" mul " "x10, x2, x6"),
Q!(" mul " "x14, x3, x7"),
Q!(" umulh " "x17, x2, x6"),
Q!(" adds " "x14, x14, x17"),
Q!(" umulh " "x17, x3, x7"),
Q!(" adcs " "x15, x15, x17"),
Q!(" adcs " "x16, x16, x20"),
Q!(" adc " "x17, x21, xzr"),
Q!(" adds " "x11, x14, x10"),
Q!(" adcs " "x14, x15, x14"),
Q!(" adcs " "x15, x16, x15"),
Q!(" adcs " "x16, x17, x16"),
Q!(" adc " "x17, xzr, x17"),
Q!(" adds " "x12, x14, x10"),
Q!(" adcs " "x13, x15, x11"),
Q!(" adcs " "x14, x16, x14"),
Q!(" adcs " "x15, x17, x15"),
Q!(" adcs " "x16, xzr, x16"),
Q!(" adc " "x17, xzr, x17"),
Q!(" subs " "x22, x4, x5"),
Q!(" cneg " "x22, x22, cc"),
Q!(" csetm " "x19, cc"),
Q!(" subs " "x20, x9, x8"),
Q!(" cneg " "x20, x20, cc"),
Q!(" mul " "x21, x22, x20"),
Q!(" umulh " "x20, x22, x20"),
Q!(" cinv " "x19, x19, cc"),
Q!(" cmn " "x19, #0x1"),
Q!(" eor " "x21, x21, x19"),
Q!(" adcs " "x15, x15, x21"),
Q!(" eor " "x20, x20, x19"),
Q!(" adcs " "x16, x16, x20"),
Q!(" adc " "x17, x17, x19"),
Q!(" subs " "x22, x2, x3"),
Q!(" cneg " "x22, x22, cc"),
Q!(" csetm " "x19, cc"),
Q!(" subs " "x20, x7, x6"),
Q!(" cneg " "x20, x20, cc"),
Q!(" mul " "x21, x22, x20"),
Q!(" umulh " "x20, x22, x20"),
Q!(" cinv " "x19, x19, cc"),
Q!(" cmn " "x19, #0x1"),
Q!(" eor " "x21, x21, x19"),
Q!(" adcs " "x11, x11, x21"),
Q!(" eor " "x20, x20, x19"),
Q!(" adcs " "x12, x12, x20"),
Q!(" adcs " "x13, x13, x19"),
Q!(" adcs " "x14, x14, x19"),
Q!(" adcs " "x15, x15, x19"),
Q!(" adcs " "x16, x16, x19"),
Q!(" adc " "x17, x17, x19"),
Q!(" subs " "x22, x3, x5"),
Q!(" cneg " "x22, x22, cc"),
Q!(" csetm " "x19, cc"),
Q!(" subs " "x20, x9, x7"),
Q!(" cneg " "x20, x20, cc"),
Q!(" mul " "x21, x22, x20"),
Q!(" umulh " "x20, x22, x20"),
Q!(" cinv " "x19, x19, cc"),
Q!(" cmn " "x19, #0x1"),
Q!(" eor " "x21, x21, x19"),
Q!(" adcs " "x14, x14, x21"),
Q!(" eor " "x20, x20, x19"),
Q!(" adcs " "x15, x15, x20"),
Q!(" adcs " "x16, x16, x19"),
Q!(" adc " "x17, x17, x19"),
Q!(" subs " "x22, x2, x4"),
Q!(" cneg " "x22, x22, cc"),
Q!(" csetm " "x19, cc"),
Q!(" subs " "x20, x8, x6"),
Q!(" cneg " "x20, x20, cc"),
Q!(" mul " "x21, x22, x20"),
Q!(" umulh " "x20, x22, x20"),
Q!(" cinv " "x19, x19, cc"),
Q!(" cmn " "x19, #0x1"),
Q!(" eor " "x21, x21, x19"),
Q!(" adcs " "x12, x12, x21"),
Q!(" eor " "x20, x20, x19"),
Q!(" adcs " "x13, x13, x20"),
Q!(" adcs " "x14, x14, x19"),
Q!(" adcs " "x15, x15, x19"),
Q!(" adcs " "x16, x16, x19"),
Q!(" adc " "x17, x17, x19"),
Q!(" subs " "x22, x2, x5"),
Q!(" cneg " "x22, x22, cc"),
Q!(" csetm " "x19, cc"),
Q!(" subs " "x20, x9, x6"),
Q!(" cneg " "x20, x20, cc"),
Q!(" mul " "x21, x22, x20"),
Q!(" umulh " "x20, x22, x20"),
Q!(" cinv " "x19, x19, cc"),
Q!(" cmn " "x19, #0x1"),
Q!(" eor " "x21, x21, x19"),
Q!(" adcs " "x13, x13, x21"),
Q!(" eor " "x20, x20, x19"),
Q!(" adcs " "x14, x14, x20"),
Q!(" adcs " "x15, x15, x19"),
Q!(" adcs " "x16, x16, x19"),
Q!(" adc " "x17, x17, x19"),
Q!(" subs " "x22, x3, x4"),
Q!(" cneg " "x22, x22, cc"),
Q!(" csetm " "x19, cc"),
Q!(" subs " "x20, x8, x7"),
Q!(" cneg " "x20, x20, cc"),
Q!(" mul " "x21, x22, x20"),
Q!(" umulh " "x20, x22, x20"),
Q!(" cinv " "x19, x19, cc"),
Q!(" cmn " "x19, #0x1"),
Q!(" eor " "x21, x21, x19"),
Q!(" adcs " "x13, x13, x21"),
Q!(" eor " "x20, x20, x19"),
Q!(" adcs " "x14, x14, x20"),
Q!(" adcs " "x15, x15, x19"),
Q!(" adcs " "x16, x16, x19"),
Q!(" adc " "x17, x17, x19"),
Q!(" adds " "x10, x10, x10"),
Q!(" adcs " "x11, x11, x11"),
Q!(" adcs " "x12, x12, x12"),
Q!(" adcs " "x13, x13, x13"),
Q!(" adcs " "x14, x14, x14"),
Q!(" adcs " "x15, x15, x15"),
Q!(" adcs " "x16, x16, x16"),
Q!(" adcs " "x17, x17, x17"),
Q!(" adc " "x19, xzr, xzr"),
Q!(" ldp " "x2, x3, [x0, #32]"),
Q!(" adds " "x10, x10, x2"),
Q!(" adcs " "x11, x11, x3"),
Q!(" stp " "x10, x11, [x0, #32]"),
Q!(" ldp " "x2, x3, [x0, #48]"),
Q!(" adcs " "x12, x12, x2"),
Q!(" adcs " "x13, x13, x3"),
Q!(" stp " "x12, x13, [x0, #48]"),
Q!(" ldp " "x2, x3, [x0, #64]"),
Q!(" adcs " "x14, x14, x2"),
Q!(" adcs " "x15, x15, x3"),
Q!(" stp " "x14, x15, [x0, #64]"),
Q!(" ldp " "x2, x3, [x0, #80]"),
Q!(" adcs " "x16, x16, x2"),
Q!(" adcs " "x17, x17, x3"),
Q!(" stp " "x16, x17, [x0, #80]"),
Q!(" ldp " "x2, x3, [x0, #96]"),
Q!(" adcs " "x2, x2, x19"),
Q!(" adcs " "x3, x3, xzr"),
Q!(" stp " "x2, x3, [x0, #96]"),
Q!(" ldp " "x2, x3, [x0, #112]"),
Q!(" adcs " "x2, x2, xzr"),
Q!(" adc " "x3, x3, xzr"),
Q!(" stp " "x2, x3, [x0, #112]"),
Q!(" ret " ),
Q!(Label!("hoist_finish", 3) ":"),
inout("x0") z.as_mut_ptr() => _,
inout("x1") x.as_ptr() => _,
inout("x2") t.as_mut_ptr() => _,
out("v0") _,
out("v1") _,
out("v16") _,
out("v17") _,
out("v18") _,
out("v2") _,
out("v20") _,
out("v21") _,
out("v22") _,
out("v23") _,
out("v3") _,
out("v30") _,
out("v4") _,
out("v5") _,
out("v6") _,
out("v7") _,
out("x10") _,
out("x11") _,
out("x12") _,
out("x13") _,
out("x14") _,
out("x15") _,
out("x16") _,
out("x17") _,
out("x20") _,
out("x21") _,
out("x22") _,
out("x23") _,
out("x24") _,
out("x25") _,
out("x3") _,
out("x30") _,
out("x4") _,
out("x5") _,
out("x6") _,
out("x7") _,
out("x8") _,
out("x9") _,
)
};
}