Home
last modified time | relevance | path

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

/external/boringssl/src/third_party/fiat/asm/
Dfiat_curve25519_adx_mul.S63 adcx rdi, rcx label
64 adcx r8, r10 label
66 adcx r9, rbx label
77 adcx rcx, r12 label
95 adcx r9, r10 label
96 adcx r13, rdi label
103 adcx r11, r8 label
105 adcx rdx, r10 label
106 adcx rcx, r15 label
112 adcx rbx, r10 label
[all …]
Dfiat_curve25519_adx_square.S41 adcx rax, rax label
55 adcx r11, r11 label
60 adcx rbx, rbx label
74 adcx rdi, rdi label
79 adcx r8, r8 label
81 adcx r10, r10 label
84 adcx rdx, rdi label
95 adcx r10, rcx label
102 adcx r15, rcx label
104 adcx r11, r9 label
[all …]
/external/cronet/stable/third_party/boringssl/src/third_party/fiat/asm/
Dfiat_curve25519_adx_mul.S63 adcx rdi, rcx label
64 adcx r8, r10 label
66 adcx r9, rbx label
77 adcx rcx, r12 label
95 adcx r9, r10 label
96 adcx r13, rdi label
103 adcx r11, r8 label
105 adcx rdx, r10 label
106 adcx rcx, r15 label
112 adcx rbx, r10 label
[all …]
Dfiat_curve25519_adx_square.S41 adcx rax, rax label
55 adcx r11, r11 label
60 adcx rbx, rbx label
74 adcx rdi, rdi label
79 adcx r8, r8 label
81 adcx r10, r10 label
84 adcx rdx, rdi label
95 adcx r10, rcx label
102 adcx r15, rcx label
104 adcx r11, r9 label
[all …]
/external/rust/android-crates-io/crates/ring/third_party/fiat/asm/
Dfiat_curve25519_adx_mul.S63 adcx rdi, rcx label
64 adcx r8, r10 label
66 adcx r9, rbx label
77 adcx rcx, r12 label
95 adcx r9, r10 label
96 adcx r13, rdi label
103 adcx r11, r8 label
105 adcx rdx, r10 label
106 adcx rcx, r15 label
112 adcx rbx, r10 label
[all …]
Dfiat_curve25519_adx_square.S41 adcx rax, rax label
55 adcx r11, r11 label
60 adcx rbx, rbx label
74 adcx rdi, rdi label
79 adcx r8, r8 label
81 adcx r10, r10 label
84 adcx rdx, rdi label
95 adcx r10, rcx label
102 adcx r15, rcx label
104 adcx r11, r9 label
[all …]
/external/cronet/tot/third_party/boringssl/src/third_party/fiat/asm/
Dfiat_curve25519_adx_mul.S63 adcx rdi, rcx label
64 adcx r8, r10 label
66 adcx r9, rbx label
77 adcx rcx, r12 label
95 adcx r9, r10 label
96 adcx r13, rdi label
103 adcx r11, r8 label
105 adcx rdx, r10 label
106 adcx rcx, r15 label
112 adcx rbx, r10 label
[all …]
Dfiat_curve25519_adx_square.S41 adcx rax, rax label
55 adcx r11, r11 label
60 adcx rbx, rbx label
74 adcx rdi, rdi label
79 adcx r8, r8 label
81 adcx r10, r10 label
84 adcx rdx, rdi label
95 adcx r10, rcx label
102 adcx r15, rcx label
104 adcx r11, r9 label
[all …]