hsblst-0.0.1: c-source/build/coff/mulq_mont_256-x86_64.s
.text
.globl mul_mont_sparse_256
.def mul_mont_sparse_256; .scl 2; .type 32; .endef
.p2align 5
mul_mont_sparse_256:
.byte 0xf3,0x0f,0x1e,0xfa
movq %rdi,8(%rsp)
movq %rsi,16(%rsp)
movq %rsp,%r11
.LSEH_begin_mul_mont_sparse_256:
movq %rcx,%rdi
movq %rdx,%rsi
movq %r8,%rdx
movq %r9,%rcx
movq 40(%rsp),%r8
pushq %rbp
pushq %rbx
pushq %r12
pushq %r13
pushq %r14
pushq %r15
pushq %rdi
.LSEH_body_mul_mont_sparse_256:
movq 0(%rdx),%rax
movq 0(%rsi),%r13
movq 8(%rsi),%r14
movq 16(%rsi),%r12
movq 24(%rsi),%rbp
movq %rdx,%rbx
movq %rax,%r15
mulq %r13
movq %rax,%r9
movq %r15,%rax
movq %rdx,%r10
call __mulq_mont_sparse_256
movq 8(%rsp),%r15
movq 16(%rsp),%r14
movq 24(%rsp),%r13
movq 32(%rsp),%r12
movq 40(%rsp),%rbx
movq 48(%rsp),%rbp
leaq 56(%rsp),%rsp
.LSEH_epilogue_mul_mont_sparse_256:
mov 8(%rsp),%rdi
mov 16(%rsp),%rsi
.byte 0xf3,0xc3
.LSEH_end_mul_mont_sparse_256:
.globl sqr_mont_sparse_256
.def sqr_mont_sparse_256; .scl 2; .type 32; .endef
.p2align 5
sqr_mont_sparse_256:
.byte 0xf3,0x0f,0x1e,0xfa
movq %rdi,8(%rsp)
movq %rsi,16(%rsp)
movq %rsp,%r11
.LSEH_begin_sqr_mont_sparse_256:
movq %rcx,%rdi
movq %rdx,%rsi
movq %r8,%rdx
movq %r9,%rcx
pushq %rbp
pushq %rbx
pushq %r12
pushq %r13
pushq %r14
pushq %r15
pushq %rdi
.LSEH_body_sqr_mont_sparse_256:
movq 0(%rsi),%rax
movq %rcx,%r8
movq 8(%rsi),%r14
movq %rdx,%rcx
movq 16(%rsi),%r12
leaq (%rsi),%rbx
movq 24(%rsi),%rbp
movq %rax,%r15
mulq %rax
movq %rax,%r9
movq %r15,%rax
movq %rdx,%r10
call __mulq_mont_sparse_256
movq 8(%rsp),%r15
movq 16(%rsp),%r14
movq 24(%rsp),%r13
movq 32(%rsp),%r12
movq 40(%rsp),%rbx
movq 48(%rsp),%rbp
leaq 56(%rsp),%rsp
.LSEH_epilogue_sqr_mont_sparse_256:
mov 8(%rsp),%rdi
mov 16(%rsp),%rsi
.byte 0xf3,0xc3
.LSEH_end_sqr_mont_sparse_256:
.def __mulq_mont_sparse_256; .scl 3; .type 32; .endef
.p2align 5
__mulq_mont_sparse_256:
.byte 0xf3,0x0f,0x1e,0xfa
mulq %r14
addq %rax,%r10
movq %r15,%rax
adcq $0,%rdx
movq %rdx,%r11
mulq %r12
addq %rax,%r11
movq %r15,%rax
adcq $0,%rdx
movq %rdx,%r12
mulq %rbp
addq %rax,%r12
movq 8(%rbx),%rax
adcq $0,%rdx
xorq %r14,%r14
movq %rdx,%r13
movq %r9,%rdi
imulq %r8,%r9
movq %rax,%r15
mulq 0(%rsi)
addq %rax,%r10
movq %r15,%rax
adcq $0,%rdx
movq %rdx,%rbp
mulq 8(%rsi)
addq %rax,%r11
movq %r15,%rax
adcq $0,%rdx
addq %rbp,%r11
adcq $0,%rdx
movq %rdx,%rbp
mulq 16(%rsi)
addq %rax,%r12
movq %r15,%rax
adcq $0,%rdx
addq %rbp,%r12
adcq $0,%rdx
movq %rdx,%rbp
mulq 24(%rsi)
addq %rax,%r13
movq %r9,%rax
adcq $0,%rdx
addq %rbp,%r13
adcq %rdx,%r14
xorq %r15,%r15
mulq 0(%rcx)
addq %rax,%rdi
movq %r9,%rax
adcq %rdx,%rdi
mulq 8(%rcx)
addq %rax,%r10
movq %r9,%rax
adcq $0,%rdx
addq %rdi,%r10
adcq $0,%rdx
movq %rdx,%rbp
mulq 16(%rcx)
addq %rax,%r11
movq %r9,%rax
adcq $0,%rdx
addq %rbp,%r11
adcq $0,%rdx
movq %rdx,%rbp
mulq 24(%rcx)
addq %rax,%r12
movq 16(%rbx),%rax
adcq $0,%rdx
addq %rbp,%r12
adcq $0,%rdx
addq %rdx,%r13
adcq $0,%r14
adcq $0,%r15
movq %r10,%rdi
imulq %r8,%r10
movq %rax,%r9
mulq 0(%rsi)
addq %rax,%r11
movq %r9,%rax
adcq $0,%rdx
movq %rdx,%rbp
mulq 8(%rsi)
addq %rax,%r12
movq %r9,%rax
adcq $0,%rdx
addq %rbp,%r12
adcq $0,%rdx
movq %rdx,%rbp
mulq 16(%rsi)
addq %rax,%r13
movq %r9,%rax
adcq $0,%rdx
addq %rbp,%r13
adcq $0,%rdx
movq %rdx,%rbp
mulq 24(%rsi)
addq %rax,%r14
movq %r10,%rax
adcq $0,%rdx
addq %rbp,%r14
adcq %rdx,%r15
xorq %r9,%r9
mulq 0(%rcx)
addq %rax,%rdi
movq %r10,%rax
adcq %rdx,%rdi
mulq 8(%rcx)
addq %rax,%r11
movq %r10,%rax
adcq $0,%rdx
addq %rdi,%r11
adcq $0,%rdx
movq %rdx,%rbp
mulq 16(%rcx)
addq %rax,%r12
movq %r10,%rax
adcq $0,%rdx
addq %rbp,%r12
adcq $0,%rdx
movq %rdx,%rbp
mulq 24(%rcx)
addq %rax,%r13
movq 24(%rbx),%rax
adcq $0,%rdx
addq %rbp,%r13
adcq $0,%rdx
addq %rdx,%r14
adcq $0,%r15
adcq $0,%r9
movq %r11,%rdi
imulq %r8,%r11
movq %rax,%r10
mulq 0(%rsi)
addq %rax,%r12
movq %r10,%rax
adcq $0,%rdx
movq %rdx,%rbp
mulq 8(%rsi)
addq %rax,%r13
movq %r10,%rax
adcq $0,%rdx
addq %rbp,%r13
adcq $0,%rdx
movq %rdx,%rbp
mulq 16(%rsi)
addq %rax,%r14
movq %r10,%rax
adcq $0,%rdx
addq %rbp,%r14
adcq $0,%rdx
movq %rdx,%rbp
mulq 24(%rsi)
addq %rax,%r15
movq %r11,%rax
adcq $0,%rdx
addq %rbp,%r15
adcq %rdx,%r9
xorq %r10,%r10
mulq 0(%rcx)
addq %rax,%rdi
movq %r11,%rax
adcq %rdx,%rdi
mulq 8(%rcx)
addq %rax,%r12
movq %r11,%rax
adcq $0,%rdx
addq %rdi,%r12
adcq $0,%rdx
movq %rdx,%rbp
mulq 16(%rcx)
addq %rax,%r13
movq %r11,%rax
adcq $0,%rdx
addq %rbp,%r13
adcq $0,%rdx
movq %rdx,%rbp
mulq 24(%rcx)
addq %rax,%r14
movq %r12,%rax
adcq $0,%rdx
addq %rbp,%r14
adcq $0,%rdx
addq %rdx,%r15
adcq $0,%r9
adcq $0,%r10
imulq %r8,%rax
movq 8(%rsp),%rsi
movq %rax,%r11
mulq 0(%rcx)
addq %rax,%r12
movq %r11,%rax
adcq %rdx,%r12
mulq 8(%rcx)
addq %rax,%r13
movq %r11,%rax
adcq $0,%rdx
addq %r12,%r13
adcq $0,%rdx
movq %rdx,%rbp
mulq 16(%rcx)
addq %rax,%r14
movq %r11,%rax
adcq $0,%rdx
addq %rbp,%r14
adcq $0,%rdx
movq %rdx,%rbp
mulq 24(%rcx)
movq %r14,%rbx
addq %rbp,%r15
adcq $0,%rdx
addq %rax,%r15
movq %r13,%rax
adcq $0,%rdx
addq %rdx,%r9
adcq $0,%r10
movq %r15,%r12
subq 0(%rcx),%r13
sbbq 8(%rcx),%r14
sbbq 16(%rcx),%r15
movq %r9,%rbp
sbbq 24(%rcx),%r9
sbbq $0,%r10
cmovcq %rax,%r13
cmovcq %rbx,%r14
cmovcq %r12,%r15
movq %r13,0(%rsi)
cmovcq %rbp,%r9
movq %r14,8(%rsi)
movq %r15,16(%rsi)
movq %r9,24(%rsi)
.byte 0xf3,0xc3
.globl from_mont_256
.def from_mont_256; .scl 2; .type 32; .endef
.p2align 5
from_mont_256:
.byte 0xf3,0x0f,0x1e,0xfa
movq %rdi,8(%rsp)
movq %rsi,16(%rsp)
movq %rsp,%r11
.LSEH_begin_from_mont_256:
movq %rcx,%rdi
movq %rdx,%rsi
movq %r8,%rdx
movq %r9,%rcx
pushq %rbp
pushq %rbx
pushq %r12
pushq %r13
pushq %r14
pushq %r15
subq $8,%rsp
.LSEH_body_from_mont_256:
movq %rdx,%rbx
call __mulq_by_1_mont_256
movq %r14,%r10
movq %r15,%r11
movq %r9,%r12
subq 0(%rbx),%r13
sbbq 8(%rbx),%r14
sbbq 16(%rbx),%r15
sbbq 24(%rbx),%r9
cmovncq %r13,%rax
cmovncq %r14,%r10
cmovncq %r15,%r11
movq %rax,0(%rdi)
cmovncq %r9,%r12
movq %r10,8(%rdi)
movq %r11,16(%rdi)
movq %r12,24(%rdi)
movq 8(%rsp),%r15
movq 16(%rsp),%r14
movq 24(%rsp),%r13
movq 32(%rsp),%r12
movq 40(%rsp),%rbx
movq 48(%rsp),%rbp
leaq 56(%rsp),%rsp
.LSEH_epilogue_from_mont_256:
mov 8(%rsp),%rdi
mov 16(%rsp),%rsi
.byte 0xf3,0xc3
.LSEH_end_from_mont_256:
.globl redc_mont_256
.def redc_mont_256; .scl 2; .type 32; .endef
.p2align 5
redc_mont_256:
.byte 0xf3,0x0f,0x1e,0xfa
movq %rdi,8(%rsp)
movq %rsi,16(%rsp)
movq %rsp,%r11
.LSEH_begin_redc_mont_256:
movq %rcx,%rdi
movq %rdx,%rsi
movq %r8,%rdx
movq %r9,%rcx
pushq %rbp
pushq %rbx
pushq %r12
pushq %r13
pushq %r14
pushq %r15
subq $8,%rsp
.LSEH_body_redc_mont_256:
movq %rdx,%rbx
call __mulq_by_1_mont_256
addq 32(%rsi),%r13
adcq 40(%rsi),%r14
movq %r13,%rax
adcq 48(%rsi),%r15
movq %r14,%r10
adcq 56(%rsi),%r9
sbbq %rsi,%rsi
movq %r15,%r11
subq 0(%rbx),%r13
sbbq 8(%rbx),%r14
sbbq 16(%rbx),%r15
movq %r9,%r12
sbbq 24(%rbx),%r9
sbbq $0,%rsi
cmovncq %r13,%rax
cmovncq %r14,%r10
cmovncq %r15,%r11
movq %rax,0(%rdi)
cmovncq %r9,%r12
movq %r10,8(%rdi)
movq %r11,16(%rdi)
movq %r12,24(%rdi)
movq 8(%rsp),%r15
movq 16(%rsp),%r14
movq 24(%rsp),%r13
movq 32(%rsp),%r12
movq 40(%rsp),%rbx
movq 48(%rsp),%rbp
leaq 56(%rsp),%rsp
.LSEH_epilogue_redc_mont_256:
mov 8(%rsp),%rdi
mov 16(%rsp),%rsi
.byte 0xf3,0xc3
.LSEH_end_redc_mont_256:
.def __mulq_by_1_mont_256; .scl 3; .type 32; .endef
.p2align 5
__mulq_by_1_mont_256:
.byte 0xf3,0x0f,0x1e,0xfa
movq 0(%rsi),%rax
movq 8(%rsi),%r10
movq 16(%rsi),%r11
movq 24(%rsi),%r12
movq %rax,%r13
imulq %rcx,%rax
movq %rax,%r9
mulq 0(%rbx)
addq %rax,%r13
movq %r9,%rax
adcq %rdx,%r13
mulq 8(%rbx)
addq %rax,%r10
movq %r9,%rax
adcq $0,%rdx
addq %r13,%r10
adcq $0,%rdx
movq %rdx,%r13
mulq 16(%rbx)
movq %r10,%r14
imulq %rcx,%r10
addq %rax,%r11
movq %r9,%rax
adcq $0,%rdx
addq %r13,%r11
adcq $0,%rdx
movq %rdx,%r13
mulq 24(%rbx)
addq %rax,%r12
movq %r10,%rax
adcq $0,%rdx
addq %r13,%r12
adcq $0,%rdx
movq %rdx,%r13
mulq 0(%rbx)
addq %rax,%r14
movq %r10,%rax
adcq %rdx,%r14
mulq 8(%rbx)
addq %rax,%r11
movq %r10,%rax
adcq $0,%rdx
addq %r14,%r11
adcq $0,%rdx
movq %rdx,%r14
mulq 16(%rbx)
movq %r11,%r15
imulq %rcx,%r11
addq %rax,%r12
movq %r10,%rax
adcq $0,%rdx
addq %r14,%r12
adcq $0,%rdx
movq %rdx,%r14
mulq 24(%rbx)
addq %rax,%r13
movq %r11,%rax
adcq $0,%rdx
addq %r14,%r13
adcq $0,%rdx
movq %rdx,%r14
mulq 0(%rbx)
addq %rax,%r15
movq %r11,%rax
adcq %rdx,%r15
mulq 8(%rbx)
addq %rax,%r12
movq %r11,%rax
adcq $0,%rdx
addq %r15,%r12
adcq $0,%rdx
movq %rdx,%r15
mulq 16(%rbx)
movq %r12,%r9
imulq %rcx,%r12
addq %rax,%r13
movq %r11,%rax
adcq $0,%rdx
addq %r15,%r13
adcq $0,%rdx
movq %rdx,%r15
mulq 24(%rbx)
addq %rax,%r14
movq %r12,%rax
adcq $0,%rdx
addq %r15,%r14
adcq $0,%rdx
movq %rdx,%r15
mulq 0(%rbx)
addq %rax,%r9
movq %r12,%rax
adcq %rdx,%r9
mulq 8(%rbx)
addq %rax,%r13
movq %r12,%rax
adcq $0,%rdx
addq %r9,%r13
adcq $0,%rdx
movq %rdx,%r9
mulq 16(%rbx)
addq %rax,%r14
movq %r12,%rax
adcq $0,%rdx
addq %r9,%r14
adcq $0,%rdx
movq %rdx,%r9
mulq 24(%rbx)
addq %rax,%r15
movq %r13,%rax
adcq $0,%rdx
addq %r9,%r15
adcq $0,%rdx
movq %rdx,%r9
.byte 0xf3,0xc3
.section .pdata
.p2align 2
.rva .LSEH_begin_mul_mont_sparse_256
.rva .LSEH_body_mul_mont_sparse_256
.rva .LSEH_info_mul_mont_sparse_256_prologue
.rva .LSEH_body_mul_mont_sparse_256
.rva .LSEH_epilogue_mul_mont_sparse_256
.rva .LSEH_info_mul_mont_sparse_256_body
.rva .LSEH_epilogue_mul_mont_sparse_256
.rva .LSEH_end_mul_mont_sparse_256
.rva .LSEH_info_mul_mont_sparse_256_epilogue
.rva .LSEH_begin_sqr_mont_sparse_256
.rva .LSEH_body_sqr_mont_sparse_256
.rva .LSEH_info_sqr_mont_sparse_256_prologue
.rva .LSEH_body_sqr_mont_sparse_256
.rva .LSEH_epilogue_sqr_mont_sparse_256
.rva .LSEH_info_sqr_mont_sparse_256_body
.rva .LSEH_epilogue_sqr_mont_sparse_256
.rva .LSEH_end_sqr_mont_sparse_256
.rva .LSEH_info_sqr_mont_sparse_256_epilogue
.rva .LSEH_begin_from_mont_256
.rva .LSEH_body_from_mont_256
.rva .LSEH_info_from_mont_256_prologue
.rva .LSEH_body_from_mont_256
.rva .LSEH_epilogue_from_mont_256
.rva .LSEH_info_from_mont_256_body
.rva .LSEH_epilogue_from_mont_256
.rva .LSEH_end_from_mont_256
.rva .LSEH_info_from_mont_256_epilogue
.rva .LSEH_begin_redc_mont_256
.rva .LSEH_body_redc_mont_256
.rva .LSEH_info_redc_mont_256_prologue
.rva .LSEH_body_redc_mont_256
.rva .LSEH_epilogue_redc_mont_256
.rva .LSEH_info_redc_mont_256_body
.rva .LSEH_epilogue_redc_mont_256
.rva .LSEH_end_redc_mont_256
.rva .LSEH_info_redc_mont_256_epilogue
.section .xdata
.p2align 3
.LSEH_info_mul_mont_sparse_256_prologue:
.byte 1,0,5,0x0b
.byte 0,0x74,1,0
.byte 0,0x64,2,0
.byte 0,0x03
.byte 0,0
.LSEH_info_mul_mont_sparse_256_body:
.byte 1,0,17,0
.byte 0x00,0xf4,0x01,0x00
.byte 0x00,0xe4,0x02,0x00
.byte 0x00,0xd4,0x03,0x00
.byte 0x00,0xc4,0x04,0x00
.byte 0x00,0x34,0x05,0x00
.byte 0x00,0x54,0x06,0x00
.byte 0x00,0x74,0x08,0x00
.byte 0x00,0x64,0x09,0x00
.byte 0x00,0x62
.byte 0x00,0x00
.LSEH_info_mul_mont_sparse_256_epilogue:
.byte 1,0,4,0
.byte 0x00,0x74,0x01,0x00
.byte 0x00,0x64,0x02,0x00
.byte 0x00,0x00,0x00,0x00
.LSEH_info_sqr_mont_sparse_256_prologue:
.byte 1,0,5,0x0b
.byte 0,0x74,1,0
.byte 0,0x64,2,0
.byte 0,0x03
.byte 0,0
.LSEH_info_sqr_mont_sparse_256_body:
.byte 1,0,17,0
.byte 0x00,0xf4,0x01,0x00
.byte 0x00,0xe4,0x02,0x00
.byte 0x00,0xd4,0x03,0x00
.byte 0x00,0xc4,0x04,0x00
.byte 0x00,0x34,0x05,0x00
.byte 0x00,0x54,0x06,0x00
.byte 0x00,0x74,0x08,0x00
.byte 0x00,0x64,0x09,0x00
.byte 0x00,0x62
.byte 0x00,0x00
.LSEH_info_sqr_mont_sparse_256_epilogue:
.byte 1,0,4,0
.byte 0x00,0x74,0x01,0x00
.byte 0x00,0x64,0x02,0x00
.byte 0x00,0x00,0x00,0x00
.LSEH_info_from_mont_256_prologue:
.byte 1,0,5,0x0b
.byte 0,0x74,1,0
.byte 0,0x64,2,0
.byte 0,0x03
.byte 0,0
.LSEH_info_from_mont_256_body:
.byte 1,0,17,0
.byte 0x00,0xf4,0x01,0x00
.byte 0x00,0xe4,0x02,0x00
.byte 0x00,0xd4,0x03,0x00
.byte 0x00,0xc4,0x04,0x00
.byte 0x00,0x34,0x05,0x00
.byte 0x00,0x54,0x06,0x00
.byte 0x00,0x74,0x08,0x00
.byte 0x00,0x64,0x09,0x00
.byte 0x00,0x62
.byte 0x00,0x00
.LSEH_info_from_mont_256_epilogue:
.byte 1,0,4,0
.byte 0x00,0x74,0x01,0x00
.byte 0x00,0x64,0x02,0x00
.byte 0x00,0x00,0x00,0x00
.LSEH_info_redc_mont_256_prologue:
.byte 1,0,5,0x0b
.byte 0,0x74,1,0
.byte 0,0x64,2,0
.byte 0,0x03
.byte 0,0
.LSEH_info_redc_mont_256_body:
.byte 1,0,17,0
.byte 0x00,0xf4,0x01,0x00
.byte 0x00,0xe4,0x02,0x00
.byte 0x00,0xd4,0x03,0x00
.byte 0x00,0xc4,0x04,0x00
.byte 0x00,0x34,0x05,0x00
.byte 0x00,0x54,0x06,0x00
.byte 0x00,0x74,0x08,0x00
.byte 0x00,0x64,0x09,0x00
.byte 0x00,0x62
.byte 0x00,0x00
.LSEH_info_redc_mont_256_epilogue:
.byte 1,0,4,0
.byte 0x00,0x74,0x01,0x00
.byte 0x00,0x64,0x02,0x00
.byte 0x00,0x00,0x00,0x00