File sliver_83cb34f62800fed14e14547c39337aab8e0427fe2c6310a3fb40ce0ac36168c9.elf
Function:
    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
    005b0240
    005b0240crypto/internal/fips140/mlkem.kemPCT: ; void crypto/internal/fips140/mlkem.kemPCT(crypto/internal/fips140/mlkem.DecapsulationKey768 * dk)
    005b0240ldr x16, [x28+16]
    005b0244sub x17, sp, 208
    005b0248subs xzr, x17, x16
    005b024cb.ls 0x5b0414
    005b0250sub x20, sp, 336
    005b0254stp x29, x30, [x20-8]
    005b0258add sp, x20, 0
    005b025csub x29, sp, 8
    005b0260str x0, [sp+344]
    005b0264stp xzr, xzr, [sp+64]
    005b0268ldr x0, [sp+344]
    005b026cbl crypto/internal/fips140/mlkem.(*DecapsulationKey768).EncapsulationKey
    005b0270str x0, [sp+96]
    005b0274str xzr, [sp+288]
    005b0278stp xzr, xzr, [sp+296]
    005b027cstr xzr, [sp+264]
    005b0280stp xzr, xzr, [sp+272]
    005b0284ldr x0, [sp+96]
    005b0288bl crypto/internal/fips140/mlkem.(*EncapsulationKey768).Encapsulate
    005b028cstr x0, [sp+288]
    005b0290str x1, [sp+296]
    005b0294str x2, [sp+304]
    005b0298str x3, [sp+264]
    005b029cstr x4, [sp+272]
    005b02a0str x5, [sp+280]
    005b02a4ldr x1, [sp+288]
    005b02a8ldr x2, [sp+296]
    005b02acldr x3, [sp+304]
    005b02b0str x1, [sp+224]
    005b02b4str x2, [sp+232]
    005b02b8str x3, [sp+240]
    005b02bcldr x1, [sp+264]
    005b02c0ldr x2, [sp+272]
    005b02c4ldr x3, [sp+280]
    005b02c8str x1, [sp+200]
    005b02ccstr x2, [sp+208]
    005b02d0str x3, [sp+216]
    005b02d4ldr x1, [sp+224]
    005b02d8ldr x2, [sp+232]
    005b02dcldr x3, [sp+240]
    005b02e0str x1, [sp+152]
    005b02e4str x2, [sp+160]
    005b02e8str x3, [sp+168]
    005b02ecldr x1, [sp+200]
    005b02f0ldr x2, [sp+208]
    005b02f4ldr x3, [sp+216]
    005b02f8str x1, [sp+104]
    005b02fcstr x2, [sp+112]
    005b0300str x3, [sp+120]
    005b0304str xzr, [sp+264]
    005b0308stp xzr, xzr, [sp+272]
    005b030cstp xzr, xzr, [sp+248]
    005b0310ldr x1, [sp+104]
    005b0314ldr x2, [sp+112]
    005b0318ldr x3, [sp+120]
    005b031cldr x0, [sp+344]
    005b0320bl crypto/internal/fips140/mlkem.(*DecapsulationKey768).Decapsulate
    005b0324str x0, [sp+264]
    005b0328str x1, [sp+272]
    005b032cstr x2, [sp+280]
    005b0330str x3, [sp+248]
    005b0334str x4, [sp+256]
    005b0338ldr x1, [sp+264]
    005b033cldr x2, [sp+272]
    005b0340ldr x3, [sp+280]
    005b0344str x1, [sp+176]
    005b0348str x2, [sp+184]
    005b034cstr x3, [sp+192]
    005b0350ldr x1, [sp+248]
    005b0354ldr x2, [sp+256]
    005b0358str x1, [sp+312]
    005b035cstr x2, [sp+320]
    005b0360ldr x1, [sp+176]
    005b0364ldr x2, [sp+184]
    005b0368ldr x3, [sp+192]
    005b036cstr x1, [sp+128]
    005b0370str x2, [sp+136]
    005b0374str x3, [sp+144]
    005b0378ldr x1, [sp+320]
    005b037cldr x0, [sp+312]
    005b0380str x0, [sp+80]
    005b0384str x1, [sp+88]
    005b0388cbnz x0, 0x5b0390
    005b038cb 0x5b03a4
    005b0390
    005b0390loc_5b0390:
    005b0390str x0, [sp+64]
    005b0394str x1, [sp+72]
    005b0398ldp x29, x30, [sp-8]
    005b039cadd sp, sp, 336
    005b03a0ret x30
    005b03a4
    005b03a4loc_5b03a4:
    005b03a4ldr x0, [sp+152]
    005b03a8ldr x3, [sp+128]
    005b03acldr x1, [sp+160]
    005b03b0ldr x4, [sp+136]
    005b03b4ldr x2, [sp+168]
    005b03b8ldr x5, [sp+144]
    005b03bcbl crypto/internal/fips140/subtle.ConstantTimeCompare
    005b03c0str x0, [sp+56]
    005b03c4subs xzr, x0, 1
    005b03c8b.ne 0x5b03d0
    005b03ccb 0x5b03fc
    005b03d0
    005b03d0loc_5b03d0:
    005b03d0adrp x0, 0x105000
    005b03d4add x0, x0, 1645
    005b03d8movz x1, 17
    005b03dcbl errors.New
    005b03e0str x0, [sp+248]
    005b03e4str x1, [sp+256]
    005b03e8str x0, [sp+64]
    005b03ecstr x1, [sp+72]
    005b03f0ldp x29, x30, [sp-8]
    005b03f4add sp, sp, 336
    005b03f8ret x30
    005b03fc
    005b03fcloc_5b03fc:
    005b03fcstp xzr, xzr, [sp+64]
    005b0400mov x0, xzr
    005b0404mov x1, xzr
    005b0408ldp x29, x30, [sp-8]
    005b040cadd sp, sp, 336
    005b0410ret x30
    005b0414
    005b0414loc_5b0414:
    005b0414str x0, [sp+8]
    005b0418mov x3, x30
    005b041cbl runtime.morestack_noctxt.abi0
    005b0420ldr x0, [sp+8]
    005b0424b 0x5b0240
    005b0428udf 0
    005b042cudf 0
    005b0240
    005b0430
    005b0430crypto/internal/fips140/mlkem.(*EncapsulationKey768).Encapsulate: ; void crypto/internal/fips140/mlkem.(*EncapsulationKey768).Encapsulate(crypto/internal/fips140/mlkem.EncapsulationKey768 * ek)
    005b0430ldr x16, [x28+16]
    005b0434sub x17, sp, 64
    005b0438subs xzr, x17, x16
    005b043cb.ls 0x5b0530
    005b0440str x30, [sp-192]!
    005b0444stur x29, [sp-8]
    005b0448sub x29, sp, 8
    005b044cstr x0, [sp+200]
    005b0450str xzr, [sp+32]
    005b0454stp xzr, xzr, [sp+40]
    005b0458str xzr, [sp+56]
    005b045cstp xzr, xzr, [sp+64]
    005b0460adrp x0, 0x56000
    005b0464add x0, x0, 384
    005b0468bl runtime.newobject
    005b046cstr x0, [sp+176]
    005b0470add x1, x0, 1072
    005b0474mov x16, x0
    005b0478
    005b0478loc_5b0478:
    005b0478stp xzr, xzr, [x16], 16
    005b047csubs xzr, x16, x1
    005b0480b.le 0x5b0478
    005b0484str xzr, [sp+104]
    005b0488stp xzr, xzr, [sp+112]
    005b048cstr xzr, [sp+80]
    005b0490stp xzr, xzr, [sp+88]
    005b0494ldr x0, [sp+200]
    005b0498ldr x1, [sp+176]
    005b049cbl crypto/internal/fips140/mlkem.(*EncapsulationKey768).encapsulate
    005b04a0str x0, [sp+104]
    005b04a4str x1, [sp+112]
    005b04a8str x2, [sp+120]
    005b04acstr x3, [sp+80]
    005b04b0str x4, [sp+88]
    005b04b4str x5, [sp+96]
    005b04b8ldr x1, [sp+104]
    005b04bcldr x2, [sp+112]
    005b04c0ldr x3, [sp+120]
    005b04c4str x1, [sp+152]
    005b04c8str x2, [sp+160]
    005b04ccstr x3, [sp+168]
    005b04d0ldr x1, [sp+80]
    005b04d4ldr x2, [sp+88]
    005b04d8ldr x3, [sp+96]
    005b04dcstr x1, [sp+128]
    005b04e0str x2, [sp+136]
    005b04e4str x3, [sp+144]
    005b04e8ldr x1, [sp+152]
    005b04ecldr x2, [sp+160]
    005b04f0ldr x3, [sp+168]
    005b04f4str x1, [sp+32]
    005b04f8str x2, [sp+40]
    005b04fcstr x3, [sp+48]
    005b0500ldr x3, [sp+128]
    005b0504ldr x4, [sp+136]
    005b0508ldr x5, [sp+144]
    005b050cstr x3, [sp+56]
    005b0510str x4, [sp+64]
    005b0514str x5, [sp+72]
    005b0518ldr x0, [sp+32]
    005b051cldr x1, [sp+40]
    005b0520ldr x2, [sp+48]
    005b0524ldur x29, [sp-8]
    005b0528ldr x30, [sp], 192
    005b052cret x30
    005b0530
    005b0530loc_5b0530:
    005b0530str x0, [sp+8]
    005b0534mov x3, x30
    005b0538bl runtime.morestack_noctxt.abi0
    005b053cldr x0, [sp+8]
    005b0540b 0x5b0430
    005b0544udf 0
    005b0548udf 0
    005b054cudf 0
    005b0430
    005b0550
    005b0550crypto/internal/fips140/mlkem.(*EncapsulationKey768).encapsulate: ; void crypto/internal/fips140/mlkem.(*EncapsulationKey768).encapsulate(crypto/internal/fips140/mlkem.EncapsulationKey768 * ek, uint8[1088] * cc)
    005b0550ldr x16, [x28+16]
    005b0554sub x17, sp, 64
    005b0558subs xzr, x17, x16
    005b055cb.ls 0x5b0674
    005b0560str x30, [sp-192]!
    005b0564stur x29, [sp-8]
    005b0568sub x29, sp, 8
    005b056cstr x0, [sp+200]
    005b0570str x1, [sp+208]
    005b0574str xzr, [sp+32]
    005b0578stp xzr, xzr, [sp+40]
    005b057cstr xzr, [sp+56]
    005b0580stp xzr, xzr, [sp+64]
    005b0584adrp x0, 0x4d000
    005b0588add x0, x0, 2240
    005b058cbl runtime.newobject
    005b0590str x0, [sp+176]
    005b0594stp xzr, xzr, [x0]
    005b0598stp xzr, xzr, [x0+16]
    005b059cldr x0, [sp+176]
    005b05a0ldrsb x27, [x0]
    005b05a4b 0x5b05a8
    005b05a8
    005b05a8loc_5b05a8:
    005b05a8str x0, [sp+104]
    005b05acorr x2, xzr, 32
    005b05b0str x2, [sp+112]
    005b05b4str x2, [sp+120]
    005b05b8mov x1, x2
    005b05bcbl crypto/internal/fips140/drbg.Read
    005b05c0bl crypto/internal/fips140.RecordApproved
    005b05c4str xzr, [sp+104]
    005b05c8stp xzr, xzr, [sp+112]
    005b05ccstr xzr, [sp+80]
    005b05d0stp xzr, xzr, [sp+88]
    005b05d4ldr x1, [sp+200]
    005b05d8ldr x0, [sp+208]
    005b05dcldr x2, [sp+176]
    005b05e0bl crypto/internal/fips140/mlkem.kemEncaps
    005b05e4str x0, [sp+104]
    005b05e8str x1, [sp+112]
    005b05ecstr x2, [sp+120]
    005b05f0str x3, [sp+80]
    005b05f4str x4, [sp+88]
    005b05f8str x5, [sp+96]
    005b05fcldr x3, [sp+104]
    005b0600ldr x4, [sp+112]
    005b0604ldr x5, [sp+120]
    005b0608str x3, [sp+152]
    005b060cstr x4, [sp+160]
    005b0610str x5, [sp+168]
    005b0614ldr x3, [sp+80]
    005b0618ldr x4, [sp+88]
    005b061cldr x5, [sp+96]
    005b0620str x3, [sp+128]
    005b0624str x4, [sp+136]
    005b0628str x5, [sp+144]
    005b062cldr x3, [sp+152]
    005b0630ldr x4, [sp+160]
    005b0634ldr x5, [sp+168]
    005b0638str x3, [sp+32]
    005b063cstr x4, [sp+40]
    005b0640str x5, [sp+48]
    005b0644ldr x3, [sp+128]
    005b0648ldr x4, [sp+136]
    005b064cldr x5, [sp+144]
    005b0650str x3, [sp+56]
    005b0654str x4, [sp+64]
    005b0658str x5, [sp+72]
    005b065cldr x0, [sp+32]
    005b0660ldr x1, [sp+40]
    005b0664ldr x2, [sp+48]
    005b0668ldur x29, [sp-8]
    005b066cldr x30, [sp], 192
    005b0670ret x30
    005b0674
    005b0674loc_5b0674:
    005b0674stp x0, x1, [sp+8]
    005b0678mov x3, x30
    005b067cbl runtime.morestack_noctxt.abi0
    005b0680ldp x0, x1, [sp+8]
    005b0684b 0x5b0550
    005b0688udf 0
    005b068cudf 0
    005b0550
    005b0690
    005b0690crypto/internal/fips140/mlkem.(*EncapsulationKey768).EncapsulateInternal: ; void crypto/internal/fips140/mlkem.(*EncapsulationKey768).EncapsulateInternal(crypto/internal/fips140/mlkem.EncapsulationKey768 * ek, uint8[32] * m)
    005b0690ldr x16, [x28+16]
    005b0694sub x17, sp, 80
    005b0698subs xzr, x17, x16
    005b069cb.ls 0x5b07a0
    005b06a0str x30, [sp-208]!
    005b06a4stur x29, [sp-8]
    005b06a8sub x29, sp, 8
    005b06acstr x0, [sp+216]
    005b06b0str x1, [sp+224]
    005b06b4str xzr, [sp+40]
    005b06b8stp xzr, xzr, [sp+48]
    005b06bcstr xzr, [sp+64]
    005b06c0stp xzr, xzr, [sp+72]
    005b06c4adrp x0, 0x56000
    005b06c8add x0, x0, 384
    005b06ccbl runtime.newobject
    005b06d0add x1, x0, 1072
    005b06d4str x0, [sp+96]
    005b06d8mov x16, x0
    005b06dc
    005b06dcloc_5b06dc:
    005b06dcstp xzr, xzr, [x16], 16
    005b06e0subs xzr, x16, x1
    005b06e4b.le 0x5b06dc
    005b06e8ldr x1, [sp+96]
    005b06ecstr x1, [sp+88]
    005b06f0str xzr, [sp+128]
    005b06f4stp xzr, xzr, [sp+136]
    005b06f8str xzr, [sp+104]
    005b06fcstp xzr, xzr, [sp+112]
    005b0700ldr x2, [sp+224]
    005b0704ldr x1, [sp+216]
    005b0708ldr x0, [sp+88]
    005b070cbl crypto/internal/fips140/mlkem.kemEncaps
    005b0710str x0, [sp+128]
    005b0714str x1, [sp+136]
    005b0718str x2, [sp+144]
    005b071cstr x3, [sp+104]
    005b0720str x4, [sp+112]
    005b0724str x5, [sp+120]
    005b0728ldr x1, [sp+128]
    005b072cldr x2, [sp+136]
    005b0730ldr x3, [sp+144]
    005b0734str x1, [sp+176]
    005b0738str x2, [sp+184]
    005b073cstr x3, [sp+192]
    005b0740ldr x1, [sp+104]
    005b0744ldr x2, [sp+112]
    005b0748ldr x3, [sp+120]
    005b074cstr x1, [sp+152]
    005b0750str x2, [sp+160]
    005b0754str x3, [sp+168]
    005b0758ldr x1, [sp+176]
    005b075cldr x2, [sp+184]
    005b0760ldr x3, [sp+192]
    005b0764str x1, [sp+40]
    005b0768str x2, [sp+48]
    005b076cstr x3, [sp+56]
    005b0770ldr x3, [sp+152]
    005b0774ldr x4, [sp+160]
    005b0778ldr x5, [sp+168]
    005b077cstr x3, [sp+64]
    005b0780str x4, [sp+72]
    005b0784str x5, [sp+80]
    005b0788ldr x0, [sp+40]
    005b078cldr x1, [sp+48]
    005b0790ldr x2, [sp+56]
    005b0794ldur x29, [sp-8]
    005b0798ldr x30, [sp], 208
    005b079cret x30
    005b07a0
    005b07a0loc_5b07a0:
    005b07a0stp x0, x1, [sp+8]
    005b07a4mov x3, x30
    005b07a8bl runtime.morestack_noctxt.abi0
    005b07acldp x0, x1, [sp+8]
    005b07b0b 0x5b0690
    005b07b4udf 0
    005b07b8udf 0
    005b07bcudf 0
    005b0690
    005b07c0
    005b07c0crypto/internal/fips140/mlkem.kemEncaps: ; void crypto/internal/fips140/mlkem.kemEncaps(uint8[1088] * cc, crypto/internal/fips140/mlkem.EncapsulationKey768 * ek, uint8[32] * m)
    005b07c0ldr x16, [x28+16]
    005b07c4sub x17, sp, 96
    005b07c8subs xzr, x17, x16
    005b07ccb.ls 0x5b097c
    005b07d0str x30, [sp-224]!
    005b07d4stur x29, [sp-8]
    005b07d8sub x29, sp, 8
    005b07dcstr x0, [sp+232]
    005b07e0str x1, [sp+240]
    005b07e4str x2, [sp+248]
    005b07e8str xzr, [sp+112]
    005b07ecstp xzr, xzr, [sp+120]
    005b07f0str xzr, [sp+88]
    005b07f4stp xzr, xzr, [sp+96]
    005b07f8bl crypto/internal/fips140/sha3.New512
    005b07fcstr x0, [sp+80]
    005b0800ldr x1, [sp+248]
    005b0804ldrsb x27, [x1]
    005b0808b 0x5b080c
    005b080c
    005b080cloc_5b080c:
    005b080cstr x1, [sp+184]
    005b0810orr x3, xzr, 32
    005b0814str x3, [sp+192]
    005b0818str x3, [sp+200]
    005b081cldr x0, [sp+80]
    005b0820mov x2, x3
    005b0824bl crypto/internal/fips140/sha3.(*Digest).Write
    005b0828ldr x4, [sp+240]
    005b082cldrsb x27, [x4]
    005b0830add x1, x4, 32
    005b0834ldrsb x27, [x1]
    005b0838b 0x5b083c
    005b083c
    005b083cloc_5b083c:
    005b083cstr x1, [sp+184]
    005b0840orr x3, xzr, 32
    005b0844str x3, [sp+192]
    005b0848str x3, [sp+200]
    005b084cldr x0, [sp+80]
    005b0850mov x2, x3
    005b0854bl crypto/internal/fips140/sha3.(*Digest).Write
    005b0858ldr x0, [sp+80]
    005b085cmov x1, xzr
    005b0860mov x2, xzr
    005b0864mov x3, x2
    005b0868bl crypto/internal/fips140/sha3.(*Digest).Sum
    005b086cstr x0, [sp+136]
    005b0870str x1, [sp+144]
    005b0874str x2, [sp+152]
    005b0878subs xzr, x2, 32
    005b087cb.hs 0x5b0884
    005b0880b 0x5b0970
    005b0884
    005b0884loc_5b0884:
    005b0884b 0x5b0888
    005b0888
    005b0888loc_5b0888:
    005b0888str x0, [sp+184]
    005b088corr x0, xzr, 32
    005b0890str x0, [sp+192]
    005b0894str x2, [sp+200]
    005b0898ldr x1, [sp+144]
    005b089cldr x6, [sp+136]
    005b08a0ldr x7, [sp+152]
    005b08a4b 0x5b08a8
    005b08a8
    005b08a8loc_5b08a8:
    005b08a8subs xzr, x1, 32
    005b08acb.hs 0x5b08b4
    005b08b0b 0x5b096c
    005b08b4
    005b08b4loc_5b08b4:
    005b08b4sub x7, x7, 32
    005b08b8sub x8, xzr, x7
    005b08bcsub x9, x1, 32
    005b08c0sbfm x8, x8, 63, 63
    005b08c4and x8, x8, 32
    005b08c8add x6, x6, x8
    005b08ccstr x6, [sp+160]
    005b08d0str x9, [sp+168]
    005b08d4str x7, [sp+176]
    005b08d8ldr x6, [sp+184]
    005b08dcldr x7, [sp+192]
    005b08e0ldr x8, [sp+200]
    005b08e4str x6, [sp+112]
    005b08e8str x7, [sp+120]
    005b08ecstr x8, [sp+128]
    005b08f0ldr x6, [sp+160]
    005b08f4ldr x7, [sp+168]
    005b08f8ldr x8, [sp+176]
    005b08fcstr x6, [sp+56]
    005b0900str x7, [sp+64]
    005b0904str x8, [sp+72]
    005b0908ldr x6, [sp+240]
    005b090cldrsb x27, [x6]
    005b0910add x1, x6, 64
    005b0914str x1, [sp+208]
    005b0918ldr x3, [sp+56]
    005b091cldr x2, [sp+248]
    005b0920ldr x0, [sp+232]
    005b0924ldr x4, [sp+64]
    005b0928ldr x5, [sp+72]
    005b092cbl crypto/internal/fips140/mlkem.pkeEncrypt
    005b0930str x0, [sp+88]
    005b0934str x1, [sp+96]
    005b0938str x2, [sp+104]
    005b093cldr x6, [sp+112]
    005b0940ldr x7, [sp+120]
    005b0944ldr x8, [sp+128]
    005b0948mov x3, x0
    005b094cmov x4, x1
    005b0950mov x5, x2
    005b0954mov x0, x6
    005b0958mov x1, x7
    005b095cmov x2, x8
    005b0960ldur x29, [sp-8]
    005b0964ldr x30, [sp], 224
    005b0968ret x30
    005b096c
    005b096cloc_5b096c:
    005b096cbl runtime.panicSliceB
    005b0970
    005b0970loc_5b0970:
    005b0970orr x1, xzr, 32
    005b0974bl runtime.panicSliceAcap
    005b0978hint
    005b097c
    005b097cloc_5b097c:
    005b097cstp x0, x1, [sp+8]
    005b0980str x2, [sp+24]
    005b0984mov x3, x30
    005b0988bl runtime.morestack_noctxt.abi0
    005b098cldp x0, x1, [sp+8]
    005b0990ldr x2, [sp+24]
    005b0994b 0x5b07c0
    005b0998udf 0
    005b099cudf 0
    005b07c0
    005b09a0
    005b09a0crypto/internal/fips140/mlkem.pkeEncrypt: ; void crypto/internal/fips140/mlkem.pkeEncrypt(uint8[1088] * cc, crypto/internal/fips140/mlkem.encryptionKey * ex, uint8[32] * m, struct []uint8 rnd)
    005b09a0ldr x16, [x28+16]
    005b09a4movz x27, 13024
    005b09a8subs x17, sp, x27
    005b09acb.lo 0x5b13b8
    005b09b0subs xzr, x17, x16
    005b09b4b.ls 0x5b13b8
    005b09b8movz x27, 13152
    005b09bcsub x20, sp, x27
    005b09c0stp x29, x30, [x20-8]
    005b09c4add sp, x20, 0
    005b09c8sub x29, sp, 8
    005b09ccstr x0, [sp+13160]
    005b09d0str x1, [sp+13168]
    005b09d4str x2, [sp+13176]
    005b09d8str x3, [sp+13184]
    005b09dcstr x4, [sp+13192]
    005b09e0str x5, [sp+13200]
    005b09e4str xzr, [sp+12968]
    005b09e8add x27, sp, 688
    005b09ecadd x27, x27, 12288
    005b09f0stp xzr, xzr, [x27]
    005b09f4strb wzr, [sp+1559]
    005b09f8b 0x5b09fc
    005b09fc
    005b09fcloc_5b09fc:
    005b09fcadd x16, sp, 8192
    005b0a00add x16, x16, 1560
    005b0a04add x4, sp, 8192
    005b0a08add x4, x4, 3080
    005b0a0c
    005b0a0cloc_5b0a0c:
    005b0a0cstp xzr, xzr, [x16], 16
    005b0a10subs xzr, x16, x4
    005b0a14b.le 0x5b0a0c
    005b0a18add x4, sp, 8192
    005b0a1cadd x4, x4, 1560
    005b0a20ldrsb x27, [x4]
    005b0a24b 0x5b0a28
    005b0a28
    005b0a28loc_5b0a28:
    005b0a28str x4, [sp+13120]
    005b0a2corr x4, xzr, 3
    005b0a30str x4, [sp+13128]
    005b0a34str x4, [sp+13136]
    005b0a38b 0x5b0a3c
    005b0a3c
    005b0a3cloc_5b0a3c:
    005b0a3cadd x16, sp, 8192
    005b0a40add x16, x16, 24
    005b0a44add x5, sp, 8192
    005b0a48add x5, x5, 1544
    005b0a4c
    005b0a4cloc_5b0a4c:
    005b0a4cstp xzr, xzr, [x16], 16
    005b0a50subs xzr, x16, x5
    005b0a54b.le 0x5b0a4c
    005b0a58add x5, sp, 8192
    005b0a5cadd x5, x5, 24
    005b0a60ldrsb x27, [x5]
    005b0a64b 0x5b0a68
    005b0a68
    005b0a68loc_5b0a68:
    005b0a68str x5, [sp+13096]
    005b0a6cstr x4, [sp+13104]
    005b0a70str x4, [sp+13112]
    005b0a74ldr x5, [sp+13120]
    005b0a78ldr x6, [sp+13128]
    005b0a7cldr x7, [sp+13136]
    005b0a80str x5, [sp+13016]
    005b0a84str x6, [sp+13024]
    005b0a88str x7, [sp+13032]
    005b0a8cldr x5, [sp+13096]
    005b0a90ldr x6, [sp+13104]
    005b0a94ldr x7, [sp+13112]
    005b0a98str x5, [sp+13040]
    005b0a9cstr x6, [sp+13048]
    005b0aa0str x7, [sp+13056]
    005b0aa4str xzr, [sp+12960]
    005b0aa8ldr x5, [sp+13024]
    005b0aacstr x5, [sp+12952]
    005b0ab0b 0x5b0ab4
    005b0ab4
    005b0ab4loc_5b0ab4:
    005b0ab4ldr x5, [sp+12952]
    005b0ab8ldr x6, [sp+12960]
    005b0abcsubs xzr, x5, x6
    005b0ac0b.gt 0x5b0ac8
    005b0ac4b 0x5b0ba4
    005b0ac8
    005b0ac8loc_5b0ac8:
    005b0ac8ldr x4, [sp+12960]
    005b0accstr x4, [sp+12856]
    005b0ad0ldrb w3, [sp+1559]
    005b0ad4ldr x0, [sp+13184]
    005b0ad8ldr x1, [sp+13192]
    005b0adcldr x2, [sp+13200]
    005b0ae0bl crypto/internal/fips140/mlkem.samplePolyCBD
    005b0ae4add x21, sp, 12288
    005b0ae8add x21, x21, 24
    005b0aecadd x20, sp, 8
    005b0af0adr x27, 16
    005b0af4stp x29, x27, [sp-24]
    005b0af8sub x29, sp, 24
    005b0afcbl fn_87e20
    005b0b00sub x29, sp, 8
    005b0b04add x21, sp, 8
    005b0b08add x20, sp, 12288
    005b0b0cadd x20, x20, 24
    005b0b10adr x27, 16
    005b0b14stp x29, x27, [sp-24]
    005b0b18sub x29, sp, 24
    005b0b1cbl fn_87e20
    005b0b20sub x29, sp, 8
    005b0b24bl crypto/internal/fips140/mlkem.ntt
    005b0b28add x21, sp, 8192
    005b0b2cadd x21, x21, 3608
    005b0b30add x20, sp, 520
    005b0b34adr x27, 16
    005b0b38stp x29, x27, [sp-24]
    005b0b3csub x29, sp, 24
    005b0b40bl fn_87e20
    005b0b44sub x29, sp, 8
    005b0b48ldr x0, [sp+12856]
    005b0b4cldr x1, [sp+13024]
    005b0b50ldr x4, [sp+13016]
    005b0b54subs xzr, x1, x0
    005b0b58b.hi 0x5b0b60
    005b0b5cb 0x5b13b0
    005b0b60
    005b0b60loc_5b0b60:
    005b0b60add x21, x4, x0, lsl #9
    005b0b64add x20, sp, 8192
    005b0b68add x20, x20, 3608
    005b0b6cadr x27, 16
    005b0b70stp x29, x27, [sp-24]
    005b0b74sub x29, sp, 24
    005b0b78bl fn_87e20
    005b0b7csub x29, sp, 8
    005b0b80ldrb w4, [sp+1559]
    005b0b84add x4, x4, 1
    005b0b88strb w4, [sp+1559]
    005b0b8cb 0x5b0b90
    005b0b90
    005b0b90loc_5b0b90:
    005b0b90ldr x5, [sp+12960]
    005b0b94add x5, x5, 1
    005b0b98str x5, [sp+12960]
    005b0b9corr x4, xzr, 3
    005b0ba0b 0x5b0ab4
    005b0ba4
    005b0ba4loc_5b0ba4:
    005b0ba4str xzr, [sp+12944]
    005b0ba8ldr x5, [sp+13048]
    005b0bacstr x5, [sp+12936]
    005b0bb0b 0x5b0bb4
    005b0bb4
    005b0bb4loc_5b0bb4:
    005b0bb4ldr x5, [sp+12936]
    005b0bb8ldr x6, [sp+12944]
    005b0bbcsubs xzr, x5, x6
    005b0bc0b.gt 0x5b0bc8
    005b0bc4b 0x5b0c60
    005b0bc8
    005b0bc8loc_5b0bc8:
    005b0bc8ldr x4, [sp+12944]
    005b0bccstr x4, [sp+12848]
    005b0bd0ldrb w3, [sp+1559]
    005b0bd4ldr x0, [sp+13184]
    005b0bd8ldr x1, [sp+13192]
    005b0bdcldr x2, [sp+13200]
    005b0be0bl crypto/internal/fips140/mlkem.samplePolyCBD
    005b0be4add x21, sp, 12288
    005b0be8add x21, x21, 24
    005b0becadd x20, sp, 8
    005b0bf0adr x27, 16
    005b0bf4stp x29, x27, [sp-24]
    005b0bf8sub x29, sp, 24
    005b0bfcbl fn_87e20
    005b0c00sub x29, sp, 8
    005b0c04ldr x0, [sp+12848]
    005b0c08ldr x1, [sp+13048]
    005b0c0cldr x4, [sp+13040]
    005b0c10subs xzr, x0, x1
    005b0c14b.lo 0x5b0c1c
    005b0c18b 0x5b13ac
    005b0c1c
    005b0c1cloc_5b0c1c:
    005b0c1cadd x21, x4, x0, lsl #9
    005b0c20add x20, sp, 12288
    005b0c24add x20, x20, 24
    005b0c28adr x27, 16
    005b0c2cstp x29, x27, [sp-24]
    005b0c30sub x29, sp, 24
    005b0c34bl fn_87e20
    005b0c38sub x29, sp, 8
    005b0c3cldrb w4, [sp+1559]
    005b0c40add x4, x4, 1
    005b0c44strb w4, [sp+1559]
    005b0c48b 0x5b0c4c
    005b0c4c
    005b0c4cloc_5b0c4c:
    005b0c4cldr x5, [sp+12944]
    005b0c50add x5, x5, 1
    005b0c54str x5, [sp+12944]
    005b0c58orr x4, xzr, 3
    005b0c5cb 0x5b0bb4
    005b0c60
    005b0c60loc_5b0c60:
    005b0c60ldrb w3, [sp+1559]
    005b0c64ldr x0, [sp+13184]
    005b0c68ldr x1, [sp+13192]
    005b0c6cldr x2, [sp+13200]
    005b0c70bl crypto/internal/fips140/mlkem.samplePolyCBD
    005b0c74add x21, sp, 3608
    005b0c78add x20, sp, 8
    005b0c7cadr x27, 16
    005b0c80stp x29, x27, [sp-24]
    005b0c84sub x29, sp, 24
    005b0c88bl fn_87e20
    005b0c8csub x29, sp, 8
    005b0c90b 0x5b0c94
    005b0c94
    005b0c94loc_5b0c94:
    005b0c94add x16, sp, 4096
    005b0c98add x16, x16, 2584
    005b0c9cadd x2, sp, 8192
    005b0ca0add x2, x2, 8
    005b0ca4
    005b0ca4loc_5b0ca4:
    005b0ca4stp xzr, xzr, [x16], 16
    005b0ca8subs xzr, x16, x2
    005b0cacb.le 0x5b0ca4
    005b0cb0add x2, sp, 4096
    005b0cb4add x2, x2, 2584
    005b0cb8ldrsb x27, [x2]
    005b0cbcb 0x5b0cc0
    005b0cc0
    005b0cc0loc_5b0cc0:
    005b0cc0str x2, [sp+12992]
    005b0cc4orr x2, xzr, 3
    005b0cc8str x2, [sp+13000]
    005b0cccstr x2, [sp+13008]
    005b0cd0str xzr, [sp+12928]
    005b0cd4str x2, [sp+12920]
    005b0cd8b 0x5b0cdc
    005b0cdc
    005b0cdcloc_5b0cdc:
    005b0cdcldr x3, [sp+12920]
    005b0ce0ldr x4, [sp+12928]
    005b0ce4subs xzr, x3, x4
    005b0ce8b.gt 0x5b0cf0
    005b0cecb 0x5b0d4c
    005b0cf0
    005b0cf0loc_5b0cf0:
    005b0cf0ldr x0, [sp+12928]
    005b0cf4str x0, [sp+12840]
    005b0cf8ldr x1, [sp+13048]
    005b0cfcldr x3, [sp+13040]
    005b0d00subs xzr, x1, x0
    005b0d04b.hi 0x5b0d0c
    005b0d08b 0x5b13a8
    005b0d0c
    005b0d0cloc_5b0d0c:
    005b0d0cldr x1, [sp+13000]
    005b0d10ldr x4, [sp+12992]
    005b0d14add x20, x3, x0, lsl #9
    005b0d18subs xzr, x1, x0
    005b0d1cb.hi 0x5b0d24
    005b0d20b 0x5b13a4
    005b0d24
    005b0d24loc_5b0d24:
    005b0d24add x21, x4, x0, lsl #9
    005b0d28adr x27, 16
    005b0d2cstp x29, x27, [sp-24]
    005b0d30sub x29, sp, 24
    005b0d34bl fn_87e20
    005b0d38sub x29, sp, 8
    005b0d3cstr xzr, [sp+12912]
    005b0d40ldr x3, [sp+13024]
    005b0d44str x3, [sp+12904]
    005b0d48b 0x5b1148
    005b0d4c
    005b0d4cloc_5b0d4c:
    005b0d4cldr x0, [sp+13176]
    005b0d50bl crypto/internal/fips140/mlkem.ringDecodeAndDecompress1
    005b0d54add x21, sp, 1560
    005b0d58add x20, sp, 8
    005b0d5cadr x27, 16
    005b0d60stp x29, x27, [sp-24]
    005b0d64sub x29, sp, 24
    005b0d68bl fn_87e20
    005b0d6csub x29, sp, 8
    005b0d70add x20, sp, 2072
    005b0d74adr x27, 16
    005b0d78stp x29, x27, [sp-24]
    005b0d7csub x29, sp, 24
    005b0d80bl fn_87c90
    005b0d84sub x29, sp, 8
    005b0d88str xzr, [sp+12896]
    005b0d8corr x1, xzr, 3
    005b0d90str x1, [sp+12888]
    005b0d94b 0x5b0d98
    005b0d98
    005b0d98loc_5b0d98:
    005b0d98ldr x2, [sp+12888]
    005b0d9cldr x3, [sp+12896]
    005b0da0subs xzr, x2, x3
    005b0da4b.gt 0x5b0dac
    005b0da8b 0x5b0f00
    005b0dac
    005b0dacloc_5b0dac:
    005b0dacldr x0, [sp+12896]
    005b0db0str x0, [sp+12832]
    005b0db4ldr x2, [sp+13168]
    005b0db8ldrsb x27, [x2]
    005b0dbcsubs xzr, x0, 3
    005b0dc0b.lo 0x5b0dc8
    005b0dc4b 0x5b1144
    005b0dc8
    005b0dc8loc_5b0dc8:
    005b0dc8add x20, x2, x0, lsl #9
    005b0dccadd x21, sp, 4096
    005b0dd0add x21, x21, 536
    005b0dd4adr x27, 16
    005b0dd8stp x29, x27, [sp-24]
    005b0ddcsub x29, sp, 24
    005b0de0bl fn_87e20
    005b0de4sub x29, sp, 8
    005b0de8ldr x0, [sp+12832]
    005b0decldr x2, [sp+13024]
    005b0df0ldr x3, [sp+13016]
    005b0df4subs xzr, x2, x0
    005b0df8b.hi 0x5b0e00
    005b0dfcb 0x5b113c
    005b0e00
    005b0e00loc_5b0e00:
    005b0e00add x20, x3, x0, lsl #9
    005b0e04add x21, sp, 4096
    005b0e08add x21, x21, 24
    005b0e0cadr x27, 16
    005b0e10stp x29, x27, [sp-24]
    005b0e14sub x29, sp, 24
    005b0e18bl fn_87e20
    005b0e1csub x29, sp, 8
    005b0e20add x21, sp, 8
    005b0e24add x20, sp, 4096
    005b0e28add x20, x20, 536
    005b0e2cadr x27, 16
    005b0e30stp x29, x27, [sp-24]
    005b0e34sub x29, sp, 24
    005b0e38bl fn_87e20
    005b0e3csub x29, sp, 8
    005b0e40add x21, sp, 520
    005b0e44add x20, sp, 4096
    005b0e48add x20, x20, 24
    005b0e4cadr x27, 16
    005b0e50stp x29, x27, [sp-24]
    005b0e54sub x29, sp, 24
    005b0e58bl fn_87e20
    005b0e5csub x29, sp, 8
    005b0e60bl crypto/internal/fips140/mlkem.nttMul
    005b0e64add x21, sp, 8192
    005b0e68add x21, x21, 3608
    005b0e6cadd x20, sp, 1032
    005b0e70adr x27, 16
    005b0e74stp x29, x27, [sp-24]
    005b0e78sub x29, sp, 24
    005b0e7cbl fn_87e20
    005b0e80sub x29, sp, 8
    005b0e84add x21, sp, 8
    005b0e88add x20, sp, 2072
    005b0e8cadr x27, 16
    005b0e90stp x29, x27, [sp-24]
    005b0e94sub x29, sp, 24
    005b0e98bl fn_87e20
    005b0e9csub x29, sp, 8
    005b0ea0add x21, sp, 520
    005b0ea4add x20, sp, 8192
    005b0ea8add x20, x20, 3608
    005b0eacadr x27, 16
    005b0eb0stp x29, x27, [sp-24]
    005b0eb4sub x29, sp, 24
    005b0eb8bl fn_87e20
    005b0ebcsub x29, sp, 8
    005b0ec0adrp x0, 0x160000
    005b0ec4add x0, x0, 3768
    005b0ec8bl crypto/internal/fips140/mlkem.polyAdd[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]
    005b0eccadd x21, sp, 2072
    005b0ed0add x20, sp, 1032
    005b0ed4adr x27, 16
    005b0ed8stp x29, x27, [sp-24]
    005b0edcsub x29, sp, 24
    005b0ee0bl fn_87e20
    005b0ee4sub x29, sp, 8
    005b0ee8b 0x5b0eec
    005b0eec
    005b0eecloc_5b0eec:
    005b0eecldr x2, [sp+12896]
    005b0ef0add x2, x2, 1
    005b0ef4str x2, [sp+12896]
    005b0ef8orr x1, xzr, 3
    005b0efcb 0x5b0d98
    005b0f00
    005b0f00loc_5b0f00:
    005b0f00add x21, sp, 8
    005b0f04add x20, sp, 2072
    005b0f08adr x27, 16
    005b0f0cstp x29, x27, [sp-24]
    005b0f10sub x29, sp, 24
    005b0f14bl fn_87e20
    005b0f18sub x29, sp, 8
    005b0f1cbl crypto/internal/fips140/mlkem.inverseNTT
    005b0f20add x21, sp, 8192
    005b0f24add x21, x21, 3096
    005b0f28add x20, sp, 520
    005b0f2cadr x27, 16
    005b0f30stp x29, x27, [sp-24]
    005b0f34sub x29, sp, 24
    005b0f38bl fn_87e20
    005b0f3csub x29, sp, 8
    005b0f40add x21, sp, 8
    005b0f44add x20, sp, 8192
    005b0f48add x20, x20, 3096
    005b0f4cadr x27, 16
    005b0f50stp x29, x27, [sp-24]
    005b0f54sub x29, sp, 24
    005b0f58bl fn_87e20
    005b0f5csub x29, sp, 8
    005b0f60add x21, sp, 520
    005b0f64add x20, sp, 3608
    005b0f68adr x27, 16
    005b0f6cstp x29, x27, [sp-24]
    005b0f70sub x29, sp, 24
    005b0f74bl fn_87e20
    005b0f78sub x29, sp, 8
    005b0f7cadrp x0, 0x160000
    005b0f80add x0, x0, 3784
    005b0f84bl crypto/internal/fips140/mlkem.polyAdd[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]
    005b0f88add x21, sp, 12288
    005b0f8cadd x21, x21, 24
    005b0f90add x20, sp, 1032
    005b0f94adr x27, 16
    005b0f98stp x29, x27, [sp-24]
    005b0f9csub x29, sp, 24
    005b0fa0bl fn_87e20
    005b0fa4sub x29, sp, 8
    005b0fa8add x21, sp, 8
    005b0facadd x20, sp, 12288
    005b0fb0add x20, x20, 24
    005b0fb4adr x27, 16
    005b0fb8stp x29, x27, [sp-24]
    005b0fbcsub x29, sp, 24
    005b0fc0bl fn_87e20
    005b0fc4sub x29, sp, 8
    005b0fc8add x21, sp, 520
    005b0fccadd x20, sp, 1560
    005b0fd0adr x27, 16
    005b0fd4stp x29, x27, [sp-24]
    005b0fd8sub x29, sp, 24
    005b0fdcbl fn_87e20
    005b0fe0sub x29, sp, 8
    005b0fe4adrp x0, 0x160000
    005b0fe8add x0, x0, 3784
    005b0fecbl crypto/internal/fips140/mlkem.polyAdd[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]
    005b0ff0add x21, sp, 2584
    005b0ff4add x20, sp, 1032
    005b0ff8adr x27, 16
    005b0ffcstp x29, x27, [sp-24]
    005b1000sub x29, sp, 24
    005b1004bl fn_87e20
    005b1008sub x29, sp, 8
    005b100cldr x0, [sp+13160]
    005b1010ldrsb x27, [x0]
    005b1014b 0x5b1018
    005b1018
    005b1018loc_5b1018:
    005b1018b 0x5b101c
    005b101c
    005b101cloc_5b101c:
    005b101cstr x0, [sp+13064]
    005b1020str xzr, [sp+13072]
    005b1024movz x3, 1088
    005b1028str x3, [sp+13080]
    005b102cldr x3, [sp+13000]
    005b1030ldr x4, [sp+12992]
    005b1034ldr x5, [sp+13008]
    005b1038str x4, [sp+13096]
    005b103cstr x3, [sp+13104]
    005b1040str x5, [sp+13112]
    005b1044str xzr, [sp+12880]
    005b1048str x3, [sp+12872]
    005b104cldr x3, [sp+13096]
    005b1050str x3, [sp+12864]
    005b1054b 0x5b1058
    005b1058
    005b1058loc_5b1058:
    005b1058ldr x3, [sp+12872]
    005b105cldr x4, [sp+12880]
    005b1060subs xzr, x3, x4
    005b1064b.gt 0x5b106c
    005b1068b 0x5b10e8
    005b106c
    005b106cloc_5b106c:
    005b106cldr x3, [sp+12864]
    005b1070str x3, [sp+13088]
    005b1074ldr x20, [sp+13088]
    005b1078add x21, sp, 3096
    005b107cadr x27, 16
    005b1080stp x29, x27, [sp-24]
    005b1084sub x29, sp, 24
    005b1088bl fn_87e20
    005b108csub x29, sp, 8
    005b1090ldr x0, [sp+13064]
    005b1094ldr x1, [sp+13072]
    005b1098ldr x2, [sp+13080]
    005b109cadd x21, sp, 8
    005b10a0add x20, sp, 3096
    005b10a4adr x27, 16
    005b10a8stp x29, x27, [sp-24]
    005b10acsub x29, sp, 24
    005b10b0bl fn_87e20
    005b10b4sub x29, sp, 8
    005b10b8bl crypto/internal/fips140/mlkem.ringCompressAndEncode10
    005b10bcstr x0, [sp+13064]
    005b10c0str x1, [sp+13072]
    005b10c4str x2, [sp+13080]
    005b10c8b 0x5b10cc
    005b10cc
    005b10ccloc_5b10cc:
    005b10ccldr x3, [sp+12880]
    005b10d0add x3, x3, 1
    005b10d4str x3, [sp+12880]
    005b10d8ldr x3, [sp+13088]
    005b10dcadd x3, x3, 512
    005b10e0str x3, [sp+12864]
    005b10e4b 0x5b1058
    005b10e8
    005b10e8loc_5b10e8:
    005b10e8ldr x0, [sp+13064]
    005b10ecldr x1, [sp+13072]
    005b10f0ldr x2, [sp+13080]
    005b10f4add x21, sp, 8
    005b10f8add x20, sp, 2584
    005b10fcadr x27, 16
    005b1100stp x29, x27, [sp-24]
    005b1104sub x29, sp, 24
    005b1108bl fn_87e20
    005b110csub x29, sp, 8
    005b1110bl crypto/internal/fips140/mlkem.ringCompressAndEncode4
    005b1114str x0, [sp+13064]
    005b1118str x1, [sp+13072]
    005b111cstr x2, [sp+13080]
    005b1120str x0, [sp+12968]
    005b1124str x1, [sp+12976]
    005b1128str x2, [sp+12984]
    005b112cldp x29, x30, [sp-8]
    005b1130movz x27, 13152
    005b1134add sp, sp, x27
    005b1138ret x30
    005b113c
    005b113cloc_5b113c:
    005b113cmov x1, x2
    005b1140bl runtime.panicIndex
    005b1144
    005b1144loc_5b1144:
    005b1144bl runtime.panicIndex
    005b1148
    005b1148loc_5b1148:
    005b1148ldr x3, [sp+12904]
    005b114cldr x4, [sp+12912]
    005b1150subs xzr, x3, x4
    005b1154b.gt 0x5b115c
    005b1158b 0x5b137c
    005b115c
    005b115cloc_5b115c:
    005b115cldr x3, [sp+12912]
    005b1160str x3, [sp+12824]
    005b1164ldr x4, [sp+13168]
    005b1168ldrsb x27, [x4]
    005b116cadd x4, x4, 1536
    005b1170add x3, x3, x3, lsl #1
    005b1174ldr x5, [sp+12840]
    005b1178add x0, x3, x5
    005b117csubs xzr, x0, 9
    005b1180b.lo 0x5b1188
    005b1184b 0x5b139c
    005b1188
    005b1188loc_5b1188:
    005b1188add x20, x4, x0, lsl #9
    005b118cadd x21, sp, 4096
    005b1190add x21, x21, 2072
    005b1194adr x27, 16
    005b1198stp x29, x27, [sp-24]
    005b119csub x29, sp, 24
    005b11a0bl fn_87e20
    005b11a4sub x29, sp, 8
    005b11a8ldr x0, [sp+12824]
    005b11acldr x1, [sp+13024]
    005b11b0ldr x3, [sp+13016]
    005b11b4subs xzr, x1, x0
    005b11b8b.hi 0x5b11c0
    005b11bcb 0x5b1398
    005b11c0
    005b11c0loc_5b11c0:
    005b11c0add x20, x3, x0, lsl #9
    005b11c4add x21, sp, 4096
    005b11c8add x21, x21, 1560
    005b11ccadr x27, 16
    005b11d0stp x29, x27, [sp-24]
    005b11d4sub x29, sp, 24
    005b11d8bl fn_87e20
    005b11dcsub x29, sp, 8
    005b11e0add x21, sp, 8
    005b11e4add x20, sp, 4096
    005b11e8add x20, x20, 2072
    005b11ecadr x27, 16
    005b11f0stp x29, x27, [sp-24]
    005b11f4sub x29, sp, 24
    005b11f8bl fn_87e20
    005b11fcsub x29, sp, 8
    005b1200add x21, sp, 520
    005b1204add x20, sp, 4096
    005b1208add x20, x20, 1560
    005b120cadr x27, 16
    005b1210stp x29, x27, [sp-24]
    005b1214sub x29, sp, 24
    005b1218bl fn_87e20
    005b121csub x29, sp, 8
    005b1220bl crypto/internal/fips140/mlkem.nttMul
    005b1224add x21, sp, 8192
    005b1228add x21, x21, 3608
    005b122cadd x20, sp, 1032
    005b1230adr x27, 16
    005b1234stp x29, x27, [sp-24]
    005b1238sub x29, sp, 24
    005b123cbl fn_87e20
    005b1240sub x29, sp, 8
    005b1244add x21, sp, 8
    005b1248add x20, sp, 8192
    005b124cadd x20, x20, 3608
    005b1250adr x27, 16
    005b1254stp x29, x27, [sp-24]
    005b1258sub x29, sp, 24
    005b125cbl fn_87e20
    005b1260sub x29, sp, 8
    005b1264bl crypto/internal/fips140/mlkem.inverseNTT
    005b1268add x21, sp, 12288
    005b126cadd x21, x21, 24
    005b1270add x20, sp, 520
    005b1274adr x27, 16
    005b1278stp x29, x27, [sp-24]
    005b127csub x29, sp, 24
    005b1280bl fn_87e20
    005b1284sub x29, sp, 8
    005b1288ldr x0, [sp+12840]
    005b128cldr x1, [sp+13000]
    005b1290ldr x2, [sp+12992]
    005b1294subs xzr, x1, x0
    005b1298b.hi 0x5b12a0
    005b129cb 0x5b1394
    005b12a0
    005b12a0loc_5b12a0:
    005b12a0add x20, x2, x0, lsl #9
    005b12a4add x21, sp, 4096
    005b12a8add x21, x21, 1048
    005b12acadr x27, 16
    005b12b0stp x29, x27, [sp-24]
    005b12b4sub x29, sp, 24
    005b12b8bl fn_87e20
    005b12bcsub x29, sp, 8
    005b12c0add x21, sp, 8
    005b12c4add x20, sp, 4096
    005b12c8add x20, x20, 1048
    005b12ccadr x27, 16
    005b12d0stp x29, x27, [sp-24]
    005b12d4sub x29, sp, 24
    005b12d8bl fn_87e20
    005b12dcsub x29, sp, 8
    005b12e0add x21, sp, 520
    005b12e4add x20, sp, 12288
    005b12e8add x20, x20, 24
    005b12ecadr x27, 16
    005b12f0stp x29, x27, [sp-24]
    005b12f4sub x29, sp, 24
    005b12f8bl fn_87e20
    005b12fcsub x29, sp, 8
    005b1300adrp x0, 0x15f000
    005b1304add x0, x0, 3784
    005b1308bl crypto/internal/fips140/mlkem.polyAdd[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]
    005b130cadd x21, sp, 8192
    005b1310add x21, x21, 3096
    005b1314add x20, sp, 1032
    005b1318adr x27, 16
    005b131cstp x29, x27, [sp-24]
    005b1320sub x29, sp, 24
    005b1324bl fn_87e20
    005b1328sub x29, sp, 8
    005b132cldr x0, [sp+12840]
    005b1330ldr x1, [sp+13000]
    005b1334ldr x2, [sp+12992]
    005b1338subs xzr, x1, x0
    005b133cb.hi 0x5b1344
    005b1340b 0x5b1390
    005b1344
    005b1344loc_5b1344:
    005b1344add x21, x2, x0, lsl #9
    005b1348add x20, sp, 8192
    005b134cadd x20, x20, 3096
    005b1350adr x27, 16
    005b1354stp x29, x27, [sp-24]
    005b1358sub x29, sp, 24
    005b135cbl fn_87e20
    005b1360sub x29, sp, 8
    005b1364b 0x5b1368
    005b1368
    005b1368loc_5b1368:
    005b1368ldr x3, [sp+12912]
    005b136cadd x3, x3, 1
    005b1370str x3, [sp+12912]
    005b1374orr x2, xzr, 3
    005b1378b 0x5b1148
    005b137c
    005b137cloc_5b137c:
    005b137cb 0x5b1380
    005b1380
    005b1380loc_5b1380:
    005b1380ldr x3, [sp+12928]
    005b1384add x3, x3, 1
    005b1388str x3, [sp+12928]
    005b138cb 0x5b0cdc
    005b1390
    005b1390loc_5b1390:
    005b1390bl runtime.panicIndex
    005b1394
    005b1394loc_5b1394:
    005b1394bl runtime.panicIndex
    005b1398
    005b1398loc_5b1398:
    005b1398bl runtime.panicIndex
    005b139c
    005b139cloc_5b139c:
    005b139cmovz x1, 9
    005b13a0bl runtime.panicIndex
    005b13a4
    005b13a4loc_5b13a4:
    005b13a4bl runtime.panicIndex
    005b13a8
    005b13a8loc_5b13a8:
    005b13a8bl runtime.panicIndex
    005b13ac
    005b13acloc_5b13ac:
    005b13acbl runtime.panicIndex
    005b13b0
    005b13b0loc_5b13b0:
    005b13b0bl runtime.panicIndex
    005b13b4hint
    005b13b8
    005b13b8loc_5b13b8:
    005b13b8stp x0, x1, [sp+8]
    005b13bcstp x2, x3, [sp+24]
    005b13c0stp x4, x5, [sp+40]
    005b13c4mov x3, x30
    005b13c8bl runtime.morestack_noctxt.abi0
    005b13ccldp x0, x1, [sp+8]
    005b13d0ldp x2, x3, [sp+24]
    005b13d4ldp x4, x5, [sp+40]
    005b13d8b 0x5b09a0
    005b13dcudf 0
    005b09a0