Home
last modified time | relevance | path

Searched defs:mulx (Results 1 – 8 of 8) sorted by relevance

/aosp_15_r20/external/cronet/third_party/boringssl/src/third_party/fiat/asm/
H A Dfiat_p256_adx_mul.S28 mulx r8, rcx, [ rax + 0x0 ] label
31 mulx rbx, r9, [ rax + 0x8 ] label
37 mulx r15, r14, [ rax + 0x10 ] label
41 mulx r11, r10, [ rax + 0x18 ] label
46 mulx rbx, r8, [ rax + 0x0 ] label
52 mulx rdi, r9, [ rax + 0x8 ] label
55 mulx rbx, r14, [ rax + 0x10 ] label
58 mulx r13, r12, [ rax + 0x18 ] label
61 mulx r11, r10, rcx label
66 mulx r8, rbx, r10 label
[all …]
H A Dfiat_curve25519_adx_mul.S28 mulx r11, r10, [ rax + 0x8 ] label
32 mulx r8, rcx, [ rsi + 0x18 ] label
36 mulx rbx, r9, [ rax + 0x18 ] label
40 mulx r15, r12, [ rax + 0x8 ] label
46 mulx r14, r13, [ rax + 0x0 ] label
50 mulx rdi, r15, [ rsi + 0x0 ] label
54 mulx r9, r13, [ rsi + 0x0 ] label
59 mulx r13, rdi, [ rax + 0x8 ] label
68 mulx r10, rcx, [ rax + 0x0 ] label
71 mulx r15, rbx, [ rax + 0x8 ] label
[all …]
H A Dfiat_p256_adx_sqr.S26 mulx r10, rax, [ rsi + 0x18 ] label
27 mulx rcx, r11, rdx label
28 mulx r9, r8, [ rsi + 0x8 ] label
35 mulx r12, rbx, [ rsi + 0x10 ] label
41 mulx r14, r13, rdx label
45 mulx rdi, r15, [ rsi + 0x10 ] label
48 mulx r11, r15, [ rsi + 0x18 ] label
60 mulx r12, r9, [ rsi + 0x18 ] label
63 mulx r11, r10, rdx label
71 mulx rbx, r8, rdx label
[all …]
H A Dfiat_curve25519_adx_square.S27 mulx r10, rax, [ rsi + 0x8 ] label
29 mulx rcx, r11, [ rsi + 0x10 ] label
33 mulx r9, r8, [ rsi + 0x18 ] label
37 mulx rbx, r10, [ rsi + 0x18 ] label
43 mulx r9, rcx, [ rsi + 0x18 ] label
46 mulx rdi, rbx, [ rsi + 0x8 ] label
62 mulx r9, rcx, rdx label
68 mulx r14, r13, rdx label
77 mulx rbx, r11, rdx label
88 mulx rdi, rax, rdx label
[all …]
/aosp_15_r20/external/rust/android-crates-io/crates/ring/third_party/fiat/asm/
Dfiat_curve25519_adx_mul.S28 mulx r11, r10, [ rax + 0x8 ] label
32 mulx r8, rcx, [ rsi + 0x18 ] label
36 mulx rbx, r9, [ rax + 0x18 ] label
40 mulx r15, r12, [ rax + 0x8 ] label
46 mulx r14, r13, [ rax + 0x0 ] label
50 mulx rdi, r15, [ rsi + 0x0 ] label
54 mulx r9, r13, [ rsi + 0x0 ] label
59 mulx r13, rdi, [ rax + 0x8 ] label
68 mulx r10, rcx, [ rax + 0x0 ] label
71 mulx r15, rbx, [ rax + 0x8 ] label
[all …]
Dfiat_curve25519_adx_square.S27 mulx r10, rax, [ rsi + 0x8 ] label
29 mulx rcx, r11, [ rsi + 0x10 ] label
33 mulx r9, r8, [ rsi + 0x18 ] label
37 mulx rbx, r10, [ rsi + 0x18 ] label
43 mulx r9, rcx, [ rsi + 0x18 ] label
46 mulx rdi, rbx, [ rsi + 0x8 ] label
62 mulx r9, rcx, rdx label
68 mulx r14, r13, rdx label
77 mulx rbx, r11, rdx label
88 mulx rdi, rax, rdx label
[all …]
/aosp_15_r20/external/boringssl/src/third_party/fiat/asm/
H A Dfiat_curve25519_adx_mul.S28 mulx r11, r10, [ rax + 0x8 ] label
32 mulx r8, rcx, [ rsi + 0x18 ] label
36 mulx rbx, r9, [ rax + 0x18 ] label
40 mulx r15, r12, [ rax + 0x8 ] label
46 mulx r14, r13, [ rax + 0x0 ] label
50 mulx rdi, r15, [ rsi + 0x0 ] label
54 mulx r9, r13, [ rsi + 0x0 ] label
59 mulx r13, rdi, [ rax + 0x8 ] label
68 mulx r10, rcx, [ rax + 0x0 ] label
71 mulx r15, rbx, [ rax + 0x8 ] label
[all …]
H A Dfiat_curve25519_adx_square.S27 mulx r10, rax, [ rsi + 0x8 ] label
29 mulx rcx, r11, [ rsi + 0x10 ] label
33 mulx r9, r8, [ rsi + 0x18 ] label
37 mulx rbx, r10, [ rsi + 0x18 ] label
43 mulx r9, rcx, [ rsi + 0x18 ] label
46 mulx rdi, rbx, [ rsi + 0x8 ] label
62 mulx r9, rcx, rdx label
68 mulx r14, r13, rdx label
77 mulx rbx, r11, rdx label
88 mulx rdi, rax, rdx label
[all …]