podman
1// Copyright 2019 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
5//go:build gc && !purego
6
7#include "textflag.h"
8
9// This was ported from the amd64 implementation.
10
11#define POLY1305_ADD(msg, h0, h1, h2, t0, t1, t2) \
12MOVD (msg), t0; \
13MOVD 8(msg), t1; \
14MOVD $1, t2; \
15ADDC t0, h0, h0; \
16ADDE t1, h1, h1; \
17ADDE t2, h2; \
18ADD $16, msg
19
20#define POLY1305_MUL(h0, h1, h2, r0, r1, t0, t1, t2, t3, t4, t5) \
21MULLD r0, h0, t0; \
22MULHDU r0, h0, t1; \
23MULLD r0, h1, t4; \
24MULHDU r0, h1, t5; \
25ADDC t4, t1, t1; \
26MULLD r0, h2, t2; \
27MULHDU r1, h0, t4; \
28MULLD r1, h0, h0; \
29ADDE t5, t2, t2; \
30ADDC h0, t1, t1; \
31MULLD h2, r1, t3; \
32ADDZE t4, h0; \
33MULHDU r1, h1, t5; \
34MULLD r1, h1, t4; \
35ADDC t4, t2, t2; \
36ADDE t5, t3, t3; \
37ADDC h0, t2, t2; \
38MOVD $-4, t4; \
39ADDZE t3; \
40RLDICL $0, t2, $62, h2; \
41AND t2, t4, h0; \
42ADDC t0, h0, h0; \
43ADDE t3, t1, h1; \
44SLD $62, t3, t4; \
45SRD $2, t2; \
46ADDZE h2; \
47OR t4, t2, t2; \
48SRD $2, t3; \
49ADDC t2, h0, h0; \
50ADDE t3, h1, h1; \
51ADDZE h2
52
53DATA ·poly1305Mask<>+0x00(SB)/8, $0x0FFFFFFC0FFFFFFF
54DATA ·poly1305Mask<>+0x08(SB)/8, $0x0FFFFFFC0FFFFFFC
55GLOBL ·poly1305Mask<>(SB), RODATA, $16
56
57// func update(state *[7]uint64, msg []byte)
58TEXT ·update(SB), $0-32
59MOVD state+0(FP), R3
60MOVD msg_base+8(FP), R4
61MOVD msg_len+16(FP), R5
62
63MOVD 0(R3), R8 // h0
64MOVD 8(R3), R9 // h1
65MOVD 16(R3), R10 // h2
66MOVD 24(R3), R11 // r0
67MOVD 32(R3), R12 // r1
68
69CMP R5, $16
70BLT bytes_between_0_and_15
71
72loop:
73POLY1305_ADD(R4, R8, R9, R10, R20, R21, R22)
74
75PCALIGN $16
76multiply:
77POLY1305_MUL(R8, R9, R10, R11, R12, R16, R17, R18, R14, R20, R21)
78ADD $-16, R5
79CMP R5, $16
80BGE loop
81
82bytes_between_0_and_15:
83CMP R5, $0
84BEQ done
85MOVD $0, R16 // h0
86MOVD $0, R17 // h1
87
88flush_buffer:
89CMP R5, $8
90BLE just1
91
92MOVD $8, R21
93SUB R21, R5, R21
94
95// Greater than 8 -- load the rightmost remaining bytes in msg
96// and put into R17 (h1)
97MOVD (R4)(R21), R17
98MOVD $16, R22
99
100// Find the offset to those bytes
101SUB R5, R22, R22
102SLD $3, R22
103
104// Shift to get only the bytes in msg
105SRD R22, R17, R17
106
107// Put 1 at high end
108MOVD $1, R23
109SLD $3, R21
110SLD R21, R23, R23
111OR R23, R17, R17
112
113// Remainder is 8
114MOVD $8, R5
115
116just1:
117CMP R5, $8
118BLT less8
119
120// Exactly 8
121MOVD (R4), R16
122
123CMP R17, $0
124
125// Check if we've already set R17; if not
126// set 1 to indicate end of msg.
127BNE carry
128MOVD $1, R17
129BR carry
130
131less8:
132MOVD $0, R16 // h0
133MOVD $0, R22 // shift count
134CMP R5, $4
135BLT less4
136MOVWZ (R4), R16
137ADD $4, R4
138ADD $-4, R5
139MOVD $32, R22
140
141less4:
142CMP R5, $2
143BLT less2
144MOVHZ (R4), R21
145SLD R22, R21, R21
146OR R16, R21, R16
147ADD $16, R22
148ADD $-2, R5
149ADD $2, R4
150
151less2:
152CMP R5, $0
153BEQ insert1
154MOVBZ (R4), R21
155SLD R22, R21, R21
156OR R16, R21, R16
157ADD $8, R22
158
159insert1:
160// Insert 1 at end of msg
161MOVD $1, R21
162SLD R22, R21, R21
163OR R16, R21, R16
164
165carry:
166// Add new values to h0, h1, h2
167ADDC R16, R8
168ADDE R17, R9
169ADDZE R10, R10
170MOVD $16, R5
171ADD R5, R4
172BR multiply
173
174done:
175// Save h0, h1, h2 in state
176MOVD R8, 0(R3)
177MOVD R9, 8(R3)
178MOVD R10, 16(R3)
179RET
180