xref: /qemu/target/sparc/vis_helper.c (revision 029b0283dfe64c38e48f9dd9aad0dc6d254c4ea4)
11bccec25SBlue Swirl /*
21bccec25SBlue Swirl  * VIS op helpers
31bccec25SBlue Swirl  *
41bccec25SBlue Swirl  *  Copyright (c) 2003-2005 Fabrice Bellard
51bccec25SBlue Swirl  *
61bccec25SBlue Swirl  * This library is free software; you can redistribute it and/or
71bccec25SBlue Swirl  * modify it under the terms of the GNU Lesser General Public
81bccec25SBlue Swirl  * License as published by the Free Software Foundation; either
95650b549SChetan Pant  * version 2.1 of the License, or (at your option) any later version.
101bccec25SBlue Swirl  *
111bccec25SBlue Swirl  * This library is distributed in the hope that it will be useful,
121bccec25SBlue Swirl  * but WITHOUT ANY WARRANTY; without even the implied warranty of
131bccec25SBlue Swirl  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
141bccec25SBlue Swirl  * Lesser General Public License for more details.
151bccec25SBlue Swirl  *
161bccec25SBlue Swirl  * You should have received a copy of the GNU Lesser General Public
171bccec25SBlue Swirl  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
181bccec25SBlue Swirl  */
191bccec25SBlue Swirl 
20db5ebe5fSPeter Maydell #include "qemu/osdep.h"
211bccec25SBlue Swirl #include "cpu.h"
222ef6175aSRichard Henderson #include "exec/helper-proto.h"
23*029b0283SRichard Henderson #include "crypto/clmul.h"
241bccec25SBlue Swirl 
25fa9079a8SRichard Henderson target_ulong helper_array8(target_ulong rs1, target_ulong rs2)
261bccec25SBlue Swirl {
27fa9079a8SRichard Henderson     /*
28fa9079a8SRichard Henderson      * From Oracle SPARC Architecture 2015:
29fa9079a8SRichard Henderson      * Architecturally, an illegal R[rs2] value (>5) causes the array
30fa9079a8SRichard Henderson      * instructions to produce undefined results. For historic reference,
31fa9079a8SRichard Henderson      * past implementations of these instructions have ignored R[rs2]{63:3}
32fa9079a8SRichard Henderson      * and have treated R[rs2] values of 6 and 7 as if they were 5.
33fa9079a8SRichard Henderson      */
34fa9079a8SRichard Henderson     target_ulong n = MIN(rs2 & 7, 5);
35fa9079a8SRichard Henderson 
36fa9079a8SRichard Henderson     target_ulong x_int = (rs1 >> 11) & 0x7ff;
37fa9079a8SRichard Henderson     target_ulong y_int = (rs1 >> 33) & 0x7ff;
38fa9079a8SRichard Henderson     target_ulong z_int = rs1 >> 55;
39fa9079a8SRichard Henderson 
40fa9079a8SRichard Henderson     target_ulong lower_x = x_int & 3;
41fa9079a8SRichard Henderson     target_ulong lower_y = y_int & 3;
42fa9079a8SRichard Henderson     target_ulong lower_z = z_int & 1;
43fa9079a8SRichard Henderson 
44fa9079a8SRichard Henderson     target_ulong middle_x = (x_int >> 2) & 15;
45fa9079a8SRichard Henderson     target_ulong middle_y = (y_int >> 2) & 15;
46fa9079a8SRichard Henderson     target_ulong middle_z = (z_int >> 1) & 15;
47fa9079a8SRichard Henderson 
48fa9079a8SRichard Henderson     target_ulong upper_x = (x_int >> 6) & ((1 << n) - 1);
49fa9079a8SRichard Henderson     target_ulong upper_y = (y_int >> 6) & ((1 << n) - 1);
50fa9079a8SRichard Henderson     target_ulong upper_z = z_int >> 5;
51fa9079a8SRichard Henderson 
52fa9079a8SRichard Henderson     return (upper_z << (17 + 2 * n))
53fa9079a8SRichard Henderson          | (upper_y << (17 + n))
54fa9079a8SRichard Henderson          | (upper_x << 17)
55fa9079a8SRichard Henderson          | (middle_z << 13)
56fa9079a8SRichard Henderson          | (middle_y << 9)
57fa9079a8SRichard Henderson          | (middle_x << 5)
58fa9079a8SRichard Henderson          | (lower_z << 4)
59fa9079a8SRichard Henderson          | (lower_y << 2)
60fa9079a8SRichard Henderson          | lower_x;
611bccec25SBlue Swirl }
621bccec25SBlue Swirl 
63e03b5686SMarc-André Lureau #if HOST_BIG_ENDIAN
641bccec25SBlue Swirl #define VIS_B64(n) b[7 - (n)]
65d6f898cfSRichard Henderson #define VIS_SB64(n) sb[7 - (n)]
661bccec25SBlue Swirl #define VIS_W64(n) w[3 - (n)]
671bccec25SBlue Swirl #define VIS_SW64(n) sw[3 - (n)]
681bccec25SBlue Swirl #define VIS_L64(n) l[1 - (n)]
691bccec25SBlue Swirl #define VIS_B32(n) b[3 - (n)]
701bccec25SBlue Swirl #define VIS_W32(n) w[1 - (n)]
711bccec25SBlue Swirl #else
721bccec25SBlue Swirl #define VIS_B64(n) b[n]
73d6f898cfSRichard Henderson #define VIS_SB64(n) sb[n]
741bccec25SBlue Swirl #define VIS_W64(n) w[n]
751bccec25SBlue Swirl #define VIS_SW64(n) sw[n]
761bccec25SBlue Swirl #define VIS_L64(n) l[n]
771bccec25SBlue Swirl #define VIS_B32(n) b[n]
781bccec25SBlue Swirl #define VIS_W32(n) w[n]
791bccec25SBlue Swirl #endif
801bccec25SBlue Swirl 
811bccec25SBlue Swirl typedef union {
821bccec25SBlue Swirl     uint8_t b[8];
83d6f898cfSRichard Henderson     int8_t sb[8];
841bccec25SBlue Swirl     uint16_t w[4];
851bccec25SBlue Swirl     int16_t sw[4];
861bccec25SBlue Swirl     uint32_t l[2];
871bccec25SBlue Swirl     uint64_t ll;
881bccec25SBlue Swirl     float64 d;
891bccec25SBlue Swirl } VIS64;
901bccec25SBlue Swirl 
911bccec25SBlue Swirl typedef union {
921bccec25SBlue Swirl     uint8_t b[4];
931bccec25SBlue Swirl     uint16_t w[2];
941bccec25SBlue Swirl     uint32_t l;
951bccec25SBlue Swirl     float32 f;
961bccec25SBlue Swirl } VIS32;
971bccec25SBlue Swirl 
98d3ef26afSRichard Henderson uint64_t helper_fpmerge(uint32_t src1, uint32_t src2)
991bccec25SBlue Swirl {
100d3ef26afSRichard Henderson     VIS32 s1, s2;
101d3ef26afSRichard Henderson     VIS64 d;
1021bccec25SBlue Swirl 
103d3ef26afSRichard Henderson     s1.l = src1;
104d3ef26afSRichard Henderson     s2.l = src2;
105d3ef26afSRichard Henderson     d.ll = 0;
1061bccec25SBlue Swirl 
107d3ef26afSRichard Henderson     d.VIS_B64(7) = s1.VIS_B32(3);
108d3ef26afSRichard Henderson     d.VIS_B64(6) = s2.VIS_B32(3);
109d3ef26afSRichard Henderson     d.VIS_B64(5) = s1.VIS_B32(2);
110d3ef26afSRichard Henderson     d.VIS_B64(4) = s2.VIS_B32(2);
111d3ef26afSRichard Henderson     d.VIS_B64(3) = s1.VIS_B32(1);
112d3ef26afSRichard Henderson     d.VIS_B64(2) = s2.VIS_B32(1);
113d3ef26afSRichard Henderson     d.VIS_B64(1) = s1.VIS_B32(0);
114d3ef26afSRichard Henderson     d.VIS_B64(0) = s2.VIS_B32(0);
1151bccec25SBlue Swirl 
11603fb8cfcSRichard Henderson     return d.ll;
1171bccec25SBlue Swirl }
1181bccec25SBlue Swirl 
119d6f898cfSRichard Henderson static inline int do_ms16b(int x, int y)
120d6f898cfSRichard Henderson {
121d6f898cfSRichard Henderson     return ((x * y) + 0x80) >> 8;
122d6f898cfSRichard Henderson }
123d6f898cfSRichard Henderson 
1249157dcccSRichard Henderson uint64_t helper_fmul8x16(uint32_t src1, uint64_t src2)
1251bccec25SBlue Swirl {
1269157dcccSRichard Henderson     VIS64 d;
1279157dcccSRichard Henderson     VIS32 s;
1281bccec25SBlue Swirl 
1299157dcccSRichard Henderson     s.l = src1;
13003fb8cfcSRichard Henderson     d.ll = src2;
1311bccec25SBlue Swirl 
132d6f898cfSRichard Henderson     d.VIS_W64(0) = do_ms16b(s.VIS_B32(0), d.VIS_SW64(0));
133d6f898cfSRichard Henderson     d.VIS_W64(1) = do_ms16b(s.VIS_B32(1), d.VIS_SW64(1));
134d6f898cfSRichard Henderson     d.VIS_W64(2) = do_ms16b(s.VIS_B32(2), d.VIS_SW64(2));
135d6f898cfSRichard Henderson     d.VIS_W64(3) = do_ms16b(s.VIS_B32(3), d.VIS_SW64(3));
1361bccec25SBlue Swirl 
13703fb8cfcSRichard Henderson     return d.ll;
1381bccec25SBlue Swirl }
1391bccec25SBlue Swirl 
140a859602cSRichard Henderson uint64_t helper_fmul8x16a(uint32_t src1, int32_t src2)
1411bccec25SBlue Swirl {
142a859602cSRichard Henderson     VIS32 s;
143a859602cSRichard Henderson     VIS64 d;
1441bccec25SBlue Swirl 
145a859602cSRichard Henderson     s.l = src1;
146a859602cSRichard Henderson     d.ll = 0;
1471bccec25SBlue Swirl 
148d6f898cfSRichard Henderson     d.VIS_W64(0) = do_ms16b(s.VIS_B32(0), src2);
149d6f898cfSRichard Henderson     d.VIS_W64(1) = do_ms16b(s.VIS_B32(1), src2);
150d6f898cfSRichard Henderson     d.VIS_W64(2) = do_ms16b(s.VIS_B32(2), src2);
151d6f898cfSRichard Henderson     d.VIS_W64(3) = do_ms16b(s.VIS_B32(3), src2);
1521bccec25SBlue Swirl 
15303fb8cfcSRichard Henderson     return d.ll;
1541bccec25SBlue Swirl }
1551bccec25SBlue Swirl 
156f027c3b1SRichard Henderson uint64_t helper_fmul8sux16(uint64_t src1, uint64_t src2)
1571bccec25SBlue Swirl {
1581bccec25SBlue Swirl     VIS64 s, d;
1591bccec25SBlue Swirl 
16003fb8cfcSRichard Henderson     s.ll = src1;
16103fb8cfcSRichard Henderson     d.ll = src2;
1621bccec25SBlue Swirl 
163d6f898cfSRichard Henderson     d.VIS_W64(0) = do_ms16b(s.VIS_SB64(1), d.VIS_SW64(0));
164d6f898cfSRichard Henderson     d.VIS_W64(1) = do_ms16b(s.VIS_SB64(3), d.VIS_SW64(1));
165d6f898cfSRichard Henderson     d.VIS_W64(2) = do_ms16b(s.VIS_SB64(5), d.VIS_SW64(2));
166d6f898cfSRichard Henderson     d.VIS_W64(3) = do_ms16b(s.VIS_SB64(7), d.VIS_SW64(3));
1671bccec25SBlue Swirl 
16803fb8cfcSRichard Henderson     return d.ll;
1691bccec25SBlue Swirl }
1701bccec25SBlue Swirl 
171f027c3b1SRichard Henderson uint64_t helper_fmul8ulx16(uint64_t src1, uint64_t src2)
1721bccec25SBlue Swirl {
1731bccec25SBlue Swirl     VIS64 s, d;
1741bccec25SBlue Swirl 
17503fb8cfcSRichard Henderson     s.ll = src1;
17603fb8cfcSRichard Henderson     d.ll = src2;
1771bccec25SBlue Swirl 
178b5c96047SRichard Henderson     d.VIS_W64(0) = (s.VIS_B64(0) * d.VIS_SW64(0) + 0x8000) >> 16;
179b5c96047SRichard Henderson     d.VIS_W64(1) = (s.VIS_B64(2) * d.VIS_SW64(1) + 0x8000) >> 16;
180b5c96047SRichard Henderson     d.VIS_W64(2) = (s.VIS_B64(4) * d.VIS_SW64(2) + 0x8000) >> 16;
181b5c96047SRichard Henderson     d.VIS_W64(3) = (s.VIS_B64(6) * d.VIS_SW64(3) + 0x8000) >> 16;
1821bccec25SBlue Swirl 
18303fb8cfcSRichard Henderson     return d.ll;
1841bccec25SBlue Swirl }
1851bccec25SBlue Swirl 
1867b616f36SRichard Henderson uint64_t helper_fexpand(uint32_t src2)
1871bccec25SBlue Swirl {
1881bccec25SBlue Swirl     VIS32 s;
1891bccec25SBlue Swirl     VIS64 d;
1901bccec25SBlue Swirl 
1917b616f36SRichard Henderson     s.l = src2;
1927b616f36SRichard Henderson     d.ll = 0;
1931bccec25SBlue Swirl     d.VIS_W64(0) = s.VIS_B32(0) << 4;
1941bccec25SBlue Swirl     d.VIS_W64(1) = s.VIS_B32(1) << 4;
1951bccec25SBlue Swirl     d.VIS_W64(2) = s.VIS_B32(2) << 4;
1961bccec25SBlue Swirl     d.VIS_W64(3) = s.VIS_B32(3) << 4;
1971bccec25SBlue Swirl 
19803fb8cfcSRichard Henderson     return d.ll;
1991bccec25SBlue Swirl }
2001bccec25SBlue Swirl 
2011bccec25SBlue Swirl #define VIS_CMPHELPER(name, F)                                    \
202f027c3b1SRichard Henderson     uint64_t name##16(uint64_t src1, uint64_t src2)               \
2031bccec25SBlue Swirl     {                                                             \
2041bccec25SBlue Swirl         VIS64 s, d;                                               \
2051bccec25SBlue Swirl                                                                   \
20603fb8cfcSRichard Henderson         s.ll = src1;                                              \
20703fb8cfcSRichard Henderson         d.ll = src2;                                              \
2081bccec25SBlue Swirl                                                                   \
2091bccec25SBlue Swirl         d.VIS_W64(0) = F(s.VIS_W64(0), d.VIS_W64(0)) ? 1 : 0;     \
2101bccec25SBlue Swirl         d.VIS_W64(0) |= F(s.VIS_W64(1), d.VIS_W64(1)) ? 2 : 0;    \
2111bccec25SBlue Swirl         d.VIS_W64(0) |= F(s.VIS_W64(2), d.VIS_W64(2)) ? 4 : 0;    \
2121bccec25SBlue Swirl         d.VIS_W64(0) |= F(s.VIS_W64(3), d.VIS_W64(3)) ? 8 : 0;    \
2131bccec25SBlue Swirl         d.VIS_W64(1) = d.VIS_W64(2) = d.VIS_W64(3) = 0;           \
2141bccec25SBlue Swirl                                                                   \
2151bccec25SBlue Swirl         return d.ll;                                              \
2161bccec25SBlue Swirl     }                                                             \
2171bccec25SBlue Swirl                                                                   \
218f027c3b1SRichard Henderson     uint64_t name##32(uint64_t src1, uint64_t src2)               \
2191bccec25SBlue Swirl     {                                                             \
2201bccec25SBlue Swirl         VIS64 s, d;                                               \
2211bccec25SBlue Swirl                                                                   \
22203fb8cfcSRichard Henderson         s.ll = src1;                                              \
22303fb8cfcSRichard Henderson         d.ll = src2;                                              \
2241bccec25SBlue Swirl                                                                   \
2251bccec25SBlue Swirl         d.VIS_L64(0) = F(s.VIS_L64(0), d.VIS_L64(0)) ? 1 : 0;     \
2261bccec25SBlue Swirl         d.VIS_L64(0) |= F(s.VIS_L64(1), d.VIS_L64(1)) ? 2 : 0;    \
2271bccec25SBlue Swirl         d.VIS_L64(1) = 0;                                         \
2281bccec25SBlue Swirl                                                                   \
2291bccec25SBlue Swirl         return d.ll;                                              \
2301bccec25SBlue Swirl     }
2311bccec25SBlue Swirl 
2321bccec25SBlue Swirl #define FCMPGT(a, b) ((a) > (b))
2331bccec25SBlue Swirl #define FCMPEQ(a, b) ((a) == (b))
2341bccec25SBlue Swirl #define FCMPLE(a, b) ((a) <= (b))
2351bccec25SBlue Swirl #define FCMPNE(a, b) ((a) != (b))
2361bccec25SBlue Swirl 
2371bccec25SBlue Swirl VIS_CMPHELPER(helper_fcmpgt, FCMPGT)
2381bccec25SBlue Swirl VIS_CMPHELPER(helper_fcmpeq, FCMPEQ)
2391bccec25SBlue Swirl VIS_CMPHELPER(helper_fcmple, FCMPLE)
2401bccec25SBlue Swirl VIS_CMPHELPER(helper_fcmpne, FCMPNE)
241f888300bSRichard Henderson 
242669e0774SRichard Henderson uint64_t helper_fcmpeq8(uint64_t src1, uint64_t src2)
243669e0774SRichard Henderson {
244669e0774SRichard Henderson     uint64_t a = src1 ^ src2;
245669e0774SRichard Henderson     uint64_t m = 0x7f7f7f7f7f7f7f7fULL;
246669e0774SRichard Henderson     uint64_t c = ~(((a & m) + m) | a | m);
247669e0774SRichard Henderson 
248669e0774SRichard Henderson     /* a.......b.......c.......d.......e.......f.......g.......h....... */
249669e0774SRichard Henderson     c |= c << 7;
250669e0774SRichard Henderson     /* ab......bc......cd......de......ef......fg......gh......h....... */
251669e0774SRichard Henderson     c |= c << 14;
252669e0774SRichard Henderson     /* abcd....bcde....cdef....defg....efgh....fgh.....gh......h....... */
253669e0774SRichard Henderson     c |= c << 28;
254669e0774SRichard Henderson     /* abcdefghbcdefgh.cdefgh..defgh...efgh....fgh.....gh......h....... */
255669e0774SRichard Henderson     return c >> 56;
256669e0774SRichard Henderson }
257669e0774SRichard Henderson 
258669e0774SRichard Henderson uint64_t helper_fcmpne8(uint64_t src1, uint64_t src2)
259669e0774SRichard Henderson {
260669e0774SRichard Henderson     return helper_fcmpeq8(src1, src2) ^ 0xff;
261669e0774SRichard Henderson }
262669e0774SRichard Henderson 
263669e0774SRichard Henderson uint64_t helper_fcmpule8(uint64_t src1, uint64_t src2)
264669e0774SRichard Henderson {
265669e0774SRichard Henderson     VIS64 s1, s2;
266669e0774SRichard Henderson     uint64_t r = 0;
267669e0774SRichard Henderson 
268669e0774SRichard Henderson     s1.ll = src1;
269669e0774SRichard Henderson     s2.ll = src2;
270669e0774SRichard Henderson 
271669e0774SRichard Henderson     for (int i = 0; i < 8; ++i) {
272669e0774SRichard Henderson         r |= (s1.VIS_B64(i) <= s2.VIS_B64(i)) << i;
273669e0774SRichard Henderson     }
274669e0774SRichard Henderson     return r;
275669e0774SRichard Henderson }
276669e0774SRichard Henderson 
277669e0774SRichard Henderson uint64_t helper_fcmpugt8(uint64_t src1, uint64_t src2)
278669e0774SRichard Henderson {
279669e0774SRichard Henderson     return helper_fcmpule8(src1, src2) ^ 0xff;
280669e0774SRichard Henderson }
281669e0774SRichard Henderson 
282f888300bSRichard Henderson uint64_t helper_pdist(uint64_t sum, uint64_t src1, uint64_t src2)
283f888300bSRichard Henderson {
284f888300bSRichard Henderson     int i;
285f888300bSRichard Henderson     for (i = 0; i < 8; i++) {
286f888300bSRichard Henderson         int s1, s2;
287f888300bSRichard Henderson 
288f888300bSRichard Henderson         s1 = (src1 >> (56 - (i * 8))) & 0xff;
289f888300bSRichard Henderson         s2 = (src2 >> (56 - (i * 8))) & 0xff;
290f888300bSRichard Henderson 
291f888300bSRichard Henderson         /* Absolute value of difference. */
292f888300bSRichard Henderson         s1 -= s2;
293f888300bSRichard Henderson         if (s1 < 0) {
294f888300bSRichard Henderson             s1 = -s1;
295f888300bSRichard Henderson         }
296f888300bSRichard Henderson 
297f888300bSRichard Henderson         sum += s1;
298f888300bSRichard Henderson     }
299f888300bSRichard Henderson 
300f888300bSRichard Henderson     return sum;
301f888300bSRichard Henderson }
3022dedf314SRichard Henderson 
3032dedf314SRichard Henderson uint32_t helper_fpack16(uint64_t gsr, uint64_t rs2)
3042dedf314SRichard Henderson {
3052dedf314SRichard Henderson     int scale = (gsr >> 3) & 0xf;
3062dedf314SRichard Henderson     uint32_t ret = 0;
3072dedf314SRichard Henderson     int byte;
3082dedf314SRichard Henderson 
3092dedf314SRichard Henderson     for (byte = 0; byte < 4; byte++) {
3102dedf314SRichard Henderson         uint32_t val;
3112dedf314SRichard Henderson         int16_t src = rs2 >> (byte * 16);
3122dedf314SRichard Henderson         int32_t scaled = src << scale;
3132dedf314SRichard Henderson         int32_t from_fixed = scaled >> 7;
3142dedf314SRichard Henderson 
3152dedf314SRichard Henderson         val = (from_fixed < 0 ?  0 :
3162dedf314SRichard Henderson                from_fixed > 255 ?  255 : from_fixed);
3172dedf314SRichard Henderson 
3182dedf314SRichard Henderson         ret |= val << (8 * byte);
3192dedf314SRichard Henderson     }
3202dedf314SRichard Henderson 
3212dedf314SRichard Henderson     return ret;
3222dedf314SRichard Henderson }
3232dedf314SRichard Henderson 
3242dedf314SRichard Henderson uint64_t helper_fpack32(uint64_t gsr, uint64_t rs1, uint64_t rs2)
3252dedf314SRichard Henderson {
3262dedf314SRichard Henderson     int scale = (gsr >> 3) & 0x1f;
3272dedf314SRichard Henderson     uint64_t ret = 0;
3282dedf314SRichard Henderson     int word;
3292dedf314SRichard Henderson 
3302dedf314SRichard Henderson     ret = (rs1 << 8) & ~(0x000000ff000000ffULL);
3312dedf314SRichard Henderson     for (word = 0; word < 2; word++) {
3322dedf314SRichard Henderson         uint64_t val;
3332dedf314SRichard Henderson         int32_t src = rs2 >> (word * 32);
3342dedf314SRichard Henderson         int64_t scaled = (int64_t)src << scale;
3352dedf314SRichard Henderson         int64_t from_fixed = scaled >> 23;
3362dedf314SRichard Henderson 
3372dedf314SRichard Henderson         val = (from_fixed < 0 ? 0 :
3382dedf314SRichard Henderson                (from_fixed > 255) ? 255 : from_fixed);
3392dedf314SRichard Henderson 
3402dedf314SRichard Henderson         ret |= val << (32 * word);
3412dedf314SRichard Henderson     }
3422dedf314SRichard Henderson 
3432dedf314SRichard Henderson     return ret;
3442dedf314SRichard Henderson }
3452dedf314SRichard Henderson 
3462dedf314SRichard Henderson uint32_t helper_fpackfix(uint64_t gsr, uint64_t rs2)
3472dedf314SRichard Henderson {
3482dedf314SRichard Henderson     int scale = (gsr >> 3) & 0x1f;
3492dedf314SRichard Henderson     uint32_t ret = 0;
3502dedf314SRichard Henderson     int word;
3512dedf314SRichard Henderson 
3522dedf314SRichard Henderson     for (word = 0; word < 2; word++) {
3532dedf314SRichard Henderson         uint32_t val;
3542dedf314SRichard Henderson         int32_t src = rs2 >> (word * 32);
35512a3567cSPaolo Bonzini         int64_t scaled = (int64_t)src << scale;
3562dedf314SRichard Henderson         int64_t from_fixed = scaled >> 16;
3572dedf314SRichard Henderson 
3582dedf314SRichard Henderson         val = (from_fixed < -32768 ? -32768 :
3592dedf314SRichard Henderson                from_fixed > 32767 ?  32767 : from_fixed);
3602dedf314SRichard Henderson 
3612dedf314SRichard Henderson         ret |= (val & 0xffff) << (word * 16);
3622dedf314SRichard Henderson     }
3632dedf314SRichard Henderson 
3642dedf314SRichard Henderson     return ret;
3652dedf314SRichard Henderson }
366793a137aSRichard Henderson 
367520c0d8dSAndreas Färber uint64_t helper_bshuffle(uint64_t gsr, uint64_t src1, uint64_t src2)
368793a137aSRichard Henderson {
369793a137aSRichard Henderson     union {
370793a137aSRichard Henderson         uint64_t ll[2];
371793a137aSRichard Henderson         uint8_t b[16];
372793a137aSRichard Henderson     } s;
373793a137aSRichard Henderson     VIS64 r;
374793a137aSRichard Henderson     uint32_t i, mask, host;
375793a137aSRichard Henderson 
376793a137aSRichard Henderson     /* Set up S such that we can index across all of the bytes.  */
377e03b5686SMarc-André Lureau #if HOST_BIG_ENDIAN
378793a137aSRichard Henderson     s.ll[0] = src1;
379793a137aSRichard Henderson     s.ll[1] = src2;
380793a137aSRichard Henderson     host = 0;
381793a137aSRichard Henderson #else
382793a137aSRichard Henderson     s.ll[1] = src1;
383793a137aSRichard Henderson     s.ll[0] = src2;
384793a137aSRichard Henderson     host = 15;
385793a137aSRichard Henderson #endif
386793a137aSRichard Henderson     mask = gsr >> 32;
387793a137aSRichard Henderson 
388793a137aSRichard Henderson     for (i = 0; i < 8; ++i) {
389793a137aSRichard Henderson         unsigned e = (mask >> (28 - i*4)) & 0xf;
390793a137aSRichard Henderson         r.VIS_B64(i) = s.b[e ^ host];
391793a137aSRichard Henderson     }
392793a137aSRichard Henderson 
393793a137aSRichard Henderson     return r.ll;
394793a137aSRichard Henderson }
395c973b4e8SRichard Henderson 
396c973b4e8SRichard Henderson uint64_t helper_cmask8(uint64_t gsr, uint64_t src)
397c973b4e8SRichard Henderson {
398c973b4e8SRichard Henderson     uint32_t mask = 0;
399c973b4e8SRichard Henderson 
400c973b4e8SRichard Henderson     mask |= (src & 0x01 ? 0x00000007 : 0x0000000f);
401c973b4e8SRichard Henderson     mask |= (src & 0x02 ? 0x00000060 : 0x000000e0);
402c973b4e8SRichard Henderson     mask |= (src & 0x04 ? 0x00000500 : 0x00000d00);
403c973b4e8SRichard Henderson     mask |= (src & 0x08 ? 0x00004000 : 0x0000c000);
404c973b4e8SRichard Henderson     mask |= (src & 0x10 ? 0x00030000 : 0x000b0000);
405c973b4e8SRichard Henderson     mask |= (src & 0x20 ? 0x00200000 : 0x00a00000);
406c973b4e8SRichard Henderson     mask |= (src & 0x40 ? 0x01000000 : 0x09000000);
407c973b4e8SRichard Henderson     mask |= (src & 0x80 ? 0x00000000 : 0x80000000);
408c973b4e8SRichard Henderson 
409c973b4e8SRichard Henderson     return deposit64(gsr, 32, 32, mask);
410c973b4e8SRichard Henderson }
411c973b4e8SRichard Henderson 
412c973b4e8SRichard Henderson uint64_t helper_cmask16(uint64_t gsr, uint64_t src)
413c973b4e8SRichard Henderson {
414c973b4e8SRichard Henderson     uint32_t mask = 0;
415c973b4e8SRichard Henderson 
416c973b4e8SRichard Henderson     mask |= (src & 0x1 ? 0x00000067 : 0x000000ef);
417c973b4e8SRichard Henderson     mask |= (src & 0x2 ? 0x00004500 : 0x0000cd00);
418c973b4e8SRichard Henderson     mask |= (src & 0x4 ? 0x00230000 : 0x00ab0000);
419c973b4e8SRichard Henderson     mask |= (src & 0x8 ? 0x01000000 : 0x89000000);
420c973b4e8SRichard Henderson 
421c973b4e8SRichard Henderson     return deposit64(gsr, 32, 32, mask);
422c973b4e8SRichard Henderson }
423c973b4e8SRichard Henderson 
424c973b4e8SRichard Henderson uint64_t helper_cmask32(uint64_t gsr, uint64_t src)
425c973b4e8SRichard Henderson {
426c973b4e8SRichard Henderson     uint32_t mask = 0;
427c973b4e8SRichard Henderson 
428c973b4e8SRichard Henderson     mask |= (src & 0x1 ? 0x00004567 : 0x0000cdef);
429c973b4e8SRichard Henderson     mask |= (src & 0x2 ? 0x01230000 : 0x89ab0000);
430c973b4e8SRichard Henderson 
431c973b4e8SRichard Henderson     return deposit64(gsr, 32, 32, mask);
432c973b4e8SRichard Henderson }
4337837185eSRichard Henderson 
4347837185eSRichard Henderson static inline uint16_t do_fchksm16(uint16_t src1, uint16_t src2)
4357837185eSRichard Henderson {
4367837185eSRichard Henderson     uint16_t a = src1 + src2;
4377837185eSRichard Henderson     uint16_t c = a < src1;
4387837185eSRichard Henderson     return a + c;
4397837185eSRichard Henderson }
4407837185eSRichard Henderson 
4417837185eSRichard Henderson uint64_t helper_fchksm16(uint64_t src1, uint64_t src2)
4427837185eSRichard Henderson {
4437837185eSRichard Henderson     VIS64 r, s1, s2;
4447837185eSRichard Henderson 
4457837185eSRichard Henderson     s1.ll = src1;
4467837185eSRichard Henderson     s2.ll = src2;
4477837185eSRichard Henderson     r.ll = 0;
4487837185eSRichard Henderson 
4497837185eSRichard Henderson     r.VIS_W64(0) = do_fchksm16(s1.VIS_W64(0), s2.VIS_W64(0));
4507837185eSRichard Henderson     r.VIS_W64(1) = do_fchksm16(s1.VIS_W64(1), s2.VIS_W64(1));
4517837185eSRichard Henderson     r.VIS_W64(2) = do_fchksm16(s1.VIS_W64(2), s2.VIS_W64(2));
4527837185eSRichard Henderson     r.VIS_W64(3) = do_fchksm16(s1.VIS_W64(3), s2.VIS_W64(3));
4537837185eSRichard Henderson 
4547837185eSRichard Henderson     return r.ll;
4557837185eSRichard Henderson }
456d6ff1ccbSRichard Henderson 
457d6ff1ccbSRichard Henderson static inline int16_t do_fmean16(int16_t src1, int16_t src2)
458d6ff1ccbSRichard Henderson {
459d6ff1ccbSRichard Henderson     return (src1 + src2 + 1) / 2;
460d6ff1ccbSRichard Henderson }
461d6ff1ccbSRichard Henderson 
462d6ff1ccbSRichard Henderson uint64_t helper_fmean16(uint64_t src1, uint64_t src2)
463d6ff1ccbSRichard Henderson {
464d6ff1ccbSRichard Henderson     VIS64 r, s1, s2;
465d6ff1ccbSRichard Henderson 
466d6ff1ccbSRichard Henderson     s1.ll = src1;
467d6ff1ccbSRichard Henderson     s2.ll = src2;
468d6ff1ccbSRichard Henderson     r.ll = 0;
469d6ff1ccbSRichard Henderson 
470d6ff1ccbSRichard Henderson     r.VIS_SW64(0) = do_fmean16(s1.VIS_SW64(0), s2.VIS_SW64(0));
471d6ff1ccbSRichard Henderson     r.VIS_SW64(1) = do_fmean16(s1.VIS_SW64(1), s2.VIS_SW64(1));
472d6ff1ccbSRichard Henderson     r.VIS_SW64(2) = do_fmean16(s1.VIS_SW64(2), s2.VIS_SW64(2));
473d6ff1ccbSRichard Henderson     r.VIS_SW64(3) = do_fmean16(s1.VIS_SW64(3), s2.VIS_SW64(3));
474d6ff1ccbSRichard Henderson 
475d6ff1ccbSRichard Henderson     return r.ll;
476d6ff1ccbSRichard Henderson }
477fbc5c8d4SRichard Henderson 
478fbc5c8d4SRichard Henderson uint64_t helper_fslas16(uint64_t src1, uint64_t src2)
479fbc5c8d4SRichard Henderson {
480fbc5c8d4SRichard Henderson     VIS64 r, s1, s2;
481fbc5c8d4SRichard Henderson 
482fbc5c8d4SRichard Henderson     s1.ll = src1;
483fbc5c8d4SRichard Henderson     s2.ll = src2;
484fbc5c8d4SRichard Henderson     r.ll = 0;
485fbc5c8d4SRichard Henderson 
486fbc5c8d4SRichard Henderson     for (int i = 0; i < 4; ++i) {
487fbc5c8d4SRichard Henderson         int t = s1.VIS_SW64(i) << (s2.VIS_W64(i) % 16);
488fbc5c8d4SRichard Henderson         t = MIN(t, INT16_MAX);
489fbc5c8d4SRichard Henderson         t = MAX(t, INT16_MIN);
490fbc5c8d4SRichard Henderson         r.VIS_SW64(i) = t;
491fbc5c8d4SRichard Henderson     }
492fbc5c8d4SRichard Henderson 
493fbc5c8d4SRichard Henderson     return r.ll;
494fbc5c8d4SRichard Henderson }
495fbc5c8d4SRichard Henderson 
496fbc5c8d4SRichard Henderson uint64_t helper_fslas32(uint64_t src1, uint64_t src2)
497fbc5c8d4SRichard Henderson {
498fbc5c8d4SRichard Henderson     VIS64 r, s1, s2;
499fbc5c8d4SRichard Henderson 
500fbc5c8d4SRichard Henderson     s1.ll = src1;
501fbc5c8d4SRichard Henderson     s2.ll = src2;
502fbc5c8d4SRichard Henderson     r.ll = 0;
503fbc5c8d4SRichard Henderson 
504fbc5c8d4SRichard Henderson     for (int i = 0; i < 2; ++i) {
505fbc5c8d4SRichard Henderson         int64_t t = (int64_t)(int32_t)s1.VIS_L64(i) << (s2.VIS_L64(i) % 32);
506fbc5c8d4SRichard Henderson         t = MIN(t, INT32_MAX);
507fbc5c8d4SRichard Henderson         t = MAX(t, INT32_MIN);
508fbc5c8d4SRichard Henderson         r.VIS_L64(i) = t;
509fbc5c8d4SRichard Henderson     }
510fbc5c8d4SRichard Henderson 
511fbc5c8d4SRichard Henderson     return r.ll;
512fbc5c8d4SRichard Henderson }
513*029b0283SRichard Henderson 
514*029b0283SRichard Henderson uint64_t helper_xmulx(uint64_t src1, uint64_t src2)
515*029b0283SRichard Henderson {
516*029b0283SRichard Henderson     return int128_getlo(clmul_64(src1, src2));
517*029b0283SRichard Henderson }
518*029b0283SRichard Henderson 
519*029b0283SRichard Henderson uint64_t helper_xmulxhi(uint64_t src1, uint64_t src2)
520*029b0283SRichard Henderson {
521*029b0283SRichard Henderson     return int128_gethi(clmul_64(src1, src2));
522*029b0283SRichard Henderson }
523