File sliver_83cb34f62800fed14e14547c39337aab8e0427fe2c6310a3fb40ce0ac36168c9.elf
Function:
    00532ac0
    00532ac0crypto/internal/fips140/nistec/fiat.p224ToMontgomery: ; void crypto/internal/fips140/nistec/fiat.p224ToMontgomery(crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * out1, crypto/internal/fips140/nistec/fiat.p224NonMontgomeryDomainFieldElement * arg1)
    00532ac0ldr x16, [x28+16]
    00532ac4sub x17, sp, 2656
    00532ac8subs xzr, x17, x16
    00532accb.ls 0x533f60
    00532ad0sub x20, sp, 2784
    00532ad4stp x29, x30, [x20-8]
    00532ad8add sp, x20, 0
    00532adcsub x29, sp, 8
    00532ae0str x0, [sp+2792]
    00532ae4str x1, [sp+2800]
    00532ae8ldrsb x27, [x1]
    00532aecldr x4, [x1+8]
    00532af0str x4, [sp+1392]
    00532af4ldrsb x27, [x1]
    00532af8ldr x4, [x1+16]
    00532afcstr x4, [sp+704]
    00532b00ldrsb x27, [x1]
    00532b04ldr x4, [x1+24]
    00532b08str x4, [sp+624]
    00532b0cldrsb x27, [x1]
    00532b10ldr x4, [x1]
    00532b14str x4, [sp+544]
    00532b18str xzr, [sp+456]
    00532b1cstr xzr, [sp+368]
    00532b20sub x5, xzr, x4
    00532b24add x5, x5, x4, lsl #32
    00532b28orr x6, xzr, 0xffffffff
    00532b2cumulh x4, x4, x6
    00532b30str x4, [sp+1696]
    00532b34str x5, [sp+1688]
    00532b38str x4, [sp+1488]
    00532b3cstr x5, [sp+1448]
    00532b40str x4, [sp+368]
    00532b44str x5, [sp+456]
    00532b48str xzr, [sp+288]
    00532b4cstr xzr, [sp+208]
    00532b50ldr x4, [sp+544]
    00532b54orr x5, xzr, 0xfffffffe00000000
    00532b58umulh x7, x4, x5
    00532b5cstr x7, [sp+1688]
    00532b60madd x4, x4, x5, xzr
    00532b64str x4, [sp+1696]
    00532b68str x7, [sp+2688]
    00532b6cstr x4, [sp+2640]
    00532b70str x7, [sp+208]
    00532b74str x4, [sp+288]
    00532b78str xzr, [sp+120]
    00532b7cstr xzr, [sp+1384]
    00532b80ldr x4, [sp+544]
    00532b84orr x7, xzr, 0xffffffff00000000
    00532b88umulh x8, x4, x7
    00532b8cstr x8, [sp+1696]
    00532b90madd x4, x4, x7, xzr
    00532b94str x4, [sp+1688]
    00532b98str x8, [sp+2512]
    00532b9cstr x4, [sp+2456]
    00532ba0str x8, [sp+1384]
    00532ba4str x4, [sp+120]
    00532ba8str xzr, [sp+1304]
    00532bacstr xzr, [sp+1224]
    00532bb0ldr x4, [sp+544]
    00532bb4orr x8, xzr, 0xffffffff00000001
    00532bb8umulh x9, x4, x8
    00532bbcstr x9, [sp+1688]
    00532bc0madd x4, x4, x8, xzr
    00532bc4str x4, [sp+1696]
    00532bc8str x9, [sp+2328]
    00532bccstr x4, [sp+2280]
    00532bd0str x9, [sp+1224]
    00532bd4str x4, [sp+1304]
    00532bd8str xzr, [sp+1136]
    00532bdcstr xzr, [sp+1048]
    00532be0ldr x4, [sp+120]
    00532be4adds x10, x9, x4
    00532be8adc x10, xzr, xzr
    00532becadds x11, x9, x4
    00532bf0str x11, [sp+1696]
    00532bf4str x10, [sp+1688]
    00532bf8str x11, [sp+2144]
    00532bfcstr x10, [sp+2104]
    00532c00str x11, [sp+1136]
    00532c04str x10, [sp+1048]
    00532c08str xzr, [sp+968]
    00532c0cstr xzr, [sp+888]
    00532c10ldr x10, [sp+288]
    00532c14ldr x11, [sp+1384]
    00532c18adds x12, x9, x4
    00532c1cadcs x12, x11, x10
    00532c20adds x12, x9, x4
    00532c24adcs x12, x11, x10
    00532c28str x12, [sp+1688]
    00532c2cadds x13, x9, x4
    00532c30adcs x13, x11, x10
    00532c34adc x13, xzr, xzr
    00532c38str x13, [sp+1696]
    00532c3cstr x12, [sp+1968]
    00532c40str x13, [sp+1920]
    00532c44str x12, [sp+968]
    00532c48str x13, [sp+888]
    00532c4cstr xzr, [sp+800]
    00532c50str xzr, [sp+720]
    00532c54ldr x12, [sp+456]
    00532c58ldr x13, [sp+208]
    00532c5cadcs x14, x13, x12
    00532c60adds x14, x9, x4
    00532c64adcs x14, x11, x10
    00532c68adcs x14, x13, x12
    00532c6cstr x14, [sp+1696]
    00532c70adds x4, x9, x4
    00532c74adcs x4, x11, x10
    00532c78adcs x4, x13, x12
    00532c7cadc x4, xzr, xzr
    00532c80str x4, [sp+1688]
    00532c84str x14, [sp+1792]
    00532c88str x4, [sp+1744]
    00532c8cstr x14, [sp+800]
    00532c90str x4, [sp+720]
    00532c94str xzr, [sp+712]
    00532c98ldr x4, [sp+1304]
    00532c9cmovn x9, 0
    00532ca0umulh x10, x4, x9
    00532ca4str x10, [sp+1688]
    00532ca8sub x11, xzr, x4
    00532cacstr x11, [sp+1696]
    00532cb0str x10, [sp+1680]
    00532cb4str x11, [sp+1672]
    00532cb8str x11, [sp+712]
    00532cbcstr xzr, [sp+696]
    00532cc0str xzr, [sp+688]
    00532cc4sub x10, xzr, x4
    00532cc8add x4, x10, x4, lsl #32
    00532cccsub x4, xzr, x4
    00532cd0umulh x10, x11, x6
    00532cd4str x10, [sp+1696]
    00532cd8str x4, [sp+1688]
    00532cdcstr x10, [sp+1664]
    00532ce0str x4, [sp+1656]
    00532ce4str x10, [sp+688]
    00532ce8str x4, [sp+696]
    00532cecstr xzr, [sp+680]
    00532cf0str xzr, [sp+672]
    00532cf4ldr x4, [sp+712]
    00532cf8umulh x10, x4, x9
    00532cfcstr x10, [sp+1688]
    00532d00sub x4, xzr, x4
    00532d04str x4, [sp+1696]
    00532d08str x10, [sp+1648]
    00532d0cstr x4, [sp+1640]
    00532d10str x10, [sp+672]
    00532d14str x4, [sp+680]
    00532d18str xzr, [sp+664]
    00532d1cstr xzr, [sp+656]
    00532d20ldr x4, [sp+712]
    00532d24umulh x10, x4, x7
    00532d28str x10, [sp+1696]
    00532d2cmadd x4, x4, x7, xzr
    00532d30str x4, [sp+1688]
    00532d34str x10, [sp+1632]
    00532d38str x4, [sp+1624]
    00532d3cstr x10, [sp+656]
    00532d40str x4, [sp+664]
    00532d44str xzr, [sp+648]
    00532d48str xzr, [sp+640]
    00532d4cldr x4, [sp+680]
    00532d50adds x11, x10, x4
    00532d54adc x11, xzr, xzr
    00532d58adds x12, x10, x4
    00532d5cstr x12, [sp+1688]
    00532d60str x11, [sp+1696]
    00532d64str x12, [sp+1616]
    00532d68str x11, [sp+1608]
    00532d6cstr x12, [sp+648]
    00532d70str x11, [sp+640]
    00532d74str xzr, [sp+632]
    00532d78str xzr, [sp+616]
    00532d7cldr x11, [sp+696]
    00532d80ldr x12, [sp+672]
    00532d84adds x13, x10, x4
    00532d88adcs x13, x12, x11
    00532d8cadds x13, x10, x4
    00532d90adcs x13, x12, x11
    00532d94str x13, [sp+1696]
    00532d98adds x4, x10, x4
    00532d9cadcs x4, x12, x11
    00532da0adc x4, xzr, xzr
    00532da4str x4, [sp+1688]
    00532da8str x13, [sp+1600]
    00532dacstr x4, [sp+1592]
    00532db0str x13, [sp+632]
    00532db4str x4, [sp+616]
    00532db8str xzr, [sp+608]
    00532dbcldr x4, [sp+712]
    00532dc0ldr x10, [sp+1304]
    00532dc4adds x11, x10, x4
    00532dc8adc x11, xzr, xzr
    00532dccadds x12, x10, x4
    00532dd0str x12, [sp+1688]
    00532dd4str x11, [sp+1696]
    00532dd8str x12, [sp+1584]
    00532ddcstr x11, [sp+1576]
    00532de0str x11, [sp+608]
    00532de4str xzr, [sp+600]
    00532de8str xzr, [sp+592]
    00532decldr x11, [sp+664]
    00532df0ldr x12, [sp+1136]
    00532df4adds x13, x10, x4
    00532df8adcs x13, x12, x11
    00532dfcadds x13, x10, x4
    00532e00adcs x13, x12, x11
    00532e04str x13, [sp+1696]
    00532e08adds x14, x10, x4
    00532e0cadcs x14, x12, x11
    00532e10adc x14, xzr, xzr
    00532e14str x14, [sp+1688]
    00532e18str x13, [sp+1568]
    00532e1cstr x14, [sp+1560]
    00532e20str x13, [sp+600]
    00532e24str x14, [sp+592]
    00532e28str xzr, [sp+584]
    00532e2cstr xzr, [sp+576]
    00532e30ldr x13, [sp+648]
    00532e34ldr x14, [sp+968]
    00532e38adcs x15, x14, x13
    00532e3cadds x15, x10, x4
    00532e40adcs x15, x12, x11
    00532e44adcs x15, x14, x13
    00532e48str x15, [sp+1688]
    00532e4cadds x16, x10, x4
    00532e50adcs x16, x12, x11
    00532e54adcs x16, x14, x13
    00532e58adc x16, xzr, xzr
    00532e5cstr x16, [sp+1696]
    00532e60str x15, [sp+1552]
    00532e64str x16, [sp+1544]
    00532e68str x15, [sp+584]
    00532e6cstr x16, [sp+576]
    00532e70str xzr, [sp+568]
    00532e74str xzr, [sp+560]
    00532e78ldr x15, [sp+632]
    00532e7cldr x16, [sp+800]
    00532e80adcs x17, x16, x15
    00532e84adds x17, x10, x4
    00532e88adcs x17, x12, x11
    00532e8cadcs x17, x14, x13
    00532e90adcs x17, x16, x15
    00532e94str x17, [sp+1696]
    00532e98adds x4, x10, x4
    00532e9cadcs x4, x12, x11
    00532ea0adcs x4, x14, x13
    00532ea4adcs x4, x16, x15
    00532ea8adc x4, xzr, xzr
    00532eacstr x4, [sp+1688]
    00532eb0str x17, [sp+1536]
    00532eb4str x4, [sp+1528]
    00532eb8str x17, [sp+568]
    00532ebcstr x4, [sp+560]
    00532ec0str xzr, [sp+552]
    00532ec4str xzr, [sp+536]
    00532ec8ldr x4, [sp+1392]
    00532eccumulh x10, x4, x6
    00532ed0str x10, [sp+1688]
    00532ed4sub x11, xzr, x4
    00532ed8add x4, x11, x4, lsl #32
    00532edcstr x4, [sp+1696]
    00532ee0str x10, [sp+1520]
    00532ee4str x4, [sp+1512]
    00532ee8str x10, [sp+536]
    00532eecstr x4, [sp+552]
    00532ef0str xzr, [sp+528]
    00532ef4str xzr, [sp+520]
    00532ef8ldr x4, [sp+1392]
    00532efcumulh x10, x4, x5
    00532f00str x10, [sp+1696]
    00532f04madd x4, x4, x5, xzr
    00532f08str x4, [sp+1688]
    00532f0cstr x10, [sp+1504]
    00532f10str x4, [sp+1496]
    00532f14str x10, [sp+520]
    00532f18str x4, [sp+528]
    00532f1cstr xzr, [sp+512]
    00532f20str xzr, [sp+504]
    00532f24ldr x4, [sp+1392]
    00532f28umulh x10, x4, x7
    00532f2cstr x10, [sp+1688]
    00532f30madd x4, x4, x7, xzr
    00532f34str x4, [sp+1696]
    00532f38str x10, [sp+1480]
    00532f3cstr x4, [sp+1472]
    00532f40str x10, [sp+504]
    00532f44str x4, [sp+512]
    00532f48str xzr, [sp+496]
    00532f4cstr xzr, [sp+488]
    00532f50ldr x4, [sp+1392]
    00532f54umulh x10, x4, x8
    00532f58str x10, [sp+1696]
    00532f5cmadd x4, x4, x8, xzr
    00532f60str x4, [sp+1688]
    00532f64str x10, [sp+1464]
    00532f68str x4, [sp+1456]
    00532f6cstr x10, [sp+488]
    00532f70str x4, [sp+496]
    00532f74str xzr, [sp+480]
    00532f78str xzr, [sp+472]
    00532f7cldr x4, [sp+512]
    00532f80adds x11, x10, x4
    00532f84adc x11, xzr, xzr
    00532f88adds x12, x10, x4
    00532f8cstr x12, [sp+1688]
    00532f90str x11, [sp+1696]
    00532f94str x12, [sp+1440]
    00532f98str x11, [sp+1432]
    00532f9cstr x12, [sp+480]
    00532fa0str x11, [sp+472]
    00532fa4str xzr, [sp+464]
    00532fa8str xzr, [sp+448]
    00532facldr x11, [sp+528]
    00532fb0ldr x12, [sp+504]
    00532fb4adds x13, x10, x4
    00532fb8adcs x13, x12, x11
    00532fbcadds x13, x10, x4
    00532fc0adcs x13, x12, x11
    00532fc4str x13, [sp+1696]
    00532fc8adds x14, x10, x4
    00532fccadcs x14, x12, x11
    00532fd0adc x14, xzr, xzr
    00532fd4str x14, [sp+1688]
    00532fd8str x13, [sp+1424]
    00532fdcstr x14, [sp+1416]
    00532fe0str x13, [sp+464]
    00532fe4str x14, [sp+448]
    00532fe8str xzr, [sp+440]
    00532fecstr xzr, [sp+432]
    00532ff0ldr x13, [sp+552]
    00532ff4ldr x14, [sp+520]
    00532ff8adcs x15, x14, x13
    00532ffcadds x15, x10, x4
    00533000adcs x15, x12, x11
    00533004adcs x15, x14, x13
    00533008str x15, [sp+1688]
    0053300cadds x4, x10, x4
    00533010adcs x4, x12, x11
    00533014adcs x4, x14, x13
    00533018adc x4, xzr, xzr
    0053301cstr x4, [sp+1696]
    00533020str x15, [sp+1408]
    00533024str x4, [sp+1400]
    00533028str x15, [sp+440]
    0053302cstr x4, [sp+432]
    00533030str xzr, [sp+424]
    00533034str xzr, [sp+416]
    00533038ldr x4, [sp+496]
    0053303cldr x10, [sp+600]
    00533040adds x11, x10, x4
    00533044adc x11, xzr, xzr
    00533048adds x12, x10, x4
    0053304cstr x12, [sp+1696]
    00533050str x11, [sp+1688]
    00533054str x12, [sp+2768]
    00533058str x11, [sp+2760]
    0053305cstr x12, [sp+424]
    00533060str x11, [sp+416]
    00533064str xzr, [sp+408]
    00533068str xzr, [sp+400]
    0053306cldr x11, [sp+480]
    00533070ldr x12, [sp+584]
    00533074adds x13, x10, x4
    00533078adcs x13, x12, x11
    0053307cadds x13, x10, x4
    00533080adcs x13, x12, x11
    00533084str x13, [sp+1688]
    00533088adds x14, x10, x4
    0053308cadcs x14, x12, x11
    00533090adc x14, xzr, xzr
    00533094str x14, [sp+1696]
    00533098str x13, [sp+2752]
    0053309cstr x14, [sp+2744]
    005330a0str x13, [sp+408]
    005330a4str x14, [sp+400]
    005330a8str xzr, [sp+392]
    005330acstr xzr, [sp+384]
    005330b0ldr x13, [sp+464]
    005330b4ldr x14, [sp+568]
    005330b8adcs x15, x14, x13
    005330bcadds x15, x10, x4
    005330c0adcs x15, x12, x11
    005330c4adcs x15, x14, x13
    005330c8str x15, [sp+1696]
    005330ccadds x16, x10, x4
    005330d0adcs x16, x12, x11
    005330d4adcs x16, x14, x13
    005330d8adc x16, xzr, xzr
    005330dcstr x16, [sp+1688]
    005330e0str x15, [sp+2736]
    005330e4str x16, [sp+2728]
    005330e8str x15, [sp+392]
    005330ecstr x16, [sp+384]
    005330f0str xzr, [sp+376]
    005330f4str xzr, [sp+360]
    005330f8ldr x15, [sp+440]
    005330fcldr x16, [sp+560]
    00533100ldr x17, [sp+720]
    00533104ldr x19, [sp+368]
    00533108add x17, x17, x19
    0053310cadd x16, x16, x17
    00533110ldr x17, [sp+616]
    00533114ldr x19, [sp+688]
    00533118add x17, x17, x19
    0053311cadd x16, x16, x17
    00533120adcs x17, x16, x15
    00533124adds x17, x10, x4
    00533128adcs x17, x12, x11
    0053312cadcs x17, x14, x13
    00533130adcs x17, x16, x15
    00533134str x17, [sp+1688]
    00533138adds x4, x10, x4
    0053313cadcs x4, x12, x11
    00533140adcs x4, x14, x13
    00533144adcs x4, x16, x15
    00533148adc x4, xzr, xzr
    0053314cstr x4, [sp+1696]
    00533150str x17, [sp+2720]
    00533154str x4, [sp+2712]
    00533158str x17, [sp+376]
    0053315cstr x4, [sp+360]
    00533160str xzr, [sp+352]
    00533164ldr x4, [sp+424]
    00533168umulh x10, x4, x9
    0053316cstr x10, [sp+1696]
    00533170sub x11, xzr, x4
    00533174str x11, [sp+1688]
    00533178str x10, [sp+2704]
    0053317cstr x11, [sp+2696]
    00533180str x11, [sp+352]
    00533184str xzr, [sp+344]
    00533188str xzr, [sp+336]
    0053318csub x10, xzr, x4
    00533190add x4, x10, x4, lsl #32
    00533194sub x4, xzr, x4
    00533198umulh x10, x11, x6
    0053319cstr x10, [sp+1688]
    005331a0str x4, [sp+1696]
    005331a4str x10, [sp+2680]
    005331a8str x4, [sp+2672]
    005331acstr x10, [sp+336]
    005331b0str x4, [sp+344]
    005331b4str xzr, [sp+328]
    005331b8str xzr, [sp+320]
    005331bcldr x4, [sp+352]
    005331c0umulh x10, x4, x9
    005331c4str x10, [sp+1696]
    005331c8sub x4, xzr, x4
    005331ccstr x4, [sp+1688]
    005331d0str x10, [sp+2664]
    005331d4str x4, [sp+2656]
    005331d8str x10, [sp+320]
    005331dcstr x4, [sp+328]
    005331e0str xzr, [sp+312]
    005331e4str xzr, [sp+304]
    005331e8ldr x4, [sp+352]
    005331ecumulh x10, x4, x7
    005331f0str x10, [sp+1688]
    005331f4madd x4, x4, x7, xzr
    005331f8str x4, [sp+1696]
    005331fcstr x10, [sp+2648]
    00533200str x4, [sp+2632]
    00533204str x10, [sp+304]
    00533208str x4, [sp+312]
    0053320cstr xzr, [sp+296]
    00533210str xzr, [sp+280]
    00533214ldr x4, [sp+328]
    00533218adds x11, x10, x4
    0053321cadc x11, xzr, xzr
    00533220adds x12, x10, x4
    00533224str x12, [sp+1696]
    00533228str x11, [sp+1688]
    0053322cstr x12, [sp+2624]
    00533230str x11, [sp+2616]
    00533234str x12, [sp+296]
    00533238str x11, [sp+280]
    0053323cstr xzr, [sp+272]
    00533240str xzr, [sp+264]
    00533244ldr x11, [sp+344]
    00533248ldr x12, [sp+320]
    0053324cadds x13, x10, x4
    00533250adcs x13, x12, x11
    00533254adds x13, x10, x4
    00533258adcs x13, x12, x11
    0053325cstr x13, [sp+1688]
    00533260adds x4, x10, x4
    00533264adcs x4, x12, x11
    00533268adc x4, xzr, xzr
    0053326cstr x4, [sp+1696]
    00533270str x13, [sp+2608]
    00533274str x4, [sp+2600]
    00533278str x13, [sp+272]
    0053327cstr x4, [sp+264]
    00533280str xzr, [sp+256]
    00533284ldr x4, [sp+352]
    00533288ldr x10, [sp+424]
    0053328cadds x11, x10, x4
    00533290adc x11, xzr, xzr
    00533294adds x12, x10, x4
    00533298str x12, [sp+1696]
    0053329cstr x11, [sp+1688]
    005332a0str x12, [sp+2592]
    005332a4str x11, [sp+2584]
    005332a8str x11, [sp+256]
    005332acstr xzr, [sp+248]
    005332b0str xzr, [sp+240]
    005332b4ldr x11, [sp+312]
    005332b8ldr x12, [sp+408]
    005332bcadds x13, x10, x4
    005332c0adcs x13, x12, x11
    005332c4adds x13, x10, x4
    005332c8adcs x13, x12, x11
    005332ccstr x13, [sp+1688]
    005332d0adds x14, x10, x4
    005332d4adcs x14, x12, x11
    005332d8adc x14, xzr, xzr
    005332dcstr x14, [sp+1696]
    005332e0str x13, [sp+2576]
    005332e4str x14, [sp+2568]
    005332e8str x13, [sp+248]
    005332ecstr x14, [sp+240]
    005332f0str xzr, [sp+232]
    005332f4str xzr, [sp+224]
    005332f8ldr x13, [sp+296]
    005332fcldr x14, [sp+392]
    00533300adcs x15, x14, x13
    00533304adds x15, x10, x4
    00533308adcs x15, x12, x11
    0053330cadcs x15, x14, x13
    00533310str x15, [sp+1696]
    00533314adds x16, x10, x4
    00533318adcs x16, x12, x11
    0053331cadcs x16, x14, x13
    00533320adc x16, xzr, xzr
    00533324str x16, [sp+1688]
    00533328str x15, [sp+2560]
    0053332cstr x16, [sp+2552]
    00533330str x15, [sp+232]
    00533334str x16, [sp+224]
    00533338str xzr, [sp+216]
    0053333cstr xzr, [sp+200]
    00533340ldr x15, [sp+272]
    00533344ldr x16, [sp+376]
    00533348adcs x17, x16, x15
    0053334cadds x17, x10, x4
    00533350adcs x17, x12, x11
    00533354adcs x17, x14, x13
    00533358adcs x17, x16, x15
    0053335cstr x17, [sp+1688]
    00533360adds x4, x10, x4
    00533364adcs x4, x12, x11
    00533368adcs x4, x14, x13
    0053336cadcs x4, x16, x15
    00533370adc x4, xzr, xzr
    00533374str x4, [sp+1696]
    00533378str x17, [sp+2544]
    0053337cstr x4, [sp+2536]
    00533380str x17, [sp+216]
    00533384str x4, [sp+200]
    00533388str xzr, [sp+192]
    0053338cstr xzr, [sp+184]
    00533390ldr x4, [sp+704]
    00533394umulh x10, x4, x6
    00533398str x10, [sp+1696]
    0053339csub x11, xzr, x4
    005333a0add x4, x11, x4, lsl #32
    005333a4str x4, [sp+1688]
    005333a8str x10, [sp+2528]
    005333acstr x4, [sp+2520]
    005333b0str x10, [sp+184]
    005333b4str x4, [sp+192]
    005333b8str xzr, [sp+176]
    005333bcstr xzr, [sp+168]
    005333c0ldr x4, [sp+704]
    005333c4umulh x10, x4, x5
    005333c8str x10, [sp+1688]
    005333ccmadd x4, x4, x5, xzr
    005333d0str x4, [sp+1696]
    005333d4str x10, [sp+2504]
    005333d8str x4, [sp+2496]
    005333dcstr x10, [sp+168]
    005333e0str x4, [sp+176]
    005333e4str xzr, [sp+160]
    005333e8str xzr, [sp+152]
    005333ecldr x4, [sp+704]
    005333f0umulh x10, x4, x7
    005333f4str x10, [sp+1696]
    005333f8madd x4, x4, x7, xzr
    005333fcstr x4, [sp+1688]
    00533400str x10, [sp+2488]
    00533404str x4, [sp+2480]
    00533408str x10, [sp+152]
    0053340cstr x4, [sp+160]
    00533410str xzr, [sp+144]
    00533414str xzr, [sp+136]
    00533418ldr x4, [sp+704]
    0053341cumulh x10, x4, x8
    00533420str x10, [sp+1688]
    00533424madd x4, x4, x8, xzr
    00533428str x4, [sp+1696]
    0053342cstr x10, [sp+2472]
    00533430str x4, [sp+2464]
    00533434str x10, [sp+136]
    00533438str x4, [sp+144]
    0053343cstr xzr, [sp+128]
    00533440str xzr, [sp+112]
    00533444ldr x4, [sp+160]
    00533448adds x11, x10, x4
    0053344cadc x11, xzr, xzr
    00533450adds x12, x10, x4
    00533454str x12, [sp+1696]
    00533458str x11, [sp+1688]
    0053345cstr x12, [sp+2448]
    00533460str x11, [sp+2440]
    00533464str x12, [sp+128]
    00533468str x11, [sp+112]
    0053346cstr xzr, [sp+104]
    00533470str xzr, [sp+96]
    00533474ldr x11, [sp+176]
    00533478ldr x12, [sp+152]
    0053347cadds x13, x10, x4
    00533480adcs x13, x12, x11
    00533484adds x13, x10, x4
    00533488adcs x13, x12, x11
    0053348cstr x13, [sp+1688]
    00533490adds x14, x10, x4
    00533494adcs x14, x12, x11
    00533498adc x14, xzr, xzr
    0053349cstr x14, [sp+1696]
    005334a0str x13, [sp+2432]
    005334a4str x14, [sp+2424]
    005334a8str x13, [sp+104]
    005334acstr x14, [sp+96]
    005334b0str xzr, [sp+88]
    005334b4str xzr, [sp+80]
    005334b8ldr x13, [sp+192]
    005334bcldr x14, [sp+168]
    005334c0adcs x15, x14, x13
    005334c4adds x15, x10, x4
    005334c8adcs x15, x12, x11
    005334ccadcs x15, x14, x13
    005334d0str x15, [sp+1696]
    005334d4adds x4, x10, x4
    005334d8adcs x4, x12, x11
    005334dcadcs x4, x14, x13
    005334e0adc x4, xzr, xzr
    005334e4str x4, [sp+1688]
    005334e8str x15, [sp+2416]
    005334ecstr x4, [sp+2408]
    005334f0str x15, [sp+88]
    005334f4str x4, [sp+80]
    005334f8str xzr, [sp+72]
    005334fcstr xzr, [sp+64]
    00533500ldr x4, [sp+144]
    00533504ldr x10, [sp+248]
    00533508adds x11, x10, x4
    0053350cadc x11, xzr, xzr
    00533510adds x12, x10, x4
    00533514str x12, [sp+1688]
    00533518str x11, [sp+1696]
    0053351cstr x12, [sp+2400]
    00533520str x11, [sp+2392]
    00533524str x12, [sp+72]
    00533528str x11, [sp+64]
    0053352cstr xzr, [sp+56]
    00533530str xzr, [sp+48]
    00533534ldr x11, [sp+128]
    00533538ldr x12, [sp+232]
    0053353cadds x13, x10, x4
    00533540adcs x13, x12, x11
    00533544adds x13, x10, x4
    00533548adcs x13, x12, x11
    0053354cstr x13, [sp+1696]
    00533550adds x14, x10, x4
    00533554adcs x14, x12, x11
    00533558adc x14, xzr, xzr
    0053355cstr x14, [sp+1688]
    00533560str x13, [sp+2384]
    00533564str x14, [sp+2376]
    00533568str x13, [sp+56]
    0053356cstr x14, [sp+48]
    00533570str xzr, [sp+40]
    00533574str xzr, [sp+1376]
    00533578ldr x13, [sp+104]
    0053357cldr x14, [sp+216]
    00533580adcs x15, x14, x13
    00533584adds x15, x10, x4
    00533588adcs x15, x12, x11
    0053358cadcs x15, x14, x13
    00533590str x15, [sp+1688]
    00533594adds x16, x10, x4
    00533598adcs x16, x12, x11
    0053359cadcs x16, x14, x13
    005335a0adc x16, xzr, xzr
    005335a4str x16, [sp+1696]
    005335a8str x15, [sp+2368]
    005335acstr x16, [sp+2360]
    005335b0str x15, [sp+40]
    005335b4str x16, [sp+1376]
    005335b8str xzr, [sp+1368]
    005335bcstr xzr, [sp+1360]
    005335c0ldr x15, [sp+88]
    005335c4ldr x16, [sp+200]
    005335c8ldr x17, [sp+360]
    005335ccldr x19, [sp+432]
    005335d0ldr x20, [sp+536]
    005335d4add x19, x19, x20
    005335d8add x17, x17, x19
    005335dcadd x16, x16, x17
    005335e0ldr x17, [sp+264]
    005335e4ldr x19, [sp+336]
    005335e8add x17, x17, x19
    005335ecadd x16, x16, x17
    005335f0adcs x17, x16, x15
    005335f4adds x17, x10, x4
    005335f8adcs x17, x12, x11
    005335fcadcs x17, x14, x13
    00533600adcs x17, x16, x15
    00533604str x17, [sp+1696]
    00533608adds x4, x10, x4
    0053360cadcs x4, x12, x11
    00533610adcs x4, x14, x13
    00533614adcs x4, x16, x15
    00533618adc x4, xzr, xzr
    0053361cstr x4, [sp+1688]
    00533620str x17, [sp+2352]
    00533624str x4, [sp+2344]
    00533628str x17, [sp+1368]
    0053362cstr x4, [sp+1360]
    00533630str xzr, [sp+1352]
    00533634ldr x4, [sp+72]
    00533638umulh x10, x4, x9
    0053363cstr x10, [sp+1688]
    00533640sub x11, xzr, x4
    00533644str x11, [sp+1696]
    00533648str x10, [sp+2336]
    0053364cstr x11, [sp+2320]
    00533650str x11, [sp+1352]
    00533654str xzr, [sp+1344]
    00533658str xzr, [sp+1336]
    0053365csub x10, xzr, x4
    00533660add x4, x10, x4, lsl #32
    00533664sub x4, xzr, x4
    00533668umulh x10, x11, x6
    0053366cstr x10, [sp+1696]
    00533670str x4, [sp+1688]
    00533674str x10, [sp+2312]
    00533678str x4, [sp+2304]
    0053367cstr x10, [sp+1336]
    00533680str x4, [sp+1344]
    00533684str xzr, [sp+1328]
    00533688str xzr, [sp+1320]
    0053368cldr x4, [sp+1352]
    00533690umulh x10, x4, x9
    00533694str x10, [sp+1688]
    00533698sub x4, xzr, x4
    0053369cstr x4, [sp+1696]
    005336a0str x10, [sp+2296]
    005336a4str x4, [sp+2288]
    005336a8str x10, [sp+1320]
    005336acstr x4, [sp+1328]
    005336b0str xzr, [sp+1312]
    005336b4str xzr, [sp+1296]
    005336b8ldr x4, [sp+1352]
    005336bcumulh x10, x4, x7
    005336c0str x10, [sp+1696]
    005336c4madd x4, x4, x7, xzr
    005336c8str x4, [sp+1688]
    005336ccstr x10, [sp+2272]
    005336d0str x4, [sp+2264]
    005336d4str x10, [sp+1296]
    005336d8str x4, [sp+1312]
    005336dcstr xzr, [sp+1288]
    005336e0str xzr, [sp+1280]
    005336e4ldr x4, [sp+1328]
    005336e8adds x11, x10, x4
    005336ecadc x11, xzr, xzr
    005336f0adds x12, x10, x4
    005336f4str x12, [sp+1688]
    005336f8str x11, [sp+1696]
    005336fcstr x12, [sp+2256]
    00533700str x11, [sp+2248]
    00533704str x12, [sp+1288]
    00533708str x11, [sp+1280]
    0053370cstr xzr, [sp+1272]
    00533710str xzr, [sp+1264]
    00533714ldr x11, [sp+1344]
    00533718ldr x12, [sp+1320]
    0053371cadds x13, x10, x4
    00533720adcs x13, x12, x11
    00533724adds x13, x10, x4
    00533728adcs x13, x12, x11
    0053372cstr x13, [sp+1696]
    00533730adds x4, x10, x4
    00533734adcs x4, x12, x11
    00533738adc x4, xzr, xzr
    0053373cstr x4, [sp+1688]
    00533740str x13, [sp+2240]
    00533744str x4, [sp+2232]
    00533748str x13, [sp+1272]
    0053374cstr x4, [sp+1264]
    00533750str xzr, [sp+1256]
    00533754ldr x4, [sp+1352]
    00533758ldr x10, [sp+72]
    0053375cadds x11, x10, x4
    00533760adc x11, xzr, xzr
    00533764adds x12, x10, x4
    00533768str x12, [sp+1688]
    0053376cstr x11, [sp+1696]
    00533770str x12, [sp+2224]
    00533774str x11, [sp+2216]
    00533778str x11, [sp+1256]
    0053377cstr xzr, [sp+1248]
    00533780str xzr, [sp+1240]
    00533784ldr x11, [sp+1312]
    00533788ldr x12, [sp+56]
    0053378cadds x13, x10, x4
    00533790adcs x13, x12, x11
    00533794adds x13, x10, x4
    00533798adcs x13, x12, x11
    0053379cstr x13, [sp+1696]
    005337a0adds x14, x10, x4
    005337a4adcs x14, x12, x11
    005337a8adc x14, xzr, xzr
    005337acstr x14, [sp+1688]
    005337b0str x13, [sp+2208]
    005337b4str x14, [sp+2200]
    005337b8str x13, [sp+1248]
    005337bcstr x14, [sp+1240]
    005337c0str xzr, [sp+1232]
    005337c4str xzr, [sp+1216]
    005337c8ldr x13, [sp+1288]
    005337ccldr x14, [sp+40]
    005337d0adcs x15, x14, x13
    005337d4adds x15, x10, x4
    005337d8adcs x15, x12, x11
    005337dcadcs x15, x14, x13
    005337e0str x15, [sp+1688]
    005337e4adds x16, x10, x4
    005337e8adcs x16, x12, x11
    005337ecadcs x16, x14, x13
    005337f0adc x16, xzr, xzr
    005337f4str x16, [sp+1696]
    005337f8str x15, [sp+2192]
    005337fcstr x16, [sp+2184]
    00533800str x15, [sp+1232]
    00533804str x16, [sp+1216]
    00533808str xzr, [sp+1208]
    0053380cstr xzr, [sp+1200]
    00533810ldr x15, [sp+1272]
    00533814ldr x16, [sp+1368]
    00533818adcs x17, x16, x15
    0053381cadds x17, x10, x4
    00533820adcs x17, x12, x11
    00533824adcs x17, x14, x13
    00533828adcs x17, x16, x15
    0053382cstr x17, [sp+1696]
    00533830adds x4, x10, x4
    00533834adcs x4, x12, x11
    00533838adcs x4, x14, x13
    0053383cadcs x4, x16, x15
    00533840adc x4, xzr, xzr
    00533844str x4, [sp+1688]
    00533848str x17, [sp+2176]
    0053384cstr x4, [sp+2168]
    00533850str x17, [sp+1208]
    00533854str x4, [sp+1200]
    00533858str xzr, [sp+1192]
    0053385cstr xzr, [sp+1184]
    00533860ldr x4, [sp+624]
    00533864umulh x10, x4, x6
    00533868str x10, [sp+1688]
    0053386csub x11, xzr, x4
    00533870add x4, x11, x4, lsl #32
    00533874str x4, [sp+1696]
    00533878str x10, [sp+2160]
    0053387cstr x4, [sp+2152]
    00533880str x10, [sp+1184]
    00533884str x4, [sp+1192]
    00533888str xzr, [sp+1176]
    0053388cstr xzr, [sp+1168]
    00533890ldr x4, [sp+624]
    00533894umulh x10, x4, x5
    00533898str x10, [sp+1696]
    0053389cmadd x4, x4, x5, xzr
    005338a0str x4, [sp+1688]
    005338a4str x10, [sp+2136]
    005338a8str x4, [sp+2128]
    005338acstr x10, [sp+1168]
    005338b0str x4, [sp+1176]
    005338b4str xzr, [sp+1160]
    005338b8str xzr, [sp+1152]
    005338bcldr x4, [sp+624]
    005338c0umulh x5, x4, x7
    005338c4str x5, [sp+1688]
    005338c8madd x4, x4, x7, xzr
    005338ccstr x4, [sp+1696]
    005338d0str x5, [sp+2120]
    005338d4str x4, [sp+2112]
    005338d8str x5, [sp+1152]
    005338dcstr x4, [sp+1160]
    005338e0str xzr, [sp+1144]
    005338e4str xzr, [sp+1128]
    005338e8ldr x4, [sp+624]
    005338ecumulh x5, x4, x8
    005338f0str x5, [sp+1696]
    005338f4madd x4, x4, x8, xzr
    005338f8str x4, [sp+1688]
    005338fcstr x5, [sp+2096]
    00533900str x4, [sp+2088]
    00533904str x5, [sp+1128]
    00533908str x4, [sp+1144]
    0053390cstr xzr, [sp+1120]
    00533910str xzr, [sp+1112]
    00533914ldr x4, [sp+1160]
    00533918adds x8, x5, x4
    0053391cadc x8, xzr, xzr
    00533920adds x10, x5, x4
    00533924str x10, [sp+1688]
    00533928str x8, [sp+1696]
    0053392cstr x10, [sp+2080]
    00533930str x8, [sp+2072]
    00533934str x10, [sp+1120]
    00533938str x8, [sp+1112]
    0053393cstr xzr, [sp+1104]
    00533940str xzr, [sp+1096]
    00533944ldr x8, [sp+1176]
    00533948ldr x10, [sp+1152]
    0053394cadds x11, x5, x4
    00533950adcs x11, x10, x8
    00533954adds x11, x5, x4
    00533958adcs x11, x10, x8
    0053395cstr x11, [sp+1696]
    00533960adds x12, x5, x4
    00533964adcs x12, x10, x8
    00533968adc x12, xzr, xzr
    0053396cstr x12, [sp+1688]
    00533970str x11, [sp+2064]
    00533974str x12, [sp+2056]
    00533978str x11, [sp+1104]
    0053397cstr x12, [sp+1096]
    00533980str xzr, [sp+1088]
    00533984str xzr, [sp+1080]
    00533988ldr x11, [sp+1192]
    0053398cldr x12, [sp+1168]
    00533990adcs x13, x12, x11
    00533994adds x13, x5, x4
    00533998adcs x13, x10, x8
    0053399cadcs x13, x12, x11
    005339a0str x13, [sp+1688]
    005339a4adds x4, x5, x4
    005339a8adcs x4, x10, x8
    005339acadcs x4, x12, x11
    005339b0adc x4, xzr, xzr
    005339b4str x4, [sp+1696]
    005339b8str x13, [sp+2048]
    005339bcstr x4, [sp+2040]
    005339c0str x13, [sp+1088]
    005339c4str x4, [sp+1080]
    005339c8str xzr, [sp+1072]
    005339ccstr xzr, [sp+1064]
    005339d0ldr x4, [sp+1144]
    005339d4ldr x5, [sp+1248]
    005339d8adds x8, x5, x4
    005339dcadc x8, xzr, xzr
    005339e0adds x10, x5, x4
    005339e4str x10, [sp+1696]
    005339e8str x8, [sp+1688]
    005339ecstr x10, [sp+2032]
    005339f0str x8, [sp+2024]
    005339f4str x10, [sp+1072]
    005339f8str x8, [sp+1064]
    005339fcstr xzr, [sp+1056]
    00533a00str xzr, [sp+1040]
    00533a04ldr x8, [sp+1120]
    00533a08ldr x10, [sp+1232]
    00533a0cadds x11, x5, x4
    00533a10adcs x11, x10, x8
    00533a14adds x11, x5, x4
    00533a18adcs x11, x10, x8
    00533a1cstr x11, [sp+1688]
    00533a20adds x12, x5, x4
    00533a24adcs x12, x10, x8
    00533a28adc x12, xzr, xzr
    00533a2cstr x12, [sp+1696]
    00533a30str x11, [sp+2016]
    00533a34str x12, [sp+2008]
    00533a38str x11, [sp+1056]
    00533a3cstr x12, [sp+1040]
    00533a40str xzr, [sp+1032]
    00533a44str xzr, [sp+1024]
    00533a48ldr x11, [sp+1104]
    00533a4cldr x12, [sp+1208]
    00533a50adcs x13, x12, x11
    00533a54adds x13, x5, x4
    00533a58adcs x13, x10, x8
    00533a5cadcs x13, x12, x11
    00533a60str x13, [sp+1696]
    00533a64adds x14, x5, x4
    00533a68adcs x14, x10, x8
    00533a6cadcs x14, x12, x11
    00533a70adc x14, xzr, xzr
    00533a74str x14, [sp+1688]
    00533a78str x13, [sp+2000]
    00533a7cstr x14, [sp+1992]
    00533a80str x13, [sp+1032]
    00533a84str x14, [sp+1024]
    00533a88str xzr, [sp+1016]
    00533a8cstr xzr, [sp+1008]
    00533a90ldr x13, [sp+1088]
    00533a94ldr x14, [sp+1200]
    00533a98ldr x15, [sp+1360]
    00533a9cldr x16, [sp+80]
    00533aa0ldr x17, [sp+184]
    00533aa4add x16, x16, x17
    00533aa8add x15, x15, x16
    00533aacadd x14, x14, x15
    00533ab0ldr x15, [sp+1264]
    00533ab4ldr x16, [sp+1336]
    00533ab8add x15, x15, x16
    00533abcadd x14, x14, x15
    00533ac0adcs x15, x14, x13
    00533ac4adds x15, x5, x4
    00533ac8adcs x15, x10, x8
    00533accadcs x15, x12, x11
    00533ad0adcs x15, x14, x13
    00533ad4str x15, [sp+1688]
    00533ad8adds x4, x5, x4
    00533adcadcs x4, x10, x8
    00533ae0adcs x4, x12, x11
    00533ae4adcs x4, x14, x13
    00533ae8adc x4, xzr, xzr
    00533aecstr x4, [sp+1696]
    00533af0str x15, [sp+1984]
    00533af4str x4, [sp+1976]
    00533af8str x15, [sp+1016]
    00533afcstr x4, [sp+1008]
    00533b00str xzr, [sp+1000]
    00533b04ldr x4, [sp+1072]
    00533b08umulh x5, x4, x9
    00533b0cstr x5, [sp+1696]
    00533b10sub x8, xzr, x4
    00533b14str x8, [sp+1688]
    00533b18str x5, [sp+1960]
    00533b1cstr x8, [sp+1952]
    00533b20str x8, [sp+1000]
    00533b24str xzr, [sp+992]
    00533b28str xzr, [sp+984]
    00533b2csub x5, xzr, x4
    00533b30add x4, x5, x4, lsl #32
    00533b34sub x4, xzr, x4
    00533b38umulh x5, x8, x6
    00533b3cstr x5, [sp+1688]
    00533b40str x4, [sp+1696]
    00533b44str x5, [sp+1944]
    00533b48str x4, [sp+1936]
    00533b4cstr x5, [sp+984]
    00533b50str x4, [sp+992]
    00533b54str xzr, [sp+976]
    00533b58str xzr, [sp+960]
    00533b5cldr x4, [sp+1000]
    00533b60umulh x5, x4, x9
    00533b64str x5, [sp+1696]
    00533b68sub x4, xzr, x4
    00533b6cstr x4, [sp+1688]
    00533b70str x5, [sp+1928]
    00533b74str x4, [sp+1912]
    00533b78str x5, [sp+960]
    00533b7cstr x4, [sp+976]
    00533b80str xzr, [sp+952]
    00533b84str xzr, [sp+944]
    00533b88ldr x4, [sp+1000]
    00533b8cumulh x5, x4, x7
    00533b90str x5, [sp+1688]
    00533b94madd x4, x4, x7, xzr
    00533b98str x4, [sp+1696]
    00533b9cstr x5, [sp+1904]
    00533ba0str x4, [sp+1896]
    00533ba4str x5, [sp+944]
    00533ba8str x4, [sp+952]
    00533bacstr xzr, [sp+936]
    00533bb0str xzr, [sp+928]
    00533bb4ldr x4, [sp+976]
    00533bb8adds x8, x5, x4
    00533bbcadc x8, xzr, xzr
    00533bc0adds x10, x5, x4
    00533bc4str x10, [sp+1696]
    00533bc8str x8, [sp+1688]
    00533bccstr x10, [sp+1888]
    00533bd0str x8, [sp+1880]
    00533bd4str x10, [sp+936]
    00533bd8str x8, [sp+928]
    00533bdcstr xzr, [sp+920]
    00533be0str xzr, [sp+912]
    00533be4ldr x8, [sp+992]
    00533be8ldr x10, [sp+960]
    00533becadds x11, x5, x4
    00533bf0adcs x11, x10, x8
    00533bf4adds x11, x5, x4
    00533bf8adcs x11, x10, x8
    00533bfcstr x11, [sp+1688]
    00533c00adds x4, x5, x4
    00533c04adcs x4, x10, x8
    00533c08adc x4, xzr, xzr
    00533c0cstr x4, [sp+1696]
    00533c10str x11, [sp+1872]
    00533c14str x4, [sp+1864]
    00533c18str x11, [sp+920]
    00533c1cstr x4, [sp+912]
    00533c20str xzr, [sp+904]
    00533c24ldr x4, [sp+1000]
    00533c28ldr x5, [sp+1072]
    00533c2cadds x8, x5, x4
    00533c30adc x8, xzr, xzr
    00533c34adds x10, x5, x4
    00533c38str x10, [sp+1696]
    00533c3cstr x8, [sp+1688]
    00533c40str x10, [sp+1856]
    00533c44str x8, [sp+1848]
    00533c48str x8, [sp+904]
    00533c4cstr xzr, [sp+896]
    00533c50str xzr, [sp+880]
    00533c54ldr x8, [sp+952]
    00533c58ldr x10, [sp+1056]
    00533c5cadds x11, x5, x4
    00533c60adcs x11, x10, x8
    00533c64adds x11, x5, x4
    00533c68adcs x11, x10, x8
    00533c6cstr x11, [sp+1688]
    00533c70adds x12, x5, x4
    00533c74adcs x12, x10, x8
    00533c78adc x12, xzr, xzr
    00533c7cstr x12, [sp+1696]
    00533c80str x11, [sp+1840]
    00533c84str x12, [sp+1832]
    00533c88str x11, [sp+896]
    00533c8cstr x12, [sp+880]
    00533c90str xzr, [sp+872]
    00533c94str xzr, [sp+864]
    00533c98ldr x11, [sp+936]
    00533c9cldr x12, [sp+1032]
    00533ca0adcs x13, x12, x11
    00533ca4adds x13, x5, x4
    00533ca8adcs x13, x10, x8
    00533cacadcs x13, x12, x11
    00533cb0str x13, [sp+1696]
    00533cb4adds x14, x5, x4
    00533cb8adcs x14, x10, x8
    00533cbcadcs x14, x12, x11
    00533cc0adc x14, xzr, xzr
    00533cc4str x14, [sp+1688]
    00533cc8str x13, [sp+1824]
    00533cccstr x14, [sp+1816]
    00533cd0str x13, [sp+872]
    00533cd4str x14, [sp+864]
    00533cd8str xzr, [sp+856]
    00533cdcstr xzr, [sp+848]
    00533ce0ldr x13, [sp+920]
    00533ce4ldr x14, [sp+1016]
    00533ce8adcs x15, x14, x13
    00533cecadds x15, x5, x4
    00533cf0adcs x15, x10, x8
    00533cf4adcs x15, x12, x11
    00533cf8adcs x15, x14, x13
    00533cfcstr x15, [sp+1688]
    00533d00adds x4, x5, x4
    00533d04adcs x4, x10, x8
    00533d08adcs x4, x12, x11
    00533d0cadcs x4, x14, x13
    00533d10adc x4, xzr, xzr
    00533d14str x4, [sp+1696]
    00533d18str x15, [sp+1808]
    00533d1cstr x4, [sp+1800]
    00533d20str x15, [sp+856]
    00533d24str x4, [sp+848]
    00533d28ldr x5, [sp+1008]
    00533d2cldr x8, [sp+1080]
    00533d30ldr x10, [sp+1184]
    00533d34add x8, x8, x10
    00533d38add x5, x5, x8
    00533d3cadd x4, x4, x5
    00533d40ldr x5, [sp+912]
    00533d44ldr x8, [sp+984]
    00533d48add x5, x5, x8
    00533d4cadd x4, x4, x5
    00533d50str x4, [sp+840]
    00533d54str xzr, [sp+832]
    00533d58str xzr, [sp+824]
    00533d5cldr x4, [sp+896]
    00533d60orr x5, xzr, 1
    00533d64subs x8, x4, x5
    00533d68sbc x8, xzr, xzr
    00533d6csub x8, xzr, x8
    00533d70subs x10, x4, x5
    00533d74str x10, [sp+1696]
    00533d78str x8, [sp+1688]
    00533d7cstr x10, [sp+1784]
    00533d80str x8, [sp+1776]
    00533d84str x10, [sp+832]
    00533d88str x8, [sp+824]
    00533d8cstr xzr, [sp+816]
    00533d90str xzr, [sp+808]
    00533d94ldr x8, [sp+872]
    00533d98subs x10, x4, x5
    00533d9csbcs x10, x8, x7
    00533da0subs x10, x4, x5
    00533da4sbcs x10, x8, x7
    00533da8str x10, [sp+1688]
    00533dacsubs x11, x4, x5
    00533db0sbcs x11, x8, x7
    00533db4sbc x11, xzr, xzr
    00533db8sub x11, xzr, x11
    00533dbcstr x11, [sp+1696]
    00533dc0str x10, [sp+1768]
    00533dc4str x11, [sp+1760]
    00533dc8str x10, [sp+816]
    00533dccstr x11, [sp+808]
    00533dd0str xzr, [sp+792]
    00533dd4str xzr, [sp+784]
    00533dd8ldr x10, [sp+856]
    00533ddcsbcs x11, x10, x9
    00533de0subs x11, x4, x5
    00533de4sbcs x11, x8, x7
    00533de8sbcs x11, x10, x9
    00533decstr x11, [sp+1696]
    00533df0subs x12, x4, x5
    00533df4sbcs x12, x8, x7
    00533df8sbcs x12, x10, x9
    00533dfcsbc x12, xzr, xzr
    00533e00sub x12, xzr, x12
    00533e04str x12, [sp+1688]
    00533e08str x11, [sp+1752]
    00533e0cstr x12, [sp+1736]
    00533e10str x11, [sp+792]
    00533e14str x12, [sp+784]
    00533e18str xzr, [sp+776]
    00533e1cstr xzr, [sp+768]
    00533e20ldr x11, [sp+840]
    00533e24sbcs x12, x11, x6
    00533e28subs x12, x4, x5
    00533e2csbcs x12, x8, x7
    00533e30sbcs x12, x10, x9
    00533e34sbcs x12, x11, x6
    00533e38str x12, [sp+1688]
    00533e3csubs x13, x4, x5
    00533e40sbcs x13, x8, x7
    00533e44sbcs x13, x10, x9
    00533e48sbcs x13, x11, x6
    00533e4csbc x13, xzr, xzr
    00533e50mov x14, xzr
    00533e54sbcs x15, x14, x14
    00533e58subs x15, x4, x5
    00533e5csbcs x15, x8, x7
    00533e60sbcs x15, x10, x9
    00533e64sbcs x15, x11, x6
    00533e68sbcs x15, x14, x14
    00533e6csubs x4, x4, x5
    00533e70sbcs x4, x8, x7
    00533e74sbcs x4, x10, x9
    00533e78sbcs x4, x11, x6
    00533e7csbcs x4, x14, x14
    00533e80sbc x4, xzr, xzr
    00533e84sub x5, xzr, x13
    00533e88str x5, [sp+1696]
    00533e8cstr x12, [sp+1728]
    00533e90str x5, [sp+1720]
    00533e94str x12, [sp+776]
    00533e98str x5, [sp+768]
    00533e9cstr xzr, [sp+760]
    00533ea0str x15, [sp+1696]
    00533ea4sub x1, xzr, x4
    00533ea8str x1, [sp+1688]
    00533eacstr x15, [sp+1712]
    00533eb0str x1, [sp+1704]
    00533eb4str x1, [sp+760]
    00533eb8str xzr, [sp+752]
    00533ebcldr x2, [sp+832]
    00533ec0ldr x3, [sp+896]
    00533ec4add x0, sp, 752
    00533ec8bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533eccstr xzr, [sp+744]
    00533ed0ldr x2, [sp+816]
    00533ed4ldr x3, [sp+872]
    00533ed8ldr x1, [sp+760]
    00533edcadd x0, sp, 744
    00533ee0bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533ee4str xzr, [sp+736]
    00533ee8ldr x2, [sp+792]
    00533eecldr x3, [sp+856]
    00533ef0ldr x1, [sp+760]
    00533ef4add x0, sp, 736
    00533ef8bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533efcstr xzr, [sp+728]
    00533f00ldr x2, [sp+776]
    00533f04ldr x3, [sp+840]
    00533f08ldr x1, [sp+760]
    00533f0cadd x0, sp, 728
    00533f10bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533f14ldr x4, [sp+2792]
    00533f18ldrsb x27, [x4]
    00533f1cldr x5, [sp+752]
    00533f20str x5, [x4]
    00533f24ldr x4, [sp+2792]
    00533f28ldrsb x27, [x4]
    00533f2cldr x5, [sp+744]
    00533f30str x5, [x4+8]
    00533f34ldr x4, [sp+2792]
    00533f38ldrsb x27, [x4]
    00533f3cldr x5, [sp+736]
    00533f40str x5, [x4+16]
    00533f44ldr x4, [sp+2792]
    00533f48ldrsb x27, [x4]
    00533f4cldr x5, [sp+728]
    00533f50str x5, [x4+24]
    00533f54ldp x29, x30, [sp-8]
    00533f58add sp, sp, 2784
    00533f5cret x30
    00533f60
    00533f60loc_533f60:
    00533f60stp x0, x1, [sp+8]
    00533f64mov x3, x30
    00533f68bl runtime.morestack_noctxt.abi0
    00533f6cldp x0, x1, [sp+8]
    00533f70b 0x532ac0
    00533f74udf 0
    00533f78udf 0
    00533f7cudf 0
    00532ac0
    00533f80
    00533f80crypto/internal/fips140/nistec/fiat.p224Selectznz: ; void crypto/internal/fips140/nistec/fiat.p224Selectznz(uint64[4] * out1, crypto/internal/fips140/nistec/fiat.p224Uint1 arg1, uint64[4] * arg2, uint64[4] * arg3)
    00533f80ldr x16, [x28+16]
    00533f84sub x17, sp, 16
    00533f88subs xzr, x17, x16
    00533f8cb.ls 0x5340b0
    00533f90str x30, [sp-144]!
    00533f94stur x29, [sp-8]
    00533f98sub x29, sp, 8
    00533f9cstr x0, [sp+152]
    00533fa0str x1, [sp+160]
    00533fa4str x2, [sp+168]
    00533fa8str x3, [sp+176]
    00533facstr xzr, [sp+64]
    00533fb0ldrsb x27, [x2]
    00533fb4ldr x2, [x2]
    00533fb8str x2, [sp+80]
    00533fbcldrsb x27, [x3]
    00533fc0ldr x3, [x3]
    00533fc4str x3, [sp+72]
    00533fc8ldr x1, [sp+160]
    00533fccadd x0, sp, 64
    00533fd0bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533fd4str xzr, [sp+56]
    00533fd8ldr x4, [sp+168]
    00533fdcldrsb x27, [x4]
    00533fe0ldr x2, [x4+8]
    00533fe4str x2, [sp+128]
    00533fe8ldr x4, [sp+176]
    00533fecldrsb x27, [x4]
    00533ff0ldr x3, [x4+8]
    00533ff4str x3, [sp+120]
    00533ff8ldr x1, [sp+160]
    00533ffcadd x0, sp, 56
    00534000bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00534004str xzr, [sp+48]
    00534008ldr x4, [sp+168]
    0053400cldrsb x27, [x4]
    00534010ldr x2, [x4+16]
    00534014str x2, [sp+112]
    00534018ldr x4, [sp+176]
    0053401cldrsb x27, [x4]
    00534020ldr x3, [x4+16]
    00534024str x3, [sp+104]
    00534028ldr x1, [sp+160]
    0053402cadd x0, sp, 48
    00534030bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00534034str xzr, [sp+40]
    00534038ldr x4, [sp+168]
    0053403cldrsb x27, [x4]
    00534040ldr x2, [x4+24]
    00534044str x2, [sp+96]
    00534048ldr x4, [sp+176]
    0053404cldrsb x27, [x4]
    00534050ldr x3, [x4+24]
    00534054str x3, [sp+88]
    00534058ldr x1, [sp+160]
    0053405cadd x0, sp, 40
    00534060bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00534064ldr x4, [sp+152]
    00534068ldrsb x27, [x4]
    0053406cldr x5, [sp+64]
    00534070str x5, [x4]
    00534074ldr x4, [sp+152]
    00534078ldrsb x27, [x4]
    0053407cldr x5, [sp+56]
    00534080str x5, [x4+8]
    00534084ldr x4, [sp+152]
    00534088ldrsb x27, [x4]
    0053408cldr x5, [sp+48]
    00534090str x5, [x4+16]
    00534094ldr x4, [sp+152]
    00534098ldrsb x27, [x4]
    0053409cldr x5, [sp+40]
    005340a0str x5, [x4+24]
    005340a4ldur x29, [sp-8]
    005340a8ldr x30, [sp], 144
    005340acret x30
    005340b0
    005340b0loc_5340b0:
    005340b0stp x0, x1, [sp+8]
    005340b4stp x2, x3, [sp+24]
    005340b8mov x3, x30
    005340bcbl runtime.morestack_noctxt.abi0
    005340c0ldp x0, x1, [sp+8]
    005340c4ldp x2, x3, [sp+24]
    005340c8b 0x533f80
    005340ccudf 0
    00533f80
    005340d0
    005340d0crypto/internal/fips140/nistec/fiat.p224ToBytes: ; void crypto/internal/fips140/nistec/fiat.p224ToBytes(uint8[28] * out1, uint64[4] * arg1)
    005340d0ldr x16, [x28+16]
    005340d4sub x17, sp, 112
    005340d8subs xzr, x17, x16
    005340dcb.ls 0x53447c
    005340e0str x30, [sp-240]!
    005340e4stur x29, [sp-8]
    005340e8sub x29, sp, 8
    005340ecstr x0, [sp+248]
    005340f0str x1, [sp+256]
    005340f4ldrsb x27, [x1]
    005340f8ldr x0, [x1+24]
    005340fcstr x0, [sp+224]
    00534100ldrsb x27, [x1]
    00534104ldr x0, [x1+16]
    00534108str x0, [sp+184]
    0053410cldrsb x27, [x1]
    00534110ldr x0, [x1+8]
    00534114str x0, [sp+136]
    00534118ldrsb x27, [x1]
    0053411cldr x0, [x1]
    00534120str x0, [sp+96]
    00534124strb w0, [sp+16]
    00534128ldr x0, [sp+96]
    0053412cubfm x0, x0, 8, 63
    00534130str x0, [sp+48]
    00534134strb w0, [sp+13]
    00534138ldr x0, [sp+48]
    0053413cubfm x0, x0, 8, 63
    00534140str x0, [sp+40]
    00534144strb w0, [sp+12]
    00534148ldr x0, [sp+40]
    0053414cubfm x0, x0, 8, 63
    00534150str x0, [sp+216]
    00534154strb w0, [sp+39]
    00534158ldr x0, [sp+216]
    0053415cubfm x0, x0, 8, 63
    00534160str x0, [sp+208]
    00534164strb w0, [sp+38]
    00534168ldr x0, [sp+208]
    0053416cubfm x0, x0, 8, 63
    00534170str x0, [sp+200]
    00534174strb w0, [sp+37]
    00534178ldr x0, [sp+200]
    0053417cubfm x0, x0, 8, 63
    00534180str x0, [sp+192]
    00534184strb w0, [sp+36]
    00534188ldr x0, [sp+192]
    0053418cubfm x0, x0, 8, 63
    00534190strb w0, [sp+35]
    00534194ldr x0, [sp+136]
    00534198strb w0, [sp+34]
    0053419cldr x0, [sp+136]
    005341a0ubfm x0, x0, 8, 63
    005341a4str x0, [sp+176]
    005341a8strb w0, [sp+33]
    005341acldr x0, [sp+176]
    005341b0ubfm x0, x0, 8, 63
    005341b4str x0, [sp+168]
    005341b8strb w0, [sp+32]
    005341bcldr x0, [sp+168]
    005341c0ubfm x0, x0, 8, 63
    005341c4str x0, [sp+160]
    005341c8strb w0, [sp+31]
    005341ccldr x0, [sp+160]
    005341d0ubfm x0, x0, 8, 63
    005341d4str x0, [sp+152]
    005341d8strb w0, [sp+30]
    005341dcldr x0, [sp+152]
    005341e0ubfm x0, x0, 8, 63
    005341e4str x0, [sp+144]
    005341e8strb w0, [sp+29]
    005341ecldr x0, [sp+144]
    005341f0ubfm x0, x0, 8, 63
    005341f4str x0, [sp+128]
    005341f8strb w0, [sp+28]
    005341fcldr x0, [sp+128]
    00534200ubfm x0, x0, 8, 63
    00534204strb w0, [sp+27]
    00534208ldr x0, [sp+184]
    0053420cstrb w0, [sp+26]
    00534210ldr x0, [sp+184]
    00534214ubfm x0, x0, 8, 63
    00534218str x0, [sp+120]
    0053421cstrb w0, [sp+25]
    00534220ldr x0, [sp+120]
    00534224ubfm x0, x0, 8, 63
    00534228str x0, [sp+112]
    0053422cstrb w0, [sp+24]
    00534230ldr x0, [sp+112]
    00534234ubfm x0, x0, 8, 63
    00534238str x0, [sp+104]
    0053423cstrb w0, [sp+23]
    00534240ldr x0, [sp+104]
    00534244ubfm x0, x0, 8, 63
    00534248str x0, [sp+88]
    0053424cstrb w0, [sp+22]
    00534250ldr x0, [sp+88]
    00534254ubfm x0, x0, 8, 63
    00534258str x0, [sp+80]
    0053425cstrb w0, [sp+21]
    00534260ldr x0, [sp+80]
    00534264ubfm x0, x0, 8, 63
    00534268str x0, [sp+72]
    0053426cstrb w0, [sp+20]
    00534270ldr x0, [sp+72]
    00534274ubfm x0, x0, 8, 63
    00534278strb w0, [sp+19]
    0053427cldr x0, [sp+224]
    00534280strb w0, [sp+18]
    00534284ldr x0, [sp+224]
    00534288ubfm x0, x0, 8, 63
    0053428cstr x0, [sp+64]
    00534290strb w0, [sp+17]
    00534294ldr x0, [sp+64]
    00534298ubfm x0, x0, 8, 63
    0053429cstr x0, [sp+56]
    005342a0strb w0, [sp+15]
    005342a4ldr x0, [sp+56]
    005342a8ubfm x0, x0, 8, 63
    005342acstrb w0, [sp+14]
    005342b0ldr x0, [sp+248]
    005342b4ldrsb x27, [x0]
    005342b8ldrb w1, [sp+16]
    005342bcstrb w1, [x0]
    005342c0ldr x0, [sp+248]
    005342c4ldrsb x27, [x0]
    005342c8ldrb w1, [sp+13]
    005342ccstrb w1, [x0+1]
    005342d0ldr x0, [sp+248]
    005342d4ldrsb x27, [x0]
    005342d8ldrb w1, [sp+12]
    005342dcstrb w1, [x0+2]
    005342e0ldr x0, [sp+248]
    005342e4ldrsb x27, [x0]
    005342e8ldrb w1, [sp+39]
    005342ecstrb w1, [x0+3]
    005342f0ldr x0, [sp+248]
    005342f4ldrsb x27, [x0]
    005342f8ldrb w1, [sp+38]
    005342fcstrb w1, [x0+4]
    00534300ldr x0, [sp+248]
    00534304ldrsb x27, [x0]
    00534308ldrb w1, [sp+37]
    0053430cstrb w1, [x0+5]
    00534310ldr x0, [sp+248]
    00534314ldrsb x27, [x0]
    00534318ldrb w1, [sp+36]
    0053431cstrb w1, [x0+6]
    00534320ldr x0, [sp+248]
    00534324ldrsb x27, [x0]
    00534328ldrb w1, [sp+35]
    0053432cstrb w1, [x0+7]
    00534330ldr x0, [sp+248]
    00534334ldrsb x27, [x0]
    00534338ldrb w1, [sp+34]
    0053433cstrb w1, [x0+8]
    00534340ldr x0, [sp+248]
    00534344ldrsb x27, [x0]
    00534348ldrb w1, [sp+33]
    0053434cstrb w1, [x0+9]
    00534350ldr x0, [sp+248]
    00534354ldrsb x27, [x0]
    00534358ldrb w1, [sp+32]
    0053435cstrb w1, [x0+10]
    00534360ldr x0, [sp+248]
    00534364ldrsb x27, [x0]
    00534368ldrb w1, [sp+31]
    0053436cstrb w1, [x0+11]
    00534370ldr x0, [sp+248]
    00534374ldrsb x27, [x0]
    00534378ldrb w1, [sp+30]
    0053437cstrb w1, [x0+12]
    00534380ldr x0, [sp+248]
    00534384ldrsb x27, [x0]
    00534388ldrb w1, [sp+29]
    0053438cstrb w1, [x0+13]
    00534390ldr x0, [sp+248]
    00534394ldrsb x27, [x0]
    00534398ldrb w1, [sp+28]
    0053439cstrb w1, [x0+14]
    005343a0ldr x0, [sp+248]
    005343a4ldrsb x27, [x0]
    005343a8ldrb w1, [sp+27]
    005343acstrb w1, [x0+15]
    005343b0ldr x0, [sp+248]
    005343b4ldrsb x27, [x0]
    005343b8ldrb w1, [sp+26]
    005343bcstrb w1, [x0+16]
    005343c0ldr x0, [sp+248]
    005343c4ldrsb x27, [x0]
    005343c8ldrb w1, [sp+25]
    005343ccstrb w1, [x0+17]
    005343d0ldr x0, [sp+248]
    005343d4ldrsb x27, [x0]
    005343d8ldrb w1, [sp+24]
    005343dcstrb w1, [x0+18]
    005343e0ldr x0, [sp+248]
    005343e4ldrsb x27, [x0]
    005343e8ldrb w1, [sp+23]
    005343ecstrb w1, [x0+19]
    005343f0ldr x0, [sp+248]
    005343f4ldrsb x27, [x0]
    005343f8ldrb w1, [sp+22]
    005343fcstrb w1, [x0+20]
    00534400ldr x0, [sp+248]
    00534404ldrsb x27, [x0]
    00534408ldrb w1, [sp+21]
    0053440cstrb w1, [x0+21]
    00534410ldr x0, [sp+248]
    00534414ldrsb x27, [x0]
    00534418ldrb w1, [sp+20]
    0053441cstrb w1, [x0+22]
    00534420ldr x0, [sp+248]
    00534424ldrsb x27, [x0]
    00534428ldrb w1, [sp+19]
    0053442cstrb w1, [x0+23]
    00534430ldr x0, [sp+248]
    00534434ldrsb x27, [x0]
    00534438ldrb w1, [sp+18]
    0053443cstrb w1, [x0+24]
    00534440ldr x0, [sp+248]
    00534444ldrsb x27, [x0]
    00534448ldrb w1, [sp+17]
    0053444cstrb w1, [x0+25]
    00534450ldr x0, [sp+248]
    00534454ldrsb x27, [x0]
    00534458ldrb w1, [sp+15]
    0053445cstrb w1, [x0+26]
    00534460ldr x0, [sp+248]
    00534464ldrsb x27, [x0]
    00534468ldrb w1, [sp+14]
    0053446cstrb w1, [x0+27]
    00534470add x29, sp, 232
    00534474add sp, sp, 240
    00534478ret x30
    0053447c
    0053447cloc_53447c:
    0053447cstp x0, x1, [sp+8]
    00534480mov x3, x30
    00534484bl runtime.morestack_noctxt.abi0
    00534488ldp x0, x1, [sp+8]
    0053448cb 0x5340d0
    005340d0
    00534490
    00534490crypto/internal/fips140/nistec/fiat.p224FromBytes: ; void crypto/internal/fips140/nistec/fiat.p224FromBytes(uint64[4] * out1, uint8[28] * arg1)
    00534490ldr x16, [x28+16]
    00534494sub x17, sp, 288
    00534498subs xzr, x17, x16
    0053449cb.ls 0x53483c
    005344a0sub x20, sp, 416
    005344a4stp x29, x30, [x20-8]
    005344a8add sp, x20, 0
    005344acsub x29, sp, 8
    005344b0str x0, [sp+424]
    005344b4str x1, [sp+432]
    005344b8ldrsb x27, [x1]
    005344bcldrb w0, [x1+27]
    005344c0ubfm x0, x0, 40, 7
    005344c4str x0, [sp+400]
    005344c8ldrsb x27, [x1]
    005344ccldrb w0, [x1+26]
    005344d0ubfm x0, x0, 48, 7
    005344d4str x0, [sp+320]
    005344d8ldrsb x27, [x1]
    005344dcldrb w0, [x1+25]
    005344e0ubfm x0, x0, 56, 7
    005344e4str x0, [sp+248]
    005344e8ldrsb x27, [x1]
    005344ecldrb w0, [x1+24]
    005344f0strb w0, [sp+20]
    005344f4ldr x0, [sp+432]
    005344f8ldrsb x27, [x0]
    005344fcldrb w0, [x0+23]
    00534500ubfm x0, x0, 8, 7
    00534504str x0, [sp+80]
    00534508ldr x0, [sp+432]
    0053450cldrsb x27, [x0]
    00534510ldrb w0, [x0+22]
    00534514ubfm x0, x0, 16, 7
    00534518str x0, [sp+48]
    0053451cldr x0, [sp+432]
    00534520ldrsb x27, [x0]
    00534524ldrb w0, [x0+21]
    00534528ubfm x0, x0, 24, 7
    0053452cstr x0, [sp+40]
    00534530ldr x0, [sp+432]
    00534534ldrsb x27, [x0]
    00534538ldrb w0, [x0+20]
    0053453cubfm x0, x0, 32, 7
    00534540str x0, [sp+32]
    00534544ldr x0, [sp+432]
    00534548ldrsb x27, [x0]
    0053454cldrb w0, [x0+19]
    00534550ubfm x0, x0, 40, 7
    00534554str x0, [sp+24]
    00534558ldr x0, [sp+432]
    0053455cldrsb x27, [x0]
    00534560ldrb w0, [x0+18]
    00534564ubfm x0, x0, 48, 7
    00534568str x0, [sp+392]
    0053456cldr x0, [sp+432]
    00534570ldrsb x27, [x0]
    00534574ldrb w0, [x0+17]
    00534578ubfm x0, x0, 56, 7
    0053457cstr x0, [sp+384]
    00534580ldr x0, [sp+432]
    00534584ldrsb x27, [x0]
    00534588ldrb w0, [x0+16]
    0053458cstrb w0, [sp+23]
    00534590ldr x0, [sp+432]
    00534594ldrsb x27, [x0]
    00534598ldrb w0, [x0+15]
    0053459cubfm x0, x0, 8, 7
    005345a0str x0, [sp+376]
    005345a4ldr x0, [sp+432]
    005345a8ldrsb x27, [x0]
    005345acldrb w0, [x0+14]
    005345b0ubfm x0, x0, 16, 7
    005345b4str x0, [sp+368]
    005345b8ldr x0, [sp+432]
    005345bcldrsb x27, [x0]
    005345c0ldrb w0, [x0+13]
    005345c4ubfm x0, x0, 24, 7
    005345c8str x0, [sp+360]
    005345ccldr x0, [sp+432]
    005345d0ldrsb x27, [x0]
    005345d4ldrb w0, [x0+12]
    005345d8ubfm x0, x0, 32, 7
    005345dcstr x0, [sp+352]
    005345e0ldr x0, [sp+432]
    005345e4ldrsb x27, [x0]
    005345e8ldrb w0, [x0+11]
    005345ecubfm x0, x0, 40, 7
    005345f0str x0, [sp+344]
    005345f4ldr x0, [sp+432]
    005345f8ldrsb x27, [x0]
    005345fcldrb w0, [x0+10]
    00534600ubfm x0, x0, 48, 7
    00534604str x0, [sp+336]
    00534608ldr x0, [sp+432]
    0053460cldrsb x27, [x0]
    00534610ldrb w0, [x0+9]
    00534614ubfm x0, x0, 56, 7
    00534618str x0, [sp+328]
    0053461cldr x0, [sp+432]
    00534620ldrsb x27, [x0]
    00534624ldrb w0, [x0+8]
    00534628strb w0, [sp+22]
    0053462cldr x0, [sp+432]
    00534630ldrsb x27, [x0]
    00534634ldrb w0, [x0+7]
    00534638ubfm x0, x0, 8, 7
    0053463cstr x0, [sp+312]
    00534640ldr x0, [sp+432]
    00534644ldrsb x27, [x0]
    00534648ldrb w0, [x0+6]
    0053464cubfm x0, x0, 16, 7
    00534650str x0, [sp+304]
    00534654ldr x0, [sp+432]
    00534658ldrsb x27, [x0]
    0053465cldrb w0, [x0+5]
    00534660ubfm x0, x0, 24, 7
    00534664str x0, [sp+296]
    00534668ldr x0, [sp+432]
    0053466cldrsb x27, [x0]
    00534670ldrb w0, [x0+4]
    00534674ubfm x0, x0, 32, 7
    00534678str x0, [sp+288]
    0053467cldr x0, [sp+432]
    00534680ldrsb x27, [x0]
    00534684ldrb w0, [x0+3]
    00534688ubfm x0, x0, 40, 7
    0053468cstr x0, [sp+280]
    00534690ldr x0, [sp+432]
    00534694ldrsb x27, [x0]
    00534698ldrb w0, [x0+2]
    0053469cubfm x0, x0, 48, 7
    005346a0str x0, [sp+272]
    005346a4ldr x1, [sp+432]
    005346a8ldrsb x27, [x1]
    005346acldrb w1, [x1+1]
    005346b0ubfm x1, x1, 56, 7
    005346b4str x1, [sp+264]
    005346b8ldr x1, [sp+432]
    005346bcldrsb x27, [x1]
    005346c0ldrb w1, [x1]
    005346c4strb w1, [sp+21]
    005346c8ldr x2, [sp+264]
    005346ccadd x1, x2, x1
    005346d0str x1, [sp+256]
    005346d4add x0, x0, x1
    005346d8str x0, [sp+240]
    005346dcldr x1, [sp+280]
    005346e0add x0, x1, x0
    005346e4str x0, [sp+232]
    005346e8ldr x1, [sp+288]
    005346ecadd x0, x1, x0
    005346f0str x0, [sp+224]
    005346f4ldr x1, [sp+296]
    005346f8add x0, x1, x0
    005346fcstr x0, [sp+216]
    00534700ldr x1, [sp+304]
    00534704add x0, x1, x0
    00534708str x0, [sp+208]
    0053470cldr x1, [sp+312]
    00534710add x0, x1, x0
    00534714str x0, [sp+200]
    00534718ldr x0, [sp+328]
    0053471cldrb w1, [sp+22]
    00534720add x0, x0, x1
    00534724str x0, [sp+192]
    00534728ldr x1, [sp+336]
    0053472cadd x0, x1, x0
    00534730str x0, [sp+184]
    00534734ldr x1, [sp+344]
    00534738add x0, x1, x0
    0053473cstr x0, [sp+176]
    00534740ldr x1, [sp+352]
    00534744add x0, x1, x0
    00534748str x0, [sp+168]
    0053474cldr x1, [sp+360]
    00534750add x0, x1, x0
    00534754str x0, [sp+160]
    00534758ldr x1, [sp+368]
    0053475cadd x0, x1, x0
    00534760str x0, [sp+152]
    00534764ldr x1, [sp+376]
    00534768add x0, x1, x0
    0053476cstr x0, [sp+144]
    00534770ldr x0, [sp+384]
    00534774ldrb w1, [sp+23]
    00534778add x0, x0, x1
    0053477cstr x0, [sp+136]
    00534780ldr x1, [sp+392]
    00534784add x0, x1, x0
    00534788str x0, [sp+128]
    0053478cldr x1, [sp+24]
    00534790add x0, x1, x0
    00534794str x0, [sp+120]
    00534798ldr x1, [sp+32]
    0053479cadd x0, x1, x0
    005347a0str x0, [sp+112]
    005347a4ldr x1, [sp+40]
    005347a8add x0, x1, x0
    005347acstr x0, [sp+104]
    005347b0ldr x1, [sp+48]
    005347b4add x0, x1, x0
    005347b8str x0, [sp+96]
    005347bcldr x1, [sp+80]
    005347c0add x0, x1, x0
    005347c4str x0, [sp+88]
    005347c8ldr x0, [sp+248]
    005347ccldrb w1, [sp+20]
    005347d0add x0, x0, x1
    005347d4str x0, [sp+72]
    005347d8ldr x1, [sp+320]
    005347dcadd x0, x1, x0
    005347e0str x0, [sp+64]
    005347e4ldr x1, [sp+400]
    005347e8add x0, x1, x0
    005347ecstr x0, [sp+56]
    005347f0ldr x0, [sp+424]
    005347f4ldrsb x27, [x0]
    005347f8ldr x1, [sp+200]
    005347fcstr x1, [x0]
    00534800ldr x0, [sp+424]
    00534804ldrsb x27, [x0]
    00534808ldr x1, [sp+144]
    0053480cstr x1, [x0+8]
    00534810ldr x0, [sp+424]
    00534814ldrsb x27, [x0]
    00534818ldr x1, [sp+88]
    0053481cstr x1, [x0+16]
    00534820ldr x0, [sp+424]
    00534824ldrsb x27, [x0]
    00534828ldr x1, [sp+56]
    0053482cstr x1, [x0+24]
    00534830add x29, sp, 408
    00534834add sp, sp, 416
    00534838ret x30
    0053483c
    0053483cloc_53483c:
    0053483cstp x0, x1, [sp+8]
    00534840mov x3, x30
    00534844bl runtime.morestack_noctxt.abi0
    00534848ldp x0, x1, [sp+8]
    0053484cb 0x534490
    00534490
    00534850
    00534850crypto/internal/fips140/nistec/fiat.(*P224Element).Invert: ; void crypto/internal/fips140/nistec/fiat.(*P224Element).Invert(crypto/internal/fips140/nistec/fiat.P224Element * e, crypto/internal/fips140/nistec/fiat.P224Element * x)
    00534850ldr x16, [x28+16]
    00534854sub x17, sp, 160
    00534858subs xzr, x17, x16
    0053485cb.ls 0x534c30
    00534860sub x20, sp, 288
    00534864stp x29, x30, [x20-8]
    00534868add sp, x20, 0
    0053486csub x29, sp, 8
    00534870str x0, [sp+296]
    00534874str x1, [sp+304]
    00534878str xzr, [sp+232]
    0053487cstp xzr, xzr, [sp+200]
    00534880stp xzr, xzr, [sp+216]
    00534884add x0, sp, 200
    00534888str x0, [sp+272]
    0053488cldr x1, [sp+296]
    00534890bl crypto/internal/fips140/nistec/fiat.(*P224Element).Set
    00534894str x0, [sp+240]
    00534898stp xzr, xzr, [sp+168]
    0053489cstp xzr, xzr, [sp+184]
    005348a0add x2, sp, 168
    005348a4str x2, [sp+264]
    005348a8stp xzr, xzr, [sp+136]
    005348acstp xzr, xzr, [sp+152]
    005348b0add x2, sp, 136
    005348b4str x2, [sp+256]
    005348b8stp xzr, xzr, [sp+104]
    005348bcstp xzr, xzr, [sp+120]
    005348c0add x2, sp, 104
    005348c4str x2, [sp+248]
    005348c8ldr x1, [sp+304]
    005348ccldr x0, [sp+240]
    005348d0bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    005348d4ldr x1, [sp+304]
    005348d8ldr x2, [sp+240]
    005348dcldr x0, [sp+264]
    005348e0bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    005348e4ldr x1, [sp+264]
    005348e8ldr x0, [sp+240]
    005348ecbl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    005348f0ldr x1, [sp+304]
    005348f4ldr x2, [sp+240]
    005348f8ldr x0, [sp+240]
    005348fcbl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534900ldr x1, [sp+240]
    00534904ldr x0, [sp+256]
    00534908bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    0053490corr x2, xzr, 1
    00534910str x2, [sp+96]
    00534914b 0x534918
    00534918
    00534918loc_534918:
    00534918ldr x3, [sp+96]
    0053491csubs xzr, x3, 3
    00534920b.lt 0x534928
    00534924b 0x53494c
    00534928
    00534928loc_534928:
    00534928ldr x1, [sp+256]
    0053492cldr x0, [sp+256]
    00534930bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534934b 0x534938
    00534938
    00534938loc_534938:
    00534938ldr x3, [sp+96]
    0053493cadd x3, x3, 1
    00534940str x3, [sp+96]
    00534944orr x2, xzr, 1
    00534948b 0x534918
    0053494c
    0053494cloc_53494c:
    0053494cldr x1, [sp+240]
    00534950ldr x2, [sp+256]
    00534954ldr x0, [sp+256]
    00534958bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    0053495cldr x1, [sp+256]
    00534960ldr x0, [sp+248]
    00534964bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534968orr x3, xzr, 1
    0053496cstr x3, [sp+88]
    00534970b 0x534974
    00534974
    00534974loc_534974:
    00534974ldr x4, [sp+88]
    00534978subs xzr, x4, 6
    0053497cb.lt 0x534984
    00534980b 0x5349a8
    00534984
    00534984loc_534984:
    00534984ldr x1, [sp+248]
    00534988ldr x0, [sp+248]
    0053498cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534990b 0x534994
    00534994
    00534994loc_534994:
    00534994ldr x4, [sp+88]
    00534998add x4, x4, 1
    0053499cstr x4, [sp+88]
    005349a0orr x3, xzr, 1
    005349a4b 0x534974
    005349a8
    005349a8loc_5349a8:
    005349a8ldr x1, [sp+256]
    005349acldr x2, [sp+248]
    005349b0ldr x0, [sp+256]
    005349b4bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    005349b8str xzr, [sp+80]
    005349bcb 0x5349c0
    005349c0
    005349c0loc_5349c0:
    005349c0ldr x3, [sp+80]
    005349c4subs xzr, x3, 2
    005349c8b.lt 0x5349d0
    005349ccb 0x5349f0
    005349d0
    005349d0loc_5349d0:
    005349d0ldr x1, [sp+256]
    005349d4ldr x0, [sp+256]
    005349d8bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    005349dcb 0x5349e0
    005349e0
    005349e0loc_5349e0:
    005349e0ldr x3, [sp+80]
    005349e4add x3, x3, 1
    005349e8str x3, [sp+80]
    005349ecb 0x5349c0
    005349f0
    005349f0loc_5349f0:
    005349f0ldr x1, [sp+264]
    005349f4ldr x2, [sp+256]
    005349f8ldr x0, [sp+264]
    005349fcbl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534a00ldr x1, [sp+264]
    00534a04ldr x0, [sp+256]
    00534a08bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534a0corr x3, xzr, 1
    00534a10str x3, [sp+72]
    00534a14b 0x534a18
    00534a18
    00534a18loc_534a18:
    00534a18ldr x4, [sp+72]
    00534a1csubs xzr, x4, 3
    00534a20b.lt 0x534a28
    00534a24b 0x534a4c
    00534a28
    00534a28loc_534a28:
    00534a28ldr x1, [sp+256]
    00534a2cldr x0, [sp+256]
    00534a30bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534a34b 0x534a38
    00534a38
    00534a38loc_534a38:
    00534a38ldr x4, [sp+72]
    00534a3cadd x4, x4, 1
    00534a40str x4, [sp+72]
    00534a44orr x3, xzr, 1
    00534a48b 0x534a18
    00534a4c
    00534a4cloc_534a4c:
    00534a4cldr x1, [sp+240]
    00534a50ldr x2, [sp+256]
    00534a54ldr x0, [sp+240]
    00534a58bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534a5cldr x1, [sp+240]
    00534a60ldr x0, [sp+256]
    00534a64bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534a68orr x3, xzr, 1
    00534a6cstr x3, [sp+64]
    00534a70b 0x534a74
    00534a74
    00534a74loc_534a74:
    00534a74ldr x4, [sp+64]
    00534a78subs xzr, x4, 14
    00534a7cb.lt 0x534a84
    00534a80b 0x534aa8
    00534a84
    00534a84loc_534a84:
    00534a84ldr x1, [sp+256]
    00534a88ldr x0, [sp+256]
    00534a8cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534a90b 0x534a94
    00534a94
    00534a94loc_534a94:
    00534a94ldr x4, [sp+64]
    00534a98add x4, x4, 1
    00534a9cstr x4, [sp+64]
    00534aa0orr x3, xzr, 1
    00534aa4b 0x534a74
    00534aa8
    00534aa8loc_534aa8:
    00534aa8ldr x1, [sp+264]
    00534aacldr x2, [sp+256]
    00534ab0ldr x0, [sp+264]
    00534ab4bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534ab8ldr x1, [sp+264]
    00534abcldr x0, [sp+256]
    00534ac0bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534ac4orr x3, xzr, 1
    00534ac8str x3, [sp+56]
    00534accb 0x534ad0
    00534ad0
    00534ad0loc_534ad0:
    00534ad0ldr x4, [sp+56]
    00534ad4subs xzr, x4, 17
    00534ad8b.lt 0x534ae0
    00534adcb 0x534b04
    00534ae0
    00534ae0loc_534ae0:
    00534ae0ldr x1, [sp+256]
    00534ae4ldr x0, [sp+256]
    00534ae8bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534aecb 0x534af0
    00534af0
    00534af0loc_534af0:
    00534af0ldr x4, [sp+56]
    00534af4add x4, x4, 1
    00534af8str x4, [sp+56]
    00534afcorr x3, xzr, 1
    00534b00b 0x534ad0
    00534b04
    00534b04loc_534b04:
    00534b04ldr x1, [sp+240]
    00534b08ldr x2, [sp+256]
    00534b0cldr x0, [sp+240]
    00534b10bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534b14ldr x1, [sp+240]
    00534b18ldr x0, [sp+256]
    00534b1cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534b20orr x3, xzr, 1
    00534b24str x3, [sp+48]
    00534b28b 0x534b2c
    00534b2c
    00534b2cloc_534b2c:
    00534b2cldr x4, [sp+48]
    00534b30subs xzr, x4, 48
    00534b34b.lt 0x534b3c
    00534b38b 0x534b60
    00534b3c
    00534b3cloc_534b3c:
    00534b3cldr x1, [sp+256]
    00534b40ldr x0, [sp+256]
    00534b44bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534b48b 0x534b4c
    00534b4c
    00534b4cloc_534b4c:
    00534b4cldr x4, [sp+48]
    00534b50add x4, x4, 1
    00534b54str x4, [sp+48]
    00534b58orr x3, xzr, 1
    00534b5cb 0x534b2c
    00534b60
    00534b60loc_534b60:
    00534b60ldr x1, [sp+240]
    00534b64ldr x2, [sp+256]
    00534b68ldr x0, [sp+240]
    00534b6cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534b70ldr x1, [sp+240]
    00534b74ldr x0, [sp+256]
    00534b78bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534b7corr x3, xzr, 1
    00534b80str x3, [sp+40]
    00534b84b 0x534b88
    00534b88
    00534b88loc_534b88:
    00534b88ldr x3, [sp+40]
    00534b8csubs xzr, x3, 31
    00534b90b.lt 0x534b98
    00534b94b 0x534bb8
    00534b98
    00534b98loc_534b98:
    00534b98ldr x1, [sp+256]
    00534b9cldr x0, [sp+256]
    00534ba0bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534ba4b 0x534ba8
    00534ba8
    00534ba8loc_534ba8:
    00534ba8ldr x3, [sp+40]
    00534bacadd x3, x3, 1
    00534bb0str x3, [sp+40]
    00534bb4b 0x534b88
    00534bb8
    00534bb8loc_534bb8:
    00534bb8ldr x1, [sp+264]
    00534bbcldr x2, [sp+256]
    00534bc0ldr x0, [sp+264]
    00534bc4bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534bc8str xzr, [sp+32]
    00534bccb 0x534bd0
    00534bd0
    00534bd0loc_534bd0:
    00534bd0ldr x3, [sp+32]
    00534bd4subs xzr, x3, 97
    00534bd8b.lt 0x534be0
    00534bdcb 0x534c00
    00534be0
    00534be0loc_534be0:
    00534be0ldr x1, [sp+264]
    00534be4ldr x0, [sp+264]
    00534be8bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534becb 0x534bf0
    00534bf0
    00534bf0loc_534bf0:
    00534bf0ldr x3, [sp+32]
    00534bf4add x3, x3, 1
    00534bf8str x3, [sp+32]
    00534bfcb 0x534bd0
    00534c00
    00534c00loc_534c00:
    00534c00ldr x1, [sp+240]
    00534c04ldr x2, [sp+264]
    00534c08ldr x0, [sp+240]
    00534c0cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534c10ldr x1, [sp+240]
    00534c14ldr x0, [sp+296]
    00534c18bl crypto/internal/fips140/nistec/fiat.(*P224Element).Set
    00534c1cstr x0, [sp+272]
    00534c20str x0, [sp+232]
    00534c24ldp x29, x30, [sp-8]
    00534c28add sp, sp, 288
    00534c2cret x30
    00534c30
    00534c30loc_534c30:
    00534c30stp x0, x1, [sp+8]
    00534c34mov x3, x30
    00534c38bl runtime.morestack_noctxt.abi0
    00534c3cldp x0, x1, [sp+8]
    00534c40b 0x534850
    00534c44udf 0
    00534c48udf 0
    00534c4cudf 0
    00534850
    00534c50
    00534c50crypto/internal/fips140/nistec/fiat.(*P384Element).One: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).One(crypto/internal/fips140/nistec/fiat.P384Element * e)
    00534c50ldr x16, [x28+16]
    00534c54subs xzr, sp, x16
    00534c58b.ls 0x534c94
    00534c5cstr x30, [sp-48]!
    00534c60stur x29, [sp-8]
    00534c64sub x29, sp, 8
    00534c68str x0, [sp+56]
    00534c6cstr xzr, [sp+24]
    00534c70ldr x0, [sp+56]
    00534c74ldrsb x27, [x0]
    00534c78str x0, [sp+32]
    00534c7cbl crypto/internal/fips140/nistec/fiat.p384SetOne
    00534c80ldr x0, [sp+56]
    00534c84str x0, [sp+24]
    00534c88ldur x29, [sp-8]
    00534c8cldr x30, [sp], 48
    00534c90ret x30
    00534c94
    00534c94loc_534c94:
    00534c94str x0, [sp+8]
    00534c98mov x3, x30
    00534c9cbl runtime.morestack_noctxt.abi0
    00534ca0ldr x0, [sp+8]
    00534ca4b 0x534c50
    00534ca8udf 0
    00534cacudf 0
    00534c50
    00534cb0
    00534cb0crypto/internal/fips140/nistec/fiat.(*P384Element).Equal: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Equal(crypto/internal/fips140/nistec/fiat.P384Element * e, crypto/internal/fips140/nistec/fiat.P384Element * t)
    00534cb0ldr x16, [x28+16]
    00534cb4subs xzr, sp, x16
    00534cb8b.ls 0x534d40
    00534cbcstr x30, [sp-128]!
    00534cc0stur x29, [sp-8]
    00534cc4sub x29, sp, 8
    00534cc8str x0, [sp+136]
    00534cccstr x1, [sp+144]
    00534cd0str xzr, [sp+56]
    00534cd4bl crypto/internal/fips140/nistec/fiat.(*P384Element).Bytes
    00534cd8str x0, [sp+96]
    00534cdcstr x1, [sp+104]
    00534ce0str x2, [sp+112]
    00534ce4ldr x0, [sp+144]
    00534ce8bl crypto/internal/fips140/nistec/fiat.(*P384Element).Bytes
    00534cecstr x0, [sp+72]
    00534cf0str x1, [sp+80]
    00534cf4str x2, [sp+88]
    00534cf8ldr x3, [sp+96]
    00534cfcldr x4, [sp+104]
    00534d00ldr x5, [sp+112]
    00534d04mov x6, x0
    00534d08mov x0, x3
    00534d0cmov x7, x1
    00534d10mov x1, x4
    00534d14mov x8, x2
    00534d18mov x2, x5
    00534d1cmov x3, x6
    00534d20mov x4, x7
    00534d24mov x5, x8
    00534d28bl crypto/internal/fips140/subtle.ConstantTimeCompare
    00534d2cstr x0, [sp+64]
    00534d30str x0, [sp+56]
    00534d34ldur x29, [sp-8]
    00534d38ldr x30, [sp], 128
    00534d3cret x30
    00534d40
    00534d40loc_534d40:
    00534d40stp x0, x1, [sp+8]
    00534d44mov x3, x30
    00534d48bl runtime.morestack_noctxt.abi0
    00534d4cldp x0, x1, [sp+8]
    00534d50b 0x534cb0
    00534d54udf 0
    00534d58udf 0
    00534d5cudf 0
    00534cb0