Similarity

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

005b13e0
005b13e0crypto/internal/fips140/mlkem.(*DecapsulationKey768).Decapsulate: ; void crypto/internal/fips140/mlkem.(*DecapsulationKey768).Decapsulate(crypto/internal/fips140/mlkem.DecapsulationKey768 * dk, struct []uint8 ciphertext)
005b13e0ldr x16, [x28+16]
005b13e4subs xzr, sp, x16
005b13e8b.ls 0x5b14d8
005b13ecstr x30, [sp-128]!
005b13f0stur x29, [sp-8]
005b13f4sub x29, sp, 8
005b13f8str x0, [sp+136]
005b13fcstr x1, [sp+144]
005b1400str x2, [sp+152]
005b1404str x3, [sp+160]
005b1408str xzr, [sp+32]
005b140cstp xzr, xzr, [sp+40]
005b1410stp xzr, xzr, [sp+56]
005b1414ldr x4, [sp+152]
005b1418str x4, [sp+24]
005b141csubs xzr, x4, 1088
005b1420b.ne 0x5b1428
005b1424b 0x5b1470
005b1428
005b1428loc_5b1428:
005b1428adrp x0, 0x10d000
005b142cadd x0, x0, 3472
005b1430orr x1, xzr, 32
005b1434bl errors.New
005b1438str x0, [sp+104]
005b143cstr x1, [sp+112]
005b1440str xzr, [sp+32]
005b1444stp xzr, xzr, [sp+40]
005b1448ldr x3, [sp+104]
005b144cldr x4, [sp+112]
005b1450str x3, [sp+56]
005b1454str x4, [sp+64]
005b1458ldr x0, [sp+32]
005b145cldr x1, [sp+40]
005b1460ldr x2, [sp+48]
005b1464ldur x29, [sp-8]
005b1468ldr x30, [sp], 128
005b146cret x30
005b1470
005b1470loc_5b1470:
005b1470ldr x1, [sp+144]
005b1474ldr x3, [sp+152]
005b1478subs xzr, x3, 1088
005b147cb.hs 0x5b1484
005b1480b 0x5b14cc
005b1484
005b1484loc_5b1484:
005b1484str x1, [sp+72]
005b1488ldr x0, [sp+136]
005b148cbl crypto/internal/fips140/mlkem.kemDecaps
005b1490str x0, [sp+80]
005b1494str x1, [sp+88]
005b1498str x2, [sp+96]
005b149cstr x0, [sp+32]
005b14a0str x1, [sp+40]
005b14a4str x2, [sp+48]
005b14a8stp xzr, xzr, [sp+56]
005b14acldr x0, [sp+32]
005b14b0ldr x1, [sp+40]
005b14b4ldr x2, [sp+48]
005b14b8mov x3, xzr
005b14bcmov x4, xzr
005b14c0ldur x29, [sp-8]
005b14c4ldr x30, [sp], 128
005b14c8ret x30
005b14cc
005b14ccloc_5b14cc:
005b14ccmovz x2, 1088
005b14d0bl runtime.panicSliceConvert
005b14d4hint
005b14d8
005b14d8loc_5b14d8:
005b14d8stp x0, x1, [sp+8]
005b14dcstp x2, x3, [sp+24]
005b14e0mov x3, x30
005b14e4bl runtime.morestack_noctxt.abi0
005b14e8ldp x0, x1, [sp+8]
005b14ecldp x2, x3, [sp+24]
005b14f0b 0x5b13e0
005b14f4udf 0
005b14f8udf 0
005b14fcudf 0
005b13e0

005b1500
005b1500crypto/internal/fips140/mlkem.kemDecaps: ; void crypto/internal/fips140/mlkem.kemDecaps(crypto/internal/fips140/mlkem.DecapsulationKey768 * dk, uint8[1088] * c)
005b1500ldr x16, [x28+16]
005b1504sub x17, sp, 1360
005b1508subs xzr, x17, x16
005b150cb.ls 0x5b1828
005b1510sub x20, sp, 1488
005b1514stp x29, x30, [x20-8]
005b1518add sp, x20, 0
005b151csub x29, sp, 8
005b1520str x0, [sp+1496]
005b1524str x1, [sp+1504]
005b1528str xzr, [sp+1352]
005b152cadd x27, sp, 1360
005b1530stp xzr, xzr, [x27]
005b1534bl crypto/internal/fips140.RecordApproved
005b1538ldr x0, [sp+1496]
005b153cldrsb x27, [x0]
005b1540movz x1, 6272
005b1544add x0, x0, x1
005b1548str x0, [sp+1424]
005b154cldr x1, [sp+1504]
005b1550bl crypto/internal/fips140/mlkem.pkeDecrypt
005b1554str x0, [sp+1248]
005b1558str x1, [sp+1256]
005b155cstr x2, [sp+1264]
005b1560bl crypto/internal/fips140/sha3.New512
005b1564str x0, [sp+1272]
005b1568ldr x1, [sp+1248]
005b156cldr x2, [sp+1256]
005b1570ldr x3, [sp+1264]
005b1574str x1, [sp+1456]
005b1578str x2, [sp+1464]
005b157cstr x3, [sp+1472]
005b1580ldr x0, [sp+1272]
005b1584bl crypto/internal/fips140/sha3.(*Digest).Write
005b1588ldr x0, [sp+1496]
005b158cldrsb x27, [x0]
005b1590add x1, x0, 96
005b1594ldrsb x27, [x1]
005b1598b 0x5b159c
005b159c
005b159cloc_5b159c:
005b159cstr x1, [sp+1456]
005b15a0orr x3, xzr, 32
005b15a4str x3, [sp+1464]
005b15a8str x3, [sp+1472]
005b15acldr x0, [sp+1272]
005b15b0mov x2, x3
005b15b4bl crypto/internal/fips140/sha3.(*Digest).Write
005b15b8b 0x5b15bc
005b15bc
005b15bcloc_5b15bc:
005b15bcadd x27, sp, 1152
005b15c0stp xzr, xzr, [x27]
005b15c4add x27, sp, 1168
005b15c8stp xzr, xzr, [x27]
005b15ccadd x27, sp, 1184
005b15d0stp xzr, xzr, [x27]
005b15d4add x27, sp, 1200
005b15d8stp xzr, xzr, [x27]
005b15dcadd x1, sp, 1152
005b15e0ldrsb x27, [x1]
005b15e4b 0x5b15e8
005b15e8
005b15e8loc_5b15e8:
005b15e8b 0x5b15ec
005b15ec
005b15ecloc_5b15ec:
005b15ecstr x1, [sp+1456]
005b15f0str xzr, [sp+1464]
005b15f4orr x3, xzr, 64
005b15f8str x3, [sp+1472]
005b15fcldr x0, [sp+1272]
005b1600mov x2, xzr
005b1604bl crypto/internal/fips140/sha3.(*Digest).Sum
005b1608str x0, [sp+1384]
005b160cstr x1, [sp+1392]
005b1610str x2, [sp+1400]
005b1614subs xzr, x2, 32
005b1618b.hs 0x5b1620
005b161cb 0x5b181c
005b1620
005b1620loc_5b1620:
005b1620b 0x5b1624
005b1624
005b1624loc_5b1624:
005b1624str x0, [sp+1456]
005b1628orr x0, xzr, 32
005b162cstr x0, [sp+1464]
005b1630str x2, [sp+1472]
005b1634ldr x1, [sp+1392]
005b1638ldr x2, [sp+1384]
005b163cldr x3, [sp+1400]
005b1640b 0x5b1644
005b1644
005b1644loc_5b1644:
005b1644subs xzr, x1, 32
005b1648b.hs 0x5b1650
005b164cb 0x5b1818
005b1650
005b1650loc_5b1650:
005b1650sub x0, x3, 32
005b1654sub x3, xzr, x0
005b1658sub x1, x1, 32
005b165csbfm x3, x3, 63, 63
005b1660and x3, x3, 32
005b1664add x2, x2, x3
005b1668str x2, [sp+1432]
005b166cstr x1, [sp+1440]
005b1670str x0, [sp+1448]
005b1674ldr x0, [sp+1456]
005b1678ldr x1, [sp+1464]
005b167cldr x2, [sp+1472]
005b1680str x0, [sp+1304]
005b1684str x1, [sp+1312]
005b1688str x2, [sp+1320]
005b168cldr x0, [sp+1432]
005b1690ldr x1, [sp+1440]
005b1694ldr x2, [sp+1448]
005b1698str x0, [sp+1224]
005b169cstr x1, [sp+1232]
005b16a0str x2, [sp+1240]
005b16a4bl crypto/internal/fips140/sha3.NewShake256
005b16a8str x0, [sp+1376]
005b16acldr x0, [sp+1496]
005b16b0ldrsb x27, [x0]
005b16b4add x1, x0, 32
005b16b8ldrsb x27, [x1]
005b16bcb 0x5b16c0
005b16c0
005b16c0loc_5b16c0:
005b16c0str x1, [sp+1432]
005b16c4orr x3, xzr, 32
005b16c8str x3, [sp+1440]
005b16ccstr x3, [sp+1448]
005b16d0ldr x0, [sp+1376]
005b16d4mov x2, x3
005b16d8bl crypto/internal/fips140/sha3.(*SHAKE).Write
005b16dcldr x1, [sp+1504]
005b16e0ldrsb x27, [x1]
005b16e4b 0x5b16e8
005b16e8
005b16e8loc_5b16e8:
005b16e8str x1, [sp+1432]
005b16ecmovz x3, 1088
005b16f0str x3, [sp+1440]
005b16f4str x3, [sp+1448]
005b16f8ldr x0, [sp+1376]
005b16fcmov x2, x3
005b1700bl crypto/internal/fips140/sha3.(*SHAKE).Write
005b1704adrp x0, 0x44000
005b1708add x0, x0, 3072
005b170corr x1, xzr, 32
005b1710mov x2, x1
005b1714bl runtime.makeslice
005b1718str x0, [sp+1328]
005b171corr x3, xzr, 32
005b1720str x3, [sp+1336]
005b1724str x3, [sp+1344]
005b1728ldr x4, [sp+1376]
005b172cmov x1, x0
005b1730mov x2, x3
005b1734mov x0, x4
005b1738bl crypto/internal/fips140/sha3.(*SHAKE).Read
005b173cadd x16, sp, 64
005b1740add x4, sp, 1136
005b1744
005b1744loc_5b1744:
005b1744stp xzr, xzr, [x16], 16
005b1748subs xzr, x16, x4
005b174cb.le 0x5b1744
005b1750ldr x4, [sp+1496]
005b1754ldrsb x27, [x4]
005b1758add x4, x4, 128
005b175cstr x4, [sp+1416]
005b1760ldr x2, [sp+1248]
005b1764ldr x3, [sp+1256]
005b1768subs xzr, x3, 32
005b176cb.hs 0x5b1774
005b1770b 0x5b1810
005b1774
005b1774loc_5b1774:
005b1774str x2, [sp+1408]
005b1778ldr x3, [sp+1224]
005b177cldr x4, [sp+1232]
005b1780ldr x5, [sp+1240]
005b1784ldr x1, [sp+1416]
005b1788add x0, sp, 64
005b178cbl crypto/internal/fips140/mlkem.pkeEncrypt
005b1790str x0, [sp+1280]
005b1794str x1, [sp+1288]
005b1798str x2, [sp+1296]
005b179cldr x0, [sp+1504]
005b17a0ldrsb x27, [x0]
005b17a4b 0x5b17a8
005b17a8
005b17a8loc_5b17a8:
005b17a8str x0, [sp+1432]
005b17acmovz x2, 1088
005b17b0str x2, [sp+1440]
005b17b4str x2, [sp+1448]
005b17b8ldr x3, [sp+1280]
005b17bcldr x4, [sp+1288]
005b17c0ldr x5, [sp+1296]
005b17c4mov x1, x2
005b17c8bl crypto/internal/fips140/subtle.ConstantTimeCompare
005b17ccstr x0, [sp+1216]
005b17d0ldr x1, [sp+1328]
005b17d4ldr x4, [sp+1304]
005b17d8ldr x2, [sp+1336]
005b17dcldr x5, [sp+1312]
005b17e0ldr x3, [sp+1344]
005b17e4ldr x6, [sp+1320]
005b17e8bl crypto/internal/fips140/subtle.ConstantTimeCopy
005b17ecldr x0, [sp+1328]
005b17f0ldr x1, [sp+1336]
005b17f4ldr x2, [sp+1344]
005b17f8str x0, [sp+1352]
005b17fcstr x1, [sp+1360]
005b1800str x2, [sp+1368]
005b1804ldp x29, x30, [sp-8]
005b1808add sp, sp, 1488
005b180cret x30
005b1810
005b1810loc_5b1810:
005b1810orr x2, xzr, 32
005b1814bl runtime.panicSliceConvert
005b1818
005b1818loc_5b1818:
005b1818bl runtime.panicSliceB
005b181c
005b181cloc_5b181c:
005b181corr x1, xzr, 32
005b1820bl runtime.panicSliceAcap
005b1824hint
005b1828
005b1828loc_5b1828:
005b1828stp x0, x1, [sp+8]
005b182cmov x3, x30
005b1830bl runtime.morestack_noctxt.abi0
005b1834ldp x0, x1, [sp+8]
005b1838b 0x5b1500
005b183cudf 0
005b1500

005b1840
005b1840crypto/internal/fips140/mlkem.pkeDecrypt: ; void crypto/internal/fips140/mlkem.pkeDecrypt(crypto/internal/fips140/mlkem.decryptionKey * dx, uint8[1088] * c)
005b1840ldr x16, [x28+16]
005b1844movz x27, 7216
005b1848subs x17, sp, x27
005b184cb.lo 0x5b1cf8
005b1850subs xzr, x17, x16
005b1854b.ls 0x5b1cf8
005b1858movz x27, 7344
005b185csub x20, sp, x27
005b1860stp x29, x30, [x20-8]
005b1864add sp, x20, 0
005b1868sub x29, sp, 8
005b186cstr x0, [sp+7352]
005b1870str x1, [sp+7360]
005b1874str xzr, [sp+7248]
005b1878add x27, sp, 3160
005b187cadd x27, x27, 4096
005b1880stp xzr, xzr, [x27]
005b1884b 0x5b1888
005b1888
005b1888loc_5b1888:
005b1888add x16, sp, 4096
005b188cadd x16, x16, 16
005b1890add x3, sp, 4096
005b1894add x3, x3, 1536
005b1898
005b1898loc_5b1898:
005b1898stp xzr, xzr, [x16], 16
005b189csubs xzr, x16, x3
005b18a0b.le 0x5b1898
005b18a4add x3, sp, 4096
005b18a8add x3, x3, 16
005b18acldrsb x27, [x3]
005b18b0b 0x5b18b4
005b18b4
005b18b4loc_5b18b4:
005b18b4str x3, [sp+7272]
005b18b8orr x3, xzr, 3
005b18bcstr x3, [sp+7280]
005b18c0str x3, [sp+7288]
005b18c4str xzr, [sp+7224]
005b18c8str x3, [sp+7216]
005b18ccb 0x5b18d0
005b18d0
005b18d0loc_5b18d0:
005b18d0ldr x4, [sp+7216]
005b18d4ldr x5, [sp+7224]
005b18d8subs xzr, x4, x5
005b18dcb.gt 0x5b18e4
005b18e0b 0x5b19cc
005b18e4
005b18e4loc_5b18e4:
005b18e4ldr x4, [sp+7224]
005b18e8str x4, [sp+7192]
005b18ecadd x5, x4, x4, lsl #2
005b18f0ubfm x0, x5, 58, 57
005b18f4str x0, [sp+7240]
005b18f8add x4, x4, x4, lsl #2
005b18fcubfm x4, x4, 58, 57
005b1900add x1, x4, 320
005b1904str x1, [sp+7232]
005b1908ldr x4, [sp+7360]
005b190cldrsb x27, [x4]
005b1910subs xzr, x1, 1088
005b1914b.ls 0x5b191c
005b1918b 0x5b1cec
005b191c
005b191cloc_5b191c:
005b191csubs xzr, x1, x5, lsl #6
005b1920b.hs 0x5b1928
005b1924b 0x5b1ce8
005b1928
005b1928loc_5b1928:
005b1928movz x1, 1088
005b192csub x2, x1, x5, lsl #6
005b1930sub x6, xzr, x2
005b1934sbfm x6, x6, 63, 63
005b1938and x5, x6, x5, lsl #6
005b193cadd x0, x4, x5
005b1940str x0, [sp+7312]
005b1944movz x4, 320
005b1948str x4, [sp+7320]
005b194cstr x2, [sp+7328]
005b1950b 0x5b1954
005b1954
005b1954loc_5b1954:
005b1954str x0, [sp+7304]
005b1958bl crypto/internal/fips140/mlkem.ringDecodeAndDecompress10
005b195cadd x21, sp, 4096
005b1960add x21, x21, 2576
005b1964add x20, sp, 8
005b1968adr x27, 16
005b196cstp x29, x27, [sp-24]
005b1970sub x29, sp, 24
005b1974bl fn_87e20
005b1978sub x29, sp, 8
005b197cldr x0, [sp+7192]
005b1980ldr x1, [sp+7280]
005b1984ldr x2, [sp+7272]
005b1988subs xzr, x0, x1
005b198cb.lo 0x5b1994
005b1990b 0x5b1ce4
005b1994
005b1994loc_5b1994:
005b1994add x21, x2, x0, lsl #9
005b1998add x20, sp, 4096
005b199cadd x20, x20, 2576
005b19a0adr x27, 16
005b19a4stp x29, x27, [sp-24]
005b19a8sub x29, sp, 24
005b19acbl fn_87e20
005b19b0sub x29, sp, 8
005b19b4b 0x5b19b8
005b19b8
005b19b8loc_5b19b8:
005b19b8ldr x4, [sp+7224]
005b19bcadd x4, x4, 1
005b19c0str x4, [sp+7224]
005b19c4orr x3, xzr, 3
005b19c8b 0x5b18d0
005b19cc
005b19ccloc_5b19cc:
005b19ccldr x1, [sp+7360]
005b19d0ldrsb x27, [x1]
005b19d4b 0x5b19d8
005b19d8
005b19d8loc_5b19d8:
005b19d8add x0, x1, 960
005b19dcstr x0, [sp+7312]
005b19e0orr x1, xzr, 128
005b19e4str x1, [sp+7320]
005b19e8str x1, [sp+7328]
005b19ecb 0x5b19f0
005b19f0
005b19f0loc_5b19f0:
005b19f0str x0, [sp+7296]
005b19f4bl crypto/internal/fips140/mlkem.ringDecodeAndDecompress4
005b19f8add x21, sp, 2064
005b19fcadd x20, sp, 8
005b1a00adr x27, 16
005b1a04stp x29, x27, [sp-24]
005b1a08sub x29, sp, 24
005b1a0cbl fn_87e20
005b1a10sub x29, sp, 8
005b1a14add x20, sp, 2576
005b1a18adr x27, 16
005b1a1cstp x29, x27, [sp-24]
005b1a20sub x29, sp, 24
005b1a24bl fn_87c90
005b1a28sub x29, sp, 8
005b1a2cstr xzr, [sp+7208]
005b1a30orr x1, xzr, 3
005b1a34str x1, [sp+7200]
005b1a38b 0x5b1a3c
005b1a3c
005b1a3cloc_5b1a3c:
005b1a3cldr x2, [sp+7200]
005b1a40ldr x3, [sp+7208]
005b1a44subs xzr, x2, x3
005b1a48b.gt 0x5b1a50
005b1a4cb 0x5b1bd8
005b1a50
005b1a50loc_5b1a50:
005b1a50ldr x0, [sp+7208]
005b1a54str x0, [sp+7184]
005b1a58ldr x2, [sp+7280]
005b1a5cldr x3, [sp+7272]
005b1a60subs xzr, x2, x0
005b1a64b.hi 0x5b1a6c
005b1a68b 0x5b1cdc
005b1a6c
005b1a6cloc_5b1a6c:
005b1a6cadd x20, x3, x0, lsl #9
005b1a70add x21, sp, 3600
005b1a74adr x27, 16
005b1a78stp x29, x27, [sp-24]
005b1a7csub x29, sp, 24
005b1a80bl fn_87e20
005b1a84sub x29, sp, 8
005b1a88add x21, sp, 8
005b1a8cadd x20, sp, 3600
005b1a90adr x27, 16
005b1a94stp x29, x27, [sp-24]
005b1a98sub x29, sp, 24
005b1a9cbl fn_87e20
005b1aa0sub x29, sp, 8
005b1aa4bl crypto/internal/fips140/mlkem.ntt
005b1aa8add x21, sp, 4096
005b1aacadd x21, x21, 2064
005b1ab0add x20, sp, 520
005b1ab4adr x27, 16
005b1ab8stp x29, x27, [sp-24]
005b1abcsub x29, sp, 24
005b1ac0bl fn_87e20
005b1ac4sub x29, sp, 8
005b1ac8ldr x0, [sp+7352]
005b1accldrsb x27, [x0]
005b1ad0ldr x1, [sp+7184]
005b1ad4subs xzr, x1, 3
005b1ad8b.lo 0x5b1ae0
005b1adcb 0x5b1cd0
005b1ae0
005b1ae0loc_5b1ae0:
005b1ae0add x20, x0, x1, lsl #9
005b1ae4add x21, sp, 3088
005b1ae8adr x27, 16
005b1aecstp x29, x27, [sp-24]
005b1af0sub x29, sp, 24
005b1af4bl fn_87e20
005b1af8sub x29, sp, 8
005b1afcadd x21, sp, 8
005b1b00add x20, sp, 3088
005b1b04adr x27, 16
005b1b08stp x29, x27, [sp-24]
005b1b0csub x29, sp, 24
005b1b10bl fn_87e20
005b1b14sub x29, sp, 8
005b1b18add x21, sp, 520
005b1b1cadd x20, sp, 4096
005b1b20add x20, x20, 2064
005b1b24adr x27, 16
005b1b28stp x29, x27, [sp-24]
005b1b2csub x29, sp, 24
005b1b30bl fn_87e20
005b1b34sub x29, sp, 8
005b1b38bl crypto/internal/fips140/mlkem.nttMul
005b1b3cadd x21, sp, 4096
005b1b40add x21, x21, 1552
005b1b44add x20, sp, 1032
005b1b48adr x27, 16
005b1b4cstp x29, x27, [sp-24]
005b1b50sub x29, sp, 24
005b1b54bl fn_87e20
005b1b58sub x29, sp, 8
005b1b5cadd x21, sp, 8
005b1b60add x20, sp, 2576
005b1b64adr x27, 16
005b1b68stp x29, x27, [sp-24]
005b1b6csub x29, sp, 24
005b1b70bl fn_87e20
005b1b74sub x29, sp, 8
005b1b78add x21, sp, 520
005b1b7cadd x20, sp, 4096
005b1b80add x20, x20, 1552
005b1b84adr x27, 16
005b1b88stp x29, x27, [sp-24]
005b1b8csub x29, sp, 24
005b1b90bl fn_87e20
005b1b94sub x29, sp, 8
005b1b98adrp x0, 0x15f000
005b1b9cadd x0, x0, 3768
005b1ba0bl crypto/internal/fips140/mlkem.polyAdd[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]
005b1ba4add x21, sp, 2576
005b1ba8add x20, sp, 1032
005b1bacadr x27, 16
005b1bb0stp x29, x27, [sp-24]
005b1bb4sub x29, sp, 24
005b1bb8bl fn_87e20
005b1bbcsub x29, sp, 8
005b1bc0b 0x5b1bc4
005b1bc4
005b1bc4loc_5b1bc4:
005b1bc4ldr x2, [sp+7208]
005b1bc8add x2, x2, 1
005b1bccstr x2, [sp+7208]
005b1bd0orr x1, xzr, 3
005b1bd4b 0x5b1a3c
005b1bd8
005b1bd8loc_5b1bd8:
005b1bd8add x21, sp, 8
005b1bdcadd x20, sp, 2576
005b1be0adr x27, 16
005b1be4stp x29, x27, [sp-24]
005b1be8sub x29, sp, 24
005b1becbl fn_87e20
005b1bf0sub x29, sp, 8
005b1bf4bl crypto/internal/fips140/mlkem.inverseNTT
005b1bf8add x21, sp, 4096
005b1bfcadd x21, x21, 2576
005b1c00add x20, sp, 520
005b1c04adr x27, 16
005b1c08stp x29, x27, [sp-24]
005b1c0csub x29, sp, 24
005b1c10bl fn_87e20
005b1c14sub x29, sp, 8
005b1c18add x21, sp, 8
005b1c1cadd x20, sp, 2064
005b1c20adr x27, 16
005b1c24stp x29, x27, [sp-24]
005b1c28sub x29, sp, 24
005b1c2cbl fn_87e20
005b1c30sub x29, sp, 8
005b1c34add x21, sp, 520
005b1c38add x20, sp, 4096
005b1c3cadd x20, x20, 2576
005b1c40adr x27, 16
005b1c44stp x29, x27, [sp-24]
005b1c48sub x29, sp, 24
005b1c4cbl fn_87e20
005b1c50sub x29, sp, 8
005b1c54adrp x0, 0x15f000
005b1c58add x0, x0, 3776
005b1c5cbl crypto/internal/fips140/mlkem.polySub[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]
005b1c60add x21, sp, 1552
005b1c64add x20, sp, 1032
005b1c68adr x27, 16
005b1c6cstp x29, x27, [sp-24]
005b1c70sub x29, sp, 24
005b1c74bl fn_87e20
005b1c78sub x29, sp, 8
005b1c7cadd x21, sp, 8
005b1c80add x20, sp, 1552
005b1c84adr x27, 16
005b1c88stp x29, x27, [sp-24]
005b1c8csub x29, sp, 24
005b1c90bl fn_87e20
005b1c94sub x29, sp, 8
005b1c98mov x0, xzr
005b1c9cmov x1, xzr
005b1ca0mov x2, x1
005b1ca4bl crypto/internal/fips140/mlkem.ringCompressAndEncode1
005b1ca8str x0, [sp+7312]
005b1cacstr x1, [sp+7320]
005b1cb0str x2, [sp+7328]
005b1cb4str x0, [sp+7248]
005b1cb8str x1, [sp+7256]
005b1cbcstr x2, [sp+7264]
005b1cc0ldp x29, x30, [sp-8]
005b1cc4movz x27, 7344
005b1cc8add sp, sp, x27
005b1cccret x30
005b1cd0
005b1cd0loc_5b1cd0:
005b1cd0mov x0, x1
005b1cd4orr x1, xzr, 3
005b1cd8bl runtime.panicIndex
005b1cdc
005b1cdcloc_5b1cdc:
005b1cdcmov x1, x2
005b1ce0bl runtime.panicIndex
005b1ce4
005b1ce4loc_5b1ce4:
005b1ce4bl runtime.panicIndex
005b1ce8
005b1ce8loc_5b1ce8:
005b1ce8bl runtime.panicSliceB
005b1cec
005b1cecloc_5b1cec:
005b1cecmovz x2, 1088
005b1cf0bl runtime.panicSliceAlen
005b1cf4hint
005b1cf8
005b1cf8loc_5b1cf8:
005b1cf8stp x0, x1, [sp+8]
005b1cfcmov x3, x30
005b1d00bl runtime.morestack_noctxt.abi0
005b1d04ldp x0, x1, [sp+8]
005b1d08b 0x5b1840
005b1d0cudf 0
005b1840