1########################################################################
2# Implement fast SHA-512 with AVX2 instructions. (x86_64)
3#
4# Copyright (C) 2013 Intel Corporation.
5#
6# Authors:
7#     James Guilford <james.guilford@intel.com>
8#     Kirk Yap <kirk.s.yap@intel.com>
9#     David Cote <david.m.cote@intel.com>
10#     Tim Chen <tim.c.chen@linux.intel.com>
11#
12# This software is available to you under a choice of one of two
13# licenses.  You may choose to be licensed under the terms of the GNU
14# General Public License (GPL) Version 2, available from the file
15# COPYING in the main directory of this source tree, or the
16# OpenIB.org BSD license below:
17#
18#     Redistribution and use in source and binary forms, with or
19#     without modification, are permitted provided that the following
20#     conditions are met:
21#
22#      - Redistributions of source code must retain the above
23#        copyright notice, this list of conditions and the following
24#        disclaimer.
25#
26#      - Redistributions in binary form must reproduce the above
27#        copyright notice, this list of conditions and the following
28#        disclaimer in the documentation and/or other materials
29#        provided with the distribution.
30#
31# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
32# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
33# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
34# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
35# BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
36# ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
37# CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
38# SOFTWARE.
39#
40########################################################################
41#
42# This code is described in an Intel White-Paper:
43# "Fast SHA-512 Implementations on Intel Architecture Processors"
44#
45# To find it, surf to http://www.intel.com/p/en_US/embedded
46# and search for that title.
47#
48########################################################################
49# This code schedules 1 blocks at a time, with 4 lanes per block
50########################################################################
51
52#include <linux/linkage.h>
53
54.text
55
56# Virtual Registers
57Y_0 = %ymm4
58Y_1 = %ymm5
59Y_2 = %ymm6
60Y_3 = %ymm7
61
62YTMP0 = %ymm0
63YTMP1 = %ymm1
64YTMP2 = %ymm2
65YTMP3 = %ymm3
66YTMP4 = %ymm8
67XFER  = YTMP0
68
69BYTE_FLIP_MASK  = %ymm9
70
71# 1st arg is %rdi, which is saved to the stack and accessed later via %r12
72CTX1        = %rdi
73CTX2        = %r12
74# 2nd arg
75INP         = %rsi
76# 3rd arg
77NUM_BLKS    = %rdx
78
79c           = %rcx
80d           = %r8
81e           = %rdx
82y3          = %rsi
83
84TBL   = %rdi # clobbers CTX1
85
86a     = %rax
87b     = %rbx
88
89f     = %r9
90g     = %r10
91h     = %r11
92old_h = %r11
93
94T1    = %r12 # clobbers CTX2
95y0    = %r13
96y1    = %r14
97y2    = %r15
98
99# Local variables (stack frame)
100XFER_SIZE = 4*8
101SRND_SIZE = 1*8
102INP_SIZE = 1*8
103INPEND_SIZE = 1*8
104CTX_SIZE = 1*8
105
106frame_XFER = 0
107frame_SRND = frame_XFER + XFER_SIZE
108frame_INP = frame_SRND + SRND_SIZE
109frame_INPEND = frame_INP + INP_SIZE
110frame_CTX = frame_INPEND + INPEND_SIZE
111frame_size = frame_CTX + CTX_SIZE
112
113## assume buffers not aligned
114#define	VMOVDQ vmovdqu
115
116# addm [mem], reg
117# Add reg to mem using reg-mem add and store
118.macro addm p1 p2
119	add	\p1, \p2
120	mov	\p2, \p1
121.endm
122
123
124# COPY_YMM_AND_BSWAP ymm, [mem], byte_flip_mask
125# Load ymm with mem and byte swap each dword
126.macro COPY_YMM_AND_BSWAP p1 p2 p3
127	VMOVDQ \p2, \p1
128	vpshufb \p3, \p1, \p1
129.endm
130# rotate_Ys
131# Rotate values of symbols Y0...Y3
132.macro rotate_Ys
133	Y_ = Y_0
134	Y_0 = Y_1
135	Y_1 = Y_2
136	Y_2 = Y_3
137	Y_3 = Y_
138.endm
139
140# RotateState
141.macro RotateState
142	# Rotate symbols a..h right
143	old_h  = h
144	TMP_   = h
145	h      = g
146	g      = f
147	f      = e
148	e      = d
149	d      = c
150	c      = b
151	b      = a
152	a      = TMP_
153.endm
154
155# macro MY_VPALIGNR	YDST, YSRC1, YSRC2, RVAL
156# YDST = {YSRC1, YSRC2} >> RVAL*8
157.macro MY_VPALIGNR YDST YSRC1 YSRC2 RVAL
158	vperm2f128      $0x3, \YSRC2, \YSRC1, \YDST     # YDST = {YS1_LO, YS2_HI}
159	vpalignr        $\RVAL, \YSRC2, \YDST, \YDST    # YDST = {YDS1, YS2} >> RVAL*8
160.endm
161
162.macro FOUR_ROUNDS_AND_SCHED
163################################### RND N + 0 #########################################
164
165	# Extract w[t-7]
166	MY_VPALIGNR	YTMP0, Y_3, Y_2, 8		# YTMP0 = W[-7]
167	# Calculate w[t-16] + w[t-7]
168	vpaddq		Y_0, YTMP0, YTMP0		# YTMP0 = W[-7] + W[-16]
169	# Extract w[t-15]
170	MY_VPALIGNR	YTMP1, Y_1, Y_0, 8		# YTMP1 = W[-15]
171
172	# Calculate sigma0
173
174	# Calculate w[t-15] ror 1
175	vpsrlq		$1, YTMP1, YTMP2
176	vpsllq		$(64-1), YTMP1, YTMP3
177	vpor		YTMP2, YTMP3, YTMP3		# YTMP3 = W[-15] ror 1
178	# Calculate w[t-15] shr 7
179	vpsrlq		$7, YTMP1, YTMP4		# YTMP4 = W[-15] >> 7
180
181	mov	a, y3		# y3 = a                                # MAJA
182	rorx	$41, e, y0	# y0 = e >> 41				# S1A
183	rorx	$18, e, y1	# y1 = e >> 18				# S1B
184	add	frame_XFER(%rsp),h		# h = k + w + h         # --
185	or	c, y3		# y3 = a|c                              # MAJA
186	mov	f, y2		# y2 = f                                # CH
187	rorx	$34, a, T1	# T1 = a >> 34				# S0B
188
189	xor	y1, y0		# y0 = (e>>41) ^ (e>>18)		# S1
190	xor	g, y2		# y2 = f^g                              # CH
191	rorx	$14, e, y1	# y1 = (e >> 14)			# S1
192
193	and	e, y2		# y2 = (f^g)&e                          # CH
194	xor	y1, y0		# y0 = (e>>41) ^ (e>>18) ^ (e>>14)	# S1
195	rorx	$39, a, y1	# y1 = a >> 39				# S0A
196	add	h, d		# d = k + w + h + d                     # --
197
198	and	b, y3		# y3 = (a|c)&b                          # MAJA
199	xor	T1, y1		# y1 = (a>>39) ^ (a>>34)		# S0
200	rorx	$28, a, T1	# T1 = (a >> 28)			# S0
201
202	xor	g, y2		# y2 = CH = ((f^g)&e)^g                 # CH
203	xor	T1, y1		# y1 = (a>>39) ^ (a>>34) ^ (a>>28)	# S0
204	mov	a, T1		# T1 = a                                # MAJB
205	and	c, T1		# T1 = a&c                              # MAJB
206
207	add	y0, y2		# y2 = S1 + CH                          # --
208	or	T1, y3		# y3 = MAJ = (a|c)&b)|(a&c)             # MAJ
209	add	y1, h		# h = k + w + h + S0                    # --
210
211	add	y2, d		# d = k + w + h + d + S1 + CH = d + t1  # --
212
213	add	y2, h		# h = k + w + h + S0 + S1 + CH = t1 + S0# --
214	add	y3, h		# h = t1 + S0 + MAJ                     # --
215
216	RotateState
217
218################################### RND N + 1 #########################################
219
220	# Calculate w[t-15] ror 8
221	vpsrlq		$8, YTMP1, YTMP2
222	vpsllq		$(64-8), YTMP1, YTMP1
223	vpor		YTMP2, YTMP1, YTMP1		# YTMP1 = W[-15] ror 8
224	# XOR the three components
225	vpxor		YTMP4, YTMP3, YTMP3		# YTMP3 = W[-15] ror 1 ^ W[-15] >> 7
226	vpxor		YTMP1, YTMP3, YTMP1		# YTMP1 = s0
227
228
229	# Add three components, w[t-16], w[t-7] and sigma0
230	vpaddq		YTMP1, YTMP0, YTMP0		# YTMP0 = W[-16] + W[-7] + s0
231	# Move to appropriate lanes for calculating w[16] and w[17]
232	vperm2f128	$0x0, YTMP0, YTMP0, Y_0		# Y_0 = W[-16] + W[-7] + s0 {BABA}
233	# Move to appropriate lanes for calculating w[18] and w[19]
234	vpand		MASK_YMM_LO(%rip), YTMP0, YTMP0	# YTMP0 = W[-16] + W[-7] + s0 {DC00}
235
236	# Calculate w[16] and w[17] in both 128 bit lanes
237
238	# Calculate sigma1 for w[16] and w[17] on both 128 bit lanes
239	vperm2f128	$0x11, Y_3, Y_3, YTMP2		# YTMP2 = W[-2] {BABA}
240	vpsrlq		$6, YTMP2, YTMP4		# YTMP4 = W[-2] >> 6 {BABA}
241
242
243	mov	a, y3		# y3 = a                                # MAJA
244	rorx	$41, e, y0	# y0 = e >> 41				# S1A
245	rorx	$18, e, y1	# y1 = e >> 18				# S1B
246	add	1*8+frame_XFER(%rsp), h		# h = k + w + h         # --
247	or	c, y3		# y3 = a|c                              # MAJA
248
249
250	mov	f, y2		# y2 = f                                # CH
251	rorx	$34, a, T1	# T1 = a >> 34				# S0B
252	xor	y1, y0		# y0 = (e>>41) ^ (e>>18)		# S1
253	xor	g, y2		# y2 = f^g                              # CH
254
255
256	rorx	$14, e, y1	# y1 = (e >> 14)			# S1
257	xor	y1, y0		# y0 = (e>>41) ^ (e>>18) ^ (e>>14)	# S1
258	rorx	$39, a, y1	# y1 = a >> 39				# S0A
259	and	e, y2		# y2 = (f^g)&e                          # CH
260	add	h, d		# d = k + w + h + d                     # --
261
262	and	b, y3		# y3 = (a|c)&b                          # MAJA
263	xor	T1, y1		# y1 = (a>>39) ^ (a>>34)		# S0
264
265	rorx	$28, a, T1	# T1 = (a >> 28)			# S0
266	xor	g, y2		# y2 = CH = ((f^g)&e)^g                 # CH
267
268	xor	T1, y1		# y1 = (a>>39) ^ (a>>34) ^ (a>>28)	# S0
269	mov	a, T1		# T1 = a                                # MAJB
270	and	c, T1		# T1 = a&c                              # MAJB
271	add	y0, y2		# y2 = S1 + CH                          # --
272
273	or	T1, y3		# y3 = MAJ = (a|c)&b)|(a&c)             # MAJ
274	add	y1, h		# h = k + w + h + S0                    # --
275
276	add	y2, d		# d = k + w + h + d + S1 + CH = d + t1  # --
277	add	y2, h		# h = k + w + h + S0 + S1 + CH = t1 + S0# --
278	add	y3, h		# h = t1 + S0 + MAJ                     # --
279
280	RotateState
281
282
283################################### RND N + 2 #########################################
284
285	vpsrlq		$19, YTMP2, YTMP3		# YTMP3 = W[-2] >> 19 {BABA}
286	vpsllq		$(64-19), YTMP2, YTMP1		# YTMP1 = W[-2] << 19 {BABA}
287	vpor		YTMP1, YTMP3, YTMP3		# YTMP3 = W[-2] ror 19 {BABA}
288	vpxor		YTMP3, YTMP4, YTMP4		# YTMP4 = W[-2] ror 19 ^ W[-2] >> 6 {BABA}
289	vpsrlq		$61, YTMP2, YTMP3		# YTMP3 = W[-2] >> 61 {BABA}
290	vpsllq		$(64-61), YTMP2, YTMP1		# YTMP1 = W[-2] << 61 {BABA}
291	vpor		YTMP1, YTMP3, YTMP3		# YTMP3 = W[-2] ror 61 {BABA}
292	vpxor		YTMP3, YTMP4, YTMP4		# YTMP4 = s1 = (W[-2] ror 19) ^
293							#  (W[-2] ror 61) ^ (W[-2] >> 6) {BABA}
294
295	# Add sigma1 to the other compunents to get w[16] and w[17]
296	vpaddq		YTMP4, Y_0, Y_0			# Y_0 = {W[1], W[0], W[1], W[0]}
297
298	# Calculate sigma1 for w[18] and w[19] for upper 128 bit lane
299	vpsrlq		$6, Y_0, YTMP4			# YTMP4 = W[-2] >> 6 {DC--}
300
301	mov	a, y3		# y3 = a                                # MAJA
302	rorx	$41, e, y0	# y0 = e >> 41				# S1A
303	add	2*8+frame_XFER(%rsp), h		# h = k + w + h         # --
304
305	rorx	$18, e, y1	# y1 = e >> 18				# S1B
306	or	c, y3		# y3 = a|c                              # MAJA
307	mov	f, y2		# y2 = f                                # CH
308	xor	g, y2		# y2 = f^g                              # CH
309
310	rorx	$34, a, T1	# T1 = a >> 34				# S0B
311	xor	y1, y0		# y0 = (e>>41) ^ (e>>18)		# S1
312	and	e, y2		# y2 = (f^g)&e                          # CH
313
314	rorx	$14, e, y1	# y1 = (e >> 14)			# S1
315	add	h, d		# d = k + w + h + d                     # --
316	and	b, y3		# y3 = (a|c)&b                          # MAJA
317
318	xor	y1, y0		# y0 = (e>>41) ^ (e>>18) ^ (e>>14)	# S1
319	rorx	$39, a, y1	# y1 = a >> 39				# S0A
320	xor	g, y2		# y2 = CH = ((f^g)&e)^g                 # CH
321
322	xor	T1, y1		# y1 = (a>>39) ^ (a>>34)		# S0
323	rorx	$28, a, T1	# T1 = (a >> 28)			# S0
324
325	xor	T1, y1		# y1 = (a>>39) ^ (a>>34) ^ (a>>28)	# S0
326	mov	a, T1		# T1 = a                                # MAJB
327	and	c, T1		# T1 = a&c                              # MAJB
328	add	y0, y2		# y2 = S1 + CH                          # --
329
330	or	T1, y3		# y3 = MAJ = (a|c)&b)|(a&c)             # MAJ
331	add	y1, h		# h = k + w + h + S0                    # --
332	add	y2, d		# d = k + w + h + d + S1 + CH = d + t1  # --
333	add	y2, h		# h = k + w + h + S0 + S1 + CH = t1 + S0# --
334
335	add	y3, h		# h = t1 + S0 + MAJ                     # --
336
337	RotateState
338
339################################### RND N + 3 #########################################
340
341	vpsrlq		$19, Y_0, YTMP3			# YTMP3 = W[-2] >> 19 {DC--}
342	vpsllq		$(64-19), Y_0, YTMP1		# YTMP1 = W[-2] << 19 {DC--}
343	vpor		YTMP1, YTMP3, YTMP3		# YTMP3 = W[-2] ror 19 {DC--}
344	vpxor		YTMP3, YTMP4, YTMP4		# YTMP4 = W[-2] ror 19 ^ W[-2] >> 6 {DC--}
345	vpsrlq		$61, Y_0, YTMP3			# YTMP3 = W[-2] >> 61 {DC--}
346	vpsllq		$(64-61), Y_0, YTMP1		# YTMP1 = W[-2] << 61 {DC--}
347	vpor		YTMP1, YTMP3, YTMP3		# YTMP3 = W[-2] ror 61 {DC--}
348	vpxor		YTMP3, YTMP4, YTMP4		# YTMP4 = s1 = (W[-2] ror 19) ^
349							#  (W[-2] ror 61) ^ (W[-2] >> 6) {DC--}
350
351	# Add the sigma0 + w[t-7] + w[t-16] for w[18] and w[19]
352	# to newly calculated sigma1 to get w[18] and w[19]
353	vpaddq		YTMP4, YTMP0, YTMP2		# YTMP2 = {W[3], W[2], --, --}
354
355	# Form w[19, w[18], w17], w[16]
356	vpblendd		$0xF0, YTMP2, Y_0, Y_0		# Y_0 = {W[3], W[2], W[1], W[0]}
357
358	mov	a, y3		# y3 = a                                # MAJA
359	rorx	$41, e, y0	# y0 = e >> 41				# S1A
360	rorx	$18, e, y1	# y1 = e >> 18				# S1B
361	add	3*8+frame_XFER(%rsp), h		# h = k + w + h         # --
362	or	c, y3		# y3 = a|c                              # MAJA
363
364
365	mov	f, y2		# y2 = f                                # CH
366	rorx	$34, a, T1	# T1 = a >> 34				# S0B
367	xor	y1, y0		# y0 = (e>>41) ^ (e>>18)		# S1
368	xor	g, y2		# y2 = f^g                              # CH
369
370
371	rorx	$14, e, y1	# y1 = (e >> 14)			# S1
372	and	e, y2		# y2 = (f^g)&e                          # CH
373	add	h, d		# d = k + w + h + d                     # --
374	and	b, y3		# y3 = (a|c)&b                          # MAJA
375
376	xor	y1, y0		# y0 = (e>>41) ^ (e>>18) ^ (e>>14)	# S1
377	xor	g, y2		# y2 = CH = ((f^g)&e)^g                 # CH
378
379	rorx	$39, a, y1	# y1 = a >> 39				# S0A
380	add	y0, y2		# y2 = S1 + CH                          # --
381
382	xor	T1, y1		# y1 = (a>>39) ^ (a>>34)		# S0
383	add	y2, d		# d = k + w + h + d + S1 + CH = d + t1  # --
384
385	rorx	$28, a, T1	# T1 = (a >> 28)			# S0
386
387	xor	T1, y1		# y1 = (a>>39) ^ (a>>34) ^ (a>>28)	# S0
388	mov	a, T1		# T1 = a                                # MAJB
389	and	c, T1		# T1 = a&c                              # MAJB
390	or	T1, y3		# y3 = MAJ = (a|c)&b)|(a&c)             # MAJ
391
392	add	y1, h		# h = k + w + h + S0                    # --
393	add	y2, h		# h = k + w + h + S0 + S1 + CH = t1 + S0# --
394	add	y3, h		# h = t1 + S0 + MAJ                     # --
395
396	RotateState
397
398	rotate_Ys
399.endm
400
401.macro DO_4ROUNDS
402
403################################### RND N + 0 #########################################
404
405	mov	f, y2		# y2 = f                                # CH
406	rorx	$41, e, y0	# y0 = e >> 41				# S1A
407	rorx	$18, e, y1	# y1 = e >> 18				# S1B
408	xor	g, y2		# y2 = f^g                              # CH
409
410	xor	y1, y0		# y0 = (e>>41) ^ (e>>18)		# S1
411	rorx	$14, e, y1	# y1 = (e >> 14)			# S1
412	and	e, y2		# y2 = (f^g)&e                          # CH
413
414	xor	y1, y0		# y0 = (e>>41) ^ (e>>18) ^ (e>>14)	# S1
415	rorx	$34, a, T1	# T1 = a >> 34				# S0B
416	xor	g, y2		# y2 = CH = ((f^g)&e)^g                 # CH
417	rorx	$39, a, y1	# y1 = a >> 39				# S0A
418	mov	a, y3		# y3 = a                                # MAJA
419
420	xor	T1, y1		# y1 = (a>>39) ^ (a>>34)		# S0
421	rorx	$28, a, T1	# T1 = (a >> 28)			# S0
422	add	frame_XFER(%rsp), h		# h = k + w + h         # --
423	or	c, y3		# y3 = a|c                              # MAJA
424
425	xor	T1, y1		# y1 = (a>>39) ^ (a>>34) ^ (a>>28)	# S0
426	mov	a, T1		# T1 = a                                # MAJB
427	and	b, y3		# y3 = (a|c)&b                          # MAJA
428	and	c, T1		# T1 = a&c                              # MAJB
429	add	y0, y2		# y2 = S1 + CH                          # --
430
431	add	h, d		# d = k + w + h + d                     # --
432	or	T1, y3		# y3 = MAJ = (a|c)&b)|(a&c)             # MAJ
433	add	y1, h		# h = k + w + h + S0                    # --
434
435	add	y2, d		# d = k + w + h + d + S1 + CH = d + t1  # --
436
437	RotateState
438
439################################### RND N + 1 #########################################
440
441	add	y2, old_h	# h = k + w + h + S0 + S1 + CH = t1 + S0# --
442	mov	f, y2		# y2 = f                                # CH
443	rorx	$41, e, y0	# y0 = e >> 41				# S1A
444	rorx	$18, e, y1	# y1 = e >> 18				# S1B
445	xor	g, y2		# y2 = f^g                              # CH
446
447	xor	y1, y0		# y0 = (e>>41) ^ (e>>18)		# S1
448	rorx	$14, e, y1	# y1 = (e >> 14)			# S1
449	and	e, y2		# y2 = (f^g)&e                          # CH
450	add	y3, old_h	# h = t1 + S0 + MAJ                     # --
451
452	xor	y1, y0		# y0 = (e>>41) ^ (e>>18) ^ (e>>14)	# S1
453	rorx	$34, a, T1	# T1 = a >> 34				# S0B
454	xor	g, y2		# y2 = CH = ((f^g)&e)^g                 # CH
455	rorx	$39, a, y1	# y1 = a >> 39				# S0A
456	mov	a, y3		# y3 = a                                # MAJA
457
458	xor	T1, y1		# y1 = (a>>39) ^ (a>>34)		# S0
459	rorx	$28, a, T1	# T1 = (a >> 28)			# S0
460	add	8*1+frame_XFER(%rsp), h		# h = k + w + h         # --
461	or	c, y3		# y3 = a|c                              # MAJA
462
463	xor	T1, y1		# y1 = (a>>39) ^ (a>>34) ^ (a>>28)	# S0
464	mov	a, T1		# T1 = a                                # MAJB
465	and	b, y3		# y3 = (a|c)&b                          # MAJA
466	and	c, T1		# T1 = a&c                              # MAJB
467	add	y0, y2		# y2 = S1 + CH                          # --
468
469	add	h, d		# d = k + w + h + d                     # --
470	or	T1, y3		# y3 = MAJ = (a|c)&b)|(a&c)             # MAJ
471	add	y1, h		# h = k + w + h + S0                    # --
472
473	add	y2, d		# d = k + w + h + d + S1 + CH = d + t1  # --
474
475	RotateState
476
477################################### RND N + 2 #########################################
478
479	add	y2, old_h	# h = k + w + h + S0 + S1 + CH = t1 + S0# --
480	mov	f, y2		# y2 = f                                # CH
481	rorx	$41, e, y0	# y0 = e >> 41				# S1A
482	rorx	$18, e, y1	# y1 = e >> 18				# S1B
483	xor	g, y2		# y2 = f^g                              # CH
484
485	xor	y1, y0		# y0 = (e>>41) ^ (e>>18)		# S1
486	rorx	$14, e, y1	# y1 = (e >> 14)			# S1
487	and	e, y2		# y2 = (f^g)&e                          # CH
488	add	y3, old_h	# h = t1 + S0 + MAJ                     # --
489
490	xor	y1, y0		# y0 = (e>>41) ^ (e>>18) ^ (e>>14)	# S1
491	rorx	$34, a, T1	# T1 = a >> 34				# S0B
492	xor	g, y2		# y2 = CH = ((f^g)&e)^g                 # CH
493	rorx	$39, a, y1	# y1 = a >> 39				# S0A
494	mov	a, y3		# y3 = a                                # MAJA
495
496	xor	T1, y1		# y1 = (a>>39) ^ (a>>34)		# S0
497	rorx	$28, a, T1	# T1 = (a >> 28)			# S0
498	add	8*2+frame_XFER(%rsp), h		# h = k + w + h         # --
499	or	c, y3		# y3 = a|c                              # MAJA
500
501	xor	T1, y1		# y1 = (a>>39) ^ (a>>34) ^ (a>>28)	# S0
502	mov	a, T1		# T1 = a                                # MAJB
503	and	b, y3		# y3 = (a|c)&b                          # MAJA
504	and	c, T1		# T1 = a&c                              # MAJB
505	add	y0, y2		# y2 = S1 + CH                          # --
506
507	add	h, d		# d = k + w + h + d                     # --
508	or	T1, y3		# y3 = MAJ = (a|c)&b)|(a&c)             # MAJ
509	add	y1, h		# h = k + w + h + S0                    # --
510
511	add	y2, d		# d = k + w + h + d + S1 + CH = d + t1  # --
512
513	RotateState
514
515################################### RND N + 3 #########################################
516
517	add	y2, old_h	# h = k + w + h + S0 + S1 + CH = t1 + S0# --
518	mov	f, y2		# y2 = f                                # CH
519	rorx	$41, e, y0	# y0 = e >> 41				# S1A
520	rorx	$18, e, y1	# y1 = e >> 18				# S1B
521	xor	g, y2		# y2 = f^g                              # CH
522
523	xor	y1, y0		# y0 = (e>>41) ^ (e>>18)		# S1
524	rorx	$14, e, y1	# y1 = (e >> 14)			# S1
525	and	e, y2		# y2 = (f^g)&e                          # CH
526	add	y3, old_h	# h = t1 + S0 + MAJ                     # --
527
528	xor	y1, y0		# y0 = (e>>41) ^ (e>>18) ^ (e>>14)	# S1
529	rorx	$34, a, T1	# T1 = a >> 34				# S0B
530	xor	g, y2		# y2 = CH = ((f^g)&e)^g                 # CH
531	rorx	$39, a, y1	# y1 = a >> 39				# S0A
532	mov	a, y3		# y3 = a                                # MAJA
533
534	xor	T1, y1		# y1 = (a>>39) ^ (a>>34)		# S0
535	rorx	$28, a, T1	# T1 = (a >> 28)			# S0
536	add	8*3+frame_XFER(%rsp), h		# h = k + w + h         # --
537	or	c, y3		# y3 = a|c                              # MAJA
538
539	xor	T1, y1		# y1 = (a>>39) ^ (a>>34) ^ (a>>28)	# S0
540	mov	a, T1		# T1 = a                                # MAJB
541	and	b, y3		# y3 = (a|c)&b                          # MAJA
542	and	c, T1		# T1 = a&c                              # MAJB
543	add	y0, y2		# y2 = S1 + CH                          # --
544
545
546	add	h, d		# d = k + w + h + d                     # --
547	or	T1, y3		# y3 = MAJ = (a|c)&b)|(a&c)             # MAJ
548	add	y1, h		# h = k + w + h + S0                    # --
549
550	add	y2, d		# d = k + w + h + d + S1 + CH = d + t1  # --
551
552	add	y2, h		# h = k + w + h + S0 + S1 + CH = t1 + S0# --
553
554	add	y3, h		# h = t1 + S0 + MAJ                     # --
555
556	RotateState
557
558.endm
559
560########################################################################
561# void sha512_transform_rorx(sha512_state *state, const u8 *data, int blocks)
562# Purpose: Updates the SHA512 digest stored at "state" with the message
563# stored in "data".
564# The size of the message pointed to by "data" must be an integer multiple
565# of SHA512 message blocks.
566# "blocks" is the message length in SHA512 blocks
567########################################################################
568SYM_FUNC_START(sha512_transform_rorx)
569	# Save GPRs
570	push	%rbx
571	push	%r12
572	push	%r13
573	push	%r14
574	push	%r15
575
576	# Allocate Stack Space
577	push	%rbp
578	mov	%rsp, %rbp
579	sub	$frame_size, %rsp
580	and	$~(0x20 - 1), %rsp
581
582	shl	$7, NUM_BLKS	# convert to bytes
583	jz	done_hash
584	add	INP, NUM_BLKS	# pointer to end of data
585	mov	NUM_BLKS, frame_INPEND(%rsp)
586
587	## load initial digest
588	mov	8*0(CTX1), a
589	mov	8*1(CTX1), b
590	mov	8*2(CTX1), c
591	mov	8*3(CTX1), d
592	mov	8*4(CTX1), e
593	mov	8*5(CTX1), f
594	mov	8*6(CTX1), g
595	mov	8*7(CTX1), h
596
597	# save %rdi (CTX) before it gets clobbered
598	mov	%rdi, frame_CTX(%rsp)
599
600	vmovdqa	PSHUFFLE_BYTE_FLIP_MASK(%rip), BYTE_FLIP_MASK
601
602loop0:
603	lea	K512(%rip), TBL
604
605	## byte swap first 16 dwords
606	COPY_YMM_AND_BSWAP	Y_0, (INP), BYTE_FLIP_MASK
607	COPY_YMM_AND_BSWAP	Y_1, 1*32(INP), BYTE_FLIP_MASK
608	COPY_YMM_AND_BSWAP	Y_2, 2*32(INP), BYTE_FLIP_MASK
609	COPY_YMM_AND_BSWAP	Y_3, 3*32(INP), BYTE_FLIP_MASK
610
611	mov	INP, frame_INP(%rsp)
612
613	## schedule 64 input dwords, by doing 12 rounds of 4 each
614	movq	$4, frame_SRND(%rsp)
615
616.align 16
617loop1:
618	vpaddq	(TBL), Y_0, XFER
619	vmovdqa XFER, frame_XFER(%rsp)
620	FOUR_ROUNDS_AND_SCHED
621
622	vpaddq	1*32(TBL), Y_0, XFER
623	vmovdqa XFER, frame_XFER(%rsp)
624	FOUR_ROUNDS_AND_SCHED
625
626	vpaddq	2*32(TBL), Y_0, XFER
627	vmovdqa XFER, frame_XFER(%rsp)
628	FOUR_ROUNDS_AND_SCHED
629
630	vpaddq	3*32(TBL), Y_0, XFER
631	vmovdqa XFER, frame_XFER(%rsp)
632	add	$(4*32), TBL
633	FOUR_ROUNDS_AND_SCHED
634
635	subq	$1, frame_SRND(%rsp)
636	jne	loop1
637
638	movq	$2, frame_SRND(%rsp)
639loop2:
640	vpaddq	(TBL), Y_0, XFER
641	vmovdqa XFER, frame_XFER(%rsp)
642	DO_4ROUNDS
643	vpaddq	1*32(TBL), Y_1, XFER
644	vmovdqa XFER, frame_XFER(%rsp)
645	add	$(2*32), TBL
646	DO_4ROUNDS
647
648	vmovdqa	Y_2, Y_0
649	vmovdqa	Y_3, Y_1
650
651	subq	$1, frame_SRND(%rsp)
652	jne	loop2
653
654	mov	frame_CTX(%rsp), CTX2
655	addm	8*0(CTX2), a
656	addm	8*1(CTX2), b
657	addm	8*2(CTX2), c
658	addm	8*3(CTX2), d
659	addm	8*4(CTX2), e
660	addm	8*5(CTX2), f
661	addm	8*6(CTX2), g
662	addm	8*7(CTX2), h
663
664	mov	frame_INP(%rsp), INP
665	add	$128, INP
666	cmp	frame_INPEND(%rsp), INP
667	jne	loop0
668
669done_hash:
670
671	# Restore Stack Pointer
672	mov	%rbp, %rsp
673	pop	%rbp
674
675	# Restore GPRs
676	pop	%r15
677	pop	%r14
678	pop	%r13
679	pop	%r12
680	pop	%rbx
681
682	RET
683SYM_FUNC_END(sha512_transform_rorx)
684
685########################################################################
686### Binary Data
687
688
689# Mergeable 640-byte rodata section. This allows linker to merge the table
690# with other, exactly the same 640-byte fragment of another rodata section
691# (if such section exists).
692.section	.rodata.cst640.K512, "aM", @progbits, 640
693.align 64
694# K[t] used in SHA512 hashing
695K512:
696	.quad	0x428a2f98d728ae22,0x7137449123ef65cd
697	.quad	0xb5c0fbcfec4d3b2f,0xe9b5dba58189dbbc
698	.quad	0x3956c25bf348b538,0x59f111f1b605d019
699	.quad	0x923f82a4af194f9b,0xab1c5ed5da6d8118
700	.quad	0xd807aa98a3030242,0x12835b0145706fbe
701	.quad	0x243185be4ee4b28c,0x550c7dc3d5ffb4e2
702	.quad	0x72be5d74f27b896f,0x80deb1fe3b1696b1
703	.quad	0x9bdc06a725c71235,0xc19bf174cf692694
704	.quad	0xe49b69c19ef14ad2,0xefbe4786384f25e3
705	.quad	0x0fc19dc68b8cd5b5,0x240ca1cc77ac9c65
706	.quad	0x2de92c6f592b0275,0x4a7484aa6ea6e483
707	.quad	0x5cb0a9dcbd41fbd4,0x76f988da831153b5
708	.quad	0x983e5152ee66dfab,0xa831c66d2db43210
709	.quad	0xb00327c898fb213f,0xbf597fc7beef0ee4
710	.quad	0xc6e00bf33da88fc2,0xd5a79147930aa725
711	.quad	0x06ca6351e003826f,0x142929670a0e6e70
712	.quad	0x27b70a8546d22ffc,0x2e1b21385c26c926
713	.quad	0x4d2c6dfc5ac42aed,0x53380d139d95b3df
714	.quad	0x650a73548baf63de,0x766a0abb3c77b2a8
715	.quad	0x81c2c92e47edaee6,0x92722c851482353b
716	.quad	0xa2bfe8a14cf10364,0xa81a664bbc423001
717	.quad	0xc24b8b70d0f89791,0xc76c51a30654be30
718	.quad	0xd192e819d6ef5218,0xd69906245565a910
719	.quad	0xf40e35855771202a,0x106aa07032bbd1b8
720	.quad	0x19a4c116b8d2d0c8,0x1e376c085141ab53
721	.quad	0x2748774cdf8eeb99,0x34b0bcb5e19b48a8
722	.quad	0x391c0cb3c5c95a63,0x4ed8aa4ae3418acb
723	.quad	0x5b9cca4f7763e373,0x682e6ff3d6b2b8a3
724	.quad	0x748f82ee5defb2fc,0x78a5636f43172f60
725	.quad	0x84c87814a1f0ab72,0x8cc702081a6439ec
726	.quad	0x90befffa23631e28,0xa4506cebde82bde9
727	.quad	0xbef9a3f7b2c67915,0xc67178f2e372532b
728	.quad	0xca273eceea26619c,0xd186b8c721c0c207
729	.quad	0xeada7dd6cde0eb1e,0xf57d4f7fee6ed178
730	.quad	0x06f067aa72176fba,0x0a637dc5a2c898a6
731	.quad	0x113f9804bef90dae,0x1b710b35131c471b
732	.quad	0x28db77f523047d84,0x32caab7b40c72493
733	.quad	0x3c9ebe0a15c9bebc,0x431d67c49c100d4c
734	.quad	0x4cc5d4becb3e42b6,0x597f299cfc657e2a
735	.quad	0x5fcb6fab3ad6faec,0x6c44198c4a475817
736
737.section	.rodata.cst32.PSHUFFLE_BYTE_FLIP_MASK, "aM", @progbits, 32
738.align 32
739# Mask for byte-swapping a couple of qwords in an XMM register using (v)pshufb.
740PSHUFFLE_BYTE_FLIP_MASK:
741	.octa 0x08090a0b0c0d0e0f0001020304050607
742	.octa 0x18191a1b1c1d1e1f1011121314151617
743
744.section	.rodata.cst32.MASK_YMM_LO, "aM", @progbits, 32
745.align 32
746MASK_YMM_LO:
747	.octa 0x00000000000000000000000000000000
748	.octa 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF
749