File sliver_83cb34f62800fed14e14547c39337aab8e0427fe2c6310a3fb40ce0ac36168c9.elf
Function:
    005addd0
    005addd0crypto/internal/fips140/mlkem.ringCompressAndEncode10: ; void crypto/internal/fips140/mlkem.ringCompressAndEncode10(struct []uint8 s, crypto/internal/fips140/mlkem.ringElement f)
    005addd0ldr x16, [x28+16]
    005addd4sub x17, sp, 96
    005addd8subs xzr, x17, x16
    005adddcb.ls 0x5ae10c
    005adde0str x30, [sp-224]!
    005adde4stur x29, [sp-8]
    005adde8sub x29, sp, 8
    005addecstr x0, [sp+744]
    005addf0str x1, [sp+752]
    005addf4str x2, [sp+760]
    005addf8str xzr, [sp+72]
    005addfcstp xzr, xzr, [sp+80]
    005ade00str xzr, [sp+144]
    005ade04stp xzr, xzr, [sp+152]
    005ade08str xzr, [sp+120]
    005ade0cstp xzr, xzr, [sp+128]
    005ade10ldr x0, [sp+744]
    005ade14ldr x1, [sp+752]
    005ade18ldr x2, [sp+760]
    005ade1cmovz x3, 320
    005ade20bl crypto/internal/fips140/mlkem.sliceForAppend
    005ade24str x0, [sp+144]
    005ade28str x1, [sp+152]
    005ade2cstr x2, [sp+160]
    005ade30str x3, [sp+120]
    005ade34str x4, [sp+128]
    005ade38str x5, [sp+136]
    005ade3cldr x4, [sp+152]
    005ade40ldr x5, [sp+160]
    005ade44ldr x6, [sp+144]
    005ade48str x6, [sp+192]
    005ade4cstr x4, [sp+200]
    005ade50str x5, [sp+208]
    005ade54ldr x4, [sp+120]
    005ade58ldr x5, [sp+128]
    005ade5cldr x6, [sp+136]
    005ade60str x4, [sp+168]
    005ade64str x5, [sp+176]
    005ade68str x6, [sp+184]
    005ade6cldr x4, [sp+192]
    005ade70ldr x5, [sp+200]
    005ade74ldr x6, [sp+208]
    005ade78str x4, [sp+744]
    005ade7cstr x5, [sp+752]
    005ade80str x6, [sp+760]
    005ade84ldr x4, [sp+168]
    005ade88ldr x5, [sp+176]
    005ade8cldr x6, [sp+184]
    005ade90str x4, [sp+96]
    005ade94str x5, [sp+104]
    005ade98str x6, [sp+112]
    005ade9cstr xzr, [sp+64]
    005adea0b 0x5adea4
    005adea4
    005adea4loc_5adea4:
    005adea4ldr x3, [sp+64]
    005adea8subs xzr, x3, 256
    005adeacb.lt 0x5adeb4
    005adeb0b 0x5ae094
    005adeb4
    005adeb4loc_5adeb4:
    005adeb4str xzr, [sp+56]
    005adeb8ldr x0, [sp+64]
    005adebcsubs xzr, x0, 256
    005adec0b.lo 0x5adec8
    005adec4b 0x5ae100
    005adec8
    005adec8loc_5adec8:
    005adec8add x2, sp, 232
    005adeccldrh w0, [x2+x0]
    005aded0strh w0, [sp+52]
    005aded4movz x1, 10
    005aded8bl crypto/internal/fips140/mlkem.compress
    005adedcstrh w0, [sp+54]
    005adee0ldr x2, [sp+56]
    005adee4ubfm x3, x0, 0, 15
    005adee8orr x2, x2, x3
    005adeecstr x2, [sp+56]
    005adef0ldr x2, [sp+64]
    005adef4add x0, x2, 1
    005adef8subs xzr, x0, 256
    005adefcb.lo 0x5adf04
    005adf00b 0x5ae0f8
    005adf04
    005adf04loc_5adf04:
    005adf04add x2, sp, 232
    005adf08ldrh w0, [x2+x0]
    005adf0cstrh w0, [sp+50]
    005adf10movz x1, 10
    005adf14bl crypto/internal/fips140/mlkem.compress
    005adf18strh w0, [sp+54]
    005adf1cldr x2, [sp+56]
    005adf20ubfm x3, x0, 54, 15
    005adf24orr x2, x2, x3
    005adf28str x2, [sp+56]
    005adf2cldr x2, [sp+64]
    005adf30add x0, x2, 2
    005adf34subs xzr, x0, 256
    005adf38b.lo 0x5adf40
    005adf3cb 0x5ae0f0
    005adf40
    005adf40loc_5adf40:
    005adf40add x2, sp, 232
    005adf44ldrh w0, [x2+x0]
    005adf48strh w0, [sp+48]
    005adf4cmovz x1, 10
    005adf50bl crypto/internal/fips140/mlkem.compress
    005adf54strh w0, [sp+54]
    005adf58ldr x2, [sp+56]
    005adf5cubfm x3, x0, 44, 15
    005adf60orr x2, x2, x3
    005adf64str x2, [sp+56]
    005adf68ldr x2, [sp+64]
    005adf6cadd x0, x2, 3
    005adf70subs xzr, x0, 256
    005adf74b.lo 0x5adf7c
    005adf78b 0x5ae0e8
    005adf7c
    005adf7cloc_5adf7c:
    005adf7cadd x2, sp, 232
    005adf80ldrh w0, [x2+x0]
    005adf84strh w0, [sp+46]
    005adf88movz x1, 10
    005adf8cbl crypto/internal/fips140/mlkem.compress
    005adf90strh w0, [sp+54]
    005adf94ldr x2, [sp+56]
    005adf98ubfm x3, x0, 34, 15
    005adf9corr x2, x2, x3
    005adfa0str x2, [sp+56]
    005adfa4ldr x1, [sp+104]
    005adfa8ldr x3, [sp+96]
    005adfacsubs xzr, x1, 0
    005adfb0b.hi 0x5adfb8
    005adfb4b 0x5ae0e0
    005adfb8
    005adfb8loc_5adfb8:
    005adfb8strb w2, [x3]
    005adfbcldr x1, [sp+104]
    005adfc0ldr x3, [sp+96]
    005adfc4ldr x4, [sp+56]
    005adfc8ubfm x4, x4, 8, 63
    005adfccsubs xzr, x1, 1
    005adfd0b.hi 0x5adfd8
    005adfd4b 0x5ae0d8
    005adfd8
    005adfd8loc_5adfd8:
    005adfd8strb w4, [x3+1]
    005adfdcldr x1, [sp+104]
    005adfe0ldr x3, [sp+96]
    005adfe4ldr x4, [sp+56]
    005adfe8ubfm x4, x4, 16, 63
    005adfecsubs xzr, x1, 2
    005adff0b.hi 0x5adff8
    005adff4b 0x5ae0d0
    005adff8
    005adff8loc_5adff8:
    005adff8strb w4, [x3+2]
    005adffcldr x1, [sp+104]
    005ae000ldr x3, [sp+96]
    005ae004ldr x4, [sp+56]
    005ae008ubfm x4, x4, 24, 63
    005ae00csubs xzr, x1, 3
    005ae010b.hi 0x5ae018
    005ae014b 0x5ae0c8
    005ae018
    005ae018loc_5ae018:
    005ae018strb w4, [x3+3]
    005ae01cldr x1, [sp+104]
    005ae020ldr x3, [sp+96]
    005ae024ldr x4, [sp+56]
    005ae028ubfm x4, x4, 32, 63
    005ae02csubs xzr, x1, 4
    005ae030b.hi 0x5ae038
    005ae034b 0x5ae0c0
    005ae038
    005ae038loc_5ae038:
    005ae038strb w4, [x3+4]
    005ae03cldr x1, [sp+104]
    005ae040ldr x3, [sp+96]
    005ae044ldr x4, [sp+112]
    005ae048b 0x5ae04c
    005ae04c
    005ae04cloc_5ae04c:
    005ae04csubs xzr, x1, 5
    005ae050b.hs 0x5ae058
    005ae054b 0x5ae0b8
    005ae058
    005ae058loc_5ae058:
    005ae058sub x4, x4, 5
    005ae05csub x5, xzr, x4
    005ae060sub x6, x1, 5
    005ae064sbfm x5, x5, 63, 63
    005ae068movz x7, 5
    005ae06cand x5, x5, x7
    005ae070add x3, x3, x5
    005ae074str x3, [sp+96]
    005ae078str x6, [sp+104]
    005ae07cstr x4, [sp+112]
    005ae080b 0x5ae084
    005ae084
    005ae084loc_5ae084:
    005ae084ldr x3, [sp+64]
    005ae088add x3, x3, 4
    005ae08cstr x3, [sp+64]
    005ae090b 0x5adea4
    005ae094
    005ae094loc_5ae094:
    005ae094ldr x0, [sp+744]
    005ae098ldr x1, [sp+752]
    005ae09cldr x2, [sp+760]
    005ae0a0str x0, [sp+72]
    005ae0a4str x1, [sp+80]
    005ae0a8str x2, [sp+88]
    005ae0acldur x29, [sp-8]
    005ae0b0ldr x30, [sp], 224
    005ae0b4ret x30
    005ae0b8
    005ae0b8loc_5ae0b8:
    005ae0b8movz x0, 5
    005ae0bcbl runtime.panicSliceB
    005ae0c0
    005ae0c0loc_5ae0c0:
    005ae0c0orr x0, xzr, 4
    005ae0c4bl runtime.panicIndex
    005ae0c8
    005ae0c8loc_5ae0c8:
    005ae0c8orr x0, xzr, 3
    005ae0ccbl runtime.panicIndex
    005ae0d0
    005ae0d0loc_5ae0d0:
    005ae0d0orr x0, xzr, 2
    005ae0d4bl runtime.panicIndex
    005ae0d8
    005ae0d8loc_5ae0d8:
    005ae0d8orr x0, xzr, 1
    005ae0dcbl runtime.panicIndex
    005ae0e0
    005ae0e0loc_5ae0e0:
    005ae0e0mov x0, xzr
    005ae0e4bl runtime.panicIndex
    005ae0e8
    005ae0e8loc_5ae0e8:
    005ae0e8orr x1, xzr, 256
    005ae0ecbl runtime.panicIndex
    005ae0f0
    005ae0f0loc_5ae0f0:
    005ae0f0orr x1, xzr, 256
    005ae0f4bl runtime.panicIndex
    005ae0f8
    005ae0f8loc_5ae0f8:
    005ae0f8orr x1, xzr, 256
    005ae0fcbl runtime.panicIndex
    005ae100
    005ae100loc_5ae100:
    005ae100orr x1, xzr, 256
    005ae104bl runtime.panicIndex
    005ae108hint
    005ae10c
    005ae10cloc_5ae10c:
    005ae10cadd x27, sp, 520
    005ae110stp x0, x1, [x27]
    005ae114str x2, [sp+536]
    005ae118mov x3, x30
    005ae11cbl runtime.morestack_noctxt.abi0
    005ae120add x27, sp, 520
    005ae124ldp x0, x1, [x27]
    005ae128ldr x2, [sp+536]
    005ae12cb 0x5addd0
    005addd0
    005ae130
    005ae130crypto/internal/fips140/mlkem.ringDecodeAndDecompress10: ; void crypto/internal/fips140/mlkem.ringDecodeAndDecompress10(uint8[320] * bb)
    005ae130ldr x16, [x28+16]
    005ae134sub x17, sp, 496
    005ae138subs xzr, x17, x16
    005ae13cb.ls 0x5ae400
    005ae140sub x20, sp, 624
    005ae144stp x29, x30, [x20-8]
    005ae148add sp, x20, 0
    005ae14csub x29, sp, 8
    005ae150str x0, [sp+1144]
    005ae154add x20, sp, 632
    005ae158adr x27, 16
    005ae15cstp x29, x27, [sp-24]
    005ae160sub x29, sp, 24
    005ae164bl fn_87c90
    005ae168sub x29, sp, 8
    005ae16cldr x2, [sp+1144]
    005ae170ldrsb x27, [x2]
    005ae174b 0x5ae178
    005ae178
    005ae178loc_5ae178:
    005ae178str x2, [sp+592]
    005ae17cmovz x2, 320
    005ae180str x2, [sp+600]
    005ae184str x2, [sp+608]
    005ae188add x20, sp, 38
    005ae18cadr x27, 16
    005ae190stp x29, x27, [sp-24]
    005ae194sub x29, sp, 24
    005ae198bl fn_87c90
    005ae19csub x29, sp, 8
    005ae1a0str xzr, [sp+560]
    005ae1a4b 0x5ae1a8
    005ae1a8
    005ae1a8loc_5ae1a8:
    005ae1a8ldr x2, [sp+560]
    005ae1acsubs xzr, x2, 256
    005ae1b0b.lt 0x5ae1b8
    005ae1b4b 0x5ae380
    005ae1b8
    005ae1b8loc_5ae1b8:
    005ae1b8ldr x1, [sp+600]
    005ae1bcldr x2, [sp+592]
    005ae1c0subs xzr, x1, 0
    005ae1c4b.hi 0x5ae1cc
    005ae1c8b 0x5ae3f4
    005ae1cc
    005ae1ccloc_5ae1cc:
    005ae1ccldrb w2, [x2]
    005ae1d0ldr x1, [sp+600]
    005ae1d4ldr x3, [sp+592]
    005ae1d8subs xzr, x1, 1
    005ae1dcb.hi 0x5ae1e4
    005ae1e0b 0x5ae3ec
    005ae1e4
    005ae1e4loc_5ae1e4:
    005ae1e4ldrb w3, [x3+1]
    005ae1e8ubfm x3, x3, 56, 7
    005ae1ecorr x2, x2, x3
    005ae1f0ldr x1, [sp+600]
    005ae1f4ldr x3, [sp+592]
    005ae1f8subs xzr, x1, 2
    005ae1fcb.hi 0x5ae204
    005ae200b 0x5ae3e4
    005ae204
    005ae204loc_5ae204:
    005ae204ldrb w3, [x3+2]
    005ae208ubfm x3, x3, 48, 7
    005ae20corr x2, x2, x3
    005ae210ldr x1, [sp+600]
    005ae214ldr x3, [sp+592]
    005ae218subs xzr, x1, 3
    005ae21cb.hi 0x5ae224
    005ae220b 0x5ae3dc
    005ae224
    005ae224loc_5ae224:
    005ae224ldrb w3, [x3+3]
    005ae228ubfm x3, x3, 40, 7
    005ae22corr x2, x2, x3
    005ae230ldr x1, [sp+600]
    005ae234ldr x3, [sp+592]
    005ae238subs xzr, x1, 4
    005ae23cb.hi 0x5ae244
    005ae240b 0x5ae3d4
    005ae244
    005ae244loc_5ae244:
    005ae244ldrb w3, [x3+4]
    005ae248ubfm x3, x3, 32, 7
    005ae24corr x2, x2, x3
    005ae250str x2, [sp+552]
    005ae254ldr x1, [sp+600]
    005ae258ldr x2, [sp+592]
    005ae25cldr x3, [sp+608]
    005ae260b 0x5ae264
    005ae264
    005ae264loc_5ae264:
    005ae264subs xzr, x1, 5
    005ae268b.hs 0x5ae270
    005ae26cb 0x5ae3cc
    005ae270
    005ae270loc_5ae270:
    005ae270sub x3, x3, 5
    005ae274sub x4, xzr, x3
    005ae278sub x5, x1, 5
    005ae27csbfm x4, x4, 63, 63
    005ae280movz x6, 5
    005ae284and x4, x4, x6
    005ae288add x2, x2, x4
    005ae28cstr x2, [sp+592]
    005ae290str x5, [sp+600]
    005ae294str x3, [sp+608]
    005ae298ldr x2, [sp+552]
    005ae29cand x0, x2, 1023
    005ae2a0movz x1, 10
    005ae2a4bl crypto/internal/fips140/mlkem.decompress
    005ae2a8strh w0, [sp+550]
    005ae2acldr x2, [sp+560]
    005ae2b0subs xzr, x2, 256
    005ae2b4b.lo 0x5ae2bc
    005ae2b8b 0x5ae3c0
    005ae2bc
    005ae2bcloc_5ae2bc:
    005ae2bcadd x3, sp, 38
    005ae2c0strh w0, [x3+x2]
    005ae2c4ldr x2, [sp+552]
    005ae2c8ubfm x0, x2, 10, 19
    005ae2ccmovz x1, 10
    005ae2d0bl crypto/internal/fips140/mlkem.decompress
    005ae2d4strh w0, [sp+550]
    005ae2d8ldr x2, [sp+560]
    005ae2dcadd x0, x2, 1
    005ae2e0str x0, [sp+584]
    005ae2e4ldrh w2, [sp+550]
    005ae2e8subs xzr, x0, 256
    005ae2ecb.lo 0x5ae2f4
    005ae2f0b 0x5ae3b8
    005ae2f4
    005ae2f4loc_5ae2f4:
    005ae2f4add x3, sp, 38
    005ae2f8strh w2, [x3+x0]
    005ae2fcldr x2, [sp+552]
    005ae300ubfm x0, x2, 20, 29
    005ae304movz x1, 10
    005ae308bl crypto/internal/fips140/mlkem.decompress
    005ae30cstrh w0, [sp+550]
    005ae310ldr x2, [sp+560]
    005ae314add x0, x2, 2
    005ae318str x0, [sp+576]
    005ae31cldrh w2, [sp+550]
    005ae320subs xzr, x0, 256
    005ae324b.lo 0x5ae32c
    005ae328b 0x5ae3b0
    005ae32c
    005ae32cloc_5ae32c:
    005ae32cadd x3, sp, 38
    005ae330strh w2, [x3+x0]
    005ae334ldr x2, [sp+552]
    005ae338ubfm x0, x2, 30, 39
    005ae33cmovz x1, 10
    005ae340bl crypto/internal/fips140/mlkem.decompress
    005ae344strh w0, [sp+550]
    005ae348ldr x2, [sp+560]
    005ae34cadd x0, x2, 3
    005ae350str x0, [sp+568]
    005ae354ldrh w2, [sp+550]
    005ae358subs xzr, x0, 256
    005ae35cb.lo 0x5ae364
    005ae360b 0x5ae3a8
    005ae364
    005ae364loc_5ae364:
    005ae364add x3, sp, 38
    005ae368strh w2, [x3+x0]
    005ae36cb 0x5ae370
    005ae370
    005ae370loc_5ae370:
    005ae370ldr x2, [sp+560]
    005ae374add x2, x2, 4
    005ae378str x2, [sp+560]
    005ae37cb 0x5ae1a8
    005ae380
    005ae380loc_5ae380:
    005ae380add x21, sp, 632
    005ae384add x20, sp, 38
    005ae388adr x27, 16
    005ae38cstp x29, x27, [sp-24]
    005ae390sub x29, sp, 24
    005ae394bl fn_87e20
    005ae398sub x29, sp, 8
    005ae39cldp x29, x30, [sp-8]
    005ae3a0add sp, sp, 624
    005ae3a4ret x30
    005ae3a8
    005ae3a8loc_5ae3a8:
    005ae3a8orr x1, xzr, 256
    005ae3acbl runtime.panicIndex
    005ae3b0
    005ae3b0loc_5ae3b0:
    005ae3b0orr x1, xzr, 256
    005ae3b4bl runtime.panicIndex
    005ae3b8
    005ae3b8loc_5ae3b8:
    005ae3b8orr x1, xzr, 256
    005ae3bcbl runtime.panicIndex
    005ae3c0
    005ae3c0loc_5ae3c0:
    005ae3c0mov x0, x2
    005ae3c4orr x1, xzr, 256
    005ae3c8bl runtime.panicIndex
    005ae3cc
    005ae3ccloc_5ae3cc:
    005ae3ccmovz x0, 5
    005ae3d0bl runtime.panicSliceB
    005ae3d4
    005ae3d4loc_5ae3d4:
    005ae3d4orr x0, xzr, 4
    005ae3d8bl runtime.panicIndex
    005ae3dc
    005ae3dcloc_5ae3dc:
    005ae3dcorr x0, xzr, 3
    005ae3e0bl runtime.panicIndex
    005ae3e4
    005ae3e4loc_5ae3e4:
    005ae3e4orr x0, xzr, 2
    005ae3e8bl runtime.panicIndex
    005ae3ec
    005ae3ecloc_5ae3ec:
    005ae3ecorr x0, xzr, 1
    005ae3f0bl runtime.panicIndex
    005ae3f4
    005ae3f4loc_5ae3f4:
    005ae3f4mov x0, xzr
    005ae3f8bl runtime.panicIndex
    005ae3fchint
    005ae400
    005ae400loc_5ae400:
    005ae400str x0, [sp+520]
    005ae404mov x3, x30
    005ae408bl runtime.morestack_noctxt.abi0
    005ae40cldr x0, [sp+520]
    005ae410b 0x5ae130
    005ae414udf 0
    005ae418udf 0
    005ae41cudf 0
    005ae130
    005ae420
    005ae420crypto/internal/fips140/mlkem.samplePolyCBD: ; void crypto/internal/fips140/mlkem.samplePolyCBD(struct []uint8 s, uint8 b)
    005ae420ldr x16, [x28+16]
    005ae424sub x17, sp, 656
    005ae428subs xzr, x17, x16
    005ae42cb.ls 0x5ae680
    005ae430sub x20, sp, 784
    005ae434stp x29, x30, [x20-8]
    005ae438add sp, x20, 0
    005ae43csub x29, sp, 8
    005ae440str x0, [sp+1304]
    005ae444str x1, [sp+1312]
    005ae448str x2, [sp+1320]
    005ae44cstrb w3, [sp+1328]
    005ae450add x20, sp, 792
    005ae454adr x27, 16
    005ae458stp x29, x27, [sp-24]
    005ae45csub x29, sp, 24
    005ae460bl fn_87c90
    005ae464sub x29, sp, 8
    005ae468bl crypto/internal/fips140/sha3.NewShake256
    005ae46cstr x0, [sp+712]
    005ae470ldr x2, [sp+1312]
    005ae474ldr x3, [sp+1320]
    005ae478ldr x1, [sp+1304]
    005ae47cbl crypto/internal/fips140/sha3.(*SHAKE).Write
    005ae480strb wzr, [sp+181]
    005ae484add x0, sp, 181
    005ae488str x0, [sp+744]
    005ae48cldrsb x27, [x0]
    005ae490ldrb w1, [sp+1328]
    005ae494strb w1, [x0]
    005ae498ldr x1, [sp+744]
    005ae49cldrsb x27, [x1]
    005ae4a0b 0x5ae4a4
    005ae4a4
    005ae4a4loc_5ae4a4:
    005ae4a4str x1, [sp+752]
    005ae4a8orr x3, xzr, 1
    005ae4acstr x3, [sp+760]
    005ae4b0str x3, [sp+768]
    005ae4b4ldr x0, [sp+712]
    005ae4b8mov x2, x3
    005ae4bcbl crypto/internal/fips140/sha3.(*SHAKE).Write
    005ae4c0b 0x5ae4c4
    005ae4c4
    005ae4c4loc_5ae4c4:
    005ae4c4add x20, sp, 53
    005ae4c8adr x27, 16
    005ae4ccstp x29, x27, [sp-24]
    005ae4d0sub x29, sp, 24
    005ae4d4bl fn_87cf0
    005ae4d8sub x29, sp, 8
    005ae4dcadd x1, sp, 53
    005ae4e0ldrsb x27, [x1]
    005ae4e4b 0x5ae4e8
    005ae4e8
    005ae4e8loc_5ae4e8:
    005ae4e8str x1, [sp+720]
    005ae4ecorr x3, xzr, 128
    005ae4f0str x3, [sp+728]
    005ae4f4str x3, [sp+736]
    005ae4f8ldr x0, [sp+712]
    005ae4fcmov x2, x3
    005ae500bl crypto/internal/fips140/sha3.(*SHAKE).Read
    005ae504add x20, sp, 182
    005ae508adr x27, 16
    005ae50cstp x29, x27, [sp-24]
    005ae510sub x29, sp, 24
    005ae514bl fn_87c90
    005ae518sub x29, sp, 8
    005ae51cstr xzr, [sp+696]
    005ae520b 0x5ae524
    005ae524
    005ae524loc_5ae524:
    005ae524ldr x2, [sp+696]
    005ae528subs xzr, x2, 256
    005ae52cb.lt 0x5ae534
    005ae530b 0x5ae63c
    005ae534
    005ae534loc_5ae534:
    005ae534ldr x1, [sp+728]
    005ae538ldr x2, [sp+720]
    005ae53cldr x3, [sp+696]
    005ae540add x3, x3, x3, lsr #63
    005ae544sbfm x0, x3, 1, 63
    005ae548subs xzr, x1, x3, asr #1
    005ae54cb.hi 0x5ae554
    005ae550b 0x5ae678
    005ae554
    005ae554loc_5ae554:
    005ae554ldrb w2, [x2+x0]
    005ae558strb w2, [sp+52]
    005ae55cubfm x3, x2, 7, 7
    005ae560strb w3, [sp+44]
    005ae564ubfm x3, x2, 6, 6
    005ae568strb w3, [sp+45]
    005ae56cubfm x3, x2, 5, 5
    005ae570strb w3, [sp+46]
    005ae574ubfm x2, x2, 4, 4
    005ae578strb w2, [sp+47]
    005ae57cldrb w2, [sp+52]
    005ae580ubfm x2, x2, 3, 3
    005ae584strb w2, [sp+48]
    005ae588ldrb w3, [sp+52]
    005ae58cubfm x3, x3, 2, 2
    005ae590strb w3, [sp+49]
    005ae594ldrb w4, [sp+52]
    005ae598ubfm x4, x4, 1, 1
    005ae59cstrb w4, [sp+50]
    005ae5a0ldrb w5, [sp+52]
    005ae5a4and x5, x5, 1
    005ae5a8strb w5, [sp+51]
    005ae5acadd x4, x5, x4
    005ae5b0ubfm x0, x4, 0, 7
    005ae5b4add x2, x3, x2
    005ae5b8ubfm x1, x2, 0, 7
    005ae5bcbl crypto/internal/fips140/mlkem.fieldSub
    005ae5c0strh w0, [sp+694]
    005ae5c4ldr x2, [sp+696]
    005ae5c8subs xzr, x2, 256
    005ae5ccb.lo 0x5ae5d4
    005ae5d0b 0x5ae66c
    005ae5d4
    005ae5d4loc_5ae5d4:
    005ae5d4add x3, sp, 182
    005ae5d8strh w0, [x3+x2]
    005ae5dcldrb w2, [sp+46]
    005ae5e0ldrb w3, [sp+47]
    005ae5e4add x2, x3, x2
    005ae5e8ubfm x0, x2, 0, 7
    005ae5ecldrb w2, [sp+45]
    005ae5f0ldrb w3, [sp+44]
    005ae5f4add x2, x2, x3
    005ae5f8ubfm x1, x2, 0, 7
    005ae5fcbl crypto/internal/fips140/mlkem.fieldSub
    005ae600strh w0, [sp+694]
    005ae604ldr x2, [sp+696]
    005ae608add x0, x2, 1
    005ae60cstr x0, [sp+704]
    005ae610ldrh w2, [sp+694]
    005ae614subs xzr, x0, 256
    005ae618b.lo 0x5ae620
    005ae61cb 0x5ae664
    005ae620
    005ae620loc_5ae620:
    005ae620add x3, sp, 182
    005ae624strh w2, [x3+x0]
    005ae628b 0x5ae62c
    005ae62c
    005ae62cloc_5ae62c:
    005ae62cldr x2, [sp+696]
    005ae630add x2, x2, 2
    005ae634str x2, [sp+696]
    005ae638b 0x5ae524
    005ae63c
    005ae63cloc_5ae63c:
    005ae63cadd x21, sp, 792
    005ae640add x20, sp, 182
    005ae644adr x27, 16
    005ae648stp x29, x27, [sp-24]
    005ae64csub x29, sp, 24
    005ae650bl fn_87e20
    005ae654sub x29, sp, 8
    005ae658ldp x29, x30, [sp-8]
    005ae65cadd sp, sp, 784
    005ae660ret x30
    005ae664
    005ae664loc_5ae664:
    005ae664orr x1, xzr, 256
    005ae668bl runtime.panicIndex
    005ae66c
    005ae66cloc_5ae66c:
    005ae66cmov x0, x2
    005ae670orr x1, xzr, 256
    005ae674bl runtime.panicIndex
    005ae678
    005ae678loc_5ae678:
    005ae678bl runtime.panicIndex
    005ae67chint
    005ae680
    005ae680loc_5ae680:
    005ae680add x27, sp, 520
    005ae684stp x0, x1, [x27]
    005ae688str x2, [sp+536]
    005ae68cstrb w3, [sp+544]
    005ae690mov x3, x30
    005ae694bl runtime.morestack_noctxt.abi0
    005ae698add x27, sp, 520
    005ae69cldp x0, x1, [x27]
    005ae6a0ldr x2, [sp+536]
    005ae6a4ldrb w3, [sp+544]
    005ae6a8b 0x5ae420
    005ae6acudf 0
    005ae420
    005ae6b0
    005ae6b0crypto/internal/fips140/mlkem.nttMul: ; void crypto/internal/fips140/mlkem.nttMul(crypto/internal/fips140/mlkem.nttElement f, crypto/internal/fips140/mlkem.nttElement g)
    005ae6b0ldr x16, [x28+16]
    005ae6b4sub x17, sp, 448
    005ae6b8subs xzr, x17, x16
    005ae6bcb.ls 0x5ae8ac
    005ae6c0sub x20, sp, 576
    005ae6c4stp x29, x30, [x20-8]
    005ae6c8add sp, x20, 0
    005ae6ccsub x29, sp, 8
    005ae6d0add x20, sp, 1608
    005ae6d4adr x27, 16
    005ae6d8stp x29, x27, [sp-24]
    005ae6dcsub x29, sp, 24
    005ae6e0bl fn_87c90
    005ae6e4sub x29, sp, 8
    005ae6e8add x20, sp, 26
    005ae6ecadr x27, 16
    005ae6f0stp x29, x27, [sp-24]
    005ae6f4sub x29, sp, 24
    005ae6f8bl fn_87c90
    005ae6fcsub x29, sp, 8
    005ae700str xzr, [sp+552]
    005ae704b 0x5ae708
    005ae708
    005ae708loc_5ae708:
    005ae708ldr x2, [sp+552]
    005ae70csubs xzr, x2, 256
    005ae710b.lt 0x5ae718
    005ae714b 0x5ae838
    005ae718
    005ae718loc_5ae718:
    005ae718ldr x0, [sp+552]
    005ae71csubs xzr, x0, 256
    005ae720b.lo 0x5ae728
    005ae724b 0x5ae8a0
    005ae728
    005ae728loc_5ae728:
    005ae728add x2, sp, 584
    005ae72cldrh w3, [x2+x0]
    005ae730strh w3, [sp+544]
    005ae734ldr x3, [sp+552]
    005ae738add x0, x3, 1
    005ae73csubs xzr, x0, 256
    005ae740b.lo 0x5ae748
    005ae744b 0x5ae898
    005ae748
    005ae748loc_5ae748:
    005ae748ldrh w0, [x2+x0]
    005ae74cstrh w0, [sp+542]
    005ae750ldr x3, [sp+552]
    005ae754subs xzr, x3, 256
    005ae758b.lo 0x5ae760
    005ae75cb 0x5ae88c
    005ae760
    005ae760loc_5ae760:
    005ae760add x4, sp, 1096
    005ae764ldrh w3, [x4+x3]
    005ae768strh w3, [sp+540]
    005ae76cldr x3, [sp+552]
    005ae770add x3, x3, 1
    005ae774subs xzr, x3, 256
    005ae778b.lo 0x5ae780
    005ae77cb 0x5ae880
    005ae780
    005ae780loc_5ae780:
    005ae780ldrh w1, [x4+x3]
    005ae784strh w1, [sp+538]
    005ae788bl crypto/internal/fips140/mlkem.fieldMul
    005ae78cstrh w0, [sp+546]
    005ae790ldr x2, [sp+552]
    005ae794add x2, x2, x2, lsr #63
    005ae798sbfm x2, x2, 1, 63
    005ae79csubs xzr, x2, 128
    005ae7a0b.lo 0x5ae7a8
    005ae7a4b 0x5ae874
    005ae7a8
    005ae7a8loc_5ae7a8:
    005ae7a8adrp x4, 0x447000
    005ae7acadd x4, x4, 800
    005ae7b0ldrh w3, [x4+x2]
    005ae7b4strh w3, [sp+548]
    005ae7b8ldrh w4, [sp+544]
    005ae7bcldrh w1, [sp+540]
    005ae7c0mov x2, x0
    005ae7c4mov x0, x4
    005ae7c8bl crypto/internal/fips140/mlkem.fieldAddMul
    005ae7ccstrh w0, [sp+550]
    005ae7d0ldr x4, [sp+552]
    005ae7d4subs xzr, x4, 256
    005ae7d8b.lo 0x5ae7e0
    005ae7dcb 0x5ae868
    005ae7e0
    005ae7e0loc_5ae7e0:
    005ae7e0add x5, sp, 26
    005ae7e4strh w0, [x5+x4]
    005ae7e8ldrh w1, [sp+538]
    005ae7ecldrh w2, [sp+542]
    005ae7f0ldrh w3, [sp+540]
    005ae7f4ldrh w0, [sp+544]
    005ae7f8bl crypto/internal/fips140/mlkem.fieldAddMul
    005ae7fcstrh w0, [sp+550]
    005ae800ldr x4, [sp+552]
    005ae804add x0, x4, 1
    005ae808str x0, [sp+560]
    005ae80cldrh w4, [sp+550]
    005ae810subs xzr, x0, 256
    005ae814b.lo 0x5ae81c
    005ae818b 0x5ae860
    005ae81c
    005ae81cloc_5ae81c:
    005ae81cadd x2, sp, 26
    005ae820strh w4, [x2+x0]
    005ae824b 0x5ae828
    005ae828
    005ae828loc_5ae828:
    005ae828ldr x2, [sp+552]
    005ae82cadd x2, x2, 2
    005ae830str x2, [sp+552]
    005ae834b 0x5ae708
    005ae838
    005ae838loc_5ae838:
    005ae838add x21, sp, 1608
    005ae83cadd x20, sp, 26
    005ae840adr x27, 16
    005ae844stp x29, x27, [sp-24]
    005ae848sub x29, sp, 24
    005ae84cbl fn_87e20
    005ae850sub x29, sp, 8
    005ae854ldp x29, x30, [sp-8]
    005ae858add sp, sp, 576
    005ae85cret x30
    005ae860
    005ae860loc_5ae860:
    005ae860orr x1, xzr, 256
    005ae864bl runtime.panicIndex
    005ae868
    005ae868loc_5ae868:
    005ae868mov x0, x4
    005ae86corr x1, xzr, 256
    005ae870bl runtime.panicIndex
    005ae874
    005ae874loc_5ae874:
    005ae874mov x0, x2
    005ae878orr x1, xzr, 128
    005ae87cbl runtime.panicIndex
    005ae880
    005ae880loc_5ae880:
    005ae880mov x0, x3
    005ae884orr x1, xzr, 256
    005ae888bl runtime.panicIndex
    005ae88c
    005ae88cloc_5ae88c:
    005ae88cmov x0, x3
    005ae890orr x1, xzr, 256
    005ae894bl runtime.panicIndex
    005ae898
    005ae898loc_5ae898:
    005ae898orr x1, xzr, 256
    005ae89cbl runtime.panicIndex
    005ae8a0
    005ae8a0loc_5ae8a0:
    005ae8a0orr x1, xzr, 256
    005ae8a4bl runtime.panicIndex
    005ae8a8hint
    005ae8ac
    005ae8acloc_5ae8ac:
    005ae8acmov x3, x30
    005ae8b0bl runtime.morestack_noctxt.abi0
    005ae8b4b 0x5ae6b0
    005ae8b8udf 0
    005ae8bcudf 0
    005ae6b0
    005ae8c0
    005ae8c0crypto/internal/fips140/mlkem.ntt: ; void crypto/internal/fips140/mlkem.ntt(crypto/internal/fips140/mlkem.ringElement f)
    005ae8c0ldr x16, [x28+16]
    005ae8c4sub x17, sp, 80
    005ae8c8subs xzr, x17, x16
    005ae8ccb.ls 0x5aebf4
    005ae8d0str x30, [sp-208]!
    005ae8d4stur x29, [sp-8]
    005ae8d8sub x29, sp, 8
    005ae8dcadd x20, sp, 728
    005ae8e0adr x27, 16
    005ae8e4stp x29, x27, [sp-24]
    005ae8e8sub x29, sp, 24
    005ae8ecbl fn_87c90
    005ae8f0sub x29, sp, 8
    005ae8f4orr x3, xzr, 1
    005ae8f8str x3, [sp+64]
    005ae8fcorr x1, xzr, 128
    005ae900str x1, [sp+56]
    005ae904b 0x5ae908
    005ae908
    005ae908loc_5ae908:
    005ae908ldr x3, [sp+56]
    005ae90csubs xzr, x3, 2
    005ae910b.ge 0x5ae918
    005ae914b 0x5ae920
    005ae918
    005ae918loc_5ae918:
    005ae918str xzr, [sp+48]
    005ae91cb 0x5ae948
    005ae920
    005ae920loc_5ae920:
    005ae920add x21, sp, 728
    005ae924add x20, sp, 216
    005ae928adr x27, 16
    005ae92cstp x29, x27, [sp-24]
    005ae930sub x29, sp, 24
    005ae934bl fn_87e20
    005ae938sub x29, sp, 8
    005ae93cldur x29, [sp-8]
    005ae940ldr x30, [sp], 208
    005ae944ret x30
    005ae948
    005ae948loc_5ae948:
    005ae948ldr x3, [sp+48]
    005ae94csubs xzr, x3, 256
    005ae950b.lt 0x5ae958
    005ae954b 0x5aea80
    005ae958
    005ae958loc_5ae958:
    005ae958ldr x0, [sp+64]
    005ae95csubs xzr, x0, 128
    005ae960b.lo 0x5ae968
    005ae964b 0x5aebec
    005ae968
    005ae968loc_5ae968:
    005ae968adrp x3, 0x447000
    005ae96cadd x3, x3, 1056
    005ae970ldrh w3, [x3+x0]
    005ae974strh w3, [sp+36]
    005ae978ldr x3, [sp+64]
    005ae97cadd x3, x3, 1
    005ae980str x3, [sp+64]
    005ae984ldr x3, [sp+56]
    005ae988ldr x4, [sp+48]
    005ae98cadd x3, x4, x3
    005ae990str x3, [sp+96]
    005ae994add x20, sp, 216
    005ae998ldrsb x27, [x20]
    005ae99cldr x0, [sp+48]
    005ae9a0subs xzr, x3, 256
    005ae9a4b.ls 0x5ae9ac
    005ae9a8b 0x5aebe0
    005ae9ac
    005ae9acloc_5ae9ac:
    005ae9acsubs xzr, x0, x3
    005ae9b0b.ls 0x5ae9b8
    005ae9b4b 0x5aebd8
    005ae9b8
    005ae9b8loc_5ae9b8:
    005ae9b8orr x2, xzr, 256
    005ae9bcsub x4, x2, x0
    005ae9c0sub x3, x3, x0
    005ae9c4sub x5, xzr, x4
    005ae9c8ubfm x6, x0, 63, 62
    005ae9ccand x5, x6, x5, asr #63
    005ae9d0add x5, x20, x5
    005ae9d4str x5, [sp+176]
    005ae9d8str x3, [sp+184]
    005ae9dcstr x4, [sp+192]
    005ae9e0ldr x3, [sp+48]
    005ae9e4ldr x4, [sp+56]
    005ae9e8add x0, x3, x4
    005ae9ecstr x0, [sp+88]
    005ae9f0ldr x3, [sp+48]
    005ae9f4ldr x4, [sp+56]
    005ae9f8add x3, x3, x4
    005ae9fcldr x4, [sp+56]
    005aea00add x3, x3, x4
    005aea04str x3, [sp+80]
    005aea08ldrsb x27, [x20]
    005aea0csubs xzr, x3, 256
    005aea10b.ls 0x5aea18
    005aea14b 0x5aebd0
    005aea18
    005aea18loc_5aea18:
    005aea18subs xzr, x3, x0
    005aea1cb.hs 0x5aea24
    005aea20b 0x5aebc8
    005aea24
    005aea24loc_5aea24:
    005aea24sub x4, x2, x0
    005aea28sub x3, x3, x0
    005aea2csub x5, xzr, x4
    005aea30ubfm x6, x0, 63, 62
    005aea34and x5, x6, x5, asr #63
    005aea38add x5, x20, x5
    005aea3cstr x5, [sp+152]
    005aea40str x3, [sp+160]
    005aea44str x4, [sp+168]
    005aea48ldr x3, [sp+176]
    005aea4cldr x4, [sp+184]
    005aea50ldr x5, [sp+192]
    005aea54str x3, [sp+128]
    005aea58str x4, [sp+136]
    005aea5cstr x5, [sp+144]
    005aea60ldr x3, [sp+152]
    005aea64ldr x4, [sp+160]
    005aea68ldr x5, [sp+168]
    005aea6cstr x3, [sp+104]
    005aea70str x4, [sp+112]
    005aea74str x5, [sp+120]
    005aea78str xzr, [sp+72]
    005aea7cb 0x5aea98
    005aea80
    005aea80loc_5aea80:
    005aea80b 0x5aea84
    005aea84
    005aea84loc_5aea84:
    005aea84ldr x3, [sp+56]
    005aea88add x3, x3, x3, lsr #63
    005aea8csbfm x3, x3, 1, 63
    005aea90str x3, [sp+56]
    005aea94b 0x5ae908
    005aea98
    005aea98loc_5aea98:
    005aea98ldr x3, [sp+56]
    005aea9cldr x4, [sp+72]
    005aeaa0subs xzr, x3, x4
    005aeaa4b.gt 0x5aeaac
    005aeaa8b 0x5aeb8c
    005aeaac
    005aeaacloc_5aeaac:
    005aeaacldr x0, [sp+72]
    005aeab0ldr x3, [sp+112]
    005aeab4ldr x4, [sp+104]
    005aeab8subs xzr, x3, x0
    005aeabcb.hi 0x5aeac4
    005aeac0b 0x5aebc0
    005aeac4
    005aeac4loc_5aeac4:
    005aeac4ldrh w1, [x4+x0]
    005aeac8strh w1, [sp+44]
    005aeaccldrh w0, [sp+36]
    005aead0bl crypto/internal/fips140/mlkem.fieldMul
    005aead4strh w0, [sp+38]
    005aead8ldr x2, [sp+72]
    005aeadcldr x1, [sp+136]
    005aeae0ldr x3, [sp+128]
    005aeae4subs xzr, x2, x1
    005aeae8b.lo 0x5aeaf0
    005aeaecb 0x5aebb8
    005aeaf0
    005aeaf0loc_5aeaf0:
    005aeaf0ldrh w2, [x3+x2]
    005aeaf4strh w2, [sp+42]
    005aeaf8mov x1, x0
    005aeafcmov x0, x2
    005aeb00bl crypto/internal/fips140/mlkem.fieldSub
    005aeb04strh w0, [sp+46]
    005aeb08ldr x2, [sp+72]
    005aeb0cldr x1, [sp+112]
    005aeb10ldr x3, [sp+104]
    005aeb14subs xzr, x2, x1
    005aeb18b.lo 0x5aeb20
    005aeb1cb 0x5aebb0
    005aeb20
    005aeb20loc_5aeb20:
    005aeb20strh w0, [x3+x2]
    005aeb24ldr x0, [sp+72]
    005aeb28ldr x1, [sp+136]
    005aeb2cldr x2, [sp+128]
    005aeb30subs xzr, x0, x1
    005aeb34b.lo 0x5aeb3c
    005aeb38b 0x5aebac
    005aeb3c
    005aeb3cloc_5aeb3c:
    005aeb3cldrh w0, [x2+x0]
    005aeb40strh w0, [sp+40]
    005aeb44ldrh w1, [sp+38]
    005aeb48bl crypto/internal/fips140/mlkem.fieldAdd
    005aeb4cstrh w0, [sp+46]
    005aeb50ldr x2, [sp+72]
    005aeb54ldr x1, [sp+136]
    005aeb58ldr x3, [sp+128]
    005aeb5csubs xzr, x2, x1
    005aeb60b.lo 0x5aeb68
    005aeb64b 0x5aeba4
    005aeb68
    005aeb68loc_5aeb68:
    005aeb68strh w0, [x3+x2]
    005aeb6cb 0x5aeb70
    005aeb70
    005aeb70loc_5aeb70:
    005aeb70ldr x3, [sp+72]
    005aeb74add x3, x3, 1
    005aeb78str x3, [sp+72]
    005aeb7corr x1, xzr, 128
    005aeb80orr x2, xzr, 256
    005aeb84add x20, sp, 216
    005aeb88b 0x5aea98
    005aeb8c
    005aeb8cloc_5aeb8c:
    005aeb8cb 0x5aeb90
    005aeb90
    005aeb90loc_5aeb90:
    005aeb90ldr x3, [sp+48]
    005aeb94ldr x4, [sp+56]
    005aeb98add x3, x3, x4, lsl #1
    005aeb9cstr x3, [sp+48]
    005aeba0b 0x5ae948
    005aeba4
    005aeba4loc_5aeba4:
    005aeba4mov x0, x2
    005aeba8bl runtime.panicIndex
    005aebac
    005aebacloc_5aebac:
    005aebacbl runtime.panicIndex
    005aebb0
    005aebb0loc_5aebb0:
    005aebb0mov x0, x2
    005aebb4bl runtime.panicIndex
    005aebb8
    005aebb8loc_5aebb8:
    005aebb8mov x0, x2
    005aebbcbl runtime.panicIndex
    005aebc0
    005aebc0loc_5aebc0:
    005aebc0mov x1, x3
    005aebc4bl runtime.panicIndex
    005aebc8
    005aebc8loc_5aebc8:
    005aebc8mov x1, x3
    005aebccbl runtime.panicSliceB
    005aebd0
    005aebd0loc_5aebd0:
    005aebd0mov x1, x3
    005aebd4bl runtime.panicSliceAlen
    005aebd8
    005aebd8loc_5aebd8:
    005aebd8mov x1, x3
    005aebdcbl runtime.panicSliceB
    005aebe0
    005aebe0loc_5aebe0:
    005aebe0mov x1, x3
    005aebe4orr x2, xzr, 256
    005aebe8bl runtime.panicSliceAlen
    005aebec
    005aebecloc_5aebec:
    005aebecbl runtime.panicIndex
    005aebf0hint
    005aebf4
    005aebf4loc_5aebf4:
    005aebf4mov x3, x30
    005aebf8bl runtime.morestack_noctxt.abi0
    005aebfcb 0x5ae8c0
    005ae8c0
    005aec00
    005aec00crypto/internal/fips140/mlkem.inverseNTT: ; void crypto/internal/fips140/mlkem.inverseNTT(crypto/internal/fips140/mlkem.nttElement f)
    005aec00ldr x16, [x28+16]
    005aec04sub x17, sp, 96
    005aec08subs xzr, x17, x16
    005aec0cb.ls 0x5aef9c
    005aec10str x30, [sp-224]!
    005aec14stur x29, [sp-8]
    005aec18sub x29, sp, 8
    005aec1cadd x20, sp, 744
    005aec20adr x27, 16
    005aec24stp x29, x27, [sp-24]
    005aec28sub x29, sp, 24
    005aec2cbl fn_87c90
    005aec30sub x29, sp, 8
    005aec34orr x3, xzr, 127
    005aec38str x3, [sp+56]
    005aec3corr x3, xzr, 2
    005aec40str x3, [sp+48]
    005aec44b 0x5aec48
    005aec48
    005aec48loc_5aec48:
    005aec48ldr x3, [sp+48]
    005aec4csubs xzr, x3, 128
    005aec50b.le 0x5aec58
    005aec54b 0x5aec60
    005aec58
    005aec58loc_5aec58:
    005aec58str xzr, [sp+40]
    005aec5cb 0x5aed18
    005aec60
    005aec60loc_5aec60:
    005aec60str xzr, [sp+88]
    005aec64orr x1, xzr, 256
    005aec68str x1, [sp+80]
    005aec6cb 0x5aec70
    005aec70
    005aec70loc_5aec70:
    005aec70ldr x2, [sp+80]
    005aec74ldr x3, [sp+88]
    005aec78subs xzr, x2, x3
    005aec7cb.gt 0x5aec84
    005aec80b 0x5aece0
    005aec84
    005aec84loc_5aec84:
    005aec84ldr x0, [sp+88]
    005aec88str x0, [sp+72]
    005aec8csubs xzr, x0, 256
    005aec90b.lo 0x5aec98
    005aec94b 0x5aed14
    005aec98
    005aec98loc_5aec98:
    005aec98add x2, sp, 232
    005aec9cldrh w0, [x2+x0]
    005aeca0strh w0, [sp+32]
    005aeca4movz x1, 3303
    005aeca8bl crypto/internal/fips140/mlkem.fieldMul
    005aecacstrh w0, [sp+38]
    005aecb0ldr x2, [sp+72]
    005aecb4subs xzr, x2, 256
    005aecb8b.lo 0x5aecc0
    005aecbcb 0x5aed08
    005aecc0
    005aecc0loc_5aecc0:
    005aecc0add x20, sp, 232
    005aecc4strh w0, [x20+x2]
    005aecc8b 0x5aeccc
    005aeccc
    005aecccloc_5aeccc:
    005aecccldr x2, [sp+88]
    005aecd0add x2, x2, 1
    005aecd4str x2, [sp+88]
    005aecd8orr x1, xzr, 256
    005aecdcb 0x5aec70
    005aece0
    005aece0loc_5aece0:
    005aece0add x21, sp, 744
    005aece4add x20, sp, 232
    005aece8adr x27, 16
    005aececstp x29, x27, [sp-24]
    005aecf0sub x29, sp, 24
    005aecf4bl fn_87e20
    005aecf8sub x29, sp, 8
    005aecfcldur x29, [sp-8]
    005aed00ldr x30, [sp], 224
    005aed04ret x30
    005aed08
    005aed08loc_5aed08:
    005aed08mov x0, x2
    005aed0corr x1, xzr, 256
    005aed10bl runtime.panicIndex
    005aed14
    005aed14loc_5aed14:
    005aed14bl runtime.panicIndex
    005aed18
    005aed18loc_5aed18:
    005aed18ldr x3, [sp+40]
    005aed1csubs xzr, x3, 256
    005aed20b.lt 0x5aed28
    005aed24b 0x5aee50
    005aed28
    005aed28loc_5aed28:
    005aed28ldr x0, [sp+56]
    005aed2csubs xzr, x0, 128
    005aed30b.lo 0x5aed38
    005aed34b 0x5aef90
    005aed38
    005aed38loc_5aed38:
    005aed38adrp x3, 0x447000
    005aed3cadd x3, x3, 1056
    005aed40ldrh w3, [x3+x0]
    005aed44strh w3, [sp+28]
    005aed48ldr x3, [sp+56]
    005aed4csub x3, x3, 1
    005aed50str x3, [sp+56]
    005aed54ldr x3, [sp+48]
    005aed58ldr x4, [sp+40]
    005aed5cadd x1, x4, x3
    005aed60str x1, [sp+112]
    005aed64add x20, sp, 232
    005aed68ldrsb x27, [x20]
    005aed6cldr x0, [sp+40]
    005aed70subs xzr, x1, 256
    005aed74b.ls 0x5aed7c
    005aed78b 0x5aef88
    005aed7c
    005aed7cloc_5aed7c:
    005aed7csubs xzr, x0, x1
    005aed80b.ls 0x5aed88
    005aed84b 0x5aef84
    005aed88
    005aed88loc_5aed88:
    005aed88orr x2, xzr, 256
    005aed8csub x3, x2, x0
    005aed90sub x4, x1, x0
    005aed94sub x5, xzr, x3
    005aed98ubfm x6, x0, 63, 62
    005aed9cand x5, x6, x5, asr #63
    005aeda0add x5, x20, x5
    005aeda4str x5, [sp+192]
    005aeda8str x4, [sp+200]
    005aedacstr x3, [sp+208]
    005aedb0ldr x3, [sp+40]
    005aedb4ldr x4, [sp+48]
    005aedb8add x0, x3, x4
    005aedbcstr x0, [sp+104]
    005aedc0ldr x3, [sp+40]
    005aedc4ldr x4, [sp+48]
    005aedc8add x3, x3, x4
    005aedccldr x4, [sp+48]
    005aedd0add x1, x3, x4
    005aedd4str x1, [sp+96]
    005aedd8ldrsb x27, [x20]
    005aeddcsubs xzr, x1, 256
    005aede0b.ls 0x5aede8
    005aede4b 0x5aef80
    005aede8
    005aede8loc_5aede8:
    005aede8subs xzr, x1, x0
    005aedecb.hs 0x5aedf4
    005aedf0b 0x5aef7c
    005aedf4
    005aedf4loc_5aedf4:
    005aedf4sub x3, x2, x0
    005aedf8sub x4, x1, x0
    005aedfcsub x5, xzr, x3
    005aee00ubfm x6, x0, 63, 62
    005aee04and x5, x6, x5, asr #63
    005aee08add x5, x20, x5
    005aee0cstr x5, [sp+168]
    005aee10str x4, [sp+176]
    005aee14str x3, [sp+184]
    005aee18ldr x3, [sp+192]
    005aee1cldr x4, [sp+200]
    005aee20ldr x5, [sp+208]
    005aee24str x3, [sp+144]
    005aee28str x4, [sp+152]
    005aee2cstr x5, [sp+160]
    005aee30ldr x3, [sp+168]
    005aee34ldr x4, [sp+176]
    005aee38ldr x5, [sp+184]
    005aee3cstr x3, [sp+120]
    005aee40str x4, [sp+128]
    005aee44str x5, [sp+136]
    005aee48str xzr, [sp+64]
    005aee4cb 0x5aee64
    005aee50
    005aee50loc_5aee50:
    005aee50b 0x5aee54
    005aee54
    005aee54loc_5aee54:
    005aee54ldr x3, [sp+48]
    005aee58ubfm x3, x3, 63, 62
    005aee5cstr x3, [sp+48]
    005aee60b 0x5aec48
    005aee64
    005aee64loc_5aee64:
    005aee64ldr x3, [sp+48]
    005aee68ldr x4, [sp+64]
    005aee6csubs xzr, x3, x4
    005aee70b.gt 0x5aee78
    005aee74b 0x5aef44
    005aee78
    005aee78loc_5aee78:
    005aee78ldr x0, [sp+64]
    005aee7cldr x1, [sp+152]
    005aee80ldr x3, [sp+144]
    005aee84subs xzr, x1, x0
    005aee88b.hi 0x5aee90
    005aee8cb 0x5aef78
    005aee90
    005aee90loc_5aee90:
    005aee90ldrh w0, [x3+x0]
    005aee94strh w0, [sp+30]
    005aee98ldr x3, [sp+64]
    005aee9cldr x1, [sp+128]
    005aeea0ldr x4, [sp+120]
    005aeea4subs xzr, x1, x3
    005aeea8b.hi 0x5aeeb0
    005aeeacb 0x5aef70
    005aeeb0
    005aeeb0loc_5aeeb0:
    005aeeb0ldrh w1, [x4+x3]
    005aeeb4strh w1, [sp+36]
    005aeeb8bl crypto/internal/fips140/mlkem.fieldAdd
    005aeebcstrh w0, [sp+38]
    005aeec0ldr x2, [sp+64]
    005aeec4ldr x1, [sp+152]
    005aeec8ldr x3, [sp+144]
    005aeeccsubs xzr, x1, x2
    005aeed0b.hi 0x5aeed8
    005aeed4b 0x5aef68
    005aeed8
    005aeed8loc_5aeed8:
    005aeed8strh w0, [x3+x2]
    005aeedcldr x0, [sp+64]
    005aeee0ldr x1, [sp+128]
    005aeee4ldr x3, [sp+120]
    005aeee8subs xzr, x0, x1
    005aeeecb.lo 0x5aeef4
    005aeef0b 0x5aef64
    005aeef4
    005aeef4loc_5aeef4:
    005aeef4ldrh w1, [x3+x0]
    005aeef8strh w1, [sp+34]
    005aeefcldrh w0, [sp+28]
    005aef00ldrh w2, [sp+30]
    005aef04bl crypto/internal/fips140/mlkem.fieldMulSub
    005aef08strh w0, [sp+38]
    005aef0cldr x3, [sp+64]
    005aef10ldr x1, [sp+128]
    005aef14ldr x4, [sp+120]
    005aef18subs xzr, x3, x1
    005aef1cb.lo 0x5aef24
    005aef20b 0x5aef5c
    005aef24
    005aef24loc_5aef24:
    005aef24strh w0, [x4+x3]
    005aef28b 0x5aef2c
    005aef2c
    005aef2cloc_5aef2c:
    005aef2cldr x3, [sp+64]
    005aef30add x3, x3, 1
    005aef34str x3, [sp+64]
    005aef38orr x2, xzr, 256
    005aef3cadd x20, sp, 232
    005aef40b 0x5aee64
    005aef44
    005aef44loc_5aef44:
    005aef44b 0x5aef48
    005aef48
    005aef48loc_5aef48:
    005aef48ldr x3, [sp+40]
    005aef4cldr x4, [sp+48]
    005aef50add x3, x3, x4, lsl #1
    005aef54str x3, [sp+40]
    005aef58b 0x5aed18
    005aef5c
    005aef5cloc_5aef5c:
    005aef5cmov x0, x3
    005aef60bl runtime.panicIndex
    005aef64
    005aef64loc_5aef64:
    005aef64bl runtime.panicIndex
    005aef68
    005aef68loc_5aef68:
    005aef68mov x0, x2
    005aef6cbl runtime.panicIndex
    005aef70
    005aef70loc_5aef70:
    005aef70mov x0, x3
    005aef74bl runtime.panicIndex
    005aef78
    005aef78loc_5aef78:
    005aef78bl runtime.panicIndex
    005aef7c
    005aef7cloc_5aef7c:
    005aef7cbl runtime.panicSliceB
    005aef80
    005aef80loc_5aef80:
    005aef80bl runtime.panicSliceAlen
    005aef84
    005aef84loc_5aef84:
    005aef84bl runtime.panicSliceB
    005aef88
    005aef88loc_5aef88:
    005aef88orr x2, xzr, 256
    005aef8cbl runtime.panicSliceAlen
    005aef90
    005aef90loc_5aef90:
    005aef90orr x1, xzr, 128
    005aef94bl runtime.panicIndex
    005aef98hint
    005aef9c
    005aef9cloc_5aef9c:
    005aef9cmov x3, x30
    005aefa0bl runtime.morestack_noctxt.abi0
    005aefa4b 0x5aec00
    005aefa8udf 0
    005aefacudf 0
    005aec00
    005aefb0
    005aefb0crypto/internal/fips140/mlkem.sampleNTT: ; void crypto/internal/fips140/mlkem.sampleNTT(struct []uint8 rho, uint8 ii, uint8 jj)
    005aefb0ldr x16, [x28+16]
    005aefb4sub x17, sp, 560
    005aefb8subs xzr, x17, x16
    005aefbcb.ls 0x5af28c
    005aefc0sub x20, sp, 688
    005aefc4stp x29, x30, [x20-8]
    005aefc8add sp, x20, 0
    005aefccsub x29, sp, 8
    005aefd0str x0, [sp+1208]
    005aefd4str x1, [sp+1216]
    005aefd8str x2, [sp+1224]
    005aefdcstrb w3, [sp+1232]
    005aefe0strb w4, [sp+1233]
    005aefe4add x20, sp, 696
    005aefe8adr x27, 16
    005aefecstp x29, x27, [sp-24]
    005aeff0sub x29, sp, 24
    005aeff4bl fn_87c90
    005aeff8sub x29, sp, 8
    005aeffcbl crypto/internal/fips140/sha3.NewShake128
    005af000str x0, [sp+616]
    005af004ldr x2, [sp+1216]
    005af008ldr x3, [sp+1224]
    005af00cldr x1, [sp+1208]
    005af010bl crypto/internal/fips140/sha3.(*SHAKE).Write
    005af014strh wzr, [sp+72]
    005af018add x0, sp, 72
    005af01cstr x0, [sp+624]
    005af020ldrsb x27, [x0]
    005af024ldrb w1, [sp+1232]
    005af028strb w1, [x0]
    005af02cldrb w0, [sp+1233]
    005af030ldr x1, [sp+624]
    005af034ldrsb x27, [x1]
    005af038strb w0, [x1+1]
    005af03cldr x1, [sp+624]
    005af040ldrsb x27, [x1]
    005af044b 0x5af048
    005af048
    005af048loc_5af048:
    005af048str x1, [sp+632]
    005af04corr x3, xzr, 2
    005af050str x3, [sp+640]
    005af054str x3, [sp+648]
    005af058ldr x0, [sp+616]
    005af05cmov x2, x3
    005af060bl crypto/internal/fips140/sha3.(*SHAKE).Write
    005af064add x20, sp, 78
    005af068adr x27, 16
    005af06cstp x29, x27, [sp-24]
    005af070sub x29, sp, 24
    005af074bl fn_87c90
    005af078sub x29, sp, 8
    005af07cstr xzr, [sp+600]
    005af080stp xzr, xzr, [sp+48]
    005af084str xzr, [sp+64]
    005af088orr x1, xzr, 24
    005af08cstr x1, [sp+592]
    005af090b 0x5af094
    005af094
    005af094loc_5af094:
    005af094b 0x5af098
    005af098
    005af098loc_5af098:
    005af098ldr x4, [sp+592]
    005af09csubs xzr, x4, 24
    005af0a0b.ge 0x5af0a8
    005af0a4b 0x5af0dc
    005af0a8
    005af0a8loc_5af0a8:
    005af0a8add x4, sp, 48
    005af0acldrsb x27, [x4]
    005af0b0b 0x5af0b4
    005af0b4
    005af0b4loc_5af0b4:
    005af0b4str x4, [sp+656]
    005af0b8str x1, [sp+664]
    005af0bcstr x1, [sp+672]
    005af0c0ldr x0, [sp+616]
    005af0c4mov x2, x1
    005af0c8mov x3, x2
    005af0ccmov x1, x4
    005af0d0bl crypto/internal/fips140/sha3.(*SHAKE).Read
    005af0d4str xzr, [sp+592]
    005af0d8b 0x5af0e0
    005af0dc
    005af0dcloc_5af0dc:
    005af0dcb 0x5af0e0
    005af0e0
    005af0e0loc_5af0e0:
    005af0e0add x3, sp, 48
    005af0e4ldrsb x27, [x3]
    005af0e8ldr x0, [sp+592]
    005af0ecsubs xzr, x0, 24
    005af0f0b.ls 0x5af0f8
    005af0f4b 0x5af280
    005af0f8
    005af0f8loc_5af0f8:
    005af0f8orr x4, xzr, 24
    005af0fcsub x2, x4, x0
    005af100sub x4, xzr, x2
    005af104and x4, x0, x4, asr #63
    005af108add x0, x3, x4
    005af10cstr x0, [sp+656]
    005af110str x2, [sp+664]
    005af114str x2, [sp+672]
    005af118mov x1, x2
    005af11cbl crypto/internal/fips140deps/byteorder.LEUint16
    005af120strh w0, [sp+590]
    005af124and x3, x0, 4095
    005af128strh w3, [sp+76]
    005af12cldr x3, [sp+592]
    005af130add x0, x3, 1
    005af134str x0, [sp+608]
    005af138add x4, sp, 48
    005af13cldrsb x27, [x4]
    005af140subs xzr, x0, 24
    005af144b.ls 0x5af14c
    005af148b 0x5af278
    005af14c
    005af14cloc_5af14c:
    005af14cmovz x5, 23
    005af150sub x2, x5, x3
    005af154sub x3, xzr, x2
    005af158and x3, x0, x3, asr #63
    005af15cadd x0, x4, x3
    005af160str x0, [sp+656]
    005af164str x2, [sp+664]
    005af168str x2, [sp+672]
    005af16cmov x1, x2
    005af170bl crypto/internal/fips140deps/byteorder.LEUint16
    005af174strh w0, [sp+590]
    005af178ubfm x3, x0, 4, 15
    005af17cstrh w3, [sp+74]
    005af180ldr x3, [sp+592]
    005af184add x3, x3, 3
    005af188str x3, [sp+592]
    005af18cldrh w3, [sp+76]
    005af190subs wzr, w3, 3329
    005af194b.lo 0x5af19c
    005af198b 0x5af1c8
    005af19c
    005af19cloc_5af19c:
    005af19cldr x0, [sp+600]
    005af1a0ldrh w4, [sp+76]
    005af1a4subs xzr, x0, 256
    005af1a8b.lo 0x5af1b0
    005af1acb 0x5af270
    005af1b0
    005af1b0loc_5af1b0:
    005af1b0add x5, sp, 78
    005af1b4strh w4, [x5+x0]
    005af1b8ldr x4, [sp+600]
    005af1bcadd x4, x4, 1
    005af1c0str x4, [sp+600]
    005af1c4b 0x5af1cc
    005af1c8
    005af1c8loc_5af1c8:
    005af1c8b 0x5af1cc
    005af1cc
    005af1ccloc_5af1cc:
    005af1ccldr x4, [sp+600]
    005af1d0subs xzr, x4, 256
    005af1d4b.ge 0x5af1dc
    005af1d8b 0x5af1e0
    005af1dc
    005af1dcloc_5af1dc:
    005af1dcb 0x5af234
    005af1e0
    005af1e0loc_5af1e0:
    005af1e0ldrh w4, [sp+74]
    005af1e4subs wzr, w4, 3329
    005af1e8b.lo 0x5af1f0
    005af1ecb 0x5af21c
    005af1f0
    005af1f0loc_5af1f0:
    005af1f0ldr x0, [sp+600]
    005af1f4ldrh w4, [sp+74]
    005af1f8subs xzr, x0, 256
    005af1fcb.lo 0x5af204
    005af200b 0x5af268
    005af204
    005af204loc_5af204:
    005af204add x5, sp, 78
    005af208strh w4, [x5+x0]
    005af20cldr x4, [sp+600]
    005af210add x4, x4, 1
    005af214str x4, [sp+600]
    005af218b 0x5af220
    005af21c
    005af21cloc_5af21c:
    005af21cb 0x5af220
    005af220
    005af220loc_5af220:
    005af220ldr x4, [sp+600]
    005af224subs xzr, x4, 256
    005af228b.ge 0x5af230
    005af22cb 0x5af25c
    005af230
    005af230loc_5af230:
    005af230b 0x5af234
    005af234
    005af234loc_5af234:
    005af234add x21, sp, 696
    005af238add x20, sp, 78
    005af23cadr x27, 16
    005af240stp x29, x27, [sp-24]
    005af244sub x29, sp, 24
    005af248bl fn_87e20
    005af24csub x29, sp, 8
    005af250ldp x29, x30, [sp-8]
    005af254add sp, sp, 688
    005af258ret x30
    005af25c
    005af25cloc_5af25c:
    005af25cb 0x5af260
    005af260
    005af260loc_5af260:
    005af260orr x1, xzr, 24
    005af264b 0x5af094
    005af268
    005af268loc_5af268:
    005af268orr x1, xzr, 256
    005af26cbl runtime.panicIndex
    005af270
    005af270loc_5af270:
    005af270orr x1, xzr, 256
    005af274bl runtime.panicIndex
    005af278
    005af278loc_5af278:
    005af278orr x1, xzr, 24
    005af27cbl runtime.panicSliceB
    005af280
    005af280loc_5af280:
    005af280orr x1, xzr, 24
    005af284bl runtime.panicSliceB
    005af288hint
    005af28c
    005af28cloc_5af28c:
    005af28cadd x27, sp, 520
    005af290stp x0, x1, [x27]
    005af294str x2, [sp+536]
    005af298strb w3, [sp+544]
    005af29cstrb w4, [sp+545]
    005af2a0mov x3, x30
    005af2a4bl runtime.morestack_noctxt.abi0
    005af2a8add x27, sp, 520
    005af2acldp x0, x1, [x27]
    005af2b0ldr x2, [sp+536]
    005af2b4ldrb w3, [sp+544]
    005af2b8ldrb w4, [sp+545]
    005af2bcb 0x5aefb0
    005aefb0
    005af2c0
    005af2c0crypto/internal/fips140/mlkem.(*DecapsulationKey768).EncapsulationKey: ; void crypto/internal/fips140/mlkem.(*DecapsulationKey768).EncapsulationKey(crypto/internal/fips140/mlkem.DecapsulationKey768 * dk)
    005af2c0ldr x16, [x28+16]
    005af2c4subs xzr, sp, x16
    005af2c8b.ls 0x5af36c
    005af2ccstr x30, [sp-64]!
    005af2d0stur x29, [sp-8]
    005af2d4sub x29, sp, 8
    005af2d8str x0, [sp+72]
    005af2dcstr xzr, [sp+40]
    005af2e0adrp x0, 0xa7000
    005af2e4add x0, x0, 2944
    005af2e8bl runtime.newobject
    005af2ecstr x0, [sp+48]
    005af2f0ldr x1, [sp+72]
    005af2f4ldrsb x27, [x1]
    005af2f8ldp x2, x3, [x1+64]
    005af2fcldp x1, x4, [x1+80]
    005af300stp x2, x3, [x0]
    005af304stp x1, x4, [x0+16]
    005af308ldr x1, [sp+48]
    005af30cldrsb x27, [x1]
    005af310ldr x2, [sp+72]
    005af314ldrsb x27, [x2]
    005af318ldp x3, x4, [x2+96]
    005af31cldp x2, x5, [x2+112]
    005af320stp x3, x4, [x1+32]
    005af324stp x2, x5, [x1+48]
    005af328ldr x1, [sp+48]
    005af32cldrsb x27, [x1]
    005af330add x17, x1, 64
    005af334ldr x1, [sp+72]
    005af338ldrsb x27, [x1]
    005af33cmovz x2, 6256
    005af340add x2, x1, x2
    005af344add x16, x1, 128
    005af348
    005af348loc_5af348:
    005af348ldp x25, x27, [x16], 16
    005af34cstp x25, x27, [x17], 16
    005af350subs xzr, x16, x2
    005af354b.le 0x5af348
    005af358ldr x0, [sp+48]
    005af35cstr x0, [sp+40]
    005af360ldur x29, [sp-8]
    005af364ldr x30, [sp], 64
    005af368ret x30
    005af36c
    005af36cloc_5af36c:
    005af36cstr x0, [sp+8]
    005af370mov x3, x30
    005af374bl runtime.morestack_noctxt.abi0
    005af378ldr x0, [sp+8]
    005af37cb 0x5af2c0
    005af2c0
    005af380
    005af380crypto/internal/fips140/mlkem.(*EncapsulationKey768).Bytes: ; void crypto/internal/fips140/mlkem.(*EncapsulationKey768).Bytes(crypto/internal/fips140/mlkem.EncapsulationKey768 * ek)
    005af380ldr x16, [x28+16]
    005af384subs xzr, sp, x16
    005af388b.ls 0x5af400
    005af38cstr x30, [sp-128]!
    005af390stur x29, [sp-8]
    005af394sub x29, sp, 8
    005af398str x0, [sp+136]
    005af39cstr xzr, [sp+48]
    005af3a0stp xzr, xzr, [sp+56]
    005af3a4adrp x0, 0x46000
    005af3a8add x0, x0, 3072
    005af3acmov x1, xzr
    005af3b0movz x2, 1184
    005af3b4bl runtime.makeslice
    005af3b8str x0, [sp+72]
    005af3bcstr xzr, [sp+80]
    005af3c0movz x3, 1184
    005af3c4str x3, [sp+88]
    005af3c8ldr x4, [sp+136]
    005af3ccmov x1, x0
    005af3d0mov x2, xzr
    005af3d4mov x0, x4
    005af3d8bl crypto/internal/fips140/mlkem.(*EncapsulationKey768).bytes
    005af3dcstr x0, [sp+96]
    005af3e0str x1, [sp+104]
    005af3e4str x2, [sp+112]
    005af3e8str x0, [sp+48]
    005af3ecstr x1, [sp+56]
    005af3f0str x2, [sp+64]
    005af3f4ldur x29, [sp-8]
    005af3f8ldr x30, [sp], 128
    005af3fcret x30
    005af400
    005af400loc_5af400:
    005af400str x0, [sp+8]
    005af404mov x3, x30
    005af408bl runtime.morestack_noctxt.abi0
    005af40cldr x0, [sp+8]
    005af410b 0x5af380
    005af414udf 0
    005af418udf 0
    005af41cudf 0
    005af380
    005af420
    005af420crypto/internal/fips140/mlkem.(*EncapsulationKey768).bytes: ; void crypto/internal/fips140/mlkem.(*EncapsulationKey768).bytes(crypto/internal/fips140/mlkem.EncapsulationKey768 * ek, struct []uint8 b)
    005af420ldr x16, [x28+16]
    005af424sub x17, sp, 1072
    005af428subs xzr, x17, x16
    005af42cb.ls 0x5af5f0
    005af430sub x20, sp, 1200
    005af434stp x29, x30, [x20-8]
    005af438add sp, x20, 0
    005af43csub x29, sp, 8
    005af440str x0, [sp+1208]
    005af444str x1, [sp+1216]
    005af448str x2, [sp+1224]
    005af44cstr x3, [sp+1232]
    005af450str xzr, [sp+1112]
    005af454add x27, sp, 1120
    005af458stp xzr, xzr, [x27]
    005af45cstr xzr, [sp+1096]
    005af460orr x1, xzr, 3
    005af464str x1, [sp+1088]
    005af468b 0x5af46c
    005af46c
    005af46cloc_5af46c:
    005af46cldr x5, [sp+1088]
    005af470ldr x6, [sp+1096]
    005af474subs xzr, x5, x6
    005af478b.gt 0x5af480
    005af47cb 0x5af514
    005af480
    005af480loc_5af480:
    005af480ldr x0, [sp+1096]
    005af484str x0, [sp+1072]
    005af488ldr x4, [sp+1208]
    005af48cldrsb x27, [x4]
    005af490add x4, x4, 64
    005af494subs xzr, x0, 3
    005af498b.lo 0x5af4a0
    005af49cb 0x5af5e8
    005af4a0
    005af4a0loc_5af4a0:
    005af4a0add x20, x4, x0, lsl #9
    005af4a4add x21, sp, 560
    005af4a8adr x27, 16
    005af4acstp x29, x27, [sp-24]
    005af4b0sub x29, sp, 24
    005af4b4bl fn_87e20
    005af4b8sub x29, sp, 8
    005af4bcldr x1, [sp+1216]
    005af4c0ldr x2, [sp+1224]
    005af4c4ldr x3, [sp+1232]
    005af4c8add x21, sp, 8
    005af4ccadd x20, sp, 560
    005af4d0adr x27, 16
    005af4d4stp x29, x27, [sp-24]
    005af4d8sub x29, sp, 24
    005af4dcbl fn_87e20
    005af4e0sub x29, sp, 8
    005af4e4adrp x0, 0x161000
    005af4e8add x0, x0, 3792
    005af4ecbl crypto/internal/fips140/mlkem.polyByteEncode[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]
    005af4f0str x0, [sp+1216]
    005af4f4str x1, [sp+1224]
    005af4f8str x2, [sp+1232]
    005af4fcb 0x5af500
    005af500
    005af500loc_5af500:
    005af500ldr x5, [sp+1096]
    005af504add x5, x5, 1
    005af508str x5, [sp+1096]
    005af50corr x1, xzr, 3
    005af510b 0x5af46c
    005af514
    005af514loc_5af514:
    005af514ldr x5, [sp+1208]
    005af518ldrsb x27, [x5]
    005af51cldrsb x27, [x5]
    005af520b 0x5af524
    005af524
    005af524loc_5af524:
    005af524str x5, [sp+1160]
    005af528orr x5, xzr, 32
    005af52cstr x5, [sp+1168]
    005af530str x5, [sp+1176]
    005af534ldr x2, [sp+1232]
    005af538ldr x0, [sp+1216]
    005af53cldr x5, [sp+1224]
    005af540str x0, [sp+1136]
    005af544str x5, [sp+1144]
    005af548str x2, [sp+1152]
    005af54cldr x6, [sp+1168]
    005af550add x1, x5, x6
    005af554str x1, [sp+1080]
    005af558subs xzr, x2, x1
    005af55cb.hs 0x5af564
    005af560b 0x5af56c
    005af564
    005af564loc_5af564:
    005af564str x1, [sp+1144]
    005af568b 0x5af58c
    005af56c
    005af56cloc_5af56c:
    005af56cldr x3, [sp+1168]
    005af570adrp x4, 0x46000
    005af574add x4, x4, 3072
    005af578bl runtime.growslice
    005af57cstr x0, [sp+1136]
    005af580str x1, [sp+1144]
    005af584str x2, [sp+1152]
    005af588b 0x5af58c
    005af58c
    005af58cloc_5af58c:
    005af58cldr x3, [sp+1168]
    005af590str x3, [sp+1104]
    005af594ldr x3, [sp+1080]
    005af598ldr x4, [sp+1168]
    005af59csub x3, x3, x4
    005af5a0ldr x4, [sp+1136]
    005af5a4add x0, x4, x3
    005af5a8str x0, [sp+1184]
    005af5acldr x2, [sp+1104]
    005af5b0ldr x1, [sp+1160]
    005af5b4bl runtime.memmove
    005af5b8ldr x0, [sp+1136]
    005af5bcldr x1, [sp+1144]
    005af5c0ldr x2, [sp+1152]
    005af5c4str x0, [sp+1216]
    005af5c8str x1, [sp+1224]
    005af5ccstr x2, [sp+1232]
    005af5d0str x0, [sp+1112]
    005af5d4str x1, [sp+1120]
    005af5d8str x2, [sp+1128]
    005af5dcldp x29, x30, [sp-8]
    005af5e0add sp, sp, 1200
    005af5e4ret x30
    005af5e8
    005af5e8loc_5af5e8:
    005af5e8bl runtime.panicIndex
    005af5echint
    005af5f0
    005af5f0loc_5af5f0:
    005af5f0stp x0, x1, [sp+8]
    005af5f4stp x2, x3, [sp+24]
    005af5f8mov x3, x30
    005af5fcbl runtime.morestack_noctxt.abi0
    005af600ldp x0, x1, [sp+8]
    005af604ldp x2, x3, [sp+24]
    005af608b 0x5af420
    005af60cudf 0
    005af420
    005af610
    005af610crypto/internal/fips140/mlkem.NewDecapsulationKey768: ; void crypto/internal/fips140/mlkem.NewDecapsulationKey768(struct []uint8 seed)
    005af610ldr x16, [x28+16]
    005af614sub x17, sp, 16
    005af618subs xzr, x17, x16
    005af61cb.ls 0x5af6d8
    005af620str x30, [sp-144]!
    005af624stur x29, [sp-8]
    005af628sub x29, sp, 8
    005af62cstr x0, [sp+152]
    005af630str x1, [sp+160]
    005af634str x2, [sp+168]
    005af638str xzr, [sp+64]
    005af63cstp xzr, xzr, [sp+48]
    005af640adrp x0, 0xd0000
    005af644add x0, x0, 1312
    005af648bl runtime.newobject
    005af64cmovz x1, 7792
    005af650add x1, x0, x1
    005af654str x0, [sp+80]
    005af658mov x16, x0
    005af65c
    005af65cloc_5af65c:
    005af65cstp xzr, xzr, [x16], 16
    005af660subs xzr, x16, x1
    005af664b.le 0x5af65c
    005af668ldr x1, [sp+80]
    005af66cstr x1, [sp+72]
    005af670str xzr, [sp+104]
    005af674stp xzr, xzr, [sp+88]
    005af678ldr x1, [sp+152]
    005af67cldr x2, [sp+160]
    005af680ldr x3, [sp+168]
    005af684ldr x0, [sp+72]
    005af688bl crypto/internal/fips140/mlkem.newKeyFromSeed
    005af68cstr x0, [sp+104]
    005af690str x1, [sp+88]
    005af694str x2, [sp+96]
    005af698ldr x1, [sp+104]
    005af69cstr x1, [sp+128]
    005af6a0ldr x1, [sp+88]
    005af6a4ldr x2, [sp+96]
    005af6a8str x1, [sp+112]
    005af6acstr x2, [sp+120]
    005af6b0ldr x1, [sp+128]
    005af6b4str x1, [sp+64]
    005af6b8ldr x1, [sp+112]
    005af6bcldr x2, [sp+120]
    005af6c0str x1, [sp+48]
    005af6c4str x2, [sp+56]
    005af6c8ldr x0, [sp+64]
    005af6ccldur x29, [sp-8]
    005af6d0ldr x30, [sp], 144
    005af6d4ret x30
    005af6d8
    005af6d8loc_5af6d8:
    005af6d8stp x0, x1, [sp+8]
    005af6dcstr x2, [sp+24]
    005af6e0mov x3, x30
    005af6e4bl runtime.morestack_noctxt.abi0
    005af6e8ldp x0, x1, [sp+8]
    005af6ecldr x2, [sp+24]
    005af6f0b 0x5af610
    005af6f4udf 0
    005af6f8udf 0
    005af6fcudf 0
    005af610
    005af700
    005af700crypto/internal/fips140/mlkem.newKeyFromSeed: ; void crypto/internal/fips140/mlkem.newKeyFromSeed(crypto/internal/fips140/mlkem.DecapsulationKey768 * dk, struct []uint8 seed)
    005af700ldr x16, [x28+16]
    005af704sub x17, sp, 64
    005af708subs xzr, x17, x16
    005af70cb.ls 0x5af8f8
    005af710str x30, [sp-192]!
    005af714stur x29, [sp-8]
    005af718sub x29, sp, 8
    005af71cstr x0, [sp+200]
    005af720str x1, [sp+208]
    005af724str x2, [sp+216]
    005af728str x3, [sp+224]
    005af72cstr xzr, [sp+56]
    005af730stp xzr, xzr, [sp+40]
    005af734ldr x4, [sp+216]
    005af738str x4, [sp+32]
    005af73csubs xzr, x4, 64
    005af740b.ne 0x5af748
    005af744b 0x5af784
    005af748
    005af748loc_5af748:
    005af748adrp x0, 0x10b000
    005af74cadd x0, x0, 2385
    005af750movz x1, 26
    005af754bl errors.New
    005af758str x0, [sp+120]
    005af75cstr x1, [sp+128]
    005af760str xzr, [sp+56]
    005af764ldr x1, [sp+120]
    005af768ldr x2, [sp+128]
    005af76cstr x1, [sp+40]
    005af770str x2, [sp+48]
    005af774ldr x0, [sp+56]
    005af778ldur x29, [sp-8]
    005af77cldr x30, [sp], 192
    005af780ret x30
    005af784
    005af784loc_5af784:
    005af784ldr x2, [sp+224]
    005af788ldr x4, [sp+208]
    005af78csubs xzr, x2, 32
    005af790b.hs 0x5af798
    005af794b 0x5af8ec
    005af798
    005af798loc_5af798:
    005af798b 0x5af79c
    005af79c
    005af79cloc_5af79c:
    005af79cstr x4, [sp+96]
    005af7a0orr x0, xzr, 32
    005af7a4str x0, [sp+104]
    005af7a8str x2, [sp+112]
    005af7acb 0x5af7b0
    005af7b0
    005af7b0loc_5af7b0:
    005af7b0str x4, [sp+88]
    005af7b4ldr x1, [sp+216]
    005af7b8ldr x4, [sp+208]
    005af7bcldr x5, [sp+224]
    005af7c0b 0x5af7c4
    005af7c4
    005af7c4loc_5af7c4:
    005af7c4subs xzr, x1, 32
    005af7c8b.hs 0x5af7d0
    005af7ccb 0x5af8e8
    005af7d0
    005af7d0loc_5af7d0:
    005af7d0sub x3, x1, 32
    005af7d4sub x5, x5, 32
    005af7d8sub x6, xzr, x5
    005af7dcsbfm x6, x6, 63, 63
    005af7e0and x6, x6, 32
    005af7e4add x2, x4, x6
    005af7e8str x2, [sp+96]
    005af7ecstr x3, [sp+104]
    005af7f0str x5, [sp+112]
    005af7f4subs xzr, x3, 32
    005af7f8b.hs 0x5af800
    005af7fcb 0x5af8e0
    005af800
    005af800loc_5af800:
    005af800str x2, [sp+64]
    005af804ldr x1, [sp+88]
    005af808ldr x0, [sp+200]
    005af80cbl crypto/internal/fips140/mlkem.kemKeyGen
    005af810stp xzr, xzr, [sp+168]
    005af814add x2, sp, 168
    005af818str x2, [sp+160]
    005af81cldrsb x27, [x2]
    005af820adrp x3, 0
    005af824add x3, x3, 2336
    005af828str x3, [x2]
    005af82cldrsb x27, [x2]
    005af830ldr x3, [sp+200]
    005af834adrp x27, 0x49c000
    005af838ldr w4, [x27+3056]
    005af83ccbz w4, 0x5af844
    005af840b 0x5af848
    005af844
    005af844loc_5af844:
    005af844b 0x5af85c
    005af848
    005af848loc_5af848:
    005af848bl runtime.gcWriteBarrier2
    005af84cstr x3, [x25]
    005af850ldr x4, [x2+8]
    005af854str x4, [x25+8]
    005af858b 0x5af85c
    005af85c
    005af85cloc_5af85c:
    005af85cstr x3, [x2+8]
    005af860adrp x0, 0x103000
    005af864add x0, x0, 1514
    005af868movz x1, 10
    005af86cbl crypto/internal/fips140.PCT
    005af870str x0, [sp+72]
    005af874str x1, [sp+80]
    005af878cbnz x0, 0x5af8a8
    005af87cb 0x5af880
    005af880
    005af880loc_5af880:
    005af880bl crypto/internal/fips140.RecordApproved
    005af884ldr x0, [sp+200]
    005af888str x0, [sp+56]
    005af88cstp xzr, xzr, [sp+40]
    005af890ldr x0, [sp+56]
    005af894mov x1, xzr
    005af898mov x2, xzr
    005af89cldur x29, [sp-8]
    005af8a0ldr x30, [sp], 192
    005af8a4ret x30
    005af8a8
    005af8a8loc_5af8a8:
    005af8a8str x0, [sp+144]
    005af8acstr x1, [sp+152]
    005af8b0str x0, [sp+136]
    005af8b4ldr x2, [sp+136]
    005af8b8cbnz x2, 0x5af8c0
    005af8bcb 0x5af8dc
    005af8c0
    005af8c0loc_5af8c0:
    005af8c0ldr x2, [sp+136]
    005af8c4ldr x2, [x2+8]
    005af8c8str x2, [sp+136]
    005af8ccb 0x5af8d0
    005af8d0
    005af8d0loc_5af8d0:
    005af8d0ldr x1, [sp+152]
    005af8d4ldr x0, [sp+136]
    005af8d8bl runtime.gopanic
    005af8dc
    005af8dcloc_5af8dc:
    005af8dcb 0x5af8d0
    005af8e0
    005af8e0loc_5af8e0:
    005af8e0mov x2, x0
    005af8e4bl runtime.panicSliceConvert
    005af8e8
    005af8e8loc_5af8e8:
    005af8e8bl runtime.panicSliceB
    005af8ec
    005af8ecloc_5af8ec:
    005af8ecorr x1, xzr, 32
    005af8f0bl runtime.panicSliceAcap
    005af8f4hint
    005af8f8
    005af8f8loc_5af8f8:
    005af8f8stp x0, x1, [sp+8]
    005af8fcstp x2, x3, [sp+24]
    005af900mov x3, x30
    005af904bl runtime.morestack_noctxt.abi0
    005af908ldp x0, x1, [sp+8]
    005af90cldp x2, x3, [sp+24]
    005af910b 0x5af700
    005af914udf 0
    005af918udf 0
    005af91cudf 0
    005af700
    005af920
    005af920crypto/internal/fips140/mlkem.newKeyFromSeed.func1: ; void crypto/internal/fips140/mlkem.newKeyFromSeed.func1(void)
    005af920ldr x16, [x28+16]
    005af924subs xzr, sp, x16
    005af928b.ls 0x5af968
    005af92cstr x30, [sp-64]!
    005af930stur x29, [sp-8]
    005af934sub x29, sp, 8
    005af938ldr x1, [x26+8]
    005af93cstr x1, [sp+32]
    005af940stp xzr, xzr, [sp+16]
    005af944ldr x0, [sp+32]
    005af948bl crypto/internal/fips140/mlkem.kemPCT
    005af94cstr x0, [sp+40]
    005af950str x1, [sp+48]
    005af954str x0, [sp+16]
    005af958str x1, [sp+24]
    005af95cldur x29, [sp-8]
    005af960ldr x30, [sp], 64
    005af964ret x30
    005af968
    005af968loc_5af968:
    005af968mov x3, x30
    005af96cbl runtime.morestack.abi0
    005af970b 0x5af920
    005af974udf 0
    005af978udf 0
    005af97cudf 0
    005af920
    005af980
    005af980crypto/internal/fips140/mlkem.kemKeyGen: ; void crypto/internal/fips140/mlkem.kemKeyGen(crypto/internal/fips140/mlkem.DecapsulationKey768 * dk, uint8[32] * d, uint8[32] * z)
    005af980ldr x16, [x28+16]
    005af984movz x27, 6464
    005af988subs x17, sp, x27
    005af98cb.lo 0x5b0220
    005af990subs xzr, x17, x16
    005af994b.ls 0x5b0220
    005af998movz x27, 6592
    005af99csub x20, sp, x27
    005af9a0stp x29, x30, [x20-8]
    005af9a4add sp, x20, 0
    005af9a8sub x29, sp, 8
    005af9acstr x0, [sp+6600]
    005af9b0str x1, [sp+6608]
    005af9b4str x2, [sp+6616]
    005af9b8ldrsb x27, [x0]
    005af9bcldrsb x27, [x1]
    005af9c0ldp x2, x3, [x1]
    005af9c4ldp x1, x4, [x1+16]
    005af9c8stp x2, x3, [x0]
    005af9ccstp x1, x4, [x0+16]
    005af9d0ldr x0, [sp+6600]
    005af9d4ldrsb x27, [x0]
    005af9d8ldr x1, [sp+6616]
    005af9dcldrsb x27, [x1]
    005af9e0ldp x2, x3, [x1]
    005af9e4ldp x1, x4, [x1+16]
    005af9e8stp x2, x3, [x0+32]
    005af9ecstp x1, x4, [x0+48]
    005af9f0bl crypto/internal/fips140/sha3.New512
    005af9f4str x0, [sp+6400]
    005af9f8ldr x1, [sp+6608]
    005af9fcldrsb x27, [x1]
    005afa00b 0x5afa04
    005afa04
    005afa04loc_5afa04:
    005afa04str x1, [sp+6560]
    005afa08orr x3, xzr, 32
    005afa0cstr x3, [sp+6568]
    005afa10str x3, [sp+6576]
    005afa14ldr x0, [sp+6400]
    005afa18mov x2, x3
    005afa1cbl crypto/internal/fips140/sha3.(*Digest).Write
    005afa20strb wzr, [sp+1631]
    005afa24add x4, sp, 1631
    005afa28str x4, [sp+6496]
    005afa2cldrsb x27, [x4]
    005afa30orr x5, xzr, 3
    005afa34strb w5, [x4]
    005afa38ldr x1, [sp+6496]
    005afa3cldrsb x27, [x1]
    005afa40b 0x5afa44
    005afa44
    005afa44loc_5afa44:
    005afa44str x1, [sp+6504]
    005afa48orr x3, xzr, 1
    005afa4cstr x3, [sp+6512]
    005afa50str x3, [sp+6520]
    005afa54ldr x0, [sp+6400]
    005afa58mov x2, x3
    005afa5cbl crypto/internal/fips140/sha3.(*Digest).Write
    005afa60b 0x5afa64
    005afa64
    005afa64loc_5afa64:
    005afa64add x27, sp, 1567
    005afa68stp xzr, xzr, [x27]
    005afa6cadd x27, sp, 1583
    005afa70stp xzr, xzr, [x27]
    005afa74add x27, sp, 1599
    005afa78stp xzr, xzr, [x27]
    005afa7cadd x27, sp, 1615
    005afa80stp xzr, xzr, [x27]
    005afa84add x1, sp, 1567
    005afa88ldrsb x27, [x1]
    005afa8cb 0x5afa90
    005afa90
    005afa90loc_5afa90:
    005afa90b 0x5afa94
    005afa94
    005afa94loc_5afa94:
    005afa94str x1, [sp+6560]
    005afa98str xzr, [sp+6568]
    005afa9corr x3, xzr, 64
    005afaa0str x3, [sp+6576]
    005afaa4ldr x0, [sp+6400]
    005afaa8mov x2, xzr
    005afaacbl crypto/internal/fips140/sha3.(*Digest).Sum
    005afab0str x0, [sp+6464]
    005afab4str x1, [sp+6472]
    005afab8str x2, [sp+6480]
    005afabcsubs xzr, x2, 32
    005afac0b.hs 0x5afac8
    005afac4b 0x5b0214
    005afac8
    005afac8loc_5afac8:
    005afac8b 0x5afacc
    005afacc
    005afaccloc_5afacc:
    005afaccstr x0, [sp+6560]
    005afad0orr x0, xzr, 32
    005afad4str x0, [sp+6568]
    005afad8str x2, [sp+6576]
    005afadcldr x1, [sp+6472]
    005afae0ldr x5, [sp+6464]
    005afae4ldr x6, [sp+6480]
    005afae8b 0x5afaec
    005afaec
    005afaecloc_5afaec:
    005afaecsubs xzr, x1, 32
    005afaf0b.hs 0x5afaf8
    005afaf4b 0x5b0210
    005afaf8
    005afaf8loc_5afaf8:
    005afaf8sub x6, x6, 32
    005afafcsub x7, xzr, x6
    005afb00sub x8, x1, 32
    005afb04sbfm x7, x7, 63, 63
    005afb08and x7, x7, 32
    005afb0cadd x5, x5, x7
    005afb10str x5, [sp+6536]
    005afb14str x8, [sp+6544]
    005afb18str x6, [sp+6552]
    005afb1cldr x5, [sp+6560]
    005afb20ldr x6, [sp+6568]
    005afb24ldr x7, [sp+6576]
    005afb28str x5, [sp+6360]
    005afb2cstr x6, [sp+6368]
    005afb30str x7, [sp+6376]
    005afb34ldr x5, [sp+6536]
    005afb38ldr x6, [sp+6544]
    005afb3cldr x7, [sp+6552]
    005afb40str x5, [sp+6336]
    005afb44str x6, [sp+6344]
    005afb48str x7, [sp+6352]
    005afb4cldr x5, [sp+6360]
    005afb50ldr x3, [sp+6368]
    005afb54subs xzr, x3, 32
    005afb58b.hs 0x5afb60
    005afb5cb 0x5b0208
    005afb60
    005afb60loc_5afb60:
    005afb60ldr x6, [sp+6600]
    005afb64ldrsb x27, [x6]
    005afb68ldp x7, x8, [x5]
    005afb6cldp x5, x9, [x5+16]
    005afb70stp x7, x8, [x6+64]
    005afb74stp x5, x9, [x6+80]
    005afb78ldr x5, [sp+6600]
    005afb7cldrsb x27, [x5]
    005afb80add x5, x5, 1664
    005afb84str x5, [sp+6488]
    005afb88strb wzr, [sp+1564]
    005afb8cb 0x5afb90
    005afb90
    005afb90loc_5afb90:
    005afb90ldrb w5, [sp+1564]
    005afb94subs wzr, w5, 3
    005afb98b.lo 0x5afba0
    005afb9cb 0x5afba8
    005afba0
    005afba0loc_5afba0:
    005afba0strb wzr, [sp+1563]
    005afba4b 0x5b013c
    005afba8
    005afba8loc_5afba8:
    005afba8strb wzr, [sp+1565]
    005afbacldr x4, [sp+6600]
    005afbb0ldrsb x27, [x4]
    005afbb4movz x5, 6272
    005afbb8add x4, x4, x5
    005afbbcstr x4, [sp+6392]
    005afbc0str xzr, [sp+6328]
    005afbc4orr x1, xzr, 3
    005afbc8str x1, [sp+6320]
    005afbccb 0x5afbd0
    005afbd0
    005afbd0loc_5afbd0:
    005afbd0ldr x4, [sp+6320]
    005afbd4ldr x5, [sp+6328]
    005afbd8subs xzr, x4, x5
    005afbdcb.gt 0x5afbe4
    005afbe0b 0x5afcc4
    005afbe4
    005afbe4loc_5afbe4:
    005afbe4ldr x4, [sp+6328]
    005afbe8str x4, [sp+6264]
    005afbecldrb w3, [sp+1565]
    005afbf0ldr x0, [sp+6336]
    005afbf4ldr x1, [sp+6344]
    005afbf8ldr x2, [sp+6352]
    005afbfcbl crypto/internal/fips140/mlkem.samplePolyCBD
    005afc00add x21, sp, 4096
    005afc04add x21, x21, 1120
    005afc08add x20, sp, 8
    005afc0cadr x27, 16
    005afc10stp x29, x27, [sp-24]
    005afc14sub x29, sp, 24
    005afc18bl fn_87e20
    005afc1csub x29, sp, 8
    005afc20add x21, sp, 8
    005afc24add x20, sp, 4096
    005afc28add x20, x20, 1120
    005afc2cadr x27, 16
    005afc30stp x29, x27, [sp-24]
    005afc34sub x29, sp, 24
    005afc38bl fn_87e20
    005afc3csub x29, sp, 8
    005afc40bl crypto/internal/fips140/mlkem.ntt
    005afc44add x21, sp, 4096
    005afc48add x21, x21, 1632
    005afc4cadd x20, sp, 520
    005afc50adr x27, 16
    005afc54stp x29, x27, [sp-24]
    005afc58sub x29, sp, 24
    005afc5cbl fn_87e20
    005afc60sub x29, sp, 8
    005afc64ldr x0, [sp+6264]
    005afc68ldr x4, [sp+6392]
    005afc6cldrsb x27, [x4]
    005afc70subs xzr, x0, 3
    005afc74b.lo 0x5afc7c
    005afc78b 0x5b0134
    005afc7c
    005afc7cloc_5afc7c:
    005afc7cadd x21, x4, x0, lsl #9
    005afc80add x20, sp, 4096
    005afc84add x20, x20, 1632
    005afc88adr x27, 16
    005afc8cstp x29, x27, [sp-24]
    005afc90sub x29, sp, 24
    005afc94bl fn_87e20
    005afc98sub x29, sp, 8
    005afc9cldrb w4, [sp+1565]
    005afca0add x4, x4, 1
    005afca4strb w4, [sp+1565]
    005afca8b 0x5afcac
    005afcac
    005afcacloc_5afcac:
    005afcacldr x4, [sp+6328]
    005afcb0add x4, x4, 1
    005afcb4str x4, [sp+6328]
    005afcb8orr x0, xzr, 32
    005afcbcorr x1, xzr, 3
    005afcc0b 0x5afbd0
    005afcc4
    005afcc4loc_5afcc4:
    005afcc4b 0x5afcc8
    005afcc8
    005afcc8loc_5afcc8:
    005afcc8add x16, sp, 3168
    005afcccadd x4, sp, 4096
    005afcd0add x4, x4, 592
    005afcd4
    005afcd4loc_5afcd4:
    005afcd4stp xzr, xzr, [x16], 16
    005afcd8subs xzr, x16, x4
    005afcdcb.le 0x5afcd4
    005afce0add x4, sp, 3168
    005afce4ldrsb x27, [x4]
    005afce8b 0x5afcec
    005afcec
    005afcecloc_5afcec:
    005afcecstr x4, [sp+6432]
    005afcf0str x1, [sp+6440]
    005afcf4str x1, [sp+6448]
    005afcf8str xzr, [sp+6312]
    005afcfcstr x1, [sp+6304]
    005afd00b 0x5afd04
    005afd04
    005afd04loc_5afd04:
    005afd04ldr x4, [sp+6304]
    005afd08ldr x5, [sp+6312]
    005afd0csubs xzr, x4, x5
    005afd10b.gt 0x5afd18
    005afd14b 0x5afdf8
    005afd18
    005afd18loc_5afd18:
    005afd18ldr x4, [sp+6312]
    005afd1cstr x4, [sp+6256]
    005afd20ldrb w3, [sp+1565]
    005afd24ldr x0, [sp+6336]
    005afd28ldr x1, [sp+6344]
    005afd2cldr x2, [sp+6352]
    005afd30bl crypto/internal/fips140/mlkem.samplePolyCBD
    005afd34add x21, sp, 4096
    005afd38add x21, x21, 1120
    005afd3cadd x20, sp, 8
    005afd40adr x27, 16
    005afd44stp x29, x27, [sp-24]
    005afd48sub x29, sp, 24
    005afd4cbl fn_87e20
    005afd50sub x29, sp, 8
    005afd54add x21, sp, 8
    005afd58add x20, sp, 4096
    005afd5cadd x20, x20, 1120
    005afd60adr x27, 16
    005afd64stp x29, x27, [sp-24]
    005afd68sub x29, sp, 24
    005afd6cbl fn_87e20
    005afd70sub x29, sp, 8
    005afd74bl crypto/internal/fips140/mlkem.ntt
    005afd78add x21, sp, 4096
    005afd7cadd x21, x21, 1632
    005afd80add x20, sp, 520
    005afd84adr x27, 16
    005afd88stp x29, x27, [sp-24]
    005afd8csub x29, sp, 24
    005afd90bl fn_87e20
    005afd94sub x29, sp, 8
    005afd98ldr x0, [sp+6256]
    005afd9cldr x1, [sp+6440]
    005afda0ldr x4, [sp+6432]
    005afda4subs xzr, x0, x1
    005afda8b.lo 0x5afdb0
    005afdacb 0x5b0130
    005afdb0
    005afdb0loc_5afdb0:
    005afdb0add x21, x4, x0, lsl #9
    005afdb4add x20, sp, 4096
    005afdb8add x20, x20, 1632
    005afdbcadr x27, 16
    005afdc0stp x29, x27, [sp-24]
    005afdc4sub x29, sp, 24
    005afdc8bl fn_87e20
    005afdccsub x29, sp, 8
    005afdd0ldrb w4, [sp+1565]
    005afdd4add x4, x4, 1
    005afdd8strb w4, [sp+1565]
    005afddcb 0x5afde0
    005afde0
    005afde0loc_5afde0:
    005afde0ldr x4, [sp+6312]
    005afde4add x4, x4, 1
    005afde8str x4, [sp+6312]
    005afdecorr x0, xzr, 32
    005afdf0orr x1, xzr, 3
    005afdf4b 0x5afd04
    005afdf8
    005afdf8loc_5afdf8:
    005afdf8ldr x2, [sp+6600]
    005afdfcldrsb x27, [x2]
    005afe00add x2, x2, 128
    005afe04str x2, [sp+6384]
    005afe08str xzr, [sp+6296]
    005afe0cstr x1, [sp+6288]
    005afe10b 0x5afe14
    005afe14
    005afe14loc_5afe14:
    005afe14ldr x2, [sp+6288]
    005afe18ldr x3, [sp+6296]
    005afe1csubs xzr, x2, x3
    005afe20b.gt 0x5afe28
    005afe24b 0x5afe80
    005afe28
    005afe28loc_5afe28:
    005afe28ldr x2, [sp+6296]
    005afe2cstr x2, [sp+6248]
    005afe30ldr x3, [sp+6440]
    005afe34ldr x4, [sp+6432]
    005afe38subs xzr, x3, x2
    005afe3cb.hi 0x5afe44
    005afe40b 0x5b0124
    005afe44
    005afe44loc_5afe44:
    005afe44ldr x3, [sp+6384]
    005afe48ldrsb x27, [x3]
    005afe4cadd x20, x4, x2, lsl #9
    005afe50subs xzr, x2, 3
    005afe54b.lo 0x5afe5c
    005afe58b 0x5b011c
    005afe5c
    005afe5cloc_5afe5c:
    005afe5cadd x21, x3, x2, lsl #9
    005afe60adr x27, 16
    005afe64stp x29, x27, [sp-24]
    005afe68sub x29, sp, 24
    005afe6cbl fn_87e20
    005afe70sub x29, sp, 8
    005afe74str xzr, [sp+6280]
    005afe78str x1, [sp+6272]
    005afe7cb 0x5aff0c
    005afe80
    005afe80loc_5afe80:
    005afe80bl crypto/internal/fips140/sha3.New256
    005afe84str x0, [sp+6456]
    005afe88ldr x0, [sp+6600]
    005afe8cbl crypto/internal/fips140/mlkem.(*DecapsulationKey768).EncapsulationKey
    005afe90str x0, [sp+6528]
    005afe94bl crypto/internal/fips140/mlkem.(*EncapsulationKey768).Bytes
    005afe98str x0, [sp+6408]
    005afe9cstr x1, [sp+6416]
    005afea0str x2, [sp+6424]
    005afea4ldr x3, [sp+6456]
    005afea8mov x4, x0
    005afeacmov x0, x3
    005afeb0mov x5, x1
    005afeb4mov x1, x4
    005afeb8mov x6, x2
    005afebcmov x2, x5
    005afec0mov x3, x6
    005afec4bl crypto/internal/fips140/sha3.(*Digest).Write
    005afec8ldr x0, [sp+6600]
    005afeccldrsb x27, [x0]
    005afed0add x1, x0, 96
    005afed4ldrsb x27, [x1]
    005afed8b 0x5afedc
    005afedc
    005afedcloc_5afedc:
    005afedcb 0x5afee0
    005afee0
    005afee0loc_5afee0:
    005afee0str x1, [sp+6536]
    005afee4str xzr, [sp+6544]
    005afee8orr x3, xzr, 32
    005afeecstr x3, [sp+6552]
    005afef0ldr x0, [sp+6456]
    005afef4mov x2, xzr
    005afef8bl crypto/internal/fips140/sha3.(*Digest).Sum
    005afefcldp x29, x30, [sp-8]
    005aff00movz x27, 6592
    005aff04add sp, sp, x27
    005aff08ret x30
    005aff0c
    005aff0cloc_5aff0c:
    005aff0cldr x2, [sp+6272]
    005aff10ldr x3, [sp+6280]
    005aff14subs xzr, x2, x3
    005aff18b.gt 0x5aff20
    005aff1cb 0x5b00e4
    005aff20
    005aff20loc_5aff20:
    005aff20ldr x2, [sp+6280]
    005aff24str x2, [sp+6240]
    005aff28ldr x3, [sp+6488]
    005aff2cldrsb x27, [x3]
    005aff30ldr x4, [sp+6248]
    005aff34add x4, x4, x4, lsl #1
    005aff38add x2, x4, x2
    005aff3csubs xzr, x2, 9
    005aff40b.lo 0x5aff48
    005aff44b 0x5b0110
    005aff48
    005aff48loc_5aff48:
    005aff48add x20, x3, x2, lsl #9
    005aff4cadd x21, sp, 2656
    005aff50adr x27, 16
    005aff54stp x29, x27, [sp-24]
    005aff58sub x29, sp, 24
    005aff5cbl fn_87e20
    005aff60sub x29, sp, 8
    005aff64ldr x2, [sp+6240]
    005aff68ldr x3, [sp+6392]
    005aff6cldrsb x27, [x3]
    005aff70subs xzr, x2, 3
    005aff74b.lo 0x5aff7c
    005aff78b 0x5b0108
    005aff7c
    005aff7cloc_5aff7c:
    005aff7cadd x20, x3, x2, lsl #9
    005aff80add x21, sp, 2144
    005aff84adr x27, 16
    005aff88stp x29, x27, [sp-24]
    005aff8csub x29, sp, 24
    005aff90bl fn_87e20
    005aff94sub x29, sp, 8
    005aff98add x21, sp, 8
    005aff9cadd x20, sp, 2656
    005affa0adr x27, 16
    005affa4stp x29, x27, [sp-24]
    005affa8sub x29, sp, 24
    005affacbl fn_87e20
    005affb0sub x29, sp, 8
    005affb4add x21, sp, 520
    005affb8add x20, sp, 2144
    005affbcadr x27, 16
    005affc0stp x29, x27, [sp-24]
    005affc4sub x29, sp, 24
    005affc8bl fn_87e20
    005affccsub x29, sp, 8
    005affd0bl crypto/internal/fips140/mlkem.nttMul
    005affd4add x21, sp, 4096
    005affd8add x21, x21, 1632
    005affdcadd x20, sp, 1032
    005affe0adr x27, 16
    005affe4stp x29, x27, [sp-24]
    005affe8sub x29, sp, 24
    005affecbl fn_87e20
    005afff0sub x29, sp, 8
    005afff4ldr x0, [sp+6248]
    005afff8ldr x1, [sp+6384]
    005afffcldrsb x27, [x1]
    005b0000subs xzr, x0, 3
    005b0004b.lo 0x5b000c
    005b0008b 0x5b0100
    005b000c
    005b000cloc_5b000c:
    005b000cadd x20, x1, x0, lsl #9
    005b0010add x21, sp, 1632
    005b0014adr x27, 16
    005b0018stp x29, x27, [sp-24]
    005b001csub x29, sp, 24
    005b0020bl fn_87e20
    005b0024sub x29, sp, 8
    005b0028add x21, sp, 8
    005b002cadd x20, sp, 1632
    005b0030adr x27, 16
    005b0034stp x29, x27, [sp-24]
    005b0038sub x29, sp, 24
    005b003cbl fn_87e20
    005b0040sub x29, sp, 8
    005b0044add x21, sp, 520
    005b0048add x20, sp, 4096
    005b004cadd x20, x20, 1632
    005b0050adr x27, 16
    005b0054stp x29, x27, [sp-24]
    005b0058sub x29, sp, 24
    005b005cbl fn_87e20
    005b0060sub x29, sp, 8
    005b0064adrp x0, 0x160000
    005b0068add x0, x0, 3768
    005b006cbl crypto/internal/fips140/mlkem.polyAdd[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]
    005b0070add x21, sp, 4096
    005b0074add x21, x21, 608
    005b0078add x20, sp, 1032
    005b007cadr x27, 16
    005b0080stp x29, x27, [sp-24]
    005b0084sub x29, sp, 24
    005b0088bl fn_87e20
    005b008csub x29, sp, 8
    005b0090ldr x0, [sp+6248]
    005b0094ldr x1, [sp+6384]
    005b0098ldrsb x27, [x1]
    005b009csubs xzr, x0, 3
    005b00a0b.lo 0x5b00a8
    005b00a4b 0x5b00f8
    005b00a8
    005b00a8loc_5b00a8:
    005b00a8add x21, x1, x0, lsl #9
    005b00acadd x20, sp, 4096
    005b00b0add x20, x20, 608
    005b00b4adr x27, 16
    005b00b8stp x29, x27, [sp-24]
    005b00bcsub x29, sp, 24
    005b00c0bl fn_87e20
    005b00c4sub x29, sp, 8
    005b00c8b 0x5b00cc
    005b00cc
    005b00ccloc_5b00cc:
    005b00ccldr x2, [sp+6280]
    005b00d0add x2, x2, 1
    005b00d4str x2, [sp+6280]
    005b00d8orr x0, xzr, 32
    005b00dcorr x1, xzr, 3
    005b00e0b 0x5aff0c
    005b00e4
    005b00e4loc_5b00e4:
    005b00e4b 0x5b00e8
    005b00e8
    005b00e8loc_5b00e8:
    005b00e8ldr x2, [sp+6296]
    005b00ecadd x2, x2, 1
    005b00f0str x2, [sp+6296]
    005b00f4b 0x5afe14
    005b00f8
    005b00f8loc_5b00f8:
    005b00f8orr x1, xzr, 3
    005b00fcbl runtime.panicIndex
    005b0100
    005b0100loc_5b0100:
    005b0100orr x1, xzr, 3
    005b0104bl runtime.panicIndex
    005b0108
    005b0108loc_5b0108:
    005b0108mov x0, x2
    005b010cbl runtime.panicIndex
    005b0110
    005b0110loc_5b0110:
    005b0110mov x0, x2
    005b0114movz x1, 9
    005b0118bl runtime.panicIndex
    005b011c
    005b011cloc_5b011c:
    005b011cmov x0, x2
    005b0120bl runtime.panicIndex
    005b0124
    005b0124loc_5b0124:
    005b0124mov x0, x2
    005b0128mov x1, x3
    005b012cbl runtime.panicIndex
    005b0130
    005b0130loc_5b0130:
    005b0130bl runtime.panicIndex
    005b0134
    005b0134loc_5b0134:
    005b0134orr x1, xzr, 3
    005b0138bl runtime.panicIndex
    005b013c
    005b013cloc_5b013c:
    005b013cldrb w5, [sp+1563]
    005b0140subs wzr, w5, 3
    005b0144b.lo 0x5b014c
    005b0148b 0x5b01ec
    005b014c
    005b014cloc_5b014c:
    005b014cldrb w4, [sp+1564]
    005b0150ldrb w3, [sp+1563]
    005b0154ldr x0, [sp+6360]
    005b0158ldr x1, [sp+6368]
    005b015cldr x2, [sp+6376]
    005b0160bl crypto/internal/fips140/mlkem.sampleNTT
    005b0164add x21, sp, 4096
    005b0168add x21, x21, 1632
    005b016cadd x20, sp, 8
    005b0170adr x27, 16
    005b0174stp x29, x27, [sp-24]
    005b0178sub x29, sp, 24
    005b017cbl fn_87e20
    005b0180sub x29, sp, 8
    005b0184ldrb w5, [sp+1564]
    005b0188add x5, x5, x5, lsl #1
    005b018cldrb w6, [sp+1563]
    005b0190add x5, x5, x6
    005b0194strb w5, [sp+1566]
    005b0198ldr x6, [sp+6488]
    005b019cldrsb x27, [x6]
    005b01a0ubfm x0, x5, 0, 7
    005b01a4subs xzr, x0, 9
    005b01a8b.lo 0x5b01b0
    005b01acb 0x5b0200
    005b01b0
    005b01b0loc_5b01b0:
    005b01b0ubfm x5, x5, 55, 7
    005b01b4add x21, x6, x5
    005b01b8add x20, sp, 4096
    005b01bcadd x20, x20, 1632
    005b01c0adr x27, 16
    005b01c4stp x29, x27, [sp-24]
    005b01c8sub x29, sp, 24
    005b01ccbl fn_87e20
    005b01d0sub x29, sp, 8
    005b01d4b 0x5b01d8
    005b01d8
    005b01d8loc_5b01d8:
    005b01d8ldrb w5, [sp+1563]
    005b01dcadd x5, x5, 1
    005b01e0strb w5, [sp+1563]
    005b01e4orr x0, xzr, 32
    005b01e8b 0x5b013c
    005b01ec
    005b01ecloc_5b01ec:
    005b01ecb 0x5b01f0
    005b01f0
    005b01f0loc_5b01f0:
    005b01f0ldrb w5, [sp+1564]
    005b01f4add x5, x5, 1
    005b01f8strb w5, [sp+1564]
    005b01fcb 0x5afb90
    005b0200
    005b0200loc_5b0200:
    005b0200movz x1, 9
    005b0204bl runtime.panicIndex
    005b0208
    005b0208loc_5b0208:
    005b0208mov x2, x0
    005b020cbl runtime.panicSliceConvert
    005b0210
    005b0210loc_5b0210:
    005b0210bl runtime.panicSliceB
    005b0214
    005b0214loc_5b0214:
    005b0214orr x1, xzr, 32
    005b0218bl runtime.panicSliceAcap
    005b021chint
    005b0220
    005b0220loc_5b0220:
    005b0220stp x0, x1, [sp+8]
    005b0224str x2, [sp+24]
    005b0228mov x3, x30
    005b022cbl runtime.morestack_noctxt.abi0
    005b0230ldp x0, x1, [sp+8]
    005b0234ldr x2, [sp+24]
    005b0238b 0x5af980
    005b023cudf 0
    005af980