Blame lib/accelerated/x86/elf/sha512-ssse3-x86.s

Packit Service 4684c1
# Copyright (c) 2011-2016, Andy Polyakov <appro@openssl.org>
Packit Service 4684c1
# All rights reserved.
Packit Service 4684c1
#
Packit Service 4684c1
# Redistribution and use in source and binary forms, with or without
Packit Service 4684c1
# modification, are permitted provided that the following conditions
Packit Service 4684c1
# are met:
Packit Service 4684c1
# 
Packit Service 4684c1
#     * Redistributions of source code must retain copyright notices,
Packit Service 4684c1
#      this list of conditions and the following disclaimer.
Packit Service 4684c1
#
Packit Service 4684c1
#     * Redistributions in binary form must reproduce the above
Packit Service 4684c1
#      copyright notice, this list of conditions and the following
Packit Service 4684c1
#      disclaimer in the documentation and/or other materials
Packit Service 4684c1
#      provided with the distribution.
Packit Service 4684c1
#
Packit Service 4684c1
#     * Neither the name of the Andy Polyakov nor the names of its
Packit Service 4684c1
#      copyright holder and contributors may be used to endorse or
Packit Service 4684c1
#      promote products derived from this software without specific
Packit Service 4684c1
#      prior written permission.
Packit Service 4684c1
#
Packit Service 4684c1
# ALTERNATIVELY, provided that this notice is retained in full, this
Packit Service 4684c1
# product may be distributed under the terms of the GNU General Public
Packit Service 4684c1
# License (GPL), in which case the provisions of the GPL apply INSTEAD OF
Packit Service 4684c1
# those given above.
Packit Service 4684c1
#
Packit Service 4684c1
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER AND CONTRIBUTORS
Packit Service 4684c1
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
Packit Service 4684c1
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
Packit Service 4684c1
# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
Packit Service 4684c1
# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
Packit Service 4684c1
# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
Packit Service 4684c1
# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
Packit Service 4684c1
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
Packit Service 4684c1
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
Packit Service 4684c1
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
Packit Service 4684c1
# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Packit Service 4684c1
#
Packit Service 4684c1
# *** This file is auto-generated ***
Packit Service 4684c1
#
Packit Service 4684c1
.text
Packit Service 4684c1
.globl	sha512_block_data_order
Packit Service 4684c1
.type	sha512_block_data_order,@function
Packit Service 4684c1
.align	16
Packit Service 4684c1
sha512_block_data_order:
Packit Service 4684c1
.L_sha512_block_data_order_begin:
Packit Service 4684c1
	pushl	%ebp
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%esi
Packit Service 4684c1
	pushl	%edi
Packit Service 4684c1
	movl	20(%esp),%esi
Packit Service 4684c1
	movl	24(%esp),%edi
Packit Service 4684c1
	movl	28(%esp),%eax
Packit Service 4684c1
	movl	%esp,%ebx
Packit Service 4684c1
	call	.L000pic_point
Packit Service 4684c1
.L000pic_point:
Packit Service 4684c1
	popl	%ebp
Packit Service 4684c1
	leal	.L001K512-.L000pic_point(%ebp),%ebp
Packit Service 4684c1
	subl	$16,%esp
Packit Service 4684c1
	andl	$-64,%esp
Packit Service 4684c1
	shll	$7,%eax
Packit Service 4684c1
	addl	%edi,%eax
Packit Service 4684c1
	movl	%esi,(%esp)
Packit Service 4684c1
	movl	%edi,4(%esp)
Packit Service 4684c1
	movl	%eax,8(%esp)
Packit Service 4684c1
	movl	%ebx,12(%esp)
Packit Service 4684c1
.align	16
Packit Service 4684c1
.L002loop_x86:
Packit Service 4684c1
	movl	(%edi),%eax
Packit Service 4684c1
	movl	4(%edi),%ebx
Packit Service 4684c1
	movl	8(%edi),%ecx
Packit Service 4684c1
	movl	12(%edi),%edx
Packit Service 4684c1
	bswap	%eax
Packit Service 4684c1
	bswap	%ebx
Packit Service 4684c1
	bswap	%ecx
Packit Service 4684c1
	bswap	%edx
Packit Service 4684c1
	pushl	%eax
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%ecx
Packit Service 4684c1
	pushl	%edx
Packit Service 4684c1
	movl	16(%edi),%eax
Packit Service 4684c1
	movl	20(%edi),%ebx
Packit Service 4684c1
	movl	24(%edi),%ecx
Packit Service 4684c1
	movl	28(%edi),%edx
Packit Service 4684c1
	bswap	%eax
Packit Service 4684c1
	bswap	%ebx
Packit Service 4684c1
	bswap	%ecx
Packit Service 4684c1
	bswap	%edx
Packit Service 4684c1
	pushl	%eax
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%ecx
Packit Service 4684c1
	pushl	%edx
Packit Service 4684c1
	movl	32(%edi),%eax
Packit Service 4684c1
	movl	36(%edi),%ebx
Packit Service 4684c1
	movl	40(%edi),%ecx
Packit Service 4684c1
	movl	44(%edi),%edx
Packit Service 4684c1
	bswap	%eax
Packit Service 4684c1
	bswap	%ebx
Packit Service 4684c1
	bswap	%ecx
Packit Service 4684c1
	bswap	%edx
Packit Service 4684c1
	pushl	%eax
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%ecx
Packit Service 4684c1
	pushl	%edx
Packit Service 4684c1
	movl	48(%edi),%eax
Packit Service 4684c1
	movl	52(%edi),%ebx
Packit Service 4684c1
	movl	56(%edi),%ecx
Packit Service 4684c1
	movl	60(%edi),%edx
Packit Service 4684c1
	bswap	%eax
Packit Service 4684c1
	bswap	%ebx
Packit Service 4684c1
	bswap	%ecx
Packit Service 4684c1
	bswap	%edx
Packit Service 4684c1
	pushl	%eax
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%ecx
Packit Service 4684c1
	pushl	%edx
Packit Service 4684c1
	movl	64(%edi),%eax
Packit Service 4684c1
	movl	68(%edi),%ebx
Packit Service 4684c1
	movl	72(%edi),%ecx
Packit Service 4684c1
	movl	76(%edi),%edx
Packit Service 4684c1
	bswap	%eax
Packit Service 4684c1
	bswap	%ebx
Packit Service 4684c1
	bswap	%ecx
Packit Service 4684c1
	bswap	%edx
Packit Service 4684c1
	pushl	%eax
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%ecx
Packit Service 4684c1
	pushl	%edx
Packit Service 4684c1
	movl	80(%edi),%eax
Packit Service 4684c1
	movl	84(%edi),%ebx
Packit Service 4684c1
	movl	88(%edi),%ecx
Packit Service 4684c1
	movl	92(%edi),%edx
Packit Service 4684c1
	bswap	%eax
Packit Service 4684c1
	bswap	%ebx
Packit Service 4684c1
	bswap	%ecx
Packit Service 4684c1
	bswap	%edx
Packit Service 4684c1
	pushl	%eax
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%ecx
Packit Service 4684c1
	pushl	%edx
Packit Service 4684c1
	movl	96(%edi),%eax
Packit Service 4684c1
	movl	100(%edi),%ebx
Packit Service 4684c1
	movl	104(%edi),%ecx
Packit Service 4684c1
	movl	108(%edi),%edx
Packit Service 4684c1
	bswap	%eax
Packit Service 4684c1
	bswap	%ebx
Packit Service 4684c1
	bswap	%ecx
Packit Service 4684c1
	bswap	%edx
Packit Service 4684c1
	pushl	%eax
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%ecx
Packit Service 4684c1
	pushl	%edx
Packit Service 4684c1
	movl	112(%edi),%eax
Packit Service 4684c1
	movl	116(%edi),%ebx
Packit Service 4684c1
	movl	120(%edi),%ecx
Packit Service 4684c1
	movl	124(%edi),%edx
Packit Service 4684c1
	bswap	%eax
Packit Service 4684c1
	bswap	%ebx
Packit Service 4684c1
	bswap	%ecx
Packit Service 4684c1
	bswap	%edx
Packit Service 4684c1
	pushl	%eax
Packit Service 4684c1
	pushl	%ebx
Packit Service 4684c1
	pushl	%ecx
Packit Service 4684c1
	pushl	%edx
Packit Service 4684c1
	addl	$128,%edi
Packit Service 4684c1
	subl	$72,%esp
Packit Service 4684c1
	movl	%edi,204(%esp)
Packit Service 4684c1
	leal	8(%esp),%edi
Packit Service 4684c1
	movl	$16,%ecx
Packit Service 4684c1
.long	2784229001
Packit Service 4684c1
.align	16
Packit Service 4684c1
.L00300_15_x86:
Packit Service 4684c1
	movl	40(%esp),%ecx
Packit Service 4684c1
	movl	44(%esp),%edx
Packit Service 4684c1
	movl	%ecx,%esi
Packit Service 4684c1
	shrl	$9,%ecx
Packit Service 4684c1
	movl	%edx,%edi
Packit Service 4684c1
	shrl	$9,%edx
Packit Service 4684c1
	movl	%ecx,%ebx
Packit Service 4684c1
	shll	$14,%esi
Packit Service 4684c1
	movl	%edx,%eax
Packit Service 4684c1
	shll	$14,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$5,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$5,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$4,%esi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	shll	$4,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$4,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$4,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$5,%esi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	shll	$5,%edi
Packit Service 4684c1
	xorl	%esi,%eax
Packit Service 4684c1
	xorl	%edi,%ebx
Packit Service 4684c1
	movl	48(%esp),%ecx
Packit Service 4684c1
	movl	52(%esp),%edx
Packit Service 4684c1
	movl	56(%esp),%esi
Packit Service 4684c1
	movl	60(%esp),%edi
Packit Service 4684c1
	addl	64(%esp),%eax
Packit Service 4684c1
	adcl	68(%esp),%ebx
Packit Service 4684c1
	xorl	%esi,%ecx
Packit Service 4684c1
	xorl	%edi,%edx
Packit Service 4684c1
	andl	40(%esp),%ecx
Packit Service 4684c1
	andl	44(%esp),%edx
Packit Service 4684c1
	addl	192(%esp),%eax
Packit Service 4684c1
	adcl	196(%esp),%ebx
Packit Service 4684c1
	xorl	%esi,%ecx
Packit Service 4684c1
	xorl	%edi,%edx
Packit Service 4684c1
	movl	(%ebp),%esi
Packit Service 4684c1
	movl	4(%ebp),%edi
Packit Service 4684c1
	addl	%ecx,%eax
Packit Service 4684c1
	adcl	%edx,%ebx
Packit Service 4684c1
	movl	32(%esp),%ecx
Packit Service 4684c1
	movl	36(%esp),%edx
Packit Service 4684c1
	addl	%esi,%eax
Packit Service 4684c1
	adcl	%edi,%ebx
Packit Service 4684c1
	movl	%eax,(%esp)
Packit Service 4684c1
	movl	%ebx,4(%esp)
Packit Service 4684c1
	addl	%ecx,%eax
Packit Service 4684c1
	adcl	%edx,%ebx
Packit Service 4684c1
	movl	8(%esp),%ecx
Packit Service 4684c1
	movl	12(%esp),%edx
Packit Service 4684c1
	movl	%eax,32(%esp)
Packit Service 4684c1
	movl	%ebx,36(%esp)
Packit Service 4684c1
	movl	%ecx,%esi
Packit Service 4684c1
	shrl	$2,%ecx
Packit Service 4684c1
	movl	%edx,%edi
Packit Service 4684c1
	shrl	$2,%edx
Packit Service 4684c1
	movl	%ecx,%ebx
Packit Service 4684c1
	shll	$4,%esi
Packit Service 4684c1
	movl	%edx,%eax
Packit Service 4684c1
	shll	$4,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$5,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$5,%edx
Packit Service 4684c1
	xorl	%ecx,%ebx
Packit Service 4684c1
	shll	$21,%esi
Packit Service 4684c1
	xorl	%edx,%eax
Packit Service 4684c1
	shll	$21,%edi
Packit Service 4684c1
	xorl	%esi,%eax
Packit Service 4684c1
	shrl	$21,%ecx
Packit Service 4684c1
	xorl	%edi,%ebx
Packit Service 4684c1
	shrl	$21,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$5,%esi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	shll	$5,%edi
Packit Service 4684c1
	xorl	%esi,%eax
Packit Service 4684c1
	xorl	%edi,%ebx
Packit Service 4684c1
	movl	8(%esp),%ecx
Packit Service 4684c1
	movl	12(%esp),%edx
Packit Service 4684c1
	movl	16(%esp),%esi
Packit Service 4684c1
	movl	20(%esp),%edi
Packit Service 4684c1
	addl	(%esp),%eax
Packit Service 4684c1
	adcl	4(%esp),%ebx
Packit Service 4684c1
	orl	%esi,%ecx
Packit Service 4684c1
	orl	%edi,%edx
Packit Service 4684c1
	andl	24(%esp),%ecx
Packit Service 4684c1
	andl	28(%esp),%edx
Packit Service 4684c1
	andl	8(%esp),%esi
Packit Service 4684c1
	andl	12(%esp),%edi
Packit Service 4684c1
	orl	%esi,%ecx
Packit Service 4684c1
	orl	%edi,%edx
Packit Service 4684c1
	addl	%ecx,%eax
Packit Service 4684c1
	adcl	%edx,%ebx
Packit Service 4684c1
	movl	%eax,(%esp)
Packit Service 4684c1
	movl	%ebx,4(%esp)
Packit Service 4684c1
	movb	(%ebp),%dl
Packit Service 4684c1
	subl	$8,%esp
Packit Service 4684c1
	leal	8(%ebp),%ebp
Packit Service 4684c1
	cmpb	$148,%dl
Packit Service 4684c1
	jne	.L00300_15_x86
Packit Service 4684c1
.align	16
Packit Service 4684c1
.L00416_79_x86:
Packit Service 4684c1
	movl	312(%esp),%ecx
Packit Service 4684c1
	movl	316(%esp),%edx
Packit Service 4684c1
	movl	%ecx,%esi
Packit Service 4684c1
	shrl	$1,%ecx
Packit Service 4684c1
	movl	%edx,%edi
Packit Service 4684c1
	shrl	$1,%edx
Packit Service 4684c1
	movl	%ecx,%eax
Packit Service 4684c1
	shll	$24,%esi
Packit Service 4684c1
	movl	%edx,%ebx
Packit Service 4684c1
	shll	$24,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$6,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$6,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$7,%esi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	shll	$1,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$1,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$1,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$6,%edi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	movl	%eax,(%esp)
Packit Service 4684c1
	movl	%ebx,4(%esp)
Packit Service 4684c1
	movl	208(%esp),%ecx
Packit Service 4684c1
	movl	212(%esp),%edx
Packit Service 4684c1
	movl	%ecx,%esi
Packit Service 4684c1
	shrl	$6,%ecx
Packit Service 4684c1
	movl	%edx,%edi
Packit Service 4684c1
	shrl	$6,%edx
Packit Service 4684c1
	movl	%ecx,%eax
Packit Service 4684c1
	shll	$3,%esi
Packit Service 4684c1
	movl	%edx,%ebx
Packit Service 4684c1
	shll	$3,%edi
Packit Service 4684c1
	xorl	%esi,%eax
Packit Service 4684c1
	shrl	$13,%ecx
Packit Service 4684c1
	xorl	%edi,%ebx
Packit Service 4684c1
	shrl	$13,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$10,%esi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	shll	$10,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$10,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$10,%edx
Packit Service 4684c1
	xorl	%ecx,%ebx
Packit Service 4684c1
	shll	$13,%edi
Packit Service 4684c1
	xorl	%edx,%eax
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	movl	320(%esp),%ecx
Packit Service 4684c1
	movl	324(%esp),%edx
Packit Service 4684c1
	addl	(%esp),%eax
Packit Service 4684c1
	adcl	4(%esp),%ebx
Packit Service 4684c1
	movl	248(%esp),%esi
Packit Service 4684c1
	movl	252(%esp),%edi
Packit Service 4684c1
	addl	%ecx,%eax
Packit Service 4684c1
	adcl	%edx,%ebx
Packit Service 4684c1
	addl	%esi,%eax
Packit Service 4684c1
	adcl	%edi,%ebx
Packit Service 4684c1
	movl	%eax,192(%esp)
Packit Service 4684c1
	movl	%ebx,196(%esp)
Packit Service 4684c1
	movl	40(%esp),%ecx
Packit Service 4684c1
	movl	44(%esp),%edx
Packit Service 4684c1
	movl	%ecx,%esi
Packit Service 4684c1
	shrl	$9,%ecx
Packit Service 4684c1
	movl	%edx,%edi
Packit Service 4684c1
	shrl	$9,%edx
Packit Service 4684c1
	movl	%ecx,%ebx
Packit Service 4684c1
	shll	$14,%esi
Packit Service 4684c1
	movl	%edx,%eax
Packit Service 4684c1
	shll	$14,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$5,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$5,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$4,%esi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	shll	$4,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$4,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$4,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$5,%esi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	shll	$5,%edi
Packit Service 4684c1
	xorl	%esi,%eax
Packit Service 4684c1
	xorl	%edi,%ebx
Packit Service 4684c1
	movl	48(%esp),%ecx
Packit Service 4684c1
	movl	52(%esp),%edx
Packit Service 4684c1
	movl	56(%esp),%esi
Packit Service 4684c1
	movl	60(%esp),%edi
Packit Service 4684c1
	addl	64(%esp),%eax
Packit Service 4684c1
	adcl	68(%esp),%ebx
Packit Service 4684c1
	xorl	%esi,%ecx
Packit Service 4684c1
	xorl	%edi,%edx
Packit Service 4684c1
	andl	40(%esp),%ecx
Packit Service 4684c1
	andl	44(%esp),%edx
Packit Service 4684c1
	addl	192(%esp),%eax
Packit Service 4684c1
	adcl	196(%esp),%ebx
Packit Service 4684c1
	xorl	%esi,%ecx
Packit Service 4684c1
	xorl	%edi,%edx
Packit Service 4684c1
	movl	(%ebp),%esi
Packit Service 4684c1
	movl	4(%ebp),%edi
Packit Service 4684c1
	addl	%ecx,%eax
Packit Service 4684c1
	adcl	%edx,%ebx
Packit Service 4684c1
	movl	32(%esp),%ecx
Packit Service 4684c1
	movl	36(%esp),%edx
Packit Service 4684c1
	addl	%esi,%eax
Packit Service 4684c1
	adcl	%edi,%ebx
Packit Service 4684c1
	movl	%eax,(%esp)
Packit Service 4684c1
	movl	%ebx,4(%esp)
Packit Service 4684c1
	addl	%ecx,%eax
Packit Service 4684c1
	adcl	%edx,%ebx
Packit Service 4684c1
	movl	8(%esp),%ecx
Packit Service 4684c1
	movl	12(%esp),%edx
Packit Service 4684c1
	movl	%eax,32(%esp)
Packit Service 4684c1
	movl	%ebx,36(%esp)
Packit Service 4684c1
	movl	%ecx,%esi
Packit Service 4684c1
	shrl	$2,%ecx
Packit Service 4684c1
	movl	%edx,%edi
Packit Service 4684c1
	shrl	$2,%edx
Packit Service 4684c1
	movl	%ecx,%ebx
Packit Service 4684c1
	shll	$4,%esi
Packit Service 4684c1
	movl	%edx,%eax
Packit Service 4684c1
	shll	$4,%edi
Packit Service 4684c1
	xorl	%esi,%ebx
Packit Service 4684c1
	shrl	$5,%ecx
Packit Service 4684c1
	xorl	%edi,%eax
Packit Service 4684c1
	shrl	$5,%edx
Packit Service 4684c1
	xorl	%ecx,%ebx
Packit Service 4684c1
	shll	$21,%esi
Packit Service 4684c1
	xorl	%edx,%eax
Packit Service 4684c1
	shll	$21,%edi
Packit Service 4684c1
	xorl	%esi,%eax
Packit Service 4684c1
	shrl	$21,%ecx
Packit Service 4684c1
	xorl	%edi,%ebx
Packit Service 4684c1
	shrl	$21,%edx
Packit Service 4684c1
	xorl	%ecx,%eax
Packit Service 4684c1
	shll	$5,%esi
Packit Service 4684c1
	xorl	%edx,%ebx
Packit Service 4684c1
	shll	$5,%edi
Packit Service 4684c1
	xorl	%esi,%eax
Packit Service 4684c1
	xorl	%edi,%ebx
Packit Service 4684c1
	movl	8(%esp),%ecx
Packit Service 4684c1
	movl	12(%esp),%edx
Packit Service 4684c1
	movl	16(%esp),%esi
Packit Service 4684c1
	movl	20(%esp),%edi
Packit Service 4684c1
	addl	(%esp),%eax
Packit Service 4684c1
	adcl	4(%esp),%ebx
Packit Service 4684c1
	orl	%esi,%ecx
Packit Service 4684c1
	orl	%edi,%edx
Packit Service 4684c1
	andl	24(%esp),%ecx
Packit Service 4684c1
	andl	28(%esp),%edx
Packit Service 4684c1
	andl	8(%esp),%esi
Packit Service 4684c1
	andl	12(%esp),%edi
Packit Service 4684c1
	orl	%esi,%ecx
Packit Service 4684c1
	orl	%edi,%edx
Packit Service 4684c1
	addl	%ecx,%eax
Packit Service 4684c1
	adcl	%edx,%ebx
Packit Service 4684c1
	movl	%eax,(%esp)
Packit Service 4684c1
	movl	%ebx,4(%esp)
Packit Service 4684c1
	movb	(%ebp),%dl
Packit Service 4684c1
	subl	$8,%esp
Packit Service 4684c1
	leal	8(%ebp),%ebp
Packit Service 4684c1
	cmpb	$23,%dl
Packit Service 4684c1
	jne	.L00416_79_x86
Packit Service 4684c1
	movl	840(%esp),%esi
Packit Service 4684c1
	movl	844(%esp),%edi
Packit Service 4684c1
	movl	(%esi),%eax
Packit Service 4684c1
	movl	4(%esi),%ebx
Packit Service 4684c1
	movl	8(%esi),%ecx
Packit Service 4684c1
	movl	12(%esi),%edx
Packit Service 4684c1
	addl	8(%esp),%eax
Packit Service 4684c1
	adcl	12(%esp),%ebx
Packit Service 4684c1
	movl	%eax,(%esi)
Packit Service 4684c1
	movl	%ebx,4(%esi)
Packit Service 4684c1
	addl	16(%esp),%ecx
Packit Service 4684c1
	adcl	20(%esp),%edx
Packit Service 4684c1
	movl	%ecx,8(%esi)
Packit Service 4684c1
	movl	%edx,12(%esi)
Packit Service 4684c1
	movl	16(%esi),%eax
Packit Service 4684c1
	movl	20(%esi),%ebx
Packit Service 4684c1
	movl	24(%esi),%ecx
Packit Service 4684c1
	movl	28(%esi),%edx
Packit Service 4684c1
	addl	24(%esp),%eax
Packit Service 4684c1
	adcl	28(%esp),%ebx
Packit Service 4684c1
	movl	%eax,16(%esi)
Packit Service 4684c1
	movl	%ebx,20(%esi)
Packit Service 4684c1
	addl	32(%esp),%ecx
Packit Service 4684c1
	adcl	36(%esp),%edx
Packit Service 4684c1
	movl	%ecx,24(%esi)
Packit Service 4684c1
	movl	%edx,28(%esi)
Packit Service 4684c1
	movl	32(%esi),%eax
Packit Service 4684c1
	movl	36(%esi),%ebx
Packit Service 4684c1
	movl	40(%esi),%ecx
Packit Service 4684c1
	movl	44(%esi),%edx
Packit Service 4684c1
	addl	40(%esp),%eax
Packit Service 4684c1
	adcl	44(%esp),%ebx
Packit Service 4684c1
	movl	%eax,32(%esi)
Packit Service 4684c1
	movl	%ebx,36(%esi)
Packit Service 4684c1
	addl	48(%esp),%ecx
Packit Service 4684c1
	adcl	52(%esp),%edx
Packit Service 4684c1
	movl	%ecx,40(%esi)
Packit Service 4684c1
	movl	%edx,44(%esi)
Packit Service 4684c1
	movl	48(%esi),%eax
Packit Service 4684c1
	movl	52(%esi),%ebx
Packit Service 4684c1
	movl	56(%esi),%ecx
Packit Service 4684c1
	movl	60(%esi),%edx
Packit Service 4684c1
	addl	56(%esp),%eax
Packit Service 4684c1
	adcl	60(%esp),%ebx
Packit Service 4684c1
	movl	%eax,48(%esi)
Packit Service 4684c1
	movl	%ebx,52(%esi)
Packit Service 4684c1
	addl	64(%esp),%ecx
Packit Service 4684c1
	adcl	68(%esp),%edx
Packit Service 4684c1
	movl	%ecx,56(%esi)
Packit Service 4684c1
	movl	%edx,60(%esi)
Packit Service 4684c1
	addl	$840,%esp
Packit Service 4684c1
	subl	$640,%ebp
Packit Service 4684c1
	cmpl	8(%esp),%edi
Packit Service 4684c1
	jb	.L002loop_x86
Packit Service 4684c1
	movl	12(%esp),%esp
Packit Service 4684c1
	popl	%edi
Packit Service 4684c1
	popl	%esi
Packit Service 4684c1
	popl	%ebx
Packit Service 4684c1
	popl	%ebp
Packit Service 4684c1
	ret
Packit Service 4684c1
.align	64
Packit Service 4684c1
.L001K512:
Packit Service 4684c1
.long	3609767458,1116352408
Packit Service 4684c1
.long	602891725,1899447441
Packit Service 4684c1
.long	3964484399,3049323471
Packit Service 4684c1
.long	2173295548,3921009573
Packit Service 4684c1
.long	4081628472,961987163
Packit Service 4684c1
.long	3053834265,1508970993
Packit Service 4684c1
.long	2937671579,2453635748
Packit Service 4684c1
.long	3664609560,2870763221
Packit Service 4684c1
.long	2734883394,3624381080
Packit Service 4684c1
.long	1164996542,310598401
Packit Service 4684c1
.long	1323610764,607225278
Packit Service 4684c1
.long	3590304994,1426881987
Packit Service 4684c1
.long	4068182383,1925078388
Packit Service 4684c1
.long	991336113,2162078206
Packit Service 4684c1
.long	633803317,2614888103
Packit Service 4684c1
.long	3479774868,3248222580
Packit Service 4684c1
.long	2666613458,3835390401
Packit Service 4684c1
.long	944711139,4022224774
Packit Service 4684c1
.long	2341262773,264347078
Packit Service 4684c1
.long	2007800933,604807628
Packit Service 4684c1
.long	1495990901,770255983
Packit Service 4684c1
.long	1856431235,1249150122
Packit Service 4684c1
.long	3175218132,1555081692
Packit Service 4684c1
.long	2198950837,1996064986
Packit Service 4684c1
.long	3999719339,2554220882
Packit Service 4684c1
.long	766784016,2821834349
Packit Service 4684c1
.long	2566594879,2952996808
Packit Service 4684c1
.long	3203337956,3210313671
Packit Service 4684c1
.long	1034457026,3336571891
Packit Service 4684c1
.long	2466948901,3584528711
Packit Service 4684c1
.long	3758326383,113926993
Packit Service 4684c1
.long	168717936,338241895
Packit Service 4684c1
.long	1188179964,666307205
Packit Service 4684c1
.long	1546045734,773529912
Packit Service 4684c1
.long	1522805485,1294757372
Packit Service 4684c1
.long	2643833823,1396182291
Packit Service 4684c1
.long	2343527390,1695183700
Packit Service 4684c1
.long	1014477480,1986661051
Packit Service 4684c1
.long	1206759142,2177026350
Packit Service 4684c1
.long	344077627,2456956037
Packit Service 4684c1
.long	1290863460,2730485921
Packit Service 4684c1
.long	3158454273,2820302411
Packit Service 4684c1
.long	3505952657,3259730800
Packit Service 4684c1
.long	106217008,3345764771
Packit Service 4684c1
.long	3606008344,3516065817
Packit Service 4684c1
.long	1432725776,3600352804
Packit Service 4684c1
.long	1467031594,4094571909
Packit Service 4684c1
.long	851169720,275423344
Packit Service 4684c1
.long	3100823752,430227734
Packit Service 4684c1
.long	1363258195,506948616
Packit Service 4684c1
.long	3750685593,659060556
Packit Service 4684c1
.long	3785050280,883997877
Packit Service 4684c1
.long	3318307427,958139571
Packit Service 4684c1
.long	3812723403,1322822218
Packit Service 4684c1
.long	2003034995,1537002063
Packit Service 4684c1
.long	3602036899,1747873779
Packit Service 4684c1
.long	1575990012,1955562222
Packit Service 4684c1
.long	1125592928,2024104815
Packit Service 4684c1
.long	2716904306,2227730452
Packit Service 4684c1
.long	442776044,2361852424
Packit Service 4684c1
.long	593698344,2428436474
Packit Service 4684c1
.long	3733110249,2756734187
Packit Service 4684c1
.long	2999351573,3204031479
Packit Service 4684c1
.long	3815920427,3329325298
Packit Service 4684c1
.long	3928383900,3391569614
Packit Service 4684c1
.long	566280711,3515267271
Packit Service 4684c1
.long	3454069534,3940187606
Packit Service 4684c1
.long	4000239992,4118630271
Packit Service 4684c1
.long	1914138554,116418474
Packit Service 4684c1
.long	2731055270,174292421
Packit Service 4684c1
.long	3203993006,289380356
Packit Service 4684c1
.long	320620315,460393269
Packit Service 4684c1
.long	587496836,685471733
Packit Service 4684c1
.long	1086792851,852142971
Packit Service 4684c1
.long	365543100,1017036298
Packit Service 4684c1
.long	2618297676,1126000580
Packit Service 4684c1
.long	3409855158,1288033470
Packit Service 4684c1
.long	4234509866,1501505948
Packit Service 4684c1
.long	987167468,1607167915
Packit Service 4684c1
.long	1246189591,1816402316
Packit Service 4684c1
.long	67438087,66051
Packit Service 4684c1
.long	202182159,134810123
Packit Service 4684c1
.size	sha512_block_data_order,.-.L_sha512_block_data_order_begin
Packit Service 4684c1
.byte	83,72,65,53,49,50,32,98,108,111,99,107,32,116,114,97
Packit Service 4684c1
.byte	110,115,102,111,114,109,32,102,111,114,32,120,56,54,44,32
Packit Service 4684c1
.byte	67,82,89,80,84,79,71,65,77,83,32,98,121,32,60,97
Packit Service 4684c1
.byte	112,112,114,111,64,111,112,101,110,115,115,108,46,111,114,103
Packit Service 4684c1
.byte	62,0
Packit Service 4684c1
Packit Service 4684c1
.section .note.GNU-stack,"",%progbits