Similarity

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

005b1d10
005b1d10crypto/internal/fips140/mlkem.init.0.func1: ; void crypto/internal/fips140/mlkem.init.0.func1(void)
005b1d10ldr x16, [x28+16]
005b1d14movz x27, 8240
005b1d18subs x17, sp, x27
005b1d1cb.lo 0x5b27f0
005b1d20subs xzr, x17, x16
005b1d24b.ls 0x5b27f0
005b1d28movz x27, 8368
005b1d2csub x20, sp, x27
005b1d30stp x29, x30, [x20-8]
005b1d34add sp, x20, 0
005b1d38sub x29, sp, 8
005b1d3cadd x27, sp, 3904
005b1d40add x27, x27, 4096
005b1d44stp xzr, xzr, [x27]
005b1d48add x27, sp, 157
005b1d4cstp xzr, xzr, [x27]
005b1d50add x27, sp, 173
005b1d54stp xzr, xzr, [x27]
005b1d58add x3, sp, 157
005b1d5cstr x3, [sp+8224]
005b1d60ldrsb x27, [x3]
005b1d64orr x4, xzr, 1
005b1d68strb w4, [x3]
005b1d6cldr x3, [sp+8224]
005b1d70ldrsb x27, [x3]
005b1d74orr x5, xzr, 2
005b1d78strb w5, [x3+1]
005b1d7cldr x3, [sp+8224]
005b1d80ldrsb x27, [x3]
005b1d84orr x5, xzr, 3
005b1d88strb w5, [x3+2]
005b1d8cldr x3, [sp+8224]
005b1d90ldrsb x27, [x3]
005b1d94orr x5, xzr, 4
005b1d98strb w5, [x3+3]
005b1d9cldr x3, [sp+8224]
005b1da0ldrsb x27, [x3]
005b1da4movz x6, 5
005b1da8strb w6, [x3+4]
005b1dacldr x3, [sp+8224]
005b1db0ldrsb x27, [x3]
005b1db4orr x6, xzr, 6
005b1db8strb w6, [x3+5]
005b1dbcldr x3, [sp+8224]
005b1dc0ldrsb x27, [x3]
005b1dc4orr x6, xzr, 7
005b1dc8strb w6, [x3+6]
005b1dccldr x3, [sp+8224]
005b1dd0ldrsb x27, [x3]
005b1dd4orr x6, xzr, 8
005b1dd8strb w6, [x3+7]
005b1ddcldr x3, [sp+8224]
005b1de0ldrsb x27, [x3]
005b1de4movz x6, 9
005b1de8strb w6, [x3+8]
005b1decldr x3, [sp+8224]
005b1df0ldrsb x27, [x3]
005b1df4movz x6, 10
005b1df8strb w6, [x3+9]
005b1dfcldr x3, [sp+8224]
005b1e00ldrsb x27, [x3]
005b1e04movz x6, 11
005b1e08strb w6, [x3+10]
005b1e0cldr x3, [sp+8224]
005b1e10ldrsb x27, [x3]
005b1e14orr x6, xzr, 12
005b1e18strb w6, [x3+11]
005b1e1cldr x3, [sp+8224]
005b1e20ldrsb x27, [x3]
005b1e24movz x6, 13
005b1e28strb w6, [x3+12]
005b1e2cldr x3, [sp+8224]
005b1e30ldrsb x27, [x3]
005b1e34orr x6, xzr, 14
005b1e38strb w6, [x3+13]
005b1e3cldr x3, [sp+8224]
005b1e40ldrsb x27, [x3]
005b1e44orr x6, xzr, 15
005b1e48strb w6, [x3+14]
005b1e4cldr x3, [sp+8224]
005b1e50ldrsb x27, [x3]
005b1e54orr x6, xzr, 16
005b1e58strb w6, [x3+15]
005b1e5cldr x3, [sp+8224]
005b1e60ldrsb x27, [x3]
005b1e64movz x6, 17
005b1e68strb w6, [x3+16]
005b1e6cldr x3, [sp+8224]
005b1e70ldrsb x27, [x3]
005b1e74movz x6, 18
005b1e78strb w6, [x3+17]
005b1e7cldr x3, [sp+8224]
005b1e80ldrsb x27, [x3]
005b1e84movz x6, 19
005b1e88strb w6, [x3+18]
005b1e8cldr x3, [sp+8224]
005b1e90ldrsb x27, [x3]
005b1e94movz x6, 20
005b1e98strb w6, [x3+19]
005b1e9cldr x3, [sp+8224]
005b1ea0ldrsb x27, [x3]
005b1ea4movz x7, 21
005b1ea8strb w7, [x3+20]
005b1eacldr x3, [sp+8224]
005b1eb0ldrsb x27, [x3]
005b1eb4movz x7, 22
005b1eb8strb w7, [x3+21]
005b1ebcldr x3, [sp+8224]
005b1ec0ldrsb x27, [x3]
005b1ec4movz x7, 23
005b1ec8strb w7, [x3+22]
005b1eccldr x3, [sp+8224]
005b1ed0ldrsb x27, [x3]
005b1ed4orr x7, xzr, 24
005b1ed8strb w7, [x3+23]
005b1edcldr x3, [sp+8224]
005b1ee0ldrsb x27, [x3]
005b1ee4movz x8, 25
005b1ee8strb w8, [x3+24]
005b1eecldr x3, [sp+8224]
005b1ef0ldrsb x27, [x3]
005b1ef4movz x8, 26
005b1ef8strb w8, [x3+25]
005b1efcldr x3, [sp+8224]
005b1f00ldrsb x27, [x3]
005b1f04movz x8, 27
005b1f08strb w8, [x3+26]
005b1f0cldr x3, [sp+8224]
005b1f10ldrsb x27, [x3]
005b1f14orr x8, xzr, 28
005b1f18strb w8, [x3+27]
005b1f1cldr x3, [sp+8224]
005b1f20ldrsb x27, [x3]
005b1f24movz x8, 29
005b1f28strb w8, [x3+28]
005b1f2cldr x3, [sp+8224]
005b1f30ldrsb x27, [x3]
005b1f34orr x8, xzr, 30
005b1f38strb w8, [x3+29]
005b1f3cldr x3, [sp+8224]
005b1f40ldrsb x27, [x3]
005b1f44orr x8, xzr, 31
005b1f48strb w8, [x3+30]
005b1f4cldr x3, [sp+8224]
005b1f50ldrsb x27, [x3]
005b1f54orr x8, xzr, 32
005b1f58strb w8, [x3+31]
005b1f5cldr x3, [sp+8224]
005b1f60str x3, [sp+8064]
005b1f64add x27, sp, 125
005b1f68stp xzr, xzr, [x27]
005b1f6cadd x27, sp, 141
005b1f70stp xzr, xzr, [x27]
005b1f74add x3, sp, 125
005b1f78str x3, [sp+8216]
005b1f7cldrsb x27, [x3]
005b1f80movz x9, 33
005b1f84strb w9, [x3]
005b1f88ldr x3, [sp+8216]
005b1f8cldrsb x27, [x3]
005b1f90movz x9, 34
005b1f94strb w9, [x3+1]
005b1f98ldr x3, [sp+8216]
005b1f9cldrsb x27, [x3]
005b1fa0movz x9, 35
005b1fa4strb w9, [x3+2]
005b1fa8ldr x3, [sp+8216]
005b1facldrsb x27, [x3]
005b1fb0movz x9, 36
005b1fb4strb w9, [x3+3]
005b1fb8ldr x3, [sp+8216]
005b1fbcldrsb x27, [x3]
005b1fc0movz x9, 37
005b1fc4strb w9, [x3+4]
005b1fc8ldr x3, [sp+8216]
005b1fccldrsb x27, [x3]
005b1fd0movz x9, 38
005b1fd4strb w9, [x3+5]
005b1fd8ldr x3, [sp+8216]
005b1fdcldrsb x27, [x3]
005b1fe0movz x9, 39
005b1fe4strb w9, [x3+6]
005b1fe8ldr x3, [sp+8216]
005b1fecldrsb x27, [x3]
005b1ff0movz x9, 40
005b1ff4strb w9, [x3+7]
005b1ff8ldr x3, [sp+8216]
005b1ffcldrsb x27, [x3]
005b2000movz x9, 41
005b2004strb w9, [x3+8]
005b2008ldr x3, [sp+8216]
005b200cldrsb x27, [x3]
005b2010movz x9, 42
005b2014strb w9, [x3+9]
005b2018ldr x3, [sp+8216]
005b201cldrsb x27, [x3]
005b2020movz x10, 43
005b2024strb w10, [x3+10]
005b2028ldr x3, [sp+8216]
005b202cldrsb x27, [x3]
005b2030movz x10, 44
005b2034strb w10, [x3+11]
005b2038ldr x3, [sp+8216]
005b203cldrsb x27, [x3]
005b2040movz x10, 45
005b2044strb w10, [x3+12]
005b2048ldr x3, [sp+8216]
005b204cldrsb x27, [x3]
005b2050movz x10, 46
005b2054strb w10, [x3+13]
005b2058ldr x3, [sp+8216]
005b205cldrsb x27, [x3]
005b2060movz x10, 47
005b2064strb w10, [x3+14]
005b2068ldr x3, [sp+8216]
005b206cldrsb x27, [x3]
005b2070orr x10, xzr, 48
005b2074strb w10, [x3+15]
005b2078ldr x3, [sp+8216]
005b207cldrsb x27, [x3]
005b2080movz x11, 49
005b2084strb w11, [x3+16]
005b2088ldr x3, [sp+8216]
005b208cldrsb x27, [x3]
005b2090movz x11, 50
005b2094strb w11, [x3+17]
005b2098ldr x3, [sp+8216]
005b209cldrsb x27, [x3]
005b20a0movz x12, 51
005b20a4strb w12, [x3+18]
005b20a8ldr x3, [sp+8216]
005b20acldrsb x27, [x3]
005b20b0movz x12, 52
005b20b4strb w12, [x3+19]
005b20b8ldr x3, [sp+8216]
005b20bcldrsb x27, [x3]
005b20c0movz x12, 53
005b20c4strb w12, [x3+20]
005b20c8ldr x3, [sp+8216]
005b20ccldrsb x27, [x3]
005b20d0movz x12, 54
005b20d4strb w12, [x3+21]
005b20d8ldr x3, [sp+8216]
005b20dcldrsb x27, [x3]
005b20e0movz x12, 55
005b20e4strb w12, [x3+22]
005b20e8ldr x3, [sp+8216]
005b20ecldrsb x27, [x3]
005b20f0orr x13, xzr, 56
005b20f4strb w13, [x3+23]
005b20f8ldr x3, [sp+8216]
005b20fcldrsb x27, [x3]
005b2100movz x13, 57
005b2104strb w13, [x3+24]
005b2108ldr x3, [sp+8216]
005b210cldrsb x27, [x3]
005b2110movz x14, 58
005b2114strb w14, [x3+25]
005b2118ldr x3, [sp+8216]
005b211cldrsb x27, [x3]
005b2120movz x14, 59
005b2124strb w14, [x3+26]
005b2128ldr x3, [sp+8216]
005b212cldrsb x27, [x3]
005b2130orr x15, xzr, 60
005b2134strb w15, [x3+27]
005b2138ldr x3, [sp+8216]
005b213cldrsb x27, [x3]
005b2140movz x15, 61
005b2144strb w15, [x3+28]
005b2148ldr x3, [sp+8216]
005b214cldrsb x27, [x3]
005b2150orr x15, xzr, 62
005b2154strb w15, [x3+29]
005b2158ldr x3, [sp+8216]
005b215cldrsb x27, [x3]
005b2160orr x15, xzr, 63
005b2164strb w15, [x3+30]
005b2168ldr x3, [sp+8216]
005b216cldrsb x27, [x3]
005b2170orr x15, xzr, 64
005b2174strb w15, [x3+31]
005b2178ldr x3, [sp+8216]
005b217cstr x3, [sp+8016]
005b2180add x27, sp, 93
005b2184stp xzr, xzr, [x27]
005b2188add x27, sp, 109
005b218cstp xzr, xzr, [x27]
005b2190add x3, sp, 93
005b2194str x3, [sp+8208]
005b2198ldrsb x27, [x3]
005b219cmovz x15, 65
005b21a0strb w15, [x3]
005b21a4ldr x3, [sp+8208]
005b21a8ldrsb x27, [x3]
005b21acmovz x17, 66
005b21b0strb w17, [x3+1]
005b21b4ldr x3, [sp+8208]
005b21b8ldrsb x27, [x3]
005b21bcmovz x17, 67
005b21c0strb w17, [x3+2]
005b21c4ldr x3, [sp+8208]
005b21c8ldrsb x27, [x3]
005b21ccmovz x17, 68
005b21d0strb w17, [x3+3]
005b21d4ldr x3, [sp+8208]
005b21d8ldrsb x27, [x3]
005b21dcmovz x17, 69
005b21e0strb w17, [x3+4]
005b21e4ldr x3, [sp+8208]
005b21e8ldrsb x27, [x3]
005b21ecmovz x17, 70
005b21f0strb w17, [x3+5]
005b21f4ldr x3, [sp+8208]
005b21f8ldrsb x27, [x3]
005b21fcmovz x17, 71
005b2200strb w17, [x3+6]
005b2204ldr x3, [sp+8208]
005b2208ldrsb x27, [x3]
005b220cmovz x17, 72
005b2210strb w17, [x3+7]
005b2214ldr x3, [sp+8208]
005b2218ldrsb x27, [x3]
005b221cmovz x19, 73
005b2220strb w19, [x3+8]
005b2224ldr x3, [sp+8208]
005b2228ldrsb x27, [x3]
005b222cmovz x19, 74
005b2230strb w19, [x3+9]
005b2234ldr x3, [sp+8208]
005b2238ldrsb x27, [x3]
005b223cmovz x20, 75
005b2240strb w20, [x3+10]
005b2244ldr x3, [sp+8208]
005b2248ldrsb x27, [x3]
005b224cmovz x20, 76
005b2250strb w20, [x3+11]
005b2254ldr x3, [sp+8208]
005b2258ldrsb x27, [x3]
005b225cmovz x20, 77
005b2260strb w20, [x3+12]
005b2264ldr x3, [sp+8208]
005b2268ldrsb x27, [x3]
005b226cmovz x20, 78
005b2270strb w20, [x3+13]
005b2274ldr x3, [sp+8208]
005b2278ldrsb x27, [x3]
005b227cmovz x21, 79
005b2280strb w21, [x3+14]
005b2284ldr x3, [sp+8208]
005b2288ldrsb x27, [x3]
005b228cmovz x21, 80
005b2290strb w21, [x3+15]
005b2294ldr x3, [sp+8208]
005b2298ldrsb x27, [x3]
005b229cmovz x21, 81
005b22a0strb w21, [x3+16]
005b22a4ldr x3, [sp+8208]
005b22a8ldrsb x27, [x3]
005b22acmovz x21, 82
005b22b0strb w21, [x3+17]
005b22b4ldr x3, [sp+8208]
005b22b8ldrsb x27, [x3]
005b22bcmovz x22, 83
005b22c0strb w22, [x3+18]
005b22c4ldr x3, [sp+8208]
005b22c8ldrsb x27, [x3]
005b22ccmovz x22, 84
005b22d0strb w22, [x3+19]
005b22d4ldr x3, [sp+8208]
005b22d8ldrsb x27, [x3]
005b22dcmovz x22, 85
005b22e0strb w22, [x3+20]
005b22e4ldr x3, [sp+8208]
005b22e8ldrsb x27, [x3]
005b22ecmovz x23, 86
005b22f0strb w23, [x3+21]
005b22f4ldr x3, [sp+8208]
005b22f8ldrsb x27, [x3]
005b22fcmovz x23, 87
005b2300strb w23, [x3+22]
005b2304ldr x3, [sp+8208]
005b2308ldrsb x27, [x3]
005b230cmovz x23, 88
005b2310strb w23, [x3+23]
005b2314ldr x3, [sp+8208]
005b2318ldrsb x27, [x3]
005b231cmovz x23, 89
005b2320strb w23, [x3+24]
005b2324ldr x3, [sp+8208]
005b2328ldrsb x27, [x3]
005b232cmovz x24, 90
005b2330strb w24, [x3+25]
005b2334ldr x3, [sp+8208]
005b2338ldrsb x27, [x3]
005b233cmovz x24, 91
005b2340strb w24, [x3+26]
005b2344ldr x3, [sp+8208]
005b2348ldrsb x27, [x3]
005b234cmovz x24, 92
005b2350strb w24, [x3+27]
005b2354ldr x3, [sp+8208]
005b2358ldrsb x27, [x3]
005b235cmovz x24, 93
005b2360strb w24, [x3+28]
005b2364ldr x3, [sp+8208]
005b2368ldrsb x27, [x3]
005b236cmovz x24, 94
005b2370strb w24, [x3+29]
005b2374ldr x3, [sp+8208]
005b2378ldrsb x27, [x3]
005b237cmovz x24, 95
005b2380strb w24, [x3+30]
005b2384ldr x3, [sp+8208]
005b2388ldrsb x27, [x3]
005b238corr x25, xzr, 96
005b2390strb w25, [x3+31]
005b2394ldr x3, [sp+8208]
005b2398str x3, [sp+8024]
005b239cadd x27, sp, 61
005b23a0stp xzr, xzr, [x27]
005b23a4add x27, sp, 77
005b23a8stp xzr, xzr, [x27]
005b23acadd x3, sp, 61
005b23b0str x3, [sp+8200]
005b23b4ldrsb x27, [x3]
005b23b8strb w22, [x3]
005b23bcldr x3, [sp+8200]
005b23c0ldrsb x27, [x3]
005b23c4strb w4, [x3+1]
005b23c8ldr x3, [sp+8200]
005b23ccldrsb x27, [x3]
005b23d0movn x4, 3
005b23d4strb w4, [x3+2]
005b23d8ldr x3, [sp+8200]
005b23dcldrsb x27, [x3]
005b23e0strb w21, [x3+3]
005b23e4ldr x3, [sp+8200]
005b23e8ldrsb x27, [x3]
005b23ecstrb w14, [x3+4]
005b23f0ldr x3, [sp+8200]
005b23f4ldrsb x27, [x3]
005b23f8movz x4, 116
005b23fcstrb w4, [x3+5]
005b2400ldr x3, [sp+8200]
005b2404ldrsb x27, [x3]
005b2408strb w24, [x3+6]
005b240cldr x3, [sp+8200]
005b2410ldrsb x27, [x3]
005b2414strb w15, [x3+7]
005b2418ldr x3, [sp+8200]
005b241cldrsb x27, [x3]
005b2420movz x4, 118
005b2424strb w4, [x3+8]
005b2428ldr x3, [sp+8200]
005b242cldrsb x27, [x3]
005b2430strb w9, [x3+9]
005b2434ldr x3, [sp+8200]
005b2438ldrsb x27, [x3]
005b243cstrb w7, [x3+10]
005b2440ldr x3, [sp+8200]
005b2444ldrsb x27, [x3]
005b2448movn x4, 114
005b244cstrb w4, [x3+11]
005b2450ldr x3, [sp+8200]
005b2454ldrsb x27, [x3]
005b2458movn x4, 27
005b245cstrb w4, [x3+12]
005b2460ldr x3, [sp+8200]
005b2464ldrsb x27, [x3]
005b2468strb w19, [x3+13]
005b246cldr x3, [sp+8200]
005b2470ldrsb x27, [x3]
005b2474strb w23, [x3+14]
005b2478ldr x3, [sp+8200]
005b247cldrsb x27, [x3]
005b2480movn x4, 70
005b2484strb w4, [x3+15]
005b2488ldr x3, [sp+8200]
005b248cldrsb x27, [x3]
005b2490strb w8, [x3+16]
005b2494ldr x3, [sp+8200]
005b2498ldrsb x27, [x3]
005b249cmovn x4, 11
005b24a0strb w4, [x3+17]
005b24a4ldr x3, [sp+8200]
005b24a8ldrsb x27, [x3]
005b24acstrb w10, [x3+18]
005b24b0ldr x3, [sp+8200]
005b24b4ldrsb x27, [x3]
005b24b8strb w6, [x3+19]
005b24bcldr x3, [sp+8200]
005b24c0ldrsb x27, [x3]
005b24c4movz x4, 98
005b24c8strb w4, [x3+20]
005b24ccldr x3, [sp+8200]
005b24d0ldrsb x27, [x3]
005b24d4strb w5, [x3+21]
005b24d8ldr x3, [sp+8200]
005b24dcldrsb x27, [x3]
005b24e0movn x4, 17
005b24e4strb w4, [x3+22]
005b24e8ldr x3, [sp+8200]
005b24ecldrsb x27, [x3]
005b24f0strb w20, [x3+23]
005b24f4ldr x3, [sp+8200]
005b24f8ldrsb x27, [x3]
005b24fcmovz x4, 121
005b2500strb w4, [x3+24]
005b2504ldr x3, [sp+8200]
005b2508ldrsb x27, [x3]
005b250cstrb w12, [x3+25]
005b2510ldr x3, [sp+8200]
005b2514ldrsb x27, [x3]
005b2518strb w11, [x3+26]
005b251cldr x3, [sp+8200]
005b2520ldrsb x27, [x3]
005b2524strb w13, [x3+27]
005b2528ldr x3, [sp+8200]
005b252cldrsb x27, [x3]
005b2530movz x4, 109
005b2534strb w4, [x3+28]
005b2538ldr x3, [sp+8200]
005b253cldrsb x27, [x3]
005b2540movn x4, 8
005b2544strb w4, [x3+29]
005b2548ldr x3, [sp+8200]
005b254cldrsb x27, [x3]
005b2550movn x4, 85
005b2554strb w4, [x3+30]
005b2558ldr x3, [sp+8200]
005b255cldrsb x27, [x3]
005b2560strb w17, [x3+31]
005b2564ldr x3, [sp+8200]
005b2568ldrsb x27, [x3]
005b256cb 0x5b2570
005b2570
005b2570loc_5b2570:
005b2570str x3, [sp+8144]
005b2574orr x3, xzr, 32
005b2578str x3, [sp+8152]
005b257cstr x3, [sp+8160]
005b2580add x16, sp, 192
005b2584add x3, sp, 4096
005b2588add x3, x3, 3888
005b258c
005b258cloc_5b258c:
005b258cstp xzr, xzr, [x16], 16
005b2590subs xzr, x16, x3
005b2594b.le 0x5b258c
005b2598add x16, sp, 192
005b259cstr x16, [sp+8192]
005b25a0ldrsb x27, [x16]
005b25a4movz x3, 7792
005b25a8add x3, x16, x3
005b25ac
005b25acloc_5b25ac:
005b25acstp xzr, xzr, [x16], 16
005b25b0subs xzr, x16, x3
005b25b4b.le 0x5b25ac
005b25b8ldr x0, [sp+8192]
005b25bcstr x0, [sp+8056]
005b25c0ldr x1, [sp+8064]
005b25c4ldr x2, [sp+8016]
005b25c8bl crypto/internal/fips140/mlkem.kemKeyGen
005b25ccldr x0, [sp+8056]
005b25d0bl crypto/internal/fips140/mlkem.(*DecapsulationKey768).EncapsulationKey
005b25d4str x0, [sp+8048]
005b25d8str xzr, [sp+8272]
005b25dcadd x27, sp, 88
005b25e0add x27, x27, 8192
005b25e4stp xzr, xzr, [x27]
005b25e8str xzr, [sp+8248]
005b25ecadd x27, sp, 64
005b25f0add x27, x27, 8192
005b25f4stp xzr, xzr, [x27]
005b25f8ldr x1, [sp+8024]
005b25fcldr x0, [sp+8048]
005b2600bl crypto/internal/fips140/mlkem.(*EncapsulationKey768).EncapsulateInternal
005b2604str x0, [sp+8272]
005b2608str x1, [sp+8280]
005b260cstr x2, [sp+8288]
005b2610str x3, [sp+8248]
005b2614str x4, [sp+8256]
005b2618str x5, [sp+8264]
005b261cldr x3, [sp+8272]
005b2620ldr x4, [sp+8280]
005b2624ldr x5, [sp+8288]
005b2628str x3, [sp+8168]
005b262cstr x4, [sp+8176]
005b2630str x5, [sp+8184]
005b2634ldr x3, [sp+8248]
005b2638ldr x4, [sp+8256]
005b263cldr x5, [sp+8264]
005b2640str x3, [sp+8336]
005b2644str x4, [sp+8344]
005b2648str x5, [sp+8352]
005b264cldr x3, [sp+8168]
005b2650ldr x4, [sp+8176]
005b2654ldr x5, [sp+8184]
005b2658str x3, [sp+8096]
005b265cstr x4, [sp+8104]
005b2660str x5, [sp+8112]
005b2664ldr x3, [sp+8336]
005b2668ldr x4, [sp+8344]
005b266cldr x5, [sp+8352]
005b2670str x3, [sp+8072]
005b2674str x4, [sp+8080]
005b2678str x5, [sp+8088]
005b267cstr xzr, [sp+8248]
005b2680add x27, sp, 64
005b2684add x27, x27, 8192
005b2688stp xzr, xzr, [x27]
005b268cadd x27, sp, 40
005b2690add x27, x27, 8192
005b2694stp xzr, xzr, [x27]
005b2698ldr x1, [sp+8072]
005b269cldr x2, [sp+8080]
005b26a0ldr x3, [sp+8088]
005b26a4ldr x0, [sp+8056]
005b26a8bl crypto/internal/fips140/mlkem.(*DecapsulationKey768).Decapsulate
005b26acstr x0, [sp+8248]
005b26b0str x1, [sp+8256]
005b26b4str x2, [sp+8264]
005b26b8str x3, [sp+8232]
005b26bcstr x4, [sp+8240]
005b26c0ldr x3, [sp+8248]
005b26c4ldr x4, [sp+8256]
005b26c8ldr x5, [sp+8264]
005b26ccstr x3, [sp+8312]
005b26d0str x4, [sp+8320]
005b26d4str x5, [sp+8328]
005b26d8ldr x3, [sp+8232]
005b26dcldr x4, [sp+8240]
005b26e0str x3, [sp+8296]
005b26e4str x4, [sp+8304]
005b26e8ldr x3, [sp+8312]
005b26ecldr x4, [sp+8320]
005b26f0ldr x5, [sp+8328]
005b26f4str x3, [sp+8120]
005b26f8str x4, [sp+8128]
005b26fcstr x5, [sp+8136]
005b2700ldr x1, [sp+8304]
005b2704ldr x0, [sp+8296]
005b2708str x0, [sp+8032]
005b270cstr x1, [sp+8040]
005b2710cbnz x0, 0x5b2718
005b2714b 0x5b2730
005b2718
005b2718loc_5b2718:
005b2718str x0, [sp+8000]
005b271cstr x1, [sp+8008]
005b2720ldp x29, x30, [sp-8]
005b2724movz x27, 8368
005b2728add sp, sp, x27
005b272cret x30
005b2730
005b2730loc_5b2730:
005b2730ldr x3, [sp+8144]
005b2734ldr x0, [sp+8096]
005b2738ldr x4, [sp+8152]
005b273cldr x1, [sp+8104]
005b2740ldr x5, [sp+8160]
005b2744ldr x2, [sp+8112]
005b2748bl bytes.Equal
005b274cstrb w0, [sp+190]
005b2750eor x6, x0, 1
005b2754strb w6, [sp+191]
005b2758tbnz w0, 0, 0x5b2760
005b275cb 0x5b278c
005b2760
005b2760loc_5b2760:
005b2760ldr x3, [sp+8144]
005b2764ldr x0, [sp+8120]
005b2768ldr x4, [sp+8152]
005b276cldr x1, [sp+8128]
005b2770ldr x5, [sp+8160]
005b2774ldr x2, [sp+8136]
005b2778bl bytes.Equal
005b277cstrb w0, [sp+189]
005b2780eor x6, x0, 1
005b2784strb w6, [sp+191]
005b2788b 0x5b2790
005b278c
005b278cloc_5b278c:
005b278cb 0x5b2790
005b2790
005b2790loc_5b2790:
005b2790ldrb w2, [sp+191]
005b2794tbnz w2, 0, 0x5b279c
005b2798b 0x5b27cc
005b279c
005b279cloc_5b279c:
005b279cadrp x0, 0x103000
005b27a0add x0, x0, 1543
005b27a4movz x1, 17
005b27a8bl errors.New
005b27acstr x0, [sp+8232]
005b27b0str x1, [sp+8240]
005b27b4str x0, [sp+8000]
005b27b8str x1, [sp+8008]
005b27bcldp x29, x30, [sp-8]
005b27c0movz x27, 8368
005b27c4add sp, sp, x27
005b27c8ret x30
005b27cc
005b27ccloc_5b27cc:
005b27ccadd x27, sp, 3904
005b27d0add x27, x27, 4096
005b27d4stp xzr, xzr, [x27]
005b27d8mov x0, xzr
005b27dcmov x1, xzr
005b27e0ldp x29, x30, [sp-8]
005b27e4movz x27, 8368
005b27e8add sp, sp, x27
005b27ecret x30
005b27f0
005b27f0loc_5b27f0:
005b27f0mov x3, x30
005b27f4bl runtime.morestack_noctxt.abi0
005b27f8b 0x5b1d10
005b27fcudf 0
005b1d10

005b2800
005b2800crypto/internal/fips140/mlkem.polySub[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement]: ; void crypto/internal/fips140/mlkem.polySub[go.shape.[256]crypto/internal/fips140/mlkem.fieldElement](uintptr[1] * dict, int64_t a, int64_t b)
005b2800ldr x16, [x28+16]
005b2804subs xzr, sp, x16
005b2808b.ls 0x5b28f4
005b280cstr x30, [sp-64]!
005b2810stur x29, [sp-8]
005b2814sub x29, sp, 8
005b2818str x0, [sp+1608]
005b281cadd x20, sp, 1096
005b2820adr x27, 16
005b2824stp x29, x27, [sp-24]
005b2828sub x29, sp, 24
005b282cbl fn_87c90
005b2830sub x29, sp, 8
005b2834str xzr, [sp+48]
005b2838orr x1, xzr, 256
005b283cstr x1, [sp+40]
005b2840b 0x5b2844
005b2844
005b2844loc_5b2844:
005b2844ldr x2, [sp+40]
005b2848ldr x3, [sp+48]
005b284csubs xzr, x2, x3
005b2850b.gt 0x5b2858
005b2854b 0x5b28cc
005b2858
005b2858loc_5b2858:
005b2858ldr x0, [sp+48]
005b285cstr x0, [sp+32]
005b2860subs xzr, x0, 256
005b2864b.lo 0x5b286c
005b2868b 0x5b28ec
005b286c
005b286cloc_5b286c:
005b286cadd x2, sp, 72
005b2870ldrh w0, [x2+x0]
005b2874strh w0, [sp+28]
005b2878ldr x3, [sp+32]
005b287csubs xzr, x3, 256
005b2880b.lo 0x5b2888
005b2884b 0x5b28e4
005b2888
005b2888loc_5b2888:
005b2888add x2, sp, 584
005b288cldrh w1, [x2+x3]
005b2890strh w1, [sp+26]
005b2894bl crypto/internal/fips140/mlkem.fieldSub
005b2898strh w0, [sp+30]
005b289cldr x2, [sp+32]
005b28a0subs xzr, x2, 256
005b28a4b.lo 0x5b28ac
005b28a8b 0x5b28d8
005b28ac
005b28acloc_5b28ac:
005b28acadd x3, sp, 1096
005b28b0strh w0, [x3+x2]
005b28b4b 0x5b28b8
005b28b8
005b28b8loc_5b28b8:
005b28b8ldr x2, [sp+48]
005b28bcadd x2, x2, 1
005b28c0str x2, [sp+48]
005b28c4orr x1, xzr, 256
005b28c8b 0x5b2844
005b28cc
005b28ccloc_5b28cc:
005b28ccldur x29, [sp-8]
005b28d0ldr x30, [sp], 64
005b28d4ret x30
005b28d8
005b28d8loc_5b28d8:
005b28d8mov x0, x2
005b28dcorr x1, xzr, 256
005b28e0bl runtime.panicIndex
005b28e4
005b28e4loc_5b28e4:
005b28e4mov x0, x3
005b28e8bl runtime.panicIndex
005b28ec
005b28ecloc_5b28ec:
005b28ecbl runtime.panicIndex
005b28f0hint
005b28f4
005b28f4loc_5b28f4:
005b28f4str x0, [sp+1544]
005b28f8mov x3, x30
005b28fcbl runtime.morestack_noctxt.abi0
005b2900ldr x0, [sp+1544]
005b2904b 0x5b2800
005b2908udf 0
005b290cudf 0
005b2800