1fcf5ef2aSThomas Huth /* 2fcf5ef2aSThomas Huth * MMX/3DNow!/SSE/SSE2/SSE3/SSSE3/SSE4/PNI support 3fcf5ef2aSThomas Huth * 4fcf5ef2aSThomas Huth * Copyright (c) 2005 Fabrice Bellard 5fcf5ef2aSThomas Huth * Copyright (c) 2008 Intel Corporation <andrew.zaborowski@intel.com> 6fcf5ef2aSThomas Huth * 7fcf5ef2aSThomas Huth * This library is free software; you can redistribute it and/or 8fcf5ef2aSThomas Huth * modify it under the terms of the GNU Lesser General Public 9fcf5ef2aSThomas Huth * License as published by the Free Software Foundation; either 10d9ff33adSChetan Pant * version 2.1 of the License, or (at your option) any later version. 11fcf5ef2aSThomas Huth * 12fcf5ef2aSThomas Huth * This library is distributed in the hope that it will be useful, 13fcf5ef2aSThomas Huth * but WITHOUT ANY WARRANTY; without even the implied warranty of 14fcf5ef2aSThomas Huth * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15fcf5ef2aSThomas Huth * Lesser General Public License for more details. 16fcf5ef2aSThomas Huth * 17fcf5ef2aSThomas Huth * You should have received a copy of the GNU Lesser General Public 18fcf5ef2aSThomas Huth * License along with this library; if not, see <http://www.gnu.org/licenses/>. 19fcf5ef2aSThomas Huth */ 20fcf5ef2aSThomas Huth 21fcf5ef2aSThomas Huth #include "crypto/aes.h" 22cc648f50SRichard Henderson #include "crypto/aes-round.h" 23*7fcb5054SRichard Henderson #include "crypto/clmul.h" 24fcf5ef2aSThomas Huth 25fcf5ef2aSThomas Huth #if SHIFT == 0 26fcf5ef2aSThomas Huth #define Reg MMXReg 27fcf5ef2aSThomas Huth #define XMM_ONLY(...) 28fcf5ef2aSThomas Huth #define B(n) MMX_B(n) 29fcf5ef2aSThomas Huth #define W(n) MMX_W(n) 30fcf5ef2aSThomas Huth #define L(n) MMX_L(n) 31fcf5ef2aSThomas Huth #define Q(n) MMX_Q(n) 32fcf5ef2aSThomas Huth #define SUFFIX _mmx 33fcf5ef2aSThomas Huth #else 34fcf5ef2aSThomas Huth #define Reg ZMMReg 35fcf5ef2aSThomas Huth #define XMM_ONLY(...) __VA_ARGS__ 36fcf5ef2aSThomas Huth #define B(n) ZMM_B(n) 37fcf5ef2aSThomas Huth #define W(n) ZMM_W(n) 38fcf5ef2aSThomas Huth #define L(n) ZMM_L(n) 39fcf5ef2aSThomas Huth #define Q(n) ZMM_Q(n) 40b98f886cSPaolo Bonzini #if SHIFT == 1 41fcf5ef2aSThomas Huth #define SUFFIX _xmm 42b98f886cSPaolo Bonzini #else 43b98f886cSPaolo Bonzini #define SUFFIX _ymm 44b98f886cSPaolo Bonzini #endif 45fcf5ef2aSThomas Huth #endif 46fcf5ef2aSThomas Huth 4718592d2eSPaul Brook #define LANE_WIDTH (SHIFT ? 16 : 8) 48d45b0de6SPaul Brook #define PACK_WIDTH (LANE_WIDTH / 2) 4918592d2eSPaul Brook 5018592d2eSPaul Brook #if SHIFT == 0 5118592d2eSPaul Brook #define FPSRL(x, c) ((x) >> shift) 5218592d2eSPaul Brook #define FPSRAW(x, c) ((int16_t)(x) >> shift) 5318592d2eSPaul Brook #define FPSRAL(x, c) ((int32_t)(x) >> shift) 5418592d2eSPaul Brook #define FPSLL(x, c) ((x) << shift) 55fcf5ef2aSThomas Huth #endif 5618592d2eSPaul Brook 57f05f9789SPaolo Bonzini void glue(helper_psrlw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 5818592d2eSPaul Brook { 5918592d2eSPaul Brook int shift; 6018592d2eSPaul Brook if (c->Q(0) > 15) { 6118592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 6218592d2eSPaul Brook d->Q(i) = 0; 6318592d2eSPaul Brook } 64fcf5ef2aSThomas Huth } else { 6518592d2eSPaul Brook shift = c->B(0); 6618592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 6718592d2eSPaul Brook d->W(i) = FPSRL(s->W(i), shift); 6818592d2eSPaul Brook } 69fcf5ef2aSThomas Huth } 70fcf5ef2aSThomas Huth } 71fcf5ef2aSThomas Huth 72f05f9789SPaolo Bonzini void glue(helper_psllw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 73fcf5ef2aSThomas Huth { 74fcf5ef2aSThomas Huth int shift; 7518592d2eSPaul Brook if (c->Q(0) > 15) { 7618592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 7718592d2eSPaul Brook d->Q(i) = 0; 7818592d2eSPaul Brook } 7918592d2eSPaul Brook } else { 8018592d2eSPaul Brook shift = c->B(0); 8118592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 8218592d2eSPaul Brook d->W(i) = FPSLL(s->W(i), shift); 8318592d2eSPaul Brook } 8418592d2eSPaul Brook } 8518592d2eSPaul Brook } 86fcf5ef2aSThomas Huth 87f05f9789SPaolo Bonzini void glue(helper_psraw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 8818592d2eSPaul Brook { 8918592d2eSPaul Brook int shift; 9018592d2eSPaul Brook if (c->Q(0) > 15) { 91fcf5ef2aSThomas Huth shift = 15; 92fcf5ef2aSThomas Huth } else { 9318592d2eSPaul Brook shift = c->B(0); 94fcf5ef2aSThomas Huth } 9518592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 9618592d2eSPaul Brook d->W(i) = FPSRAW(s->W(i), shift); 9718592d2eSPaul Brook } 98fcf5ef2aSThomas Huth } 99fcf5ef2aSThomas Huth 100f05f9789SPaolo Bonzini void glue(helper_psrld, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 101fcf5ef2aSThomas Huth { 102fcf5ef2aSThomas Huth int shift; 10318592d2eSPaul Brook if (c->Q(0) > 31) { 10418592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 10518592d2eSPaul Brook d->Q(i) = 0; 10618592d2eSPaul Brook } 107fcf5ef2aSThomas Huth } else { 10818592d2eSPaul Brook shift = c->B(0); 10918592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 11018592d2eSPaul Brook d->L(i) = FPSRL(s->L(i), shift); 11118592d2eSPaul Brook } 112fcf5ef2aSThomas Huth } 113fcf5ef2aSThomas Huth } 114fcf5ef2aSThomas Huth 115f05f9789SPaolo Bonzini void glue(helper_pslld, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 116fcf5ef2aSThomas Huth { 117fcf5ef2aSThomas Huth int shift; 11818592d2eSPaul Brook if (c->Q(0) > 31) { 11918592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 12018592d2eSPaul Brook d->Q(i) = 0; 12118592d2eSPaul Brook } 122fcf5ef2aSThomas Huth } else { 12318592d2eSPaul Brook shift = c->B(0); 12418592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 12518592d2eSPaul Brook d->L(i) = FPSLL(s->L(i), shift); 12618592d2eSPaul Brook } 127fcf5ef2aSThomas Huth } 128fcf5ef2aSThomas Huth } 129fcf5ef2aSThomas Huth 130f05f9789SPaolo Bonzini void glue(helper_psrad, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 131fcf5ef2aSThomas Huth { 132fcf5ef2aSThomas Huth int shift; 13318592d2eSPaul Brook if (c->Q(0) > 31) { 134fcf5ef2aSThomas Huth shift = 31; 135fcf5ef2aSThomas Huth } else { 13618592d2eSPaul Brook shift = c->B(0); 137fcf5ef2aSThomas Huth } 13818592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 13918592d2eSPaul Brook d->L(i) = FPSRAL(s->L(i), shift); 14018592d2eSPaul Brook } 141fcf5ef2aSThomas Huth } 142fcf5ef2aSThomas Huth 143f05f9789SPaolo Bonzini void glue(helper_psrlq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 144fcf5ef2aSThomas Huth { 145fcf5ef2aSThomas Huth int shift; 14618592d2eSPaul Brook if (c->Q(0) > 63) { 14718592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 14818592d2eSPaul Brook d->Q(i) = 0; 14918592d2eSPaul Brook } 150fcf5ef2aSThomas Huth } else { 15118592d2eSPaul Brook shift = c->B(0); 15218592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 15318592d2eSPaul Brook d->Q(i) = FPSRL(s->Q(i), shift); 15418592d2eSPaul Brook } 155fcf5ef2aSThomas Huth } 156fcf5ef2aSThomas Huth } 157fcf5ef2aSThomas Huth 158f05f9789SPaolo Bonzini void glue(helper_psllq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 159fcf5ef2aSThomas Huth { 160fcf5ef2aSThomas Huth int shift; 16118592d2eSPaul Brook if (c->Q(0) > 63) { 16218592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 16318592d2eSPaul Brook d->Q(i) = 0; 16418592d2eSPaul Brook } 165fcf5ef2aSThomas Huth } else { 16618592d2eSPaul Brook shift = c->B(0); 16718592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 16818592d2eSPaul Brook d->Q(i) = FPSLL(s->Q(i), shift); 16918592d2eSPaul Brook } 170fcf5ef2aSThomas Huth } 171fcf5ef2aSThomas Huth } 172fcf5ef2aSThomas Huth 17318592d2eSPaul Brook #if SHIFT >= 1 174f05f9789SPaolo Bonzini void glue(helper_psrldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 175fcf5ef2aSThomas Huth { 17618592d2eSPaul Brook int shift, i, j; 177fcf5ef2aSThomas Huth 17818592d2eSPaul Brook shift = c->L(0); 179fcf5ef2aSThomas Huth if (shift > 16) { 180fcf5ef2aSThomas Huth shift = 16; 181fcf5ef2aSThomas Huth } 18218592d2eSPaul Brook for (j = 0; j < 8 << SHIFT; j += LANE_WIDTH) { 183fcf5ef2aSThomas Huth for (i = 0; i < 16 - shift; i++) { 18418592d2eSPaul Brook d->B(j + i) = s->B(j + i + shift); 185fcf5ef2aSThomas Huth } 186fcf5ef2aSThomas Huth for (i = 16 - shift; i < 16; i++) { 18718592d2eSPaul Brook d->B(j + i) = 0; 18818592d2eSPaul Brook } 189fcf5ef2aSThomas Huth } 190fcf5ef2aSThomas Huth } 191fcf5ef2aSThomas Huth 192f05f9789SPaolo Bonzini void glue(helper_pslldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 193fcf5ef2aSThomas Huth { 19418592d2eSPaul Brook int shift, i, j; 195fcf5ef2aSThomas Huth 19618592d2eSPaul Brook shift = c->L(0); 197fcf5ef2aSThomas Huth if (shift > 16) { 198fcf5ef2aSThomas Huth shift = 16; 199fcf5ef2aSThomas Huth } 20018592d2eSPaul Brook for (j = 0; j < 8 << SHIFT; j += LANE_WIDTH) { 201fcf5ef2aSThomas Huth for (i = 15; i >= shift; i--) { 20218592d2eSPaul Brook d->B(j + i) = s->B(j + i - shift); 203fcf5ef2aSThomas Huth } 204fcf5ef2aSThomas Huth for (i = 0; i < shift; i++) { 20518592d2eSPaul Brook d->B(j + i) = 0; 20618592d2eSPaul Brook } 207fcf5ef2aSThomas Huth } 208fcf5ef2aSThomas Huth } 209fcf5ef2aSThomas Huth #endif 210fcf5ef2aSThomas Huth 211ee04a3c8SPaul Brook #define SSE_HELPER_1(name, elem, num, F) \ 212fcf5ef2aSThomas Huth void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) \ 213fcf5ef2aSThomas Huth { \ 214ee04a3c8SPaul Brook int n = num; \ 215ee04a3c8SPaul Brook for (int i = 0; i < n; i++) { \ 216ee04a3c8SPaul Brook d->elem(i) = F(s->elem(i)); \ 217ee04a3c8SPaul Brook } \ 218fcf5ef2aSThomas Huth } 219fcf5ef2aSThomas Huth 220ee04a3c8SPaul Brook #define SSE_HELPER_2(name, elem, num, F) \ 221f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 222ee04a3c8SPaul Brook { \ 223ee04a3c8SPaul Brook int n = num; \ 224ee04a3c8SPaul Brook for (int i = 0; i < n; i++) { \ 225ee04a3c8SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i)); \ 226ee04a3c8SPaul Brook } \ 227ee04a3c8SPaul Brook } 228ee04a3c8SPaul Brook 229ee04a3c8SPaul Brook #define SSE_HELPER_B(name, F) \ 230ee04a3c8SPaul Brook SSE_HELPER_2(name, B, 8 << SHIFT, F) 231ee04a3c8SPaul Brook 232fcf5ef2aSThomas Huth #define SSE_HELPER_W(name, F) \ 233ee04a3c8SPaul Brook SSE_HELPER_2(name, W, 4 << SHIFT, F) 234fcf5ef2aSThomas Huth 235fcf5ef2aSThomas Huth #define SSE_HELPER_L(name, F) \ 236ee04a3c8SPaul Brook SSE_HELPER_2(name, L, 2 << SHIFT, F) 237fcf5ef2aSThomas Huth 238fcf5ef2aSThomas Huth #define SSE_HELPER_Q(name, F) \ 239ee04a3c8SPaul Brook SSE_HELPER_2(name, Q, 1 << SHIFT, F) 240fcf5ef2aSThomas Huth 241fcf5ef2aSThomas Huth #if SHIFT == 0 242fcf5ef2aSThomas Huth static inline int satub(int x) 243fcf5ef2aSThomas Huth { 244fcf5ef2aSThomas Huth if (x < 0) { 245fcf5ef2aSThomas Huth return 0; 246fcf5ef2aSThomas Huth } else if (x > 255) { 247fcf5ef2aSThomas Huth return 255; 248fcf5ef2aSThomas Huth } else { 249fcf5ef2aSThomas Huth return x; 250fcf5ef2aSThomas Huth } 251fcf5ef2aSThomas Huth } 252fcf5ef2aSThomas Huth 253fcf5ef2aSThomas Huth static inline int satuw(int x) 254fcf5ef2aSThomas Huth { 255fcf5ef2aSThomas Huth if (x < 0) { 256fcf5ef2aSThomas Huth return 0; 257fcf5ef2aSThomas Huth } else if (x > 65535) { 258fcf5ef2aSThomas Huth return 65535; 259fcf5ef2aSThomas Huth } else { 260fcf5ef2aSThomas Huth return x; 261fcf5ef2aSThomas Huth } 262fcf5ef2aSThomas Huth } 263fcf5ef2aSThomas Huth 264fcf5ef2aSThomas Huth static inline int satsb(int x) 265fcf5ef2aSThomas Huth { 266fcf5ef2aSThomas Huth if (x < -128) { 267fcf5ef2aSThomas Huth return -128; 268fcf5ef2aSThomas Huth } else if (x > 127) { 269fcf5ef2aSThomas Huth return 127; 270fcf5ef2aSThomas Huth } else { 271fcf5ef2aSThomas Huth return x; 272fcf5ef2aSThomas Huth } 273fcf5ef2aSThomas Huth } 274fcf5ef2aSThomas Huth 275fcf5ef2aSThomas Huth static inline int satsw(int x) 276fcf5ef2aSThomas Huth { 277fcf5ef2aSThomas Huth if (x < -32768) { 278fcf5ef2aSThomas Huth return -32768; 279fcf5ef2aSThomas Huth } else if (x > 32767) { 280fcf5ef2aSThomas Huth return 32767; 281fcf5ef2aSThomas Huth } else { 282fcf5ef2aSThomas Huth return x; 283fcf5ef2aSThomas Huth } 284fcf5ef2aSThomas Huth } 285fcf5ef2aSThomas Huth 286fcf5ef2aSThomas Huth #define FADD(a, b) ((a) + (b)) 287fcf5ef2aSThomas Huth #define FADDUB(a, b) satub((a) + (b)) 288fcf5ef2aSThomas Huth #define FADDUW(a, b) satuw((a) + (b)) 289fcf5ef2aSThomas Huth #define FADDSB(a, b) satsb((int8_t)(a) + (int8_t)(b)) 290fcf5ef2aSThomas Huth #define FADDSW(a, b) satsw((int16_t)(a) + (int16_t)(b)) 291fcf5ef2aSThomas Huth 292fcf5ef2aSThomas Huth #define FSUB(a, b) ((a) - (b)) 293fcf5ef2aSThomas Huth #define FSUBUB(a, b) satub((a) - (b)) 294fcf5ef2aSThomas Huth #define FSUBUW(a, b) satuw((a) - (b)) 295fcf5ef2aSThomas Huth #define FSUBSB(a, b) satsb((int8_t)(a) - (int8_t)(b)) 296fcf5ef2aSThomas Huth #define FSUBSW(a, b) satsw((int16_t)(a) - (int16_t)(b)) 297fcf5ef2aSThomas Huth #define FMINUB(a, b) ((a) < (b)) ? (a) : (b) 298fcf5ef2aSThomas Huth #define FMINSW(a, b) ((int16_t)(a) < (int16_t)(b)) ? (a) : (b) 299fcf5ef2aSThomas Huth #define FMAXUB(a, b) ((a) > (b)) ? (a) : (b) 300fcf5ef2aSThomas Huth #define FMAXSW(a, b) ((int16_t)(a) > (int16_t)(b)) ? (a) : (b) 301fcf5ef2aSThomas Huth 302fcf5ef2aSThomas Huth #define FMULHRW(a, b) (((int16_t)(a) * (int16_t)(b) + 0x8000) >> 16) 303fcf5ef2aSThomas Huth #define FMULHUW(a, b) ((a) * (b) >> 16) 304fcf5ef2aSThomas Huth #define FMULHW(a, b) ((int16_t)(a) * (int16_t)(b) >> 16) 305fcf5ef2aSThomas Huth 306fcf5ef2aSThomas Huth #define FAVG(a, b) (((a) + (b) + 1) >> 1) 307fcf5ef2aSThomas Huth #endif 308fcf5ef2aSThomas Huth 309fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhuw, FMULHUW) 310fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhw, FMULHW) 311fcf5ef2aSThomas Huth 312f05f9789SPaolo Bonzini #if SHIFT == 0 313f05f9789SPaolo Bonzini void glue(helper_pmulhrw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 314f05f9789SPaolo Bonzini { 315f05f9789SPaolo Bonzini d->W(0) = FMULHRW(d->W(0), s->W(0)); 316f05f9789SPaolo Bonzini d->W(1) = FMULHRW(d->W(1), s->W(1)); 317f05f9789SPaolo Bonzini d->W(2) = FMULHRW(d->W(2), s->W(2)); 318f05f9789SPaolo Bonzini d->W(3) = FMULHRW(d->W(3), s->W(3)); 319f05f9789SPaolo Bonzini } 320f05f9789SPaolo Bonzini #endif 321f05f9789SPaolo Bonzini 322fcf5ef2aSThomas Huth SSE_HELPER_B(helper_pavgb, FAVG) 323fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pavgw, FAVG) 324fcf5ef2aSThomas Huth 325f05f9789SPaolo Bonzini void glue(helper_pmuludq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 326fcf5ef2aSThomas Huth { 327e894bae8SPaul Brook int i; 328e894bae8SPaul Brook 329e894bae8SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 330e894bae8SPaul Brook d->Q(i) = (uint64_t)s->L(i * 2) * (uint64_t)v->L(i * 2); 331e894bae8SPaul Brook } 332fcf5ef2aSThomas Huth } 333fcf5ef2aSThomas Huth 334f05f9789SPaolo Bonzini void glue(helper_pmaddwd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 335fcf5ef2aSThomas Huth { 336fcf5ef2aSThomas Huth int i; 337fcf5ef2aSThomas Huth 338fcf5ef2aSThomas Huth for (i = 0; i < (2 << SHIFT); i++) { 339e894bae8SPaul Brook d->L(i) = (int16_t)s->W(2 * i) * (int16_t)v->W(2 * i) + 340e894bae8SPaul Brook (int16_t)s->W(2 * i + 1) * (int16_t)v->W(2 * i + 1); 341fcf5ef2aSThomas Huth } 342fcf5ef2aSThomas Huth } 343fcf5ef2aSThomas Huth 344fcf5ef2aSThomas Huth #if SHIFT == 0 345fcf5ef2aSThomas Huth static inline int abs1(int a) 346fcf5ef2aSThomas Huth { 347fcf5ef2aSThomas Huth if (a < 0) { 348fcf5ef2aSThomas Huth return -a; 349fcf5ef2aSThomas Huth } else { 350fcf5ef2aSThomas Huth return a; 351fcf5ef2aSThomas Huth } 352fcf5ef2aSThomas Huth } 353fcf5ef2aSThomas Huth #endif 354f05f9789SPaolo Bonzini void glue(helper_psadbw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 355fcf5ef2aSThomas Huth { 356e894bae8SPaul Brook int i; 357fcf5ef2aSThomas Huth 358e894bae8SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 359e894bae8SPaul Brook unsigned int val = 0; 360e894bae8SPaul Brook val += abs1(v->B(8 * i + 0) - s->B(8 * i + 0)); 361e894bae8SPaul Brook val += abs1(v->B(8 * i + 1) - s->B(8 * i + 1)); 362e894bae8SPaul Brook val += abs1(v->B(8 * i + 2) - s->B(8 * i + 2)); 363e894bae8SPaul Brook val += abs1(v->B(8 * i + 3) - s->B(8 * i + 3)); 364e894bae8SPaul Brook val += abs1(v->B(8 * i + 4) - s->B(8 * i + 4)); 365e894bae8SPaul Brook val += abs1(v->B(8 * i + 5) - s->B(8 * i + 5)); 366e894bae8SPaul Brook val += abs1(v->B(8 * i + 6) - s->B(8 * i + 6)); 367e894bae8SPaul Brook val += abs1(v->B(8 * i + 7) - s->B(8 * i + 7)); 368e894bae8SPaul Brook d->Q(i) = val; 369e894bae8SPaul Brook } 370fcf5ef2aSThomas Huth } 371fcf5ef2aSThomas Huth 372fd17264aSPaul Brook #if SHIFT < 2 373fcf5ef2aSThomas Huth void glue(helper_maskmov, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 374fcf5ef2aSThomas Huth target_ulong a0) 375fcf5ef2aSThomas Huth { 376fcf5ef2aSThomas Huth int i; 377fcf5ef2aSThomas Huth 378fcf5ef2aSThomas Huth for (i = 0; i < (8 << SHIFT); i++) { 379fcf5ef2aSThomas Huth if (s->B(i) & 0x80) { 380fcf5ef2aSThomas Huth cpu_stb_data_ra(env, a0 + i, d->B(i), GETPC()); 381fcf5ef2aSThomas Huth } 382fcf5ef2aSThomas Huth } 383fcf5ef2aSThomas Huth } 384fd17264aSPaul Brook #endif 385fcf5ef2aSThomas Huth 386d45b0de6SPaul Brook #define SHUFFLE4(F, a, b, offset) do { \ 387d45b0de6SPaul Brook r0 = a->F((order & 3) + offset); \ 388d45b0de6SPaul Brook r1 = a->F(((order >> 2) & 3) + offset); \ 389d45b0de6SPaul Brook r2 = b->F(((order >> 4) & 3) + offset); \ 390d45b0de6SPaul Brook r3 = b->F(((order >> 6) & 3) + offset); \ 391d45b0de6SPaul Brook d->F(offset) = r0; \ 392d45b0de6SPaul Brook d->F(offset + 1) = r1; \ 393d45b0de6SPaul Brook d->F(offset + 2) = r2; \ 394d45b0de6SPaul Brook d->F(offset + 3) = r3; \ 395d45b0de6SPaul Brook } while (0) 396d45b0de6SPaul Brook 397fcf5ef2aSThomas Huth #if SHIFT == 0 398fcf5ef2aSThomas Huth void glue(helper_pshufw, SUFFIX)(Reg *d, Reg *s, int order) 399fcf5ef2aSThomas Huth { 400d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 401fcf5ef2aSThomas Huth 402d45b0de6SPaul Brook SHUFFLE4(W, s, s, 0); 403fcf5ef2aSThomas Huth } 404fcf5ef2aSThomas Huth #else 405f05f9789SPaolo Bonzini void glue(helper_shufps, SUFFIX)(Reg *d, Reg *v, Reg *s, int order) 406fcf5ef2aSThomas Huth { 407d45b0de6SPaul Brook uint32_t r0, r1, r2, r3; 408d45b0de6SPaul Brook int i; 409fcf5ef2aSThomas Huth 410d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 411d45b0de6SPaul Brook SHUFFLE4(L, v, s, i); 412d45b0de6SPaul Brook } 413fcf5ef2aSThomas Huth } 414fcf5ef2aSThomas Huth 415f05f9789SPaolo Bonzini void glue(helper_shufpd, SUFFIX)(Reg *d, Reg *v, Reg *s, int order) 416fcf5ef2aSThomas Huth { 417d45b0de6SPaul Brook uint64_t r0, r1; 418d45b0de6SPaul Brook int i; 419fcf5ef2aSThomas Huth 420d45b0de6SPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { 421d45b0de6SPaul Brook r0 = v->Q(((order & 1) & 1) + i); 422d45b0de6SPaul Brook r1 = s->Q(((order >> 1) & 1) + i); 423d45b0de6SPaul Brook d->Q(i) = r0; 424d45b0de6SPaul Brook d->Q(i + 1) = r1; 425d45b0de6SPaul Brook order >>= 2; 426d45b0de6SPaul Brook } 427fcf5ef2aSThomas Huth } 428fcf5ef2aSThomas Huth 429fcf5ef2aSThomas Huth void glue(helper_pshufd, SUFFIX)(Reg *d, Reg *s, int order) 430fcf5ef2aSThomas Huth { 431d45b0de6SPaul Brook uint32_t r0, r1, r2, r3; 432d45b0de6SPaul Brook int i; 433fcf5ef2aSThomas Huth 434d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 435d45b0de6SPaul Brook SHUFFLE4(L, s, s, i); 436d45b0de6SPaul Brook } 437fcf5ef2aSThomas Huth } 438fcf5ef2aSThomas Huth 439fcf5ef2aSThomas Huth void glue(helper_pshuflw, SUFFIX)(Reg *d, Reg *s, int order) 440fcf5ef2aSThomas Huth { 441d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 442d45b0de6SPaul Brook int i, j; 443fcf5ef2aSThomas Huth 444d45b0de6SPaul Brook for (i = 0, j = 1; j < 1 << SHIFT; i += 8, j += 2) { 445d45b0de6SPaul Brook SHUFFLE4(W, s, s, i); 446d45b0de6SPaul Brook d->Q(j) = s->Q(j); 447d45b0de6SPaul Brook } 448fcf5ef2aSThomas Huth } 449fcf5ef2aSThomas Huth 450fcf5ef2aSThomas Huth void glue(helper_pshufhw, SUFFIX)(Reg *d, Reg *s, int order) 451fcf5ef2aSThomas Huth { 452d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 453d45b0de6SPaul Brook int i, j; 454fcf5ef2aSThomas Huth 455d45b0de6SPaul Brook for (i = 4, j = 0; j < 1 << SHIFT; i += 8, j += 2) { 456d45b0de6SPaul Brook d->Q(j) = s->Q(j); 457d45b0de6SPaul Brook SHUFFLE4(W, s, s, i); 458d45b0de6SPaul Brook } 459fcf5ef2aSThomas Huth } 460fcf5ef2aSThomas Huth #endif 461fcf5ef2aSThomas Huth 4623403cafeSPaul Brook #if SHIFT >= 1 463fcf5ef2aSThomas Huth /* FPU ops */ 464fcf5ef2aSThomas Huth /* XXX: not accurate */ 465fcf5ef2aSThomas Huth 4663403cafeSPaul Brook #define SSE_HELPER_P(name, F) \ 4673403cafeSPaul Brook void glue(helper_ ## name ## ps, SUFFIX)(CPUX86State *env, \ 468f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 469fcf5ef2aSThomas Huth { \ 4703403cafeSPaul Brook int i; \ 4713403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 4723403cafeSPaul Brook d->ZMM_S(i) = F(32, v->ZMM_S(i), s->ZMM_S(i)); \ 473fcf5ef2aSThomas Huth } \ 4743403cafeSPaul Brook } \ 4753403cafeSPaul Brook \ 4763403cafeSPaul Brook void glue(helper_ ## name ## pd, SUFFIX)(CPUX86State *env, \ 477f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 4783403cafeSPaul Brook { \ 4793403cafeSPaul Brook int i; \ 4803403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 4813403cafeSPaul Brook d->ZMM_D(i) = F(64, v->ZMM_D(i), s->ZMM_D(i)); \ 4823403cafeSPaul Brook } \ 4833403cafeSPaul Brook } 4843403cafeSPaul Brook 4853403cafeSPaul Brook #if SHIFT == 1 4863403cafeSPaul Brook 4873403cafeSPaul Brook #define SSE_HELPER_S(name, F) \ 4883403cafeSPaul Brook SSE_HELPER_P(name, F) \ 489fcf5ef2aSThomas Huth \ 490f05f9789SPaolo Bonzini void helper_ ## name ## ss(CPUX86State *env, Reg *d, Reg *v, Reg *s)\ 491fcf5ef2aSThomas Huth { \ 4921de9e7e6SPaolo Bonzini int i; \ 4933403cafeSPaul Brook d->ZMM_S(0) = F(32, v->ZMM_S(0), s->ZMM_S(0)); \ 4941de9e7e6SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { \ 4951de9e7e6SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); \ 4961de9e7e6SPaolo Bonzini } \ 497fcf5ef2aSThomas Huth } \ 498fcf5ef2aSThomas Huth \ 499f05f9789SPaolo Bonzini void helper_ ## name ## sd(CPUX86State *env, Reg *d, Reg *v, Reg *s)\ 500fcf5ef2aSThomas Huth { \ 5011de9e7e6SPaolo Bonzini int i; \ 5023403cafeSPaul Brook d->ZMM_D(0) = F(64, v->ZMM_D(0), s->ZMM_D(0)); \ 5031de9e7e6SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { \ 5041de9e7e6SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); \ 5051de9e7e6SPaolo Bonzini } \ 506fcf5ef2aSThomas Huth } 507fcf5ef2aSThomas Huth 5083403cafeSPaul Brook #else 5093403cafeSPaul Brook 5103403cafeSPaul Brook #define SSE_HELPER_S(name, F) SSE_HELPER_P(name, F) 5113403cafeSPaul Brook 5123403cafeSPaul Brook #endif 5133403cafeSPaul Brook 514fcf5ef2aSThomas Huth #define FPU_ADD(size, a, b) float ## size ## _add(a, b, &env->sse_status) 515fcf5ef2aSThomas Huth #define FPU_SUB(size, a, b) float ## size ## _sub(a, b, &env->sse_status) 516fcf5ef2aSThomas Huth #define FPU_MUL(size, a, b) float ## size ## _mul(a, b, &env->sse_status) 517fcf5ef2aSThomas Huth #define FPU_DIV(size, a, b) float ## size ## _div(a, b, &env->sse_status) 518fcf5ef2aSThomas Huth 519fcf5ef2aSThomas Huth /* Note that the choice of comparison op here is important to get the 520fcf5ef2aSThomas Huth * special cases right: for min and max Intel specifies that (-0,0), 521fcf5ef2aSThomas Huth * (NaN, anything) and (anything, NaN) return the second argument. 522fcf5ef2aSThomas Huth */ 523fcf5ef2aSThomas Huth #define FPU_MIN(size, a, b) \ 524fcf5ef2aSThomas Huth (float ## size ## _lt(a, b, &env->sse_status) ? (a) : (b)) 525fcf5ef2aSThomas Huth #define FPU_MAX(size, a, b) \ 526fcf5ef2aSThomas Huth (float ## size ## _lt(b, a, &env->sse_status) ? (a) : (b)) 527fcf5ef2aSThomas Huth 528fcf5ef2aSThomas Huth SSE_HELPER_S(add, FPU_ADD) 529fcf5ef2aSThomas Huth SSE_HELPER_S(sub, FPU_SUB) 530fcf5ef2aSThomas Huth SSE_HELPER_S(mul, FPU_MUL) 531fcf5ef2aSThomas Huth SSE_HELPER_S(div, FPU_DIV) 532fcf5ef2aSThomas Huth SSE_HELPER_S(min, FPU_MIN) 533fcf5ef2aSThomas Huth SSE_HELPER_S(max, FPU_MAX) 534fcf5ef2aSThomas Huth 5353403cafeSPaul Brook void glue(helper_sqrtps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 5363403cafeSPaul Brook { 5373403cafeSPaul Brook int i; 5383403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 5393403cafeSPaul Brook d->ZMM_S(i) = float32_sqrt(s->ZMM_S(i), &env->sse_status); 5403403cafeSPaul Brook } 5413403cafeSPaul Brook } 5423403cafeSPaul Brook 5433403cafeSPaul Brook void glue(helper_sqrtpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 5443403cafeSPaul Brook { 5453403cafeSPaul Brook int i; 5463403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 5473403cafeSPaul Brook d->ZMM_D(i) = float64_sqrt(s->ZMM_D(i), &env->sse_status); 5483403cafeSPaul Brook } 5493403cafeSPaul Brook } 5503403cafeSPaul Brook 5513403cafeSPaul Brook #if SHIFT == 1 552620f7556SPaolo Bonzini void helper_sqrtss(CPUX86State *env, Reg *d, Reg *v, Reg *s) 5533403cafeSPaul Brook { 554620f7556SPaolo Bonzini int i; 5553403cafeSPaul Brook d->ZMM_S(0) = float32_sqrt(s->ZMM_S(0), &env->sse_status); 556620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 557620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 558620f7556SPaolo Bonzini } 5593403cafeSPaul Brook } 5603403cafeSPaul Brook 561620f7556SPaolo Bonzini void helper_sqrtsd(CPUX86State *env, Reg *d, Reg *v, Reg *s) 5623403cafeSPaul Brook { 563620f7556SPaolo Bonzini int i; 5643403cafeSPaul Brook d->ZMM_D(0) = float64_sqrt(s->ZMM_D(0), &env->sse_status); 565620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 566620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 567620f7556SPaolo Bonzini } 5683403cafeSPaul Brook } 5693403cafeSPaul Brook #endif 570fcf5ef2aSThomas Huth 571fcf5ef2aSThomas Huth /* float to float conversions */ 572ce4fa29fSPaolo Bonzini void glue(helper_cvtps2pd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 573fcf5ef2aSThomas Huth { 574fd17264aSPaul Brook int i; 575fd17264aSPaul Brook for (i = 1 << SHIFT; --i >= 0; ) { 576fd17264aSPaul Brook d->ZMM_D(i) = float32_to_float64(s->ZMM_S(i), &env->sse_status); 577fd17264aSPaul Brook } 578fcf5ef2aSThomas Huth } 579fcf5ef2aSThomas Huth 580ce4fa29fSPaolo Bonzini void glue(helper_cvtpd2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 581fcf5ef2aSThomas Huth { 582fd17264aSPaul Brook int i; 583fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 584fd17264aSPaul Brook d->ZMM_S(i) = float64_to_float32(s->ZMM_D(i), &env->sse_status); 585fd17264aSPaul Brook } 586fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 587fd17264aSPaul Brook d->Q(i) = 0; 588fd17264aSPaul Brook } 589fcf5ef2aSThomas Huth } 590fcf5ef2aSThomas Huth 591cf5ec664SPaolo Bonzini #if SHIFT >= 1 592cf5ec664SPaolo Bonzini void glue(helper_cvtph2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 593cf5ec664SPaolo Bonzini { 594cf5ec664SPaolo Bonzini int i; 595cf5ec664SPaolo Bonzini 596cf5ec664SPaolo Bonzini for (i = 2 << SHIFT; --i >= 0; ) { 597cf5ec664SPaolo Bonzini d->ZMM_S(i) = float16_to_float32(s->ZMM_H(i), true, &env->sse_status); 598cf5ec664SPaolo Bonzini } 599cf5ec664SPaolo Bonzini } 600cf5ec664SPaolo Bonzini 601cf5ec664SPaolo Bonzini void glue(helper_cvtps2ph, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, int mode) 602cf5ec664SPaolo Bonzini { 603cf5ec664SPaolo Bonzini int i; 604cf5ec664SPaolo Bonzini FloatRoundMode prev_rounding_mode = env->sse_status.float_rounding_mode; 605cf5ec664SPaolo Bonzini if (!(mode & (1 << 2))) { 606cf5ec664SPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 607cf5ec664SPaolo Bonzini } 608cf5ec664SPaolo Bonzini 609cf5ec664SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i++) { 610cf5ec664SPaolo Bonzini d->ZMM_H(i) = float32_to_float16(s->ZMM_S(i), true, &env->sse_status); 611cf5ec664SPaolo Bonzini } 612cf5ec664SPaolo Bonzini for (i >>= 2; i < 1 << SHIFT; i++) { 613cf5ec664SPaolo Bonzini d->Q(i) = 0; 614cf5ec664SPaolo Bonzini } 615cf5ec664SPaolo Bonzini 616cf5ec664SPaolo Bonzini env->sse_status.float_rounding_mode = prev_rounding_mode; 617cf5ec664SPaolo Bonzini } 618cf5ec664SPaolo Bonzini #endif 619cf5ec664SPaolo Bonzini 620fd17264aSPaul Brook #if SHIFT == 1 621620f7556SPaolo Bonzini void helper_cvtss2sd(CPUX86State *env, Reg *d, Reg *v, Reg *s) 622fcf5ef2aSThomas Huth { 623620f7556SPaolo Bonzini int i; 624fcf5ef2aSThomas Huth d->ZMM_D(0) = float32_to_float64(s->ZMM_S(0), &env->sse_status); 625620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 626620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 627620f7556SPaolo Bonzini } 628fcf5ef2aSThomas Huth } 629fcf5ef2aSThomas Huth 630620f7556SPaolo Bonzini void helper_cvtsd2ss(CPUX86State *env, Reg *d, Reg *v, Reg *s) 631fcf5ef2aSThomas Huth { 632620f7556SPaolo Bonzini int i; 633fcf5ef2aSThomas Huth d->ZMM_S(0) = float64_to_float32(s->ZMM_D(0), &env->sse_status); 634620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 635620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 636620f7556SPaolo Bonzini } 637fcf5ef2aSThomas Huth } 638fd17264aSPaul Brook #endif 639fcf5ef2aSThomas Huth 640fcf5ef2aSThomas Huth /* integer to float */ 641ce4fa29fSPaolo Bonzini void glue(helper_cvtdq2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 642fcf5ef2aSThomas Huth { 643fd17264aSPaul Brook int i; 644fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 645fd17264aSPaul Brook d->ZMM_S(i) = int32_to_float32(s->ZMM_L(i), &env->sse_status); 646fd17264aSPaul Brook } 647fcf5ef2aSThomas Huth } 648fcf5ef2aSThomas Huth 649ce4fa29fSPaolo Bonzini void glue(helper_cvtdq2pd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 650fcf5ef2aSThomas Huth { 651fd17264aSPaul Brook int i; 652fd17264aSPaul Brook for (i = 1 << SHIFT; --i >= 0; ) { 653fd17264aSPaul Brook int32_t l = s->ZMM_L(i); 654fd17264aSPaul Brook d->ZMM_D(i) = int32_to_float64(l, &env->sse_status); 655fd17264aSPaul Brook } 656fcf5ef2aSThomas Huth } 657fcf5ef2aSThomas Huth 658fd17264aSPaul Brook #if SHIFT == 1 659fcf5ef2aSThomas Huth void helper_cvtpi2ps(CPUX86State *env, ZMMReg *d, MMXReg *s) 660fcf5ef2aSThomas Huth { 661fcf5ef2aSThomas Huth d->ZMM_S(0) = int32_to_float32(s->MMX_L(0), &env->sse_status); 662fcf5ef2aSThomas Huth d->ZMM_S(1) = int32_to_float32(s->MMX_L(1), &env->sse_status); 663fcf5ef2aSThomas Huth } 664fcf5ef2aSThomas Huth 665fcf5ef2aSThomas Huth void helper_cvtpi2pd(CPUX86State *env, ZMMReg *d, MMXReg *s) 666fcf5ef2aSThomas Huth { 667fcf5ef2aSThomas Huth d->ZMM_D(0) = int32_to_float64(s->MMX_L(0), &env->sse_status); 668fcf5ef2aSThomas Huth d->ZMM_D(1) = int32_to_float64(s->MMX_L(1), &env->sse_status); 669fcf5ef2aSThomas Huth } 670fcf5ef2aSThomas Huth 671fcf5ef2aSThomas Huth void helper_cvtsi2ss(CPUX86State *env, ZMMReg *d, uint32_t val) 672fcf5ef2aSThomas Huth { 673fcf5ef2aSThomas Huth d->ZMM_S(0) = int32_to_float32(val, &env->sse_status); 674fcf5ef2aSThomas Huth } 675fcf5ef2aSThomas Huth 676fcf5ef2aSThomas Huth void helper_cvtsi2sd(CPUX86State *env, ZMMReg *d, uint32_t val) 677fcf5ef2aSThomas Huth { 678fcf5ef2aSThomas Huth d->ZMM_D(0) = int32_to_float64(val, &env->sse_status); 679fcf5ef2aSThomas Huth } 680fcf5ef2aSThomas Huth 681fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 682fcf5ef2aSThomas Huth void helper_cvtsq2ss(CPUX86State *env, ZMMReg *d, uint64_t val) 683fcf5ef2aSThomas Huth { 684fcf5ef2aSThomas Huth d->ZMM_S(0) = int64_to_float32(val, &env->sse_status); 685fcf5ef2aSThomas Huth } 686fcf5ef2aSThomas Huth 687fcf5ef2aSThomas Huth void helper_cvtsq2sd(CPUX86State *env, ZMMReg *d, uint64_t val) 688fcf5ef2aSThomas Huth { 689fcf5ef2aSThomas Huth d->ZMM_D(0) = int64_to_float64(val, &env->sse_status); 690fcf5ef2aSThomas Huth } 691fcf5ef2aSThomas Huth #endif 692fcf5ef2aSThomas Huth 693fd17264aSPaul Brook #endif 694fd17264aSPaul Brook 695fcf5ef2aSThomas Huth /* float to integer */ 6961e8a98b5SPeter Maydell 697fd17264aSPaul Brook #if SHIFT == 1 6981e8a98b5SPeter Maydell /* 6991e8a98b5SPeter Maydell * x86 mandates that we return the indefinite integer value for the result 7001e8a98b5SPeter Maydell * of any float-to-integer conversion that raises the 'invalid' exception. 7011e8a98b5SPeter Maydell * Wrap the softfloat functions to get this behaviour. 7021e8a98b5SPeter Maydell */ 7031e8a98b5SPeter Maydell #define WRAP_FLOATCONV(RETTYPE, FN, FLOATTYPE, INDEFVALUE) \ 7041e8a98b5SPeter Maydell static inline RETTYPE x86_##FN(FLOATTYPE a, float_status *s) \ 7051e8a98b5SPeter Maydell { \ 7061e8a98b5SPeter Maydell int oldflags, newflags; \ 7071e8a98b5SPeter Maydell RETTYPE r; \ 7081e8a98b5SPeter Maydell \ 7091e8a98b5SPeter Maydell oldflags = get_float_exception_flags(s); \ 7101e8a98b5SPeter Maydell set_float_exception_flags(0, s); \ 7111e8a98b5SPeter Maydell r = FN(a, s); \ 7121e8a98b5SPeter Maydell newflags = get_float_exception_flags(s); \ 7131e8a98b5SPeter Maydell if (newflags & float_flag_invalid) { \ 7141e8a98b5SPeter Maydell r = INDEFVALUE; \ 7151e8a98b5SPeter Maydell } \ 7161e8a98b5SPeter Maydell set_float_exception_flags(newflags | oldflags, s); \ 7171e8a98b5SPeter Maydell return r; \ 7181e8a98b5SPeter Maydell } 7191e8a98b5SPeter Maydell 7201e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float32_to_int32, float32, INT32_MIN) 7211e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float32_to_int32_round_to_zero, float32, INT32_MIN) 7221e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float64_to_int32, float64, INT32_MIN) 7231e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float64_to_int32_round_to_zero, float64, INT32_MIN) 7241e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float32_to_int64, float32, INT64_MIN) 7251e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float32_to_int64_round_to_zero, float32, INT64_MIN) 7261e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float64_to_int64, float64, INT64_MIN) 7271e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float64_to_int64_round_to_zero, float64, INT64_MIN) 728fd17264aSPaul Brook #endif 7291e8a98b5SPeter Maydell 730ce4fa29fSPaolo Bonzini void glue(helper_cvtps2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 731fcf5ef2aSThomas Huth { 732fd17264aSPaul Brook int i; 733fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 734fd17264aSPaul Brook d->ZMM_L(i) = x86_float32_to_int32(s->ZMM_S(i), &env->sse_status); 735fd17264aSPaul Brook } 736fcf5ef2aSThomas Huth } 737fcf5ef2aSThomas Huth 738ce4fa29fSPaolo Bonzini void glue(helper_cvtpd2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 739fcf5ef2aSThomas Huth { 740fd17264aSPaul Brook int i; 741fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 742fd17264aSPaul Brook d->ZMM_L(i) = x86_float64_to_int32(s->ZMM_D(i), &env->sse_status); 743fd17264aSPaul Brook } 744fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 745fd17264aSPaul Brook d->Q(i) = 0; 746fd17264aSPaul Brook } 747fcf5ef2aSThomas Huth } 748fcf5ef2aSThomas Huth 749fd17264aSPaul Brook #if SHIFT == 1 750fcf5ef2aSThomas Huth void helper_cvtps2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 751fcf5ef2aSThomas Huth { 7521e8a98b5SPeter Maydell d->MMX_L(0) = x86_float32_to_int32(s->ZMM_S(0), &env->sse_status); 7531e8a98b5SPeter Maydell d->MMX_L(1) = x86_float32_to_int32(s->ZMM_S(1), &env->sse_status); 754fcf5ef2aSThomas Huth } 755fcf5ef2aSThomas Huth 756fcf5ef2aSThomas Huth void helper_cvtpd2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 757fcf5ef2aSThomas Huth { 7581e8a98b5SPeter Maydell d->MMX_L(0) = x86_float64_to_int32(s->ZMM_D(0), &env->sse_status); 7591e8a98b5SPeter Maydell d->MMX_L(1) = x86_float64_to_int32(s->ZMM_D(1), &env->sse_status); 760fcf5ef2aSThomas Huth } 761fcf5ef2aSThomas Huth 762fcf5ef2aSThomas Huth int32_t helper_cvtss2si(CPUX86State *env, ZMMReg *s) 763fcf5ef2aSThomas Huth { 7641e8a98b5SPeter Maydell return x86_float32_to_int32(s->ZMM_S(0), &env->sse_status); 765fcf5ef2aSThomas Huth } 766fcf5ef2aSThomas Huth 767fcf5ef2aSThomas Huth int32_t helper_cvtsd2si(CPUX86State *env, ZMMReg *s) 768fcf5ef2aSThomas Huth { 7691e8a98b5SPeter Maydell return x86_float64_to_int32(s->ZMM_D(0), &env->sse_status); 770fcf5ef2aSThomas Huth } 771fcf5ef2aSThomas Huth 772fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 773fcf5ef2aSThomas Huth int64_t helper_cvtss2sq(CPUX86State *env, ZMMReg *s) 774fcf5ef2aSThomas Huth { 7751e8a98b5SPeter Maydell return x86_float32_to_int64(s->ZMM_S(0), &env->sse_status); 776fcf5ef2aSThomas Huth } 777fcf5ef2aSThomas Huth 778fcf5ef2aSThomas Huth int64_t helper_cvtsd2sq(CPUX86State *env, ZMMReg *s) 779fcf5ef2aSThomas Huth { 7801e8a98b5SPeter Maydell return x86_float64_to_int64(s->ZMM_D(0), &env->sse_status); 781fcf5ef2aSThomas Huth } 782fcf5ef2aSThomas Huth #endif 783fd17264aSPaul Brook #endif 784fcf5ef2aSThomas Huth 785fcf5ef2aSThomas Huth /* float to integer truncated */ 786ce4fa29fSPaolo Bonzini void glue(helper_cvttps2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 787fcf5ef2aSThomas Huth { 788fd17264aSPaul Brook int i; 789fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 790fd17264aSPaul Brook d->ZMM_L(i) = x86_float32_to_int32_round_to_zero(s->ZMM_S(i), 791fd17264aSPaul Brook &env->sse_status); 792fd17264aSPaul Brook } 793fcf5ef2aSThomas Huth } 794fcf5ef2aSThomas Huth 795ce4fa29fSPaolo Bonzini void glue(helper_cvttpd2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 796fcf5ef2aSThomas Huth { 797fd17264aSPaul Brook int i; 798fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 799fd17264aSPaul Brook d->ZMM_L(i) = x86_float64_to_int32_round_to_zero(s->ZMM_D(i), 800fd17264aSPaul Brook &env->sse_status); 801fd17264aSPaul Brook } 802fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 803fd17264aSPaul Brook d->Q(i) = 0; 804fd17264aSPaul Brook } 805fcf5ef2aSThomas Huth } 806fcf5ef2aSThomas Huth 807fd17264aSPaul Brook #if SHIFT == 1 808fcf5ef2aSThomas Huth void helper_cvttps2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 809fcf5ef2aSThomas Huth { 8101e8a98b5SPeter Maydell d->MMX_L(0) = x86_float32_to_int32_round_to_zero(s->ZMM_S(0), &env->sse_status); 8111e8a98b5SPeter Maydell d->MMX_L(1) = x86_float32_to_int32_round_to_zero(s->ZMM_S(1), &env->sse_status); 812fcf5ef2aSThomas Huth } 813fcf5ef2aSThomas Huth 814fcf5ef2aSThomas Huth void helper_cvttpd2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 815fcf5ef2aSThomas Huth { 8161e8a98b5SPeter Maydell d->MMX_L(0) = x86_float64_to_int32_round_to_zero(s->ZMM_D(0), &env->sse_status); 8171e8a98b5SPeter Maydell d->MMX_L(1) = x86_float64_to_int32_round_to_zero(s->ZMM_D(1), &env->sse_status); 818fcf5ef2aSThomas Huth } 819fcf5ef2aSThomas Huth 820fcf5ef2aSThomas Huth int32_t helper_cvttss2si(CPUX86State *env, ZMMReg *s) 821fcf5ef2aSThomas Huth { 8221e8a98b5SPeter Maydell return x86_float32_to_int32_round_to_zero(s->ZMM_S(0), &env->sse_status); 823fcf5ef2aSThomas Huth } 824fcf5ef2aSThomas Huth 825fcf5ef2aSThomas Huth int32_t helper_cvttsd2si(CPUX86State *env, ZMMReg *s) 826fcf5ef2aSThomas Huth { 8271e8a98b5SPeter Maydell return x86_float64_to_int32_round_to_zero(s->ZMM_D(0), &env->sse_status); 828fcf5ef2aSThomas Huth } 829fcf5ef2aSThomas Huth 830fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 831fcf5ef2aSThomas Huth int64_t helper_cvttss2sq(CPUX86State *env, ZMMReg *s) 832fcf5ef2aSThomas Huth { 8331e8a98b5SPeter Maydell return x86_float32_to_int64_round_to_zero(s->ZMM_S(0), &env->sse_status); 834fcf5ef2aSThomas Huth } 835fcf5ef2aSThomas Huth 836fcf5ef2aSThomas Huth int64_t helper_cvttsd2sq(CPUX86State *env, ZMMReg *s) 837fcf5ef2aSThomas Huth { 8381e8a98b5SPeter Maydell return x86_float64_to_int64_round_to_zero(s->ZMM_D(0), &env->sse_status); 839fcf5ef2aSThomas Huth } 840fcf5ef2aSThomas Huth #endif 841fd17264aSPaul Brook #endif 842fcf5ef2aSThomas Huth 843ce4fa29fSPaolo Bonzini void glue(helper_rsqrtps, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 844fcf5ef2aSThomas Huth { 845418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 8463403cafeSPaul Brook int i; 8473403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 8483403cafeSPaul Brook d->ZMM_S(i) = float32_div(float32_one, 8493403cafeSPaul Brook float32_sqrt(s->ZMM_S(i), &env->sse_status), 850fcf5ef2aSThomas Huth &env->sse_status); 8513403cafeSPaul Brook } 852418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 853fcf5ef2aSThomas Huth } 854fcf5ef2aSThomas Huth 855fd17264aSPaul Brook #if SHIFT == 1 856620f7556SPaolo Bonzini void helper_rsqrtss(CPUX86State *env, ZMMReg *d, ZMMReg *v, ZMMReg *s) 857fcf5ef2aSThomas Huth { 858418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 859620f7556SPaolo Bonzini int i; 860fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_div(float32_one, 861fcf5ef2aSThomas Huth float32_sqrt(s->ZMM_S(0), &env->sse_status), 862fcf5ef2aSThomas Huth &env->sse_status); 863418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 864620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 865620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 866620f7556SPaolo Bonzini } 867fcf5ef2aSThomas Huth } 868fd17264aSPaul Brook #endif 869fcf5ef2aSThomas Huth 870ce4fa29fSPaolo Bonzini void glue(helper_rcpps, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 871fcf5ef2aSThomas Huth { 872418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 8733403cafeSPaul Brook int i; 8743403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 8753403cafeSPaul Brook d->ZMM_S(i) = float32_div(float32_one, s->ZMM_S(i), &env->sse_status); 8763403cafeSPaul Brook } 877418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 878fcf5ef2aSThomas Huth } 879fcf5ef2aSThomas Huth 880fd17264aSPaul Brook #if SHIFT == 1 881620f7556SPaolo Bonzini void helper_rcpss(CPUX86State *env, ZMMReg *d, ZMMReg *v, ZMMReg *s) 882fcf5ef2aSThomas Huth { 883418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 884620f7556SPaolo Bonzini int i; 885fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_div(float32_one, s->ZMM_S(0), &env->sse_status); 886620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 887620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 888620f7556SPaolo Bonzini } 889418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 890fcf5ef2aSThomas Huth } 891fd17264aSPaul Brook #endif 892fcf5ef2aSThomas Huth 893fd17264aSPaul Brook #if SHIFT == 1 894fcf5ef2aSThomas Huth static inline uint64_t helper_extrq(uint64_t src, int shift, int len) 895fcf5ef2aSThomas Huth { 896fcf5ef2aSThomas Huth uint64_t mask; 897fcf5ef2aSThomas Huth 898fcf5ef2aSThomas Huth if (len == 0) { 899fcf5ef2aSThomas Huth mask = ~0LL; 900fcf5ef2aSThomas Huth } else { 901fcf5ef2aSThomas Huth mask = (1ULL << len) - 1; 902fcf5ef2aSThomas Huth } 903fcf5ef2aSThomas Huth return (src >> shift) & mask; 904fcf5ef2aSThomas Huth } 905fcf5ef2aSThomas Huth 906fcf5ef2aSThomas Huth void helper_extrq_r(CPUX86State *env, ZMMReg *d, ZMMReg *s) 907fcf5ef2aSThomas Huth { 908034668c3SPaolo Bonzini d->ZMM_Q(0) = helper_extrq(d->ZMM_Q(0), s->ZMM_B(1) & 63, s->ZMM_B(0) & 63); 909fcf5ef2aSThomas Huth } 910fcf5ef2aSThomas Huth 911fcf5ef2aSThomas Huth void helper_extrq_i(CPUX86State *env, ZMMReg *d, int index, int length) 912fcf5ef2aSThomas Huth { 913fcf5ef2aSThomas Huth d->ZMM_Q(0) = helper_extrq(d->ZMM_Q(0), index, length); 914fcf5ef2aSThomas Huth } 915fcf5ef2aSThomas Huth 916ca4b1b43SPaolo Bonzini static inline uint64_t helper_insertq(uint64_t dest, uint64_t src, int shift, int len) 917fcf5ef2aSThomas Huth { 918fcf5ef2aSThomas Huth uint64_t mask; 919fcf5ef2aSThomas Huth 920fcf5ef2aSThomas Huth if (len == 0) { 921fcf5ef2aSThomas Huth mask = ~0ULL; 922fcf5ef2aSThomas Huth } else { 923fcf5ef2aSThomas Huth mask = (1ULL << len) - 1; 924fcf5ef2aSThomas Huth } 925ca4b1b43SPaolo Bonzini return (dest & ~(mask << shift)) | ((src & mask) << shift); 926fcf5ef2aSThomas Huth } 927fcf5ef2aSThomas Huth 928fcf5ef2aSThomas Huth void helper_insertq_r(CPUX86State *env, ZMMReg *d, ZMMReg *s) 929fcf5ef2aSThomas Huth { 930ca4b1b43SPaolo Bonzini d->ZMM_Q(0) = helper_insertq(d->ZMM_Q(0), s->ZMM_Q(0), s->ZMM_B(9) & 63, s->ZMM_B(8) & 63); 931fcf5ef2aSThomas Huth } 932fcf5ef2aSThomas Huth 933ca4b1b43SPaolo Bonzini void helper_insertq_i(CPUX86State *env, ZMMReg *d, ZMMReg *s, int index, int length) 934fcf5ef2aSThomas Huth { 935ca4b1b43SPaolo Bonzini d->ZMM_Q(0) = helper_insertq(d->ZMM_Q(0), s->ZMM_Q(0), index, length); 936fcf5ef2aSThomas Huth } 937fd17264aSPaul Brook #endif 938fcf5ef2aSThomas Huth 9396567ffb4SPaul Brook #define SSE_HELPER_HPS(name, F) \ 940f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 9416567ffb4SPaul Brook { \ 9426567ffb4SPaul Brook float32 r[2 << SHIFT]; \ 9436567ffb4SPaul Brook int i, j, k; \ 9446567ffb4SPaul Brook for (k = 0; k < 2 << SHIFT; k += LANE_WIDTH / 4) { \ 9456567ffb4SPaul Brook for (i = j = 0; j < 4; i++, j += 2) { \ 9466567ffb4SPaul Brook r[i + k] = F(v->ZMM_S(j + k), v->ZMM_S(j + k + 1), &env->sse_status); \ 9476567ffb4SPaul Brook } \ 9486567ffb4SPaul Brook for (j = 0; j < 4; i++, j += 2) { \ 9496567ffb4SPaul Brook r[i + k] = F(s->ZMM_S(j + k), s->ZMM_S(j + k + 1), &env->sse_status); \ 9506567ffb4SPaul Brook } \ 9516567ffb4SPaul Brook } \ 9526567ffb4SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 9536567ffb4SPaul Brook d->ZMM_S(i) = r[i]; \ 9546567ffb4SPaul Brook } \ 955fcf5ef2aSThomas Huth } 956fcf5ef2aSThomas Huth 9576567ffb4SPaul Brook SSE_HELPER_HPS(haddps, float32_add) 9586567ffb4SPaul Brook SSE_HELPER_HPS(hsubps, float32_sub) 959fcf5ef2aSThomas Huth 9606567ffb4SPaul Brook #define SSE_HELPER_HPD(name, F) \ 961f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 9626567ffb4SPaul Brook { \ 9636567ffb4SPaul Brook float64 r[1 << SHIFT]; \ 9646567ffb4SPaul Brook int i, j, k; \ 9656567ffb4SPaul Brook for (k = 0; k < 1 << SHIFT; k += LANE_WIDTH / 8) { \ 9666567ffb4SPaul Brook for (i = j = 0; j < 2; i++, j += 2) { \ 9676567ffb4SPaul Brook r[i + k] = F(v->ZMM_D(j + k), v->ZMM_D(j + k + 1), &env->sse_status); \ 9686567ffb4SPaul Brook } \ 9696567ffb4SPaul Brook for (j = 0; j < 2; i++, j += 2) { \ 9706567ffb4SPaul Brook r[i + k] = F(s->ZMM_D(j + k), s->ZMM_D(j + k + 1), &env->sse_status); \ 9716567ffb4SPaul Brook } \ 9726567ffb4SPaul Brook } \ 9736567ffb4SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 9746567ffb4SPaul Brook d->ZMM_D(i) = r[i]; \ 9756567ffb4SPaul Brook } \ 976fcf5ef2aSThomas Huth } 977fcf5ef2aSThomas Huth 9786567ffb4SPaul Brook SSE_HELPER_HPD(haddpd, float64_add) 9796567ffb4SPaul Brook SSE_HELPER_HPD(hsubpd, float64_sub) 980fcf5ef2aSThomas Huth 981f05f9789SPaolo Bonzini void glue(helper_addsubps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 982fcf5ef2aSThomas Huth { 9833403cafeSPaul Brook int i; 9843403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i += 2) { 9853403cafeSPaul Brook d->ZMM_S(i) = float32_sub(v->ZMM_S(i), s->ZMM_S(i), &env->sse_status); 9863403cafeSPaul Brook d->ZMM_S(i+1) = float32_add(v->ZMM_S(i+1), s->ZMM_S(i+1), &env->sse_status); 9873403cafeSPaul Brook } 988fcf5ef2aSThomas Huth } 989fcf5ef2aSThomas Huth 990f05f9789SPaolo Bonzini void glue(helper_addsubpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 991fcf5ef2aSThomas Huth { 9923403cafeSPaul Brook int i; 9933403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { 9943403cafeSPaul Brook d->ZMM_D(i) = float64_sub(v->ZMM_D(i), s->ZMM_D(i), &env->sse_status); 9953403cafeSPaul Brook d->ZMM_D(i+1) = float64_add(v->ZMM_D(i+1), s->ZMM_D(i+1), &env->sse_status); 9963403cafeSPaul Brook } 997fcf5ef2aSThomas Huth } 998fcf5ef2aSThomas Huth 999cbf4ad54SPaul Brook #define SSE_HELPER_CMP_P(name, F, C) \ 1000cbf4ad54SPaul Brook void glue(helper_ ## name ## ps, SUFFIX)(CPUX86State *env, \ 1001f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1002fcf5ef2aSThomas Huth { \ 1003cbf4ad54SPaul Brook int i; \ 1004cbf4ad54SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 1005cbf4ad54SPaul Brook d->ZMM_L(i) = C(F(32, v->ZMM_S(i), s->ZMM_S(i))) ? -1 : 0; \ 1006cbf4ad54SPaul Brook } \ 1007fcf5ef2aSThomas Huth } \ 1008fcf5ef2aSThomas Huth \ 1009cbf4ad54SPaul Brook void glue(helper_ ## name ## pd, SUFFIX)(CPUX86State *env, \ 1010f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1011cbf4ad54SPaul Brook { \ 1012cbf4ad54SPaul Brook int i; \ 1013cbf4ad54SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 1014cbf4ad54SPaul Brook d->ZMM_Q(i) = C(F(64, v->ZMM_D(i), s->ZMM_D(i))) ? -1 : 0; \ 1015cbf4ad54SPaul Brook } \ 1016cbf4ad54SPaul Brook } 1017cbf4ad54SPaul Brook 1018cbf4ad54SPaul Brook #if SHIFT == 1 1019cbf4ad54SPaul Brook #define SSE_HELPER_CMP(name, F, C) \ 1020cbf4ad54SPaul Brook SSE_HELPER_CMP_P(name, F, C) \ 1021f05f9789SPaolo Bonzini void helper_ ## name ## ss(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1022fcf5ef2aSThomas Huth { \ 10231de9e7e6SPaolo Bonzini int i; \ 1024cbf4ad54SPaul Brook d->ZMM_L(0) = C(F(32, v->ZMM_S(0), s->ZMM_S(0))) ? -1 : 0; \ 10251de9e7e6SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { \ 10261de9e7e6SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); \ 10271de9e7e6SPaolo Bonzini } \ 1028fcf5ef2aSThomas Huth } \ 1029fcf5ef2aSThomas Huth \ 1030f05f9789SPaolo Bonzini void helper_ ## name ## sd(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1031fcf5ef2aSThomas Huth { \ 10321de9e7e6SPaolo Bonzini int i; \ 1033cbf4ad54SPaul Brook d->ZMM_Q(0) = C(F(64, v->ZMM_D(0), s->ZMM_D(0))) ? -1 : 0; \ 10341de9e7e6SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { \ 10351de9e7e6SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); \ 10361de9e7e6SPaolo Bonzini } \ 1037fcf5ef2aSThomas Huth } 1038fcf5ef2aSThomas Huth 10396e0cac78SPaolo Bonzini static inline bool FPU_EQU(FloatRelation x) 10406e0cac78SPaolo Bonzini { 10416e0cac78SPaolo Bonzini return (x == float_relation_equal || x == float_relation_unordered); 10426e0cac78SPaolo Bonzini } 10436e0cac78SPaolo Bonzini static inline bool FPU_GE(FloatRelation x) 10446e0cac78SPaolo Bonzini { 10456e0cac78SPaolo Bonzini return (x == float_relation_equal || x == float_relation_greater); 10466e0cac78SPaolo Bonzini } 1047cbf4ad54SPaul Brook #define FPU_EQ(x) (x == float_relation_equal) 1048cbf4ad54SPaul Brook #define FPU_LT(x) (x == float_relation_less) 1049cbf4ad54SPaul Brook #define FPU_LE(x) (x <= float_relation_equal) 10506e0cac78SPaolo Bonzini #define FPU_GT(x) (x == float_relation_greater) 1051cbf4ad54SPaul Brook #define FPU_UNORD(x) (x == float_relation_unordered) 10526e0cac78SPaolo Bonzini /* We must make sure we evaluate the argument in case it is a signalling NAN */ 10536e0cac78SPaolo Bonzini #define FPU_FALSE(x) (x == float_relation_equal && 0) 1054fcf5ef2aSThomas Huth 1055cbf4ad54SPaul Brook #define FPU_CMPQ(size, a, b) \ 1056cbf4ad54SPaul Brook float ## size ## _compare_quiet(a, b, &env->sse_status) 1057cbf4ad54SPaul Brook #define FPU_CMPS(size, a, b) \ 1058cbf4ad54SPaul Brook float ## size ## _compare(a, b, &env->sse_status) 1059cbf4ad54SPaul Brook 1060cbf4ad54SPaul Brook #else 1061cbf4ad54SPaul Brook #define SSE_HELPER_CMP(name, F, C) SSE_HELPER_CMP_P(name, F, C) 1062cbf4ad54SPaul Brook #endif 1063cbf4ad54SPaul Brook 1064cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpeq, FPU_CMPQ, FPU_EQ) 1065cbf4ad54SPaul Brook SSE_HELPER_CMP(cmplt, FPU_CMPS, FPU_LT) 1066cbf4ad54SPaul Brook SSE_HELPER_CMP(cmple, FPU_CMPS, FPU_LE) 1067cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpunord, FPU_CMPQ, FPU_UNORD) 1068cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpneq, FPU_CMPQ, !FPU_EQ) 1069cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpnlt, FPU_CMPS, !FPU_LT) 1070cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpnle, FPU_CMPS, !FPU_LE) 1071cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpord, FPU_CMPQ, !FPU_UNORD) 1072cbf4ad54SPaul Brook 10736e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpequ, FPU_CMPQ, FPU_EQU) 10746e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnge, FPU_CMPS, !FPU_GE) 10756e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngt, FPU_CMPS, !FPU_GT) 10766e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpfalse, FPU_CMPQ, FPU_FALSE) 10776e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnequ, FPU_CMPQ, !FPU_EQU) 10786e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpge, FPU_CMPS, FPU_GE) 10796e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgt, FPU_CMPS, FPU_GT) 10806e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmptrue, FPU_CMPQ, !FPU_FALSE) 10816e0cac78SPaolo Bonzini 10826e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpeqs, FPU_CMPS, FPU_EQ) 10836e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpltq, FPU_CMPQ, FPU_LT) 10846e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpleq, FPU_CMPQ, FPU_LE) 10856e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpunords, FPU_CMPS, FPU_UNORD) 10866e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpneqq, FPU_CMPS, !FPU_EQ) 10876e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnltq, FPU_CMPQ, !FPU_LT) 10886e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnleq, FPU_CMPQ, !FPU_LE) 10896e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpords, FPU_CMPS, !FPU_UNORD) 10906e0cac78SPaolo Bonzini 10916e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpequs, FPU_CMPS, FPU_EQU) 10926e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngeq, FPU_CMPQ, !FPU_GE) 10936e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngtq, FPU_CMPQ, !FPU_GT) 10946e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpfalses, FPU_CMPS, FPU_FALSE) 10956e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnequs, FPU_CMPS, !FPU_EQU) 10966e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgeq, FPU_CMPQ, FPU_GE) 10976e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgtq, FPU_CMPQ, FPU_GT) 10986e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmptrues, FPU_CMPS, !FPU_FALSE) 10996e0cac78SPaolo Bonzini 1100cbf4ad54SPaul Brook #undef SSE_HELPER_CMP 1101fcf5ef2aSThomas Huth 1102fd17264aSPaul Brook #if SHIFT == 1 1103fcf5ef2aSThomas Huth static const int comis_eflags[4] = {CC_C, CC_Z, 0, CC_Z | CC_P | CC_C}; 1104fcf5ef2aSThomas Huth 1105fcf5ef2aSThomas Huth void helper_ucomiss(CPUX86State *env, Reg *d, Reg *s) 1106fcf5ef2aSThomas Huth { 110771bfd65cSRichard Henderson FloatRelation ret; 1108fcf5ef2aSThomas Huth float32 s0, s1; 1109fcf5ef2aSThomas Huth 1110fcf5ef2aSThomas Huth s0 = d->ZMM_S(0); 1111fcf5ef2aSThomas Huth s1 = s->ZMM_S(0); 1112fcf5ef2aSThomas Huth ret = float32_compare_quiet(s0, s1, &env->sse_status); 1113fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1114fcf5ef2aSThomas Huth } 1115fcf5ef2aSThomas Huth 1116fcf5ef2aSThomas Huth void helper_comiss(CPUX86State *env, Reg *d, Reg *s) 1117fcf5ef2aSThomas Huth { 111871bfd65cSRichard Henderson FloatRelation ret; 1119fcf5ef2aSThomas Huth float32 s0, s1; 1120fcf5ef2aSThomas Huth 1121fcf5ef2aSThomas Huth s0 = d->ZMM_S(0); 1122fcf5ef2aSThomas Huth s1 = s->ZMM_S(0); 1123fcf5ef2aSThomas Huth ret = float32_compare(s0, s1, &env->sse_status); 1124fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1125fcf5ef2aSThomas Huth } 1126fcf5ef2aSThomas Huth 1127fcf5ef2aSThomas Huth void helper_ucomisd(CPUX86State *env, Reg *d, Reg *s) 1128fcf5ef2aSThomas Huth { 112971bfd65cSRichard Henderson FloatRelation ret; 1130fcf5ef2aSThomas Huth float64 d0, d1; 1131fcf5ef2aSThomas Huth 1132fcf5ef2aSThomas Huth d0 = d->ZMM_D(0); 1133fcf5ef2aSThomas Huth d1 = s->ZMM_D(0); 1134fcf5ef2aSThomas Huth ret = float64_compare_quiet(d0, d1, &env->sse_status); 1135fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1136fcf5ef2aSThomas Huth } 1137fcf5ef2aSThomas Huth 1138fcf5ef2aSThomas Huth void helper_comisd(CPUX86State *env, Reg *d, Reg *s) 1139fcf5ef2aSThomas Huth { 114071bfd65cSRichard Henderson FloatRelation ret; 1141fcf5ef2aSThomas Huth float64 d0, d1; 1142fcf5ef2aSThomas Huth 1143fcf5ef2aSThomas Huth d0 = d->ZMM_D(0); 1144fcf5ef2aSThomas Huth d1 = s->ZMM_D(0); 1145fcf5ef2aSThomas Huth ret = float64_compare(d0, d1, &env->sse_status); 1146fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1147fcf5ef2aSThomas Huth } 1148fd17264aSPaul Brook #endif 1149fcf5ef2aSThomas Huth 1150ce4fa29fSPaolo Bonzini uint32_t glue(helper_movmskps, SUFFIX)(CPUX86State *env, Reg *s) 1151fcf5ef2aSThomas Huth { 1152fd17264aSPaul Brook uint32_t mask; 1153fd17264aSPaul Brook int i; 1154fcf5ef2aSThomas Huth 1155fd17264aSPaul Brook mask = 0; 1156fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 1157fd17264aSPaul Brook mask |= (s->ZMM_L(i) >> (31 - i)) & (1 << i); 1158fd17264aSPaul Brook } 1159fd17264aSPaul Brook return mask; 1160fcf5ef2aSThomas Huth } 1161fcf5ef2aSThomas Huth 1162ce4fa29fSPaolo Bonzini uint32_t glue(helper_movmskpd, SUFFIX)(CPUX86State *env, Reg *s) 1163fcf5ef2aSThomas Huth { 1164fd17264aSPaul Brook uint32_t mask; 1165fd17264aSPaul Brook int i; 1166fcf5ef2aSThomas Huth 1167fd17264aSPaul Brook mask = 0; 1168fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1169fd17264aSPaul Brook mask |= (s->ZMM_Q(i) >> (63 - i)) & (1 << i); 1170fd17264aSPaul Brook } 1171fd17264aSPaul Brook return mask; 1172fcf5ef2aSThomas Huth } 1173fcf5ef2aSThomas Huth 1174fcf5ef2aSThomas Huth #endif 1175fcf5ef2aSThomas Huth 1176d45b0de6SPaul Brook #define PACK_HELPER_B(name, F) \ 1177d45b0de6SPaul Brook void glue(helper_pack ## name, SUFFIX)(CPUX86State *env, \ 1178f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1179d45b0de6SPaul Brook { \ 1180d45b0de6SPaul Brook uint8_t r[PACK_WIDTH * 2]; \ 1181d45b0de6SPaul Brook int j, k; \ 1182d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; j += PACK_WIDTH) { \ 1183d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { \ 1184d45b0de6SPaul Brook r[k] = F((int16_t)v->W(j + k)); \ 1185d45b0de6SPaul Brook } \ 1186d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { \ 1187d45b0de6SPaul Brook r[PACK_WIDTH + k] = F((int16_t)s->W(j + k)); \ 1188d45b0de6SPaul Brook } \ 1189d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH * 2; k++) { \ 1190d45b0de6SPaul Brook d->B(2 * j + k) = r[k]; \ 1191d45b0de6SPaul Brook } \ 1192d45b0de6SPaul Brook } \ 1193fcf5ef2aSThomas Huth } 1194fcf5ef2aSThomas Huth 1195d45b0de6SPaul Brook PACK_HELPER_B(sswb, satsb) 1196d45b0de6SPaul Brook PACK_HELPER_B(uswb, satub) 1197fcf5ef2aSThomas Huth 1198f05f9789SPaolo Bonzini void glue(helper_packssdw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1199fcf5ef2aSThomas Huth { 1200d45b0de6SPaul Brook uint16_t r[PACK_WIDTH]; 1201d45b0de6SPaul Brook int j, k; 1202fcf5ef2aSThomas Huth 1203d45b0de6SPaul Brook for (j = 0; j < 2 << SHIFT; j += PACK_WIDTH / 2) { 1204d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH / 2; k++) { 1205d45b0de6SPaul Brook r[k] = satsw(v->L(j + k)); 1206d45b0de6SPaul Brook } 1207d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH / 2; k++) { 1208d45b0de6SPaul Brook r[PACK_WIDTH / 2 + k] = satsw(s->L(j + k)); 1209d45b0de6SPaul Brook } 1210d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { 1211d45b0de6SPaul Brook d->W(2 * j + k) = r[k]; 1212d45b0de6SPaul Brook } 1213d45b0de6SPaul Brook } 1214fcf5ef2aSThomas Huth } 1215fcf5ef2aSThomas Huth 1216fcf5ef2aSThomas Huth #define UNPCK_OP(base_name, base) \ 1217fcf5ef2aSThomas Huth \ 1218fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## bw, SUFFIX)(CPUX86State *env,\ 1219f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1220fcf5ef2aSThomas Huth { \ 1221d45b0de6SPaul Brook uint8_t r[PACK_WIDTH * 2]; \ 1222d45b0de6SPaul Brook int j, i; \ 1223fcf5ef2aSThomas Huth \ 1224d45b0de6SPaul Brook for (j = 0; j < 8 << SHIFT; ) { \ 1225d45b0de6SPaul Brook int k = j + base * PACK_WIDTH; \ 1226d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH; i++) { \ 1227d45b0de6SPaul Brook r[2 * i] = v->B(k + i); \ 1228d45b0de6SPaul Brook r[2 * i + 1] = s->B(k + i); \ 1229d45b0de6SPaul Brook } \ 1230d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH * 2; i++, j++) { \ 1231d45b0de6SPaul Brook d->B(j) = r[i]; \ 1232d45b0de6SPaul Brook } \ 1233d45b0de6SPaul Brook } \ 1234fcf5ef2aSThomas Huth } \ 1235fcf5ef2aSThomas Huth \ 1236fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## wd, SUFFIX)(CPUX86State *env,\ 1237f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1238fcf5ef2aSThomas Huth { \ 1239d45b0de6SPaul Brook uint16_t r[PACK_WIDTH]; \ 1240d45b0de6SPaul Brook int j, i; \ 1241fcf5ef2aSThomas Huth \ 1242d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; ) { \ 1243d45b0de6SPaul Brook int k = j + base * PACK_WIDTH / 2; \ 1244d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 2; i++) { \ 1245d45b0de6SPaul Brook r[2 * i] = v->W(k + i); \ 1246d45b0de6SPaul Brook r[2 * i + 1] = s->W(k + i); \ 1247d45b0de6SPaul Brook } \ 1248d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH; i++, j++) { \ 1249d45b0de6SPaul Brook d->W(j) = r[i]; \ 1250d45b0de6SPaul Brook } \ 1251d45b0de6SPaul Brook } \ 1252fcf5ef2aSThomas Huth } \ 1253fcf5ef2aSThomas Huth \ 1254fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## dq, SUFFIX)(CPUX86State *env,\ 1255f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1256fcf5ef2aSThomas Huth { \ 1257d45b0de6SPaul Brook uint32_t r[PACK_WIDTH / 2]; \ 1258d45b0de6SPaul Brook int j, i; \ 1259fcf5ef2aSThomas Huth \ 1260d45b0de6SPaul Brook for (j = 0; j < 2 << SHIFT; ) { \ 1261d45b0de6SPaul Brook int k = j + base * PACK_WIDTH / 4; \ 1262d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 4; i++) { \ 1263d45b0de6SPaul Brook r[2 * i] = v->L(k + i); \ 1264d45b0de6SPaul Brook r[2 * i + 1] = s->L(k + i); \ 1265d45b0de6SPaul Brook } \ 1266d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 2; i++, j++) { \ 1267d45b0de6SPaul Brook d->L(j) = r[i]; \ 1268d45b0de6SPaul Brook } \ 1269d45b0de6SPaul Brook } \ 1270fcf5ef2aSThomas Huth } \ 1271fcf5ef2aSThomas Huth \ 1272fcf5ef2aSThomas Huth XMM_ONLY( \ 1273d45b0de6SPaul Brook void glue(helper_punpck ## base_name ## qdq, SUFFIX)( \ 1274f05f9789SPaolo Bonzini CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1275fcf5ef2aSThomas Huth { \ 1276d45b0de6SPaul Brook uint64_t r[2]; \ 1277d45b0de6SPaul Brook int i; \ 1278fcf5ef2aSThomas Huth \ 1279d45b0de6SPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { \ 1280d45b0de6SPaul Brook r[0] = v->Q(base + i); \ 1281d45b0de6SPaul Brook r[1] = s->Q(base + i); \ 1282d45b0de6SPaul Brook d->Q(i) = r[0]; \ 1283d45b0de6SPaul Brook d->Q(i + 1) = r[1]; \ 1284d45b0de6SPaul Brook } \ 1285fcf5ef2aSThomas Huth } \ 1286fcf5ef2aSThomas Huth ) 1287fcf5ef2aSThomas Huth 1288fcf5ef2aSThomas Huth UNPCK_OP(l, 0) 1289fcf5ef2aSThomas Huth UNPCK_OP(h, 1) 1290fcf5ef2aSThomas Huth 1291d45b0de6SPaul Brook #undef PACK_WIDTH 1292d45b0de6SPaul Brook #undef PACK_HELPER_B 1293d45b0de6SPaul Brook #undef UNPCK_OP 1294d45b0de6SPaul Brook 1295d45b0de6SPaul Brook 1296fcf5ef2aSThomas Huth /* 3DNow! float ops */ 1297fcf5ef2aSThomas Huth #if SHIFT == 0 1298fcf5ef2aSThomas Huth void helper_pi2fd(CPUX86State *env, MMXReg *d, MMXReg *s) 1299fcf5ef2aSThomas Huth { 1300fcf5ef2aSThomas Huth d->MMX_S(0) = int32_to_float32(s->MMX_L(0), &env->mmx_status); 1301fcf5ef2aSThomas Huth d->MMX_S(1) = int32_to_float32(s->MMX_L(1), &env->mmx_status); 1302fcf5ef2aSThomas Huth } 1303fcf5ef2aSThomas Huth 1304fcf5ef2aSThomas Huth void helper_pi2fw(CPUX86State *env, MMXReg *d, MMXReg *s) 1305fcf5ef2aSThomas Huth { 1306fcf5ef2aSThomas Huth d->MMX_S(0) = int32_to_float32((int16_t)s->MMX_W(0), &env->mmx_status); 1307fcf5ef2aSThomas Huth d->MMX_S(1) = int32_to_float32((int16_t)s->MMX_W(2), &env->mmx_status); 1308fcf5ef2aSThomas Huth } 1309fcf5ef2aSThomas Huth 1310fcf5ef2aSThomas Huth void helper_pf2id(CPUX86State *env, MMXReg *d, MMXReg *s) 1311fcf5ef2aSThomas Huth { 1312fcf5ef2aSThomas Huth d->MMX_L(0) = float32_to_int32_round_to_zero(s->MMX_S(0), &env->mmx_status); 1313fcf5ef2aSThomas Huth d->MMX_L(1) = float32_to_int32_round_to_zero(s->MMX_S(1), &env->mmx_status); 1314fcf5ef2aSThomas Huth } 1315fcf5ef2aSThomas Huth 1316fcf5ef2aSThomas Huth void helper_pf2iw(CPUX86State *env, MMXReg *d, MMXReg *s) 1317fcf5ef2aSThomas Huth { 1318fcf5ef2aSThomas Huth d->MMX_L(0) = satsw(float32_to_int32_round_to_zero(s->MMX_S(0), 1319fcf5ef2aSThomas Huth &env->mmx_status)); 1320fcf5ef2aSThomas Huth d->MMX_L(1) = satsw(float32_to_int32_round_to_zero(s->MMX_S(1), 1321fcf5ef2aSThomas Huth &env->mmx_status)); 1322fcf5ef2aSThomas Huth } 1323fcf5ef2aSThomas Huth 1324fcf5ef2aSThomas Huth void helper_pfacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1325fcf5ef2aSThomas Huth { 132625bdec79SPaolo Bonzini float32 r; 1327fcf5ef2aSThomas Huth 132825bdec79SPaolo Bonzini r = float32_add(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 132925bdec79SPaolo Bonzini d->MMX_S(1) = float32_add(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 133025bdec79SPaolo Bonzini d->MMX_S(0) = r; 1331fcf5ef2aSThomas Huth } 1332fcf5ef2aSThomas Huth 1333fcf5ef2aSThomas Huth void helper_pfadd(CPUX86State *env, MMXReg *d, MMXReg *s) 1334fcf5ef2aSThomas Huth { 1335fcf5ef2aSThomas Huth d->MMX_S(0) = float32_add(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1336fcf5ef2aSThomas Huth d->MMX_S(1) = float32_add(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1337fcf5ef2aSThomas Huth } 1338fcf5ef2aSThomas Huth 1339fcf5ef2aSThomas Huth void helper_pfcmpeq(CPUX86State *env, MMXReg *d, MMXReg *s) 1340fcf5ef2aSThomas Huth { 1341fcf5ef2aSThomas Huth d->MMX_L(0) = float32_eq_quiet(d->MMX_S(0), s->MMX_S(0), 1342fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1343fcf5ef2aSThomas Huth d->MMX_L(1) = float32_eq_quiet(d->MMX_S(1), s->MMX_S(1), 1344fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1345fcf5ef2aSThomas Huth } 1346fcf5ef2aSThomas Huth 1347fcf5ef2aSThomas Huth void helper_pfcmpge(CPUX86State *env, MMXReg *d, MMXReg *s) 1348fcf5ef2aSThomas Huth { 1349fcf5ef2aSThomas Huth d->MMX_L(0) = float32_le(s->MMX_S(0), d->MMX_S(0), 1350fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1351fcf5ef2aSThomas Huth d->MMX_L(1) = float32_le(s->MMX_S(1), d->MMX_S(1), 1352fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1353fcf5ef2aSThomas Huth } 1354fcf5ef2aSThomas Huth 1355fcf5ef2aSThomas Huth void helper_pfcmpgt(CPUX86State *env, MMXReg *d, MMXReg *s) 1356fcf5ef2aSThomas Huth { 1357fcf5ef2aSThomas Huth d->MMX_L(0) = float32_lt(s->MMX_S(0), d->MMX_S(0), 1358fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1359fcf5ef2aSThomas Huth d->MMX_L(1) = float32_lt(s->MMX_S(1), d->MMX_S(1), 1360fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1361fcf5ef2aSThomas Huth } 1362fcf5ef2aSThomas Huth 1363fcf5ef2aSThomas Huth void helper_pfmax(CPUX86State *env, MMXReg *d, MMXReg *s) 1364fcf5ef2aSThomas Huth { 1365fcf5ef2aSThomas Huth if (float32_lt(d->MMX_S(0), s->MMX_S(0), &env->mmx_status)) { 1366fcf5ef2aSThomas Huth d->MMX_S(0) = s->MMX_S(0); 1367fcf5ef2aSThomas Huth } 1368fcf5ef2aSThomas Huth if (float32_lt(d->MMX_S(1), s->MMX_S(1), &env->mmx_status)) { 1369fcf5ef2aSThomas Huth d->MMX_S(1) = s->MMX_S(1); 1370fcf5ef2aSThomas Huth } 1371fcf5ef2aSThomas Huth } 1372fcf5ef2aSThomas Huth 1373fcf5ef2aSThomas Huth void helper_pfmin(CPUX86State *env, MMXReg *d, MMXReg *s) 1374fcf5ef2aSThomas Huth { 1375fcf5ef2aSThomas Huth if (float32_lt(s->MMX_S(0), d->MMX_S(0), &env->mmx_status)) { 1376fcf5ef2aSThomas Huth d->MMX_S(0) = s->MMX_S(0); 1377fcf5ef2aSThomas Huth } 1378fcf5ef2aSThomas Huth if (float32_lt(s->MMX_S(1), d->MMX_S(1), &env->mmx_status)) { 1379fcf5ef2aSThomas Huth d->MMX_S(1) = s->MMX_S(1); 1380fcf5ef2aSThomas Huth } 1381fcf5ef2aSThomas Huth } 1382fcf5ef2aSThomas Huth 1383fcf5ef2aSThomas Huth void helper_pfmul(CPUX86State *env, MMXReg *d, MMXReg *s) 1384fcf5ef2aSThomas Huth { 1385fcf5ef2aSThomas Huth d->MMX_S(0) = float32_mul(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1386fcf5ef2aSThomas Huth d->MMX_S(1) = float32_mul(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1387fcf5ef2aSThomas Huth } 1388fcf5ef2aSThomas Huth 1389fcf5ef2aSThomas Huth void helper_pfnacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1390fcf5ef2aSThomas Huth { 139125bdec79SPaolo Bonzini float32 r; 1392fcf5ef2aSThomas Huth 139325bdec79SPaolo Bonzini r = float32_sub(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 139425bdec79SPaolo Bonzini d->MMX_S(1) = float32_sub(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 139525bdec79SPaolo Bonzini d->MMX_S(0) = r; 1396fcf5ef2aSThomas Huth } 1397fcf5ef2aSThomas Huth 1398fcf5ef2aSThomas Huth void helper_pfpnacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1399fcf5ef2aSThomas Huth { 140025bdec79SPaolo Bonzini float32 r; 1401fcf5ef2aSThomas Huth 140225bdec79SPaolo Bonzini r = float32_sub(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 140325bdec79SPaolo Bonzini d->MMX_S(1) = float32_add(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 140425bdec79SPaolo Bonzini d->MMX_S(0) = r; 1405fcf5ef2aSThomas Huth } 1406fcf5ef2aSThomas Huth 1407fcf5ef2aSThomas Huth void helper_pfrcp(CPUX86State *env, MMXReg *d, MMXReg *s) 1408fcf5ef2aSThomas Huth { 1409fcf5ef2aSThomas Huth d->MMX_S(0) = float32_div(float32_one, s->MMX_S(0), &env->mmx_status); 1410fcf5ef2aSThomas Huth d->MMX_S(1) = d->MMX_S(0); 1411fcf5ef2aSThomas Huth } 1412fcf5ef2aSThomas Huth 1413fcf5ef2aSThomas Huth void helper_pfrsqrt(CPUX86State *env, MMXReg *d, MMXReg *s) 1414fcf5ef2aSThomas Huth { 1415fcf5ef2aSThomas Huth d->MMX_L(1) = s->MMX_L(0) & 0x7fffffff; 1416fcf5ef2aSThomas Huth d->MMX_S(1) = float32_div(float32_one, 1417fcf5ef2aSThomas Huth float32_sqrt(d->MMX_S(1), &env->mmx_status), 1418fcf5ef2aSThomas Huth &env->mmx_status); 1419fcf5ef2aSThomas Huth d->MMX_L(1) |= s->MMX_L(0) & 0x80000000; 1420fcf5ef2aSThomas Huth d->MMX_L(0) = d->MMX_L(1); 1421fcf5ef2aSThomas Huth } 1422fcf5ef2aSThomas Huth 1423fcf5ef2aSThomas Huth void helper_pfsub(CPUX86State *env, MMXReg *d, MMXReg *s) 1424fcf5ef2aSThomas Huth { 1425fcf5ef2aSThomas Huth d->MMX_S(0) = float32_sub(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1426fcf5ef2aSThomas Huth d->MMX_S(1) = float32_sub(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1427fcf5ef2aSThomas Huth } 1428fcf5ef2aSThomas Huth 1429fcf5ef2aSThomas Huth void helper_pfsubr(CPUX86State *env, MMXReg *d, MMXReg *s) 1430fcf5ef2aSThomas Huth { 1431fcf5ef2aSThomas Huth d->MMX_S(0) = float32_sub(s->MMX_S(0), d->MMX_S(0), &env->mmx_status); 1432fcf5ef2aSThomas Huth d->MMX_S(1) = float32_sub(s->MMX_S(1), d->MMX_S(1), &env->mmx_status); 1433fcf5ef2aSThomas Huth } 1434fcf5ef2aSThomas Huth 1435fcf5ef2aSThomas Huth void helper_pswapd(CPUX86State *env, MMXReg *d, MMXReg *s) 1436fcf5ef2aSThomas Huth { 143725bdec79SPaolo Bonzini uint32_t r; 1438fcf5ef2aSThomas Huth 143925bdec79SPaolo Bonzini r = s->MMX_L(0); 144025bdec79SPaolo Bonzini d->MMX_L(0) = s->MMX_L(1); 144125bdec79SPaolo Bonzini d->MMX_L(1) = r; 1442fcf5ef2aSThomas Huth } 1443fcf5ef2aSThomas Huth #endif 1444fcf5ef2aSThomas Huth 1445fcf5ef2aSThomas Huth /* SSSE3 op helpers */ 1446f05f9789SPaolo Bonzini void glue(helper_pshufb, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1447fcf5ef2aSThomas Huth { 1448fcf5ef2aSThomas Huth int i; 1449d45b0de6SPaul Brook #if SHIFT == 0 1450d45b0de6SPaul Brook uint8_t r[8]; 1451fcf5ef2aSThomas Huth 1452d45b0de6SPaul Brook for (i = 0; i < 8; i++) { 1453d45b0de6SPaul Brook r[i] = (s->B(i) & 0x80) ? 0 : (v->B(s->B(i) & 7)); 1454fcf5ef2aSThomas Huth } 1455d45b0de6SPaul Brook for (i = 0; i < 8; i++) { 1456d45b0de6SPaul Brook d->B(i) = r[i]; 1457fcf5ef2aSThomas Huth } 1458d45b0de6SPaul Brook #else 1459d45b0de6SPaul Brook uint8_t r[8 << SHIFT]; 1460fcf5ef2aSThomas Huth 1461d45b0de6SPaul Brook for (i = 0; i < 8 << SHIFT; i++) { 1462d45b0de6SPaul Brook int j = i & ~0xf; 1463d45b0de6SPaul Brook r[i] = (s->B(i) & 0x80) ? 0 : v->B(j | (s->B(i) & 0xf)); 1464fcf5ef2aSThomas Huth } 1465d45b0de6SPaul Brook for (i = 0; i < 8 << SHIFT; i++) { 1466d45b0de6SPaul Brook d->B(i) = r[i]; 1467fcf5ef2aSThomas Huth } 1468fcf5ef2aSThomas Huth #endif 1469fcf5ef2aSThomas Huth } 1470fcf5ef2aSThomas Huth 1471d45b0de6SPaul Brook #define SSE_HELPER_HW(name, F) \ 1472f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1473d45b0de6SPaul Brook { \ 1474d45b0de6SPaul Brook uint16_t r[4 << SHIFT]; \ 1475d45b0de6SPaul Brook int i, j, k; \ 1476d45b0de6SPaul Brook for (k = 0; k < 4 << SHIFT; k += LANE_WIDTH / 2) { \ 1477d45b0de6SPaul Brook for (i = j = 0; j < LANE_WIDTH / 2; i++, j += 2) { \ 1478d45b0de6SPaul Brook r[i + k] = F(v->W(j + k), v->W(j + k + 1)); \ 1479d45b0de6SPaul Brook } \ 1480d45b0de6SPaul Brook for (j = 0; j < LANE_WIDTH / 2; i++, j += 2) { \ 1481d45b0de6SPaul Brook r[i + k] = F(s->W(j + k), s->W(j + k + 1)); \ 1482d45b0de6SPaul Brook } \ 1483d45b0de6SPaul Brook } \ 1484d45b0de6SPaul Brook for (i = 0; i < 4 << SHIFT; i++) { \ 1485d45b0de6SPaul Brook d->W(i) = r[i]; \ 1486d45b0de6SPaul Brook } \ 1487fcf5ef2aSThomas Huth } 1488fcf5ef2aSThomas Huth 1489d45b0de6SPaul Brook #define SSE_HELPER_HL(name, F) \ 1490f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1491d45b0de6SPaul Brook { \ 1492d45b0de6SPaul Brook uint32_t r[2 << SHIFT]; \ 1493d45b0de6SPaul Brook int i, j, k; \ 1494d45b0de6SPaul Brook for (k = 0; k < 2 << SHIFT; k += LANE_WIDTH / 4) { \ 1495d45b0de6SPaul Brook for (i = j = 0; j < LANE_WIDTH / 4; i++, j += 2) { \ 1496d45b0de6SPaul Brook r[i + k] = F(v->L(j + k), v->L(j + k + 1)); \ 1497d45b0de6SPaul Brook } \ 1498d45b0de6SPaul Brook for (j = 0; j < LANE_WIDTH / 4; i++, j += 2) { \ 1499d45b0de6SPaul Brook r[i + k] = F(s->L(j + k), s->L(j + k + 1)); \ 1500d45b0de6SPaul Brook } \ 1501d45b0de6SPaul Brook } \ 1502d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 1503d45b0de6SPaul Brook d->L(i) = r[i]; \ 1504d45b0de6SPaul Brook } \ 1505fcf5ef2aSThomas Huth } 1506fcf5ef2aSThomas Huth 1507d45b0de6SPaul Brook SSE_HELPER_HW(phaddw, FADD) 1508d45b0de6SPaul Brook SSE_HELPER_HW(phsubw, FSUB) 1509d45b0de6SPaul Brook SSE_HELPER_HW(phaddsw, FADDSW) 1510d45b0de6SPaul Brook SSE_HELPER_HW(phsubsw, FSUBSW) 1511d45b0de6SPaul Brook SSE_HELPER_HL(phaddd, FADD) 1512d45b0de6SPaul Brook SSE_HELPER_HL(phsubd, FSUB) 151375046ad7SPaolo Bonzini 1514d45b0de6SPaul Brook #undef SSE_HELPER_HW 1515d45b0de6SPaul Brook #undef SSE_HELPER_HL 1516d45b0de6SPaul Brook 1517f05f9789SPaolo Bonzini void glue(helper_pmaddubsw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1518d45b0de6SPaul Brook { 1519d45b0de6SPaul Brook int i; 1520d45b0de6SPaul Brook for (i = 0; i < 4 << SHIFT; i++) { 1521d45b0de6SPaul Brook d->W(i) = satsw((int8_t)s->B(i * 2) * (uint8_t)v->B(i * 2) + 1522d45b0de6SPaul Brook (int8_t)s->B(i * 2 + 1) * (uint8_t)v->B(i * 2 + 1)); 1523d45b0de6SPaul Brook } 1524fcf5ef2aSThomas Huth } 1525fcf5ef2aSThomas Huth 1526fcf5ef2aSThomas Huth #define FMULHRSW(d, s) (((int16_t) d * (int16_t)s + 0x4000) >> 15) 1527fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhrsw, FMULHRSW) 1528fcf5ef2aSThomas Huth 1529fcf5ef2aSThomas Huth #define FSIGNB(d, s) (s <= INT8_MAX ? s ? d : 0 : -(int8_t)d) 1530fcf5ef2aSThomas Huth #define FSIGNW(d, s) (s <= INT16_MAX ? s ? d : 0 : -(int16_t)d) 1531fcf5ef2aSThomas Huth #define FSIGNL(d, s) (s <= INT32_MAX ? s ? d : 0 : -(int32_t)d) 1532fcf5ef2aSThomas Huth SSE_HELPER_B(helper_psignb, FSIGNB) 1533fcf5ef2aSThomas Huth SSE_HELPER_W(helper_psignw, FSIGNW) 1534fcf5ef2aSThomas Huth SSE_HELPER_L(helper_psignd, FSIGNL) 1535fcf5ef2aSThomas Huth 1536f05f9789SPaolo Bonzini void glue(helper_palignr, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1537a64eee3aSPaolo Bonzini uint32_t imm) 1538fcf5ef2aSThomas Huth { 1539d45b0de6SPaul Brook int i; 1540fcf5ef2aSThomas Huth 1541fcf5ef2aSThomas Huth /* XXX could be checked during translation */ 1542a64eee3aSPaolo Bonzini if (imm >= (SHIFT ? 32 : 16)) { 1543d45b0de6SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 1544d45b0de6SPaul Brook d->Q(i) = 0; 1545d45b0de6SPaul Brook } 1546fcf5ef2aSThomas Huth } else { 1547a64eee3aSPaolo Bonzini int shift = imm * 8; 1548fcf5ef2aSThomas Huth #define SHR(v, i) (i < 64 && i > -64 ? i > 0 ? v >> (i) : (v << -(i)) : 0) 1549fcf5ef2aSThomas Huth #if SHIFT == 0 1550d45b0de6SPaul Brook d->Q(0) = SHR(s->Q(0), shift - 0) | 1551d45b0de6SPaul Brook SHR(v->Q(0), shift - 64); 1552fcf5ef2aSThomas Huth #else 1553d45b0de6SPaul Brook for (i = 0; i < (1 << SHIFT); i += 2) { 1554d45b0de6SPaul Brook uint64_t r0, r1; 1555d45b0de6SPaul Brook 1556d45b0de6SPaul Brook r0 = SHR(s->Q(i), shift - 0) | 1557d45b0de6SPaul Brook SHR(s->Q(i + 1), shift - 64) | 1558d45b0de6SPaul Brook SHR(v->Q(i), shift - 128) | 1559d45b0de6SPaul Brook SHR(v->Q(i + 1), shift - 192); 1560d45b0de6SPaul Brook r1 = SHR(s->Q(i), shift + 64) | 1561d45b0de6SPaul Brook SHR(s->Q(i + 1), shift - 0) | 1562d45b0de6SPaul Brook SHR(v->Q(i), shift - 64) | 1563d45b0de6SPaul Brook SHR(v->Q(i + 1), shift - 128); 1564d45b0de6SPaul Brook d->Q(i) = r0; 1565d45b0de6SPaul Brook d->Q(i + 1) = r1; 1566d45b0de6SPaul Brook } 1567fcf5ef2aSThomas Huth #endif 1568fcf5ef2aSThomas Huth #undef SHR 1569fcf5ef2aSThomas Huth } 1570fcf5ef2aSThomas Huth } 1571fcf5ef2aSThomas Huth 15720e29cea5SPaul Brook #if SHIFT >= 1 1573fcf5ef2aSThomas Huth 1574fcf5ef2aSThomas Huth #define SSE_HELPER_V(name, elem, num, F) \ 1575f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, \ 1576f05f9789SPaolo Bonzini Reg *m) \ 1577fcf5ef2aSThomas Huth { \ 15780e29cea5SPaul Brook int i; \ 15790e29cea5SPaul Brook for (i = 0; i < num; i++) { \ 15800e29cea5SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i), m->elem(i)); \ 1581fcf5ef2aSThomas Huth } \ 1582fcf5ef2aSThomas Huth } 1583fcf5ef2aSThomas Huth 1584fcf5ef2aSThomas Huth #define SSE_HELPER_I(name, elem, num, F) \ 1585f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, \ 15860e29cea5SPaul Brook uint32_t imm) \ 1587fcf5ef2aSThomas Huth { \ 15880e29cea5SPaul Brook int i; \ 15890e29cea5SPaul Brook for (i = 0; i < num; i++) { \ 15900e29cea5SPaul Brook int j = i & 7; \ 15910e29cea5SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i), (imm >> j) & 1); \ 1592fcf5ef2aSThomas Huth } \ 1593fcf5ef2aSThomas Huth } 1594fcf5ef2aSThomas Huth 1595fcf5ef2aSThomas Huth /* SSE4.1 op helpers */ 15960e29cea5SPaul Brook #define FBLENDVB(v, s, m) ((m & 0x80) ? s : v) 15970e29cea5SPaul Brook #define FBLENDVPS(v, s, m) ((m & 0x80000000) ? s : v) 15980e29cea5SPaul Brook #define FBLENDVPD(v, s, m) ((m & 0x8000000000000000LL) ? s : v) 15990e29cea5SPaul Brook SSE_HELPER_V(helper_pblendvb, B, 8 << SHIFT, FBLENDVB) 16000e29cea5SPaul Brook SSE_HELPER_V(helper_blendvps, L, 2 << SHIFT, FBLENDVPS) 16010e29cea5SPaul Brook SSE_HELPER_V(helper_blendvpd, Q, 1 << SHIFT, FBLENDVPD) 1602fcf5ef2aSThomas Huth 1603fcf5ef2aSThomas Huth void glue(helper_ptest, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 1604fcf5ef2aSThomas Huth { 1605e894bae8SPaul Brook uint64_t zf = 0, cf = 0; 1606e894bae8SPaul Brook int i; 1607fcf5ef2aSThomas Huth 1608e894bae8SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1609e894bae8SPaul Brook zf |= (s->Q(i) & d->Q(i)); 1610e894bae8SPaul Brook cf |= (s->Q(i) & ~d->Q(i)); 1611e894bae8SPaul Brook } 1612fcf5ef2aSThomas Huth CC_SRC = (zf ? 0 : CC_Z) | (cf ? 0 : CC_C); 1613fcf5ef2aSThomas Huth } 1614fcf5ef2aSThomas Huth 16157170a17eSPaolo Bonzini #define FMOVSLDUP(i) s->L((i) & ~1) 16167170a17eSPaolo Bonzini #define FMOVSHDUP(i) s->L((i) | 1) 16177170a17eSPaolo Bonzini #define FMOVDLDUP(i) s->Q((i) & ~1) 16187170a17eSPaolo Bonzini 1619fcf5ef2aSThomas Huth #define SSE_HELPER_F(name, elem, num, F) \ 1620fcf5ef2aSThomas Huth void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) \ 1621fcf5ef2aSThomas Huth { \ 1622e894bae8SPaul Brook int n = num; \ 1623e894bae8SPaul Brook for (int i = n; --i >= 0; ) { \ 1624e894bae8SPaul Brook d->elem(i) = F(i); \ 1625fcf5ef2aSThomas Huth } \ 1626fcf5ef2aSThomas Huth } 1627fcf5ef2aSThomas Huth 1628e894bae8SPaul Brook #if SHIFT > 0 1629e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbw, W, 4 << SHIFT, (int8_t) s->B) 1630e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbd, L, 2 << SHIFT, (int8_t) s->B) 1631e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbq, Q, 1 << SHIFT, (int8_t) s->B) 1632e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxwd, L, 2 << SHIFT, (int16_t) s->W) 1633e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxwq, Q, 1 << SHIFT, (int16_t) s->W) 1634e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxdq, Q, 1 << SHIFT, (int32_t) s->L) 1635e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbw, W, 4 << SHIFT, s->B) 1636e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbd, L, 2 << SHIFT, s->B) 1637e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbq, Q, 1 << SHIFT, s->B) 1638e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxwd, L, 2 << SHIFT, s->W) 1639e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxwq, Q, 1 << SHIFT, s->W) 1640e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxdq, Q, 1 << SHIFT, s->L) 16417170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovsldup, L, 2 << SHIFT, FMOVSLDUP) 16427170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovshdup, L, 2 << SHIFT, FMOVSHDUP) 16437170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovdldup, Q, 1 << SHIFT, FMOVDLDUP) 1644e894bae8SPaul Brook #endif 1645fcf5ef2aSThomas Huth 1646f05f9789SPaolo Bonzini void glue(helper_pmuldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1647fcf5ef2aSThomas Huth { 1648e894bae8SPaul Brook int i; 1649e894bae8SPaul Brook 1650e894bae8SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1651e894bae8SPaul Brook d->Q(i) = (int64_t)(int32_t) v->L(2 * i) * (int32_t) s->L(2 * i); 1652e894bae8SPaul Brook } 1653fcf5ef2aSThomas Huth } 1654fcf5ef2aSThomas Huth 1655f05f9789SPaolo Bonzini void glue(helper_packusdw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1656fcf5ef2aSThomas Huth { 1657d45b0de6SPaul Brook uint16_t r[8]; 1658d45b0de6SPaul Brook int i, j, k; 165980e19606SJoseph Myers 1660d45b0de6SPaul Brook for (i = 0, j = 0; i <= 2 << SHIFT; i += 8, j += 4) { 1661d45b0de6SPaul Brook r[0] = satuw(v->L(j)); 1662d45b0de6SPaul Brook r[1] = satuw(v->L(j + 1)); 1663d45b0de6SPaul Brook r[2] = satuw(v->L(j + 2)); 1664d45b0de6SPaul Brook r[3] = satuw(v->L(j + 3)); 1665d45b0de6SPaul Brook r[4] = satuw(s->L(j)); 1666d45b0de6SPaul Brook r[5] = satuw(s->L(j + 1)); 1667d45b0de6SPaul Brook r[6] = satuw(s->L(j + 2)); 1668d45b0de6SPaul Brook r[7] = satuw(s->L(j + 3)); 1669d45b0de6SPaul Brook for (k = 0; k < 8; k++) { 1670d45b0de6SPaul Brook d->W(i + k) = r[k]; 1671d45b0de6SPaul Brook } 1672d45b0de6SPaul Brook } 1673fcf5ef2aSThomas Huth } 1674fcf5ef2aSThomas Huth 1675fd17264aSPaul Brook #if SHIFT == 1 1676fcf5ef2aSThomas Huth void glue(helper_phminposuw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 1677fcf5ef2aSThomas Huth { 1678fcf5ef2aSThomas Huth int idx = 0; 1679fcf5ef2aSThomas Huth 1680fcf5ef2aSThomas Huth if (s->W(1) < s->W(idx)) { 1681fcf5ef2aSThomas Huth idx = 1; 1682fcf5ef2aSThomas Huth } 1683fcf5ef2aSThomas Huth if (s->W(2) < s->W(idx)) { 1684fcf5ef2aSThomas Huth idx = 2; 1685fcf5ef2aSThomas Huth } 1686fcf5ef2aSThomas Huth if (s->W(3) < s->W(idx)) { 1687fcf5ef2aSThomas Huth idx = 3; 1688fcf5ef2aSThomas Huth } 1689fcf5ef2aSThomas Huth if (s->W(4) < s->W(idx)) { 1690fcf5ef2aSThomas Huth idx = 4; 1691fcf5ef2aSThomas Huth } 1692fcf5ef2aSThomas Huth if (s->W(5) < s->W(idx)) { 1693fcf5ef2aSThomas Huth idx = 5; 1694fcf5ef2aSThomas Huth } 1695fcf5ef2aSThomas Huth if (s->W(6) < s->W(idx)) { 1696fcf5ef2aSThomas Huth idx = 6; 1697fcf5ef2aSThomas Huth } 1698fcf5ef2aSThomas Huth if (s->W(7) < s->W(idx)) { 1699fcf5ef2aSThomas Huth idx = 7; 1700fcf5ef2aSThomas Huth } 1701fcf5ef2aSThomas Huth 1702fcf5ef2aSThomas Huth d->W(0) = s->W(idx); 1703aa406feaSJoseph Myers d->W(1) = idx; 1704aa406feaSJoseph Myers d->L(1) = 0; 1705aa406feaSJoseph Myers d->Q(1) = 0; 1706fcf5ef2aSThomas Huth } 1707fd17264aSPaul Brook #endif 1708fcf5ef2aSThomas Huth 1709fcf5ef2aSThomas Huth void glue(helper_roundps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 1710fcf5ef2aSThomas Huth uint32_t mode) 1711fcf5ef2aSThomas Huth { 1712418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1713fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1714fd17264aSPaul Brook int i; 1715fcf5ef2aSThomas Huth 1716fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1717fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1718314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1719fcf5ef2aSThomas Huth } 1720fcf5ef2aSThomas Huth 1721fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 1722fd17264aSPaul Brook d->ZMM_S(i) = float32_round_to_int(s->ZMM_S(i), &env->sse_status); 1723fd17264aSPaul Brook } 1724fcf5ef2aSThomas Huth 1725418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1726fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1727fcf5ef2aSThomas Huth ~float_flag_inexact, 1728fcf5ef2aSThomas Huth &env->sse_status); 1729fcf5ef2aSThomas Huth } 1730fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1731fcf5ef2aSThomas Huth } 1732fcf5ef2aSThomas Huth 1733fcf5ef2aSThomas Huth void glue(helper_roundpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 1734fcf5ef2aSThomas Huth uint32_t mode) 1735fcf5ef2aSThomas Huth { 1736418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1737fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1738fd17264aSPaul Brook int i; 1739fcf5ef2aSThomas Huth 1740fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1741fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1742314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1743fcf5ef2aSThomas Huth } 1744fcf5ef2aSThomas Huth 1745fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1746fd17264aSPaul Brook d->ZMM_D(i) = float64_round_to_int(s->ZMM_D(i), &env->sse_status); 1747fd17264aSPaul Brook } 1748fcf5ef2aSThomas Huth 1749418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1750fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1751fcf5ef2aSThomas Huth ~float_flag_inexact, 1752fcf5ef2aSThomas Huth &env->sse_status); 1753fcf5ef2aSThomas Huth } 1754fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1755fcf5ef2aSThomas Huth } 1756fcf5ef2aSThomas Huth 1757fd17264aSPaul Brook #if SHIFT == 1 1758620f7556SPaolo Bonzini void glue(helper_roundss, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1759fcf5ef2aSThomas Huth uint32_t mode) 1760fcf5ef2aSThomas Huth { 1761418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1762fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1763620f7556SPaolo Bonzini int i; 1764fcf5ef2aSThomas Huth 1765fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1766fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1767314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1768fcf5ef2aSThomas Huth } 1769fcf5ef2aSThomas Huth 1770fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_round_to_int(s->ZMM_S(0), &env->sse_status); 1771620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 1772620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 1773620f7556SPaolo Bonzini } 1774fcf5ef2aSThomas Huth 1775418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1776fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1777fcf5ef2aSThomas Huth ~float_flag_inexact, 1778fcf5ef2aSThomas Huth &env->sse_status); 1779fcf5ef2aSThomas Huth } 1780fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1781fcf5ef2aSThomas Huth } 1782fcf5ef2aSThomas Huth 1783620f7556SPaolo Bonzini void glue(helper_roundsd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1784fcf5ef2aSThomas Huth uint32_t mode) 1785fcf5ef2aSThomas Huth { 1786418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1787fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1788620f7556SPaolo Bonzini int i; 1789fcf5ef2aSThomas Huth 1790fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1791fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1792314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1793fcf5ef2aSThomas Huth } 1794fcf5ef2aSThomas Huth 1795fcf5ef2aSThomas Huth d->ZMM_D(0) = float64_round_to_int(s->ZMM_D(0), &env->sse_status); 1796620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 1797620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 1798620f7556SPaolo Bonzini } 1799fcf5ef2aSThomas Huth 1800418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1801fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1802fcf5ef2aSThomas Huth ~float_flag_inexact, 1803fcf5ef2aSThomas Huth &env->sse_status); 1804fcf5ef2aSThomas Huth } 1805fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1806fcf5ef2aSThomas Huth } 1807fd17264aSPaul Brook #endif 1808fcf5ef2aSThomas Huth 18090e29cea5SPaul Brook #define FBLENDP(v, s, m) (m ? s : v) 18100e29cea5SPaul Brook SSE_HELPER_I(helper_blendps, L, 2 << SHIFT, FBLENDP) 18110e29cea5SPaul Brook SSE_HELPER_I(helper_blendpd, Q, 1 << SHIFT, FBLENDP) 18120e29cea5SPaul Brook SSE_HELPER_I(helper_pblendw, W, 4 << SHIFT, FBLENDP) 1813fcf5ef2aSThomas Huth 1814f05f9789SPaolo Bonzini void glue(helper_dpps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 18156f218d6eSPaul Brook uint32_t mask) 1816fcf5ef2aSThomas Huth { 1817bf30ad8cSPaolo Bonzini float32 prod1, prod2, temp2, temp3, temp4; 18186f218d6eSPaul Brook int i; 1819fcf5ef2aSThomas Huth 18206f218d6eSPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 1821bf30ad8cSPaolo Bonzini /* 1822bf30ad8cSPaolo Bonzini * We must evaluate (A+B)+(C+D), not ((A+B)+C)+D 1823bf30ad8cSPaolo Bonzini * to correctly round the intermediate results 1824bf30ad8cSPaolo Bonzini */ 1825fcf5ef2aSThomas Huth if (mask & (1 << 4)) { 18266f218d6eSPaul Brook prod1 = float32_mul(v->ZMM_S(i), s->ZMM_S(i), &env->sse_status); 1827bf30ad8cSPaolo Bonzini } else { 1828bf30ad8cSPaolo Bonzini prod1 = float32_zero; 1829fcf5ef2aSThomas Huth } 1830fcf5ef2aSThomas Huth if (mask & (1 << 5)) { 18316f218d6eSPaul Brook prod2 = float32_mul(v->ZMM_S(i+1), s->ZMM_S(i+1), &env->sse_status); 1832bf30ad8cSPaolo Bonzini } else { 1833bf30ad8cSPaolo Bonzini prod2 = float32_zero; 1834fcf5ef2aSThomas Huth } 1835bf30ad8cSPaolo Bonzini temp2 = float32_add(prod1, prod2, &env->sse_status); 1836fcf5ef2aSThomas Huth if (mask & (1 << 6)) { 18376f218d6eSPaul Brook prod1 = float32_mul(v->ZMM_S(i+2), s->ZMM_S(i+2), &env->sse_status); 1838bf30ad8cSPaolo Bonzini } else { 1839bf30ad8cSPaolo Bonzini prod1 = float32_zero; 1840fcf5ef2aSThomas Huth } 1841fcf5ef2aSThomas Huth if (mask & (1 << 7)) { 18426f218d6eSPaul Brook prod2 = float32_mul(v->ZMM_S(i+3), s->ZMM_S(i+3), &env->sse_status); 1843bf30ad8cSPaolo Bonzini } else { 1844bf30ad8cSPaolo Bonzini prod2 = float32_zero; 1845fcf5ef2aSThomas Huth } 1846bf30ad8cSPaolo Bonzini temp3 = float32_add(prod1, prod2, &env->sse_status); 1847bf30ad8cSPaolo Bonzini temp4 = float32_add(temp2, temp3, &env->sse_status); 1848bf30ad8cSPaolo Bonzini 18496f218d6eSPaul Brook d->ZMM_S(i) = (mask & (1 << 0)) ? temp4 : float32_zero; 18506f218d6eSPaul Brook d->ZMM_S(i+1) = (mask & (1 << 1)) ? temp4 : float32_zero; 18516f218d6eSPaul Brook d->ZMM_S(i+2) = (mask & (1 << 2)) ? temp4 : float32_zero; 18526f218d6eSPaul Brook d->ZMM_S(i+3) = (mask & (1 << 3)) ? temp4 : float32_zero; 18536f218d6eSPaul Brook } 1854fcf5ef2aSThomas Huth } 1855fcf5ef2aSThomas Huth 18566f218d6eSPaul Brook #if SHIFT == 1 18576f218d6eSPaul Brook /* Oddly, there is no ymm version of dppd */ 18586f218d6eSPaul Brook void glue(helper_dppd, SUFFIX)(CPUX86State *env, 1859f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s, uint32_t mask) 1860fcf5ef2aSThomas Huth { 1861bf30ad8cSPaolo Bonzini float64 prod1, prod2, temp2; 1862fcf5ef2aSThomas Huth 1863fcf5ef2aSThomas Huth if (mask & (1 << 4)) { 18646f218d6eSPaul Brook prod1 = float64_mul(v->ZMM_D(0), s->ZMM_D(0), &env->sse_status); 1865bf30ad8cSPaolo Bonzini } else { 1866bf30ad8cSPaolo Bonzini prod1 = float64_zero; 1867fcf5ef2aSThomas Huth } 1868fcf5ef2aSThomas Huth if (mask & (1 << 5)) { 18696f218d6eSPaul Brook prod2 = float64_mul(v->ZMM_D(1), s->ZMM_D(1), &env->sse_status); 1870bf30ad8cSPaolo Bonzini } else { 1871bf30ad8cSPaolo Bonzini prod2 = float64_zero; 1872fcf5ef2aSThomas Huth } 1873bf30ad8cSPaolo Bonzini temp2 = float64_add(prod1, prod2, &env->sse_status); 1874bf30ad8cSPaolo Bonzini d->ZMM_D(0) = (mask & (1 << 0)) ? temp2 : float64_zero; 1875bf30ad8cSPaolo Bonzini d->ZMM_D(1) = (mask & (1 << 1)) ? temp2 : float64_zero; 1876fcf5ef2aSThomas Huth } 18776f218d6eSPaul Brook #endif 1878fcf5ef2aSThomas Huth 1879f05f9789SPaolo Bonzini void glue(helper_mpsadbw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1880fcf5ef2aSThomas Huth uint32_t offset) 1881fcf5ef2aSThomas Huth { 1882d45b0de6SPaul Brook int i, j; 1883d45b0de6SPaul Brook uint16_t r[8]; 1884fcf5ef2aSThomas Huth 1885d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; ) { 1886d45b0de6SPaul Brook int s0 = (j * 2) + ((offset & 3) << 2); 1887d45b0de6SPaul Brook int d0 = (j * 2) + ((offset & 4) << 0); 1888d45b0de6SPaul Brook for (i = 0; i < LANE_WIDTH / 2; i++, d0++) { 1889d45b0de6SPaul Brook r[i] = 0; 1890d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 0) - s->B(s0 + 0)); 1891d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 1) - s->B(s0 + 1)); 1892d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 2) - s->B(s0 + 2)); 1893d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 3) - s->B(s0 + 3)); 1894fcf5ef2aSThomas Huth } 1895d45b0de6SPaul Brook for (i = 0; i < LANE_WIDTH / 2; i++, j++) { 1896d45b0de6SPaul Brook d->W(j) = r[i]; 1897d45b0de6SPaul Brook } 1898d45b0de6SPaul Brook offset >>= 3; 1899d45b0de6SPaul Brook } 1900fcf5ef2aSThomas Huth } 1901fcf5ef2aSThomas Huth 1902fcf5ef2aSThomas Huth /* SSE4.2 op helpers */ 1903fd17264aSPaul Brook #if SHIFT == 1 1904fcf5ef2aSThomas Huth static inline int pcmp_elen(CPUX86State *env, int reg, uint32_t ctrl) 1905fcf5ef2aSThomas Huth { 1906d1da229fSPaul Brook target_long val, limit; 1907fcf5ef2aSThomas Huth 1908fcf5ef2aSThomas Huth /* Presence of REX.W is indicated by a bit higher than 7 set */ 1909fcf5ef2aSThomas Huth if (ctrl >> 8) { 1910d1da229fSPaul Brook val = (target_long)env->regs[reg]; 1911fcf5ef2aSThomas Huth } else { 1912d1da229fSPaul Brook val = (int32_t)env->regs[reg]; 1913fcf5ef2aSThomas Huth } 1914fcf5ef2aSThomas Huth if (ctrl & 1) { 1915d1da229fSPaul Brook limit = 8; 1916fcf5ef2aSThomas Huth } else { 1917d1da229fSPaul Brook limit = 16; 1918fcf5ef2aSThomas Huth } 1919d1da229fSPaul Brook if ((val > limit) || (val < -limit)) { 1920d1da229fSPaul Brook return limit; 1921fcf5ef2aSThomas Huth } 1922d1da229fSPaul Brook return abs1(val); 1923fcf5ef2aSThomas Huth } 1924fcf5ef2aSThomas Huth 1925fcf5ef2aSThomas Huth static inline int pcmp_ilen(Reg *r, uint8_t ctrl) 1926fcf5ef2aSThomas Huth { 1927fcf5ef2aSThomas Huth int val = 0; 1928fcf5ef2aSThomas Huth 1929fcf5ef2aSThomas Huth if (ctrl & 1) { 1930fcf5ef2aSThomas Huth while (val < 8 && r->W(val)) { 1931fcf5ef2aSThomas Huth val++; 1932fcf5ef2aSThomas Huth } 1933fcf5ef2aSThomas Huth } else { 1934fcf5ef2aSThomas Huth while (val < 16 && r->B(val)) { 1935fcf5ef2aSThomas Huth val++; 1936fcf5ef2aSThomas Huth } 1937fcf5ef2aSThomas Huth } 1938fcf5ef2aSThomas Huth 1939fcf5ef2aSThomas Huth return val; 1940fcf5ef2aSThomas Huth } 1941fcf5ef2aSThomas Huth 1942fcf5ef2aSThomas Huth static inline int pcmp_val(Reg *r, uint8_t ctrl, int i) 1943fcf5ef2aSThomas Huth { 1944fcf5ef2aSThomas Huth switch ((ctrl >> 0) & 3) { 1945fcf5ef2aSThomas Huth case 0: 1946fcf5ef2aSThomas Huth return r->B(i); 1947fcf5ef2aSThomas Huth case 1: 1948fcf5ef2aSThomas Huth return r->W(i); 1949fcf5ef2aSThomas Huth case 2: 1950fcf5ef2aSThomas Huth return (int8_t)r->B(i); 1951fcf5ef2aSThomas Huth case 3: 1952fcf5ef2aSThomas Huth default: 1953fcf5ef2aSThomas Huth return (int16_t)r->W(i); 1954fcf5ef2aSThomas Huth } 1955fcf5ef2aSThomas Huth } 1956fcf5ef2aSThomas Huth 1957fcf5ef2aSThomas Huth static inline unsigned pcmpxstrx(CPUX86State *env, Reg *d, Reg *s, 1958a64eee3aSPaolo Bonzini uint8_t ctrl, int valids, int validd) 1959fcf5ef2aSThomas Huth { 1960fcf5ef2aSThomas Huth unsigned int res = 0; 1961fcf5ef2aSThomas Huth int v; 1962fcf5ef2aSThomas Huth int j, i; 1963fcf5ef2aSThomas Huth int upper = (ctrl & 1) ? 7 : 15; 1964fcf5ef2aSThomas Huth 1965fcf5ef2aSThomas Huth valids--; 1966fcf5ef2aSThomas Huth validd--; 1967fcf5ef2aSThomas Huth 1968fcf5ef2aSThomas Huth CC_SRC = (valids < upper ? CC_Z : 0) | (validd < upper ? CC_S : 0); 1969fcf5ef2aSThomas Huth 1970fcf5ef2aSThomas Huth switch ((ctrl >> 2) & 3) { 1971fcf5ef2aSThomas Huth case 0: 1972fcf5ef2aSThomas Huth for (j = valids; j >= 0; j--) { 1973fcf5ef2aSThomas Huth res <<= 1; 1974fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, j); 1975fcf5ef2aSThomas Huth for (i = validd; i >= 0; i--) { 1976fcf5ef2aSThomas Huth res |= (v == pcmp_val(d, ctrl, i)); 1977fcf5ef2aSThomas Huth } 1978fcf5ef2aSThomas Huth } 1979fcf5ef2aSThomas Huth break; 1980fcf5ef2aSThomas Huth case 1: 1981fcf5ef2aSThomas Huth for (j = valids; j >= 0; j--) { 1982fcf5ef2aSThomas Huth res <<= 1; 1983fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, j); 1984fcf5ef2aSThomas Huth for (i = ((validd - 1) | 1); i >= 0; i -= 2) { 1985fcf5ef2aSThomas Huth res |= (pcmp_val(d, ctrl, i - 0) >= v && 1986fcf5ef2aSThomas Huth pcmp_val(d, ctrl, i - 1) <= v); 1987fcf5ef2aSThomas Huth } 1988fcf5ef2aSThomas Huth } 1989fcf5ef2aSThomas Huth break; 1990fcf5ef2aSThomas Huth case 2: 1991fcf5ef2aSThomas Huth res = (1 << (upper - MAX(valids, validd))) - 1; 1992fcf5ef2aSThomas Huth res <<= MAX(valids, validd) - MIN(valids, validd); 1993fcf5ef2aSThomas Huth for (i = MIN(valids, validd); i >= 0; i--) { 1994fcf5ef2aSThomas Huth res <<= 1; 1995fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, i); 1996fcf5ef2aSThomas Huth res |= (v == pcmp_val(d, ctrl, i)); 1997fcf5ef2aSThomas Huth } 1998fcf5ef2aSThomas Huth break; 1999fcf5ef2aSThomas Huth case 3: 2000ae35eea7SJoseph Myers if (validd == -1) { 2001ae35eea7SJoseph Myers res = (2 << upper) - 1; 2002ae35eea7SJoseph Myers break; 2003ae35eea7SJoseph Myers } 2004bc921b27SJoseph Myers for (j = valids == upper ? valids : valids - validd; j >= 0; j--) { 2005fcf5ef2aSThomas Huth res <<= 1; 2006fcf5ef2aSThomas Huth v = 1; 2007bc921b27SJoseph Myers for (i = MIN(valids - j, validd); i >= 0; i--) { 2008fcf5ef2aSThomas Huth v &= (pcmp_val(s, ctrl, i + j) == pcmp_val(d, ctrl, i)); 2009fcf5ef2aSThomas Huth } 2010fcf5ef2aSThomas Huth res |= v; 2011fcf5ef2aSThomas Huth } 2012fcf5ef2aSThomas Huth break; 2013fcf5ef2aSThomas Huth } 2014fcf5ef2aSThomas Huth 2015fcf5ef2aSThomas Huth switch ((ctrl >> 4) & 3) { 2016fcf5ef2aSThomas Huth case 1: 2017fcf5ef2aSThomas Huth res ^= (2 << upper) - 1; 2018fcf5ef2aSThomas Huth break; 2019fcf5ef2aSThomas Huth case 3: 2020fcf5ef2aSThomas Huth res ^= (1 << (valids + 1)) - 1; 2021fcf5ef2aSThomas Huth break; 2022fcf5ef2aSThomas Huth } 2023fcf5ef2aSThomas Huth 2024fcf5ef2aSThomas Huth if (res) { 2025fcf5ef2aSThomas Huth CC_SRC |= CC_C; 2026fcf5ef2aSThomas Huth } 2027fcf5ef2aSThomas Huth if (res & 1) { 2028fcf5ef2aSThomas Huth CC_SRC |= CC_O; 2029fcf5ef2aSThomas Huth } 2030fcf5ef2aSThomas Huth 2031fcf5ef2aSThomas Huth return res; 2032fcf5ef2aSThomas Huth } 2033fcf5ef2aSThomas Huth 2034fcf5ef2aSThomas Huth void glue(helper_pcmpestri, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2035fcf5ef2aSThomas Huth uint32_t ctrl) 2036fcf5ef2aSThomas Huth { 2037fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2038fcf5ef2aSThomas Huth pcmp_elen(env, R_EDX, ctrl), 2039fcf5ef2aSThomas Huth pcmp_elen(env, R_EAX, ctrl)); 2040fcf5ef2aSThomas Huth 2041fcf5ef2aSThomas Huth if (res) { 2042fcf5ef2aSThomas Huth env->regs[R_ECX] = (ctrl & (1 << 6)) ? 31 - clz32(res) : ctz32(res); 2043fcf5ef2aSThomas Huth } else { 2044fcf5ef2aSThomas Huth env->regs[R_ECX] = 16 >> (ctrl & (1 << 0)); 2045fcf5ef2aSThomas Huth } 2046fcf5ef2aSThomas Huth } 2047fcf5ef2aSThomas Huth 2048fcf5ef2aSThomas Huth void glue(helper_pcmpestrm, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2049fcf5ef2aSThomas Huth uint32_t ctrl) 2050fcf5ef2aSThomas Huth { 2051fcf5ef2aSThomas Huth int i; 2052fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2053fcf5ef2aSThomas Huth pcmp_elen(env, R_EDX, ctrl), 2054fcf5ef2aSThomas Huth pcmp_elen(env, R_EAX, ctrl)); 2055fcf5ef2aSThomas Huth 2056fcf5ef2aSThomas Huth if ((ctrl >> 6) & 1) { 2057fcf5ef2aSThomas Huth if (ctrl & 1) { 2058fcf5ef2aSThomas Huth for (i = 0; i < 8; i++, res >>= 1) { 2059fcf5ef2aSThomas Huth env->xmm_regs[0].W(i) = (res & 1) ? ~0 : 0; 2060fcf5ef2aSThomas Huth } 2061fcf5ef2aSThomas Huth } else { 2062fcf5ef2aSThomas Huth for (i = 0; i < 16; i++, res >>= 1) { 2063fcf5ef2aSThomas Huth env->xmm_regs[0].B(i) = (res & 1) ? ~0 : 0; 2064fcf5ef2aSThomas Huth } 2065fcf5ef2aSThomas Huth } 2066fcf5ef2aSThomas Huth } else { 2067fcf5ef2aSThomas Huth env->xmm_regs[0].Q(1) = 0; 2068fcf5ef2aSThomas Huth env->xmm_regs[0].Q(0) = res; 2069fcf5ef2aSThomas Huth } 2070fcf5ef2aSThomas Huth } 2071fcf5ef2aSThomas Huth 2072fcf5ef2aSThomas Huth void glue(helper_pcmpistri, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2073fcf5ef2aSThomas Huth uint32_t ctrl) 2074fcf5ef2aSThomas Huth { 2075fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2076fcf5ef2aSThomas Huth pcmp_ilen(s, ctrl), 2077fcf5ef2aSThomas Huth pcmp_ilen(d, ctrl)); 2078fcf5ef2aSThomas Huth 2079fcf5ef2aSThomas Huth if (res) { 2080fcf5ef2aSThomas Huth env->regs[R_ECX] = (ctrl & (1 << 6)) ? 31 - clz32(res) : ctz32(res); 2081fcf5ef2aSThomas Huth } else { 2082fcf5ef2aSThomas Huth env->regs[R_ECX] = 16 >> (ctrl & (1 << 0)); 2083fcf5ef2aSThomas Huth } 2084fcf5ef2aSThomas Huth } 2085fcf5ef2aSThomas Huth 2086fcf5ef2aSThomas Huth void glue(helper_pcmpistrm, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2087fcf5ef2aSThomas Huth uint32_t ctrl) 2088fcf5ef2aSThomas Huth { 2089fcf5ef2aSThomas Huth int i; 2090fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2091fcf5ef2aSThomas Huth pcmp_ilen(s, ctrl), 2092fcf5ef2aSThomas Huth pcmp_ilen(d, ctrl)); 2093fcf5ef2aSThomas Huth 2094fcf5ef2aSThomas Huth if ((ctrl >> 6) & 1) { 2095fcf5ef2aSThomas Huth if (ctrl & 1) { 2096fcf5ef2aSThomas Huth for (i = 0; i < 8; i++, res >>= 1) { 2097fcf5ef2aSThomas Huth env->xmm_regs[0].W(i) = (res & 1) ? ~0 : 0; 2098fcf5ef2aSThomas Huth } 2099fcf5ef2aSThomas Huth } else { 2100fcf5ef2aSThomas Huth for (i = 0; i < 16; i++, res >>= 1) { 2101fcf5ef2aSThomas Huth env->xmm_regs[0].B(i) = (res & 1) ? ~0 : 0; 2102fcf5ef2aSThomas Huth } 2103fcf5ef2aSThomas Huth } 2104fcf5ef2aSThomas Huth } else { 2105fcf5ef2aSThomas Huth env->xmm_regs[0].Q(1) = 0; 2106fcf5ef2aSThomas Huth env->xmm_regs[0].Q(0) = res; 2107fcf5ef2aSThomas Huth } 2108fcf5ef2aSThomas Huth } 2109fcf5ef2aSThomas Huth 2110fcf5ef2aSThomas Huth #define CRCPOLY 0x1edc6f41 2111fcf5ef2aSThomas Huth #define CRCPOLY_BITREV 0x82f63b78 2112fcf5ef2aSThomas Huth target_ulong helper_crc32(uint32_t crc1, target_ulong msg, uint32_t len) 2113fcf5ef2aSThomas Huth { 2114fcf5ef2aSThomas Huth target_ulong crc = (msg & ((target_ulong) -1 >> 2115fcf5ef2aSThomas Huth (TARGET_LONG_BITS - len))) ^ crc1; 2116fcf5ef2aSThomas Huth 2117fcf5ef2aSThomas Huth while (len--) { 2118fcf5ef2aSThomas Huth crc = (crc >> 1) ^ ((crc & 1) ? CRCPOLY_BITREV : 0); 2119fcf5ef2aSThomas Huth } 2120fcf5ef2aSThomas Huth 2121fcf5ef2aSThomas Huth return crc; 2122fcf5ef2aSThomas Huth } 2123fcf5ef2aSThomas Huth 2124fd17264aSPaul Brook #endif 2125fd17264aSPaul Brook 2126f05f9789SPaolo Bonzini void glue(helper_pclmulqdq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 21275a09df21SPaul Brook uint32_t ctrl) 21285a09df21SPaul Brook { 2129*7fcb5054SRichard Henderson int a_idx = (ctrl & 1) != 0; 2130*7fcb5054SRichard Henderson int b_idx = (ctrl & 16) != 0; 21315a09df21SPaul Brook 2132*7fcb5054SRichard Henderson for (int i = 0; i < SHIFT; i++) { 2133*7fcb5054SRichard Henderson uint64_t a = v->Q(2 * i + a_idx); 2134*7fcb5054SRichard Henderson uint64_t b = s->Q(2 * i + b_idx); 2135*7fcb5054SRichard Henderson Int128 *r = (Int128 *)&d->ZMM_X(i); 2136*7fcb5054SRichard Henderson 2137*7fcb5054SRichard Henderson *r = clmul_64(a, b); 21385a09df21SPaul Brook } 2139fcf5ef2aSThomas Huth } 2140fcf5ef2aSThomas Huth 2141f05f9789SPaolo Bonzini void glue(helper_aesdec, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2142fcf5ef2aSThomas Huth { 214344a0c4a8SRichard Henderson for (int i = 0; i < SHIFT; i++) { 214444a0c4a8SRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(i); 214544a0c4a8SRichard Henderson AESState *st = (AESState *)&v->ZMM_X(i); 214644a0c4a8SRichard Henderson AESState *rk = (AESState *)&s->ZMM_X(i); 2147fcf5ef2aSThomas Huth 214844a0c4a8SRichard Henderson aesdec_ISB_ISR_IMC_AK(ad, st, rk, false); 2149fcf5ef2aSThomas Huth } 2150fcf5ef2aSThomas Huth } 2151fcf5ef2aSThomas Huth 2152f05f9789SPaolo Bonzini void glue(helper_aesdeclast, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2153fcf5ef2aSThomas Huth { 215400b5c7bdSRichard Henderson for (int i = 0; i < SHIFT; i++) { 215500b5c7bdSRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(i); 215600b5c7bdSRichard Henderson AESState *st = (AESState *)&v->ZMM_X(i); 215700b5c7bdSRichard Henderson AESState *rk = (AESState *)&s->ZMM_X(i); 2158fcf5ef2aSThomas Huth 215900b5c7bdSRichard Henderson aesdec_ISB_ISR_AK(ad, st, rk, false); 2160fcf5ef2aSThomas Huth } 2161fcf5ef2aSThomas Huth } 2162fcf5ef2aSThomas Huth 2163f05f9789SPaolo Bonzini void glue(helper_aesenc, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2164fcf5ef2aSThomas Huth { 216503cf414eSRichard Henderson for (int i = 0; i < SHIFT; i++) { 216603cf414eSRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(i); 216703cf414eSRichard Henderson AESState *st = (AESState *)&v->ZMM_X(i); 216803cf414eSRichard Henderson AESState *rk = (AESState *)&s->ZMM_X(i); 2169fcf5ef2aSThomas Huth 217003cf414eSRichard Henderson aesenc_SB_SR_MC_AK(ad, st, rk, false); 2171fcf5ef2aSThomas Huth } 2172fcf5ef2aSThomas Huth } 2173fcf5ef2aSThomas Huth 2174f05f9789SPaolo Bonzini void glue(helper_aesenclast, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2175fcf5ef2aSThomas Huth { 2176cc648f50SRichard Henderson for (int i = 0; i < SHIFT; i++) { 2177cc648f50SRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(i); 2178cc648f50SRichard Henderson AESState *st = (AESState *)&v->ZMM_X(i); 2179cc648f50SRichard Henderson AESState *rk = (AESState *)&s->ZMM_X(i); 2180fcf5ef2aSThomas Huth 2181cc648f50SRichard Henderson aesenc_SB_SR_AK(ad, st, rk, false); 2182a64fc269SPaul Brook } 2183fcf5ef2aSThomas Huth } 2184fcf5ef2aSThomas Huth 2185a64fc269SPaul Brook #if SHIFT == 1 2186fcf5ef2aSThomas Huth void glue(helper_aesimc, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 2187fcf5ef2aSThomas Huth { 21885f40edb7SRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(0); 21895f40edb7SRichard Henderson AESState *st = (AESState *)&s->ZMM_X(0); 2190fcf5ef2aSThomas Huth 21915f40edb7SRichard Henderson aesdec_IMC(ad, st, false); 2192fcf5ef2aSThomas Huth } 2193fcf5ef2aSThomas Huth 2194fcf5ef2aSThomas Huth void glue(helper_aeskeygenassist, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2195fcf5ef2aSThomas Huth uint32_t ctrl) 2196fcf5ef2aSThomas Huth { 2197fcf5ef2aSThomas Huth int i; 2198fcf5ef2aSThomas Huth Reg tmp = *s; 2199fcf5ef2aSThomas Huth 2200fcf5ef2aSThomas Huth for (i = 0 ; i < 4 ; i++) { 2201fcf5ef2aSThomas Huth d->B(i) = AES_sbox[tmp.B(i + 4)]; 2202fcf5ef2aSThomas Huth d->B(i + 8) = AES_sbox[tmp.B(i + 12)]; 2203fcf5ef2aSThomas Huth } 2204fcf5ef2aSThomas Huth d->L(1) = (d->L(0) << 24 | d->L(0) >> 8) ^ ctrl; 2205fcf5ef2aSThomas Huth d->L(3) = (d->L(2) << 24 | d->L(2) >> 8) ^ ctrl; 2206fcf5ef2aSThomas Huth } 2207fcf5ef2aSThomas Huth #endif 2208a64fc269SPaul Brook #endif 2209fcf5ef2aSThomas Huth 221079068477SPaolo Bonzini #if SHIFT >= 1 221116fc5726SPaolo Bonzini void glue(helper_vpermilpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 221216fc5726SPaolo Bonzini { 221316fc5726SPaolo Bonzini uint64_t r0, r1; 221416fc5726SPaolo Bonzini int i; 221516fc5726SPaolo Bonzini 221616fc5726SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i += 2) { 221716fc5726SPaolo Bonzini r0 = v->Q(i + ((s->Q(i) >> 1) & 1)); 221816fc5726SPaolo Bonzini r1 = v->Q(i + ((s->Q(i+1) >> 1) & 1)); 221916fc5726SPaolo Bonzini d->Q(i) = r0; 222016fc5726SPaolo Bonzini d->Q(i+1) = r1; 222116fc5726SPaolo Bonzini } 222216fc5726SPaolo Bonzini } 222316fc5726SPaolo Bonzini 222416fc5726SPaolo Bonzini void glue(helper_vpermilps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 222516fc5726SPaolo Bonzini { 222616fc5726SPaolo Bonzini uint32_t r0, r1, r2, r3; 222716fc5726SPaolo Bonzini int i; 222816fc5726SPaolo Bonzini 222916fc5726SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i += 4) { 223016fc5726SPaolo Bonzini r0 = v->L(i + (s->L(i) & 3)); 223116fc5726SPaolo Bonzini r1 = v->L(i + (s->L(i+1) & 3)); 223216fc5726SPaolo Bonzini r2 = v->L(i + (s->L(i+2) & 3)); 223316fc5726SPaolo Bonzini r3 = v->L(i + (s->L(i+3) & 3)); 223416fc5726SPaolo Bonzini d->L(i) = r0; 223516fc5726SPaolo Bonzini d->L(i+1) = r1; 223616fc5726SPaolo Bonzini d->L(i+2) = r2; 223716fc5726SPaolo Bonzini d->L(i+3) = r3; 223816fc5726SPaolo Bonzini } 223916fc5726SPaolo Bonzini } 224016fc5726SPaolo Bonzini 224179068477SPaolo Bonzini void glue(helper_vpermilpd_imm, SUFFIX)(Reg *d, Reg *s, uint32_t order) 224279068477SPaolo Bonzini { 224379068477SPaolo Bonzini uint64_t r0, r1; 224479068477SPaolo Bonzini int i; 224579068477SPaolo Bonzini 224679068477SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i += 2) { 224779068477SPaolo Bonzini r0 = s->Q(i + ((order >> 0) & 1)); 224879068477SPaolo Bonzini r1 = s->Q(i + ((order >> 1) & 1)); 224979068477SPaolo Bonzini d->Q(i) = r0; 225079068477SPaolo Bonzini d->Q(i+1) = r1; 225179068477SPaolo Bonzini 225279068477SPaolo Bonzini order >>= 2; 225379068477SPaolo Bonzini } 225479068477SPaolo Bonzini } 225579068477SPaolo Bonzini 225679068477SPaolo Bonzini void glue(helper_vpermilps_imm, SUFFIX)(Reg *d, Reg *s, uint32_t order) 225779068477SPaolo Bonzini { 225879068477SPaolo Bonzini uint32_t r0, r1, r2, r3; 225979068477SPaolo Bonzini int i; 226079068477SPaolo Bonzini 226179068477SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i += 4) { 226279068477SPaolo Bonzini r0 = s->L(i + ((order >> 0) & 3)); 226379068477SPaolo Bonzini r1 = s->L(i + ((order >> 2) & 3)); 226479068477SPaolo Bonzini r2 = s->L(i + ((order >> 4) & 3)); 226579068477SPaolo Bonzini r3 = s->L(i + ((order >> 6) & 3)); 226679068477SPaolo Bonzini d->L(i) = r0; 226779068477SPaolo Bonzini d->L(i+1) = r1; 226879068477SPaolo Bonzini d->L(i+2) = r2; 226979068477SPaolo Bonzini d->L(i+3) = r3; 227079068477SPaolo Bonzini } 227179068477SPaolo Bonzini } 227279068477SPaolo Bonzini 227316fc5726SPaolo Bonzini #if SHIFT == 1 227416fc5726SPaolo Bonzini #define FPSRLVD(x, c) (c < 32 ? ((x) >> c) : 0) 227516fc5726SPaolo Bonzini #define FPSRLVQ(x, c) (c < 64 ? ((x) >> c) : 0) 227616fc5726SPaolo Bonzini #define FPSRAVD(x, c) ((int32_t)(x) >> (c < 32 ? c : 31)) 227716fc5726SPaolo Bonzini #define FPSRAVQ(x, c) ((int64_t)(x) >> (c < 64 ? c : 63)) 227816fc5726SPaolo Bonzini #define FPSLLVD(x, c) (c < 32 ? ((x) << c) : 0) 227916fc5726SPaolo Bonzini #define FPSLLVQ(x, c) (c < 64 ? ((x) << c) : 0) 228016fc5726SPaolo Bonzini #endif 228116fc5726SPaolo Bonzini 228216fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsrlvd, FPSRLVD) 228316fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsravd, FPSRAVD) 228416fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsllvd, FPSLLVD) 228516fc5726SPaolo Bonzini 228616fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsrlvq, FPSRLVQ) 228716fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsravq, FPSRAVQ) 228816fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsllvq, FPSLLVQ) 228916fc5726SPaolo Bonzini 229016fc5726SPaolo Bonzini void glue(helper_vtestps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 229116fc5726SPaolo Bonzini { 229216fc5726SPaolo Bonzini uint32_t zf = 0, cf = 0; 229316fc5726SPaolo Bonzini int i; 229416fc5726SPaolo Bonzini 229516fc5726SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i++) { 229616fc5726SPaolo Bonzini zf |= (s->L(i) & d->L(i)); 229716fc5726SPaolo Bonzini cf |= (s->L(i) & ~d->L(i)); 229816fc5726SPaolo Bonzini } 229916fc5726SPaolo Bonzini CC_SRC = ((zf >> 31) ? 0 : CC_Z) | ((cf >> 31) ? 0 : CC_C); 230016fc5726SPaolo Bonzini } 230116fc5726SPaolo Bonzini 230216fc5726SPaolo Bonzini void glue(helper_vtestpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 230316fc5726SPaolo Bonzini { 230416fc5726SPaolo Bonzini uint64_t zf = 0, cf = 0; 230516fc5726SPaolo Bonzini int i; 230616fc5726SPaolo Bonzini 230716fc5726SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i++) { 230816fc5726SPaolo Bonzini zf |= (s->Q(i) & d->Q(i)); 230916fc5726SPaolo Bonzini cf |= (s->Q(i) & ~d->Q(i)); 231016fc5726SPaolo Bonzini } 231116fc5726SPaolo Bonzini CC_SRC = ((zf >> 63) ? 0 : CC_Z) | ((cf >> 63) ? 0 : CC_C); 231216fc5726SPaolo Bonzini } 231316fc5726SPaolo Bonzini 231416fc5726SPaolo Bonzini void glue(helper_vpmaskmovd_st, SUFFIX)(CPUX86State *env, 231516fc5726SPaolo Bonzini Reg *v, Reg *s, target_ulong a0) 231616fc5726SPaolo Bonzini { 231716fc5726SPaolo Bonzini int i; 231816fc5726SPaolo Bonzini 231916fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 232016fc5726SPaolo Bonzini if (v->L(i) >> 31) { 232116fc5726SPaolo Bonzini cpu_stl_data_ra(env, a0 + i * 4, s->L(i), GETPC()); 232216fc5726SPaolo Bonzini } 232316fc5726SPaolo Bonzini } 232416fc5726SPaolo Bonzini } 232516fc5726SPaolo Bonzini 232616fc5726SPaolo Bonzini void glue(helper_vpmaskmovq_st, SUFFIX)(CPUX86State *env, 232716fc5726SPaolo Bonzini Reg *v, Reg *s, target_ulong a0) 232816fc5726SPaolo Bonzini { 232916fc5726SPaolo Bonzini int i; 233016fc5726SPaolo Bonzini 233116fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 233216fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 233316fc5726SPaolo Bonzini cpu_stq_data_ra(env, a0 + i * 8, s->Q(i), GETPC()); 233416fc5726SPaolo Bonzini } 233516fc5726SPaolo Bonzini } 233616fc5726SPaolo Bonzini } 233716fc5726SPaolo Bonzini 233816fc5726SPaolo Bonzini void glue(helper_vpmaskmovd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 233916fc5726SPaolo Bonzini { 234016fc5726SPaolo Bonzini int i; 234116fc5726SPaolo Bonzini 234216fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 234316fc5726SPaolo Bonzini d->L(i) = (v->L(i) >> 31) ? s->L(i) : 0; 234416fc5726SPaolo Bonzini } 234516fc5726SPaolo Bonzini } 234616fc5726SPaolo Bonzini 234716fc5726SPaolo Bonzini void glue(helper_vpmaskmovq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 234816fc5726SPaolo Bonzini { 234916fc5726SPaolo Bonzini int i; 235016fc5726SPaolo Bonzini 235116fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 235216fc5726SPaolo Bonzini d->Q(i) = (v->Q(i) >> 63) ? s->Q(i) : 0; 235316fc5726SPaolo Bonzini } 235416fc5726SPaolo Bonzini } 235516fc5726SPaolo Bonzini 235616fc5726SPaolo Bonzini void glue(helper_vpgatherdd, SUFFIX)(CPUX86State *env, 235716fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 235816fc5726SPaolo Bonzini { 235916fc5726SPaolo Bonzini int i; 236016fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 236116fc5726SPaolo Bonzini if (v->L(i) >> 31) { 236216fc5726SPaolo Bonzini target_ulong addr = a0 236316fc5726SPaolo Bonzini + ((target_ulong)(int32_t)s->L(i) << scale); 236416fc5726SPaolo Bonzini d->L(i) = cpu_ldl_data_ra(env, addr, GETPC()); 236516fc5726SPaolo Bonzini } 236616fc5726SPaolo Bonzini v->L(i) = 0; 236716fc5726SPaolo Bonzini } 236816fc5726SPaolo Bonzini } 236916fc5726SPaolo Bonzini 237016fc5726SPaolo Bonzini void glue(helper_vpgatherdq, SUFFIX)(CPUX86State *env, 237116fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 237216fc5726SPaolo Bonzini { 237316fc5726SPaolo Bonzini int i; 237416fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 237516fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 237616fc5726SPaolo Bonzini target_ulong addr = a0 237716fc5726SPaolo Bonzini + ((target_ulong)(int32_t)s->L(i) << scale); 237816fc5726SPaolo Bonzini d->Q(i) = cpu_ldq_data_ra(env, addr, GETPC()); 237916fc5726SPaolo Bonzini } 238016fc5726SPaolo Bonzini v->Q(i) = 0; 238116fc5726SPaolo Bonzini } 238216fc5726SPaolo Bonzini } 238316fc5726SPaolo Bonzini 238416fc5726SPaolo Bonzini void glue(helper_vpgatherqd, SUFFIX)(CPUX86State *env, 238516fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 238616fc5726SPaolo Bonzini { 238716fc5726SPaolo Bonzini int i; 238816fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 238916fc5726SPaolo Bonzini if (v->L(i) >> 31) { 239016fc5726SPaolo Bonzini target_ulong addr = a0 239116fc5726SPaolo Bonzini + ((target_ulong)(int64_t)s->Q(i) << scale); 239216fc5726SPaolo Bonzini d->L(i) = cpu_ldl_data_ra(env, addr, GETPC()); 239316fc5726SPaolo Bonzini } 239416fc5726SPaolo Bonzini v->L(i) = 0; 239516fc5726SPaolo Bonzini } 239616fc5726SPaolo Bonzini for (i /= 2; i < 1 << SHIFT; i++) { 239716fc5726SPaolo Bonzini d->Q(i) = 0; 239816fc5726SPaolo Bonzini v->Q(i) = 0; 239916fc5726SPaolo Bonzini } 240016fc5726SPaolo Bonzini } 240116fc5726SPaolo Bonzini 240216fc5726SPaolo Bonzini void glue(helper_vpgatherqq, SUFFIX)(CPUX86State *env, 240316fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 240416fc5726SPaolo Bonzini { 240516fc5726SPaolo Bonzini int i; 240616fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 240716fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 240816fc5726SPaolo Bonzini target_ulong addr = a0 240916fc5726SPaolo Bonzini + ((target_ulong)(int64_t)s->Q(i) << scale); 241016fc5726SPaolo Bonzini d->Q(i) = cpu_ldq_data_ra(env, addr, GETPC()); 241116fc5726SPaolo Bonzini } 241216fc5726SPaolo Bonzini v->Q(i) = 0; 241316fc5726SPaolo Bonzini } 241416fc5726SPaolo Bonzini } 241516fc5726SPaolo Bonzini #endif 241616fc5726SPaolo Bonzini 241779068477SPaolo Bonzini #if SHIFT >= 2 241879068477SPaolo Bonzini void helper_vpermdq_ymm(Reg *d, Reg *v, Reg *s, uint32_t order) 241979068477SPaolo Bonzini { 242079068477SPaolo Bonzini uint64_t r0, r1, r2, r3; 242179068477SPaolo Bonzini 242279068477SPaolo Bonzini switch (order & 3) { 242379068477SPaolo Bonzini case 0: 242479068477SPaolo Bonzini r0 = v->Q(0); 242579068477SPaolo Bonzini r1 = v->Q(1); 242679068477SPaolo Bonzini break; 242779068477SPaolo Bonzini case 1: 242879068477SPaolo Bonzini r0 = v->Q(2); 242979068477SPaolo Bonzini r1 = v->Q(3); 243079068477SPaolo Bonzini break; 243179068477SPaolo Bonzini case 2: 243279068477SPaolo Bonzini r0 = s->Q(0); 243379068477SPaolo Bonzini r1 = s->Q(1); 243479068477SPaolo Bonzini break; 243579068477SPaolo Bonzini case 3: 243679068477SPaolo Bonzini r0 = s->Q(2); 243779068477SPaolo Bonzini r1 = s->Q(3); 243879068477SPaolo Bonzini break; 2439c0a6665cSEric Auger default: /* default case added to help the compiler to avoid warnings */ 2440c0a6665cSEric Auger g_assert_not_reached(); 244179068477SPaolo Bonzini } 244279068477SPaolo Bonzini switch ((order >> 4) & 3) { 244379068477SPaolo Bonzini case 0: 244479068477SPaolo Bonzini r2 = v->Q(0); 244579068477SPaolo Bonzini r3 = v->Q(1); 244679068477SPaolo Bonzini break; 244779068477SPaolo Bonzini case 1: 244879068477SPaolo Bonzini r2 = v->Q(2); 244979068477SPaolo Bonzini r3 = v->Q(3); 245079068477SPaolo Bonzini break; 245179068477SPaolo Bonzini case 2: 245279068477SPaolo Bonzini r2 = s->Q(0); 245379068477SPaolo Bonzini r3 = s->Q(1); 245479068477SPaolo Bonzini break; 245579068477SPaolo Bonzini case 3: 245679068477SPaolo Bonzini r2 = s->Q(2); 245779068477SPaolo Bonzini r3 = s->Q(3); 245879068477SPaolo Bonzini break; 2459c0a6665cSEric Auger default: /* default case added to help the compiler to avoid warnings */ 2460c0a6665cSEric Auger g_assert_not_reached(); 246179068477SPaolo Bonzini } 246279068477SPaolo Bonzini d->Q(0) = r0; 246379068477SPaolo Bonzini d->Q(1) = r1; 246479068477SPaolo Bonzini d->Q(2) = r2; 246579068477SPaolo Bonzini d->Q(3) = r3; 2466056d6490SXinyu Li if (order & 0x8) { 2467056d6490SXinyu Li d->Q(0) = 0; 2468056d6490SXinyu Li d->Q(1) = 0; 2469056d6490SXinyu Li } 2470056d6490SXinyu Li if (order & 0x80) { 2471056d6490SXinyu Li d->Q(2) = 0; 2472056d6490SXinyu Li d->Q(3) = 0; 2473056d6490SXinyu Li } 247479068477SPaolo Bonzini } 247579068477SPaolo Bonzini 247679068477SPaolo Bonzini void helper_vpermq_ymm(Reg *d, Reg *s, uint32_t order) 247779068477SPaolo Bonzini { 247879068477SPaolo Bonzini uint64_t r0, r1, r2, r3; 247979068477SPaolo Bonzini r0 = s->Q(order & 3); 248079068477SPaolo Bonzini r1 = s->Q((order >> 2) & 3); 248179068477SPaolo Bonzini r2 = s->Q((order >> 4) & 3); 248279068477SPaolo Bonzini r3 = s->Q((order >> 6) & 3); 248379068477SPaolo Bonzini d->Q(0) = r0; 248479068477SPaolo Bonzini d->Q(1) = r1; 248579068477SPaolo Bonzini d->Q(2) = r2; 248679068477SPaolo Bonzini d->Q(3) = r3; 248779068477SPaolo Bonzini } 248816fc5726SPaolo Bonzini 248916fc5726SPaolo Bonzini void helper_vpermd_ymm(Reg *d, Reg *v, Reg *s) 249016fc5726SPaolo Bonzini { 249116fc5726SPaolo Bonzini uint32_t r[8]; 249216fc5726SPaolo Bonzini int i; 249316fc5726SPaolo Bonzini 249416fc5726SPaolo Bonzini for (i = 0; i < 8; i++) { 249516fc5726SPaolo Bonzini r[i] = s->L(v->L(i) & 7); 249616fc5726SPaolo Bonzini } 249716fc5726SPaolo Bonzini for (i = 0; i < 8; i++) { 249816fc5726SPaolo Bonzini d->L(i) = r[i]; 249916fc5726SPaolo Bonzini } 250016fc5726SPaolo Bonzini } 250179068477SPaolo Bonzini #endif 250279068477SPaolo Bonzini 25032872b0f3SPaolo Bonzini /* FMA3 op helpers */ 25042872b0f3SPaolo Bonzini #if SHIFT == 1 25052872b0f3SPaolo Bonzini #define SSE_HELPER_FMAS(name, elem, F) \ 25062872b0f3SPaolo Bonzini void name(CPUX86State *env, Reg *d, Reg *a, Reg *b, Reg *c, int flags) \ 25072872b0f3SPaolo Bonzini { \ 25082872b0f3SPaolo Bonzini d->elem(0) = F(a->elem(0), b->elem(0), c->elem(0), flags, &env->sse_status); \ 25092872b0f3SPaolo Bonzini } 25102872b0f3SPaolo Bonzini #define SSE_HELPER_FMAP(name, elem, num, F) \ 25112872b0f3SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *a, Reg *b, Reg *c, \ 25122872b0f3SPaolo Bonzini int flags, int flip) \ 25132872b0f3SPaolo Bonzini { \ 25142872b0f3SPaolo Bonzini int i; \ 25152872b0f3SPaolo Bonzini for (i = 0; i < num; i++) { \ 25162872b0f3SPaolo Bonzini d->elem(i) = F(a->elem(i), b->elem(i), c->elem(i), flags, &env->sse_status); \ 25172872b0f3SPaolo Bonzini flags ^= flip; \ 25182872b0f3SPaolo Bonzini } \ 25192872b0f3SPaolo Bonzini } 25202872b0f3SPaolo Bonzini 25212872b0f3SPaolo Bonzini SSE_HELPER_FMAS(helper_fma4ss, ZMM_S, float32_muladd) 25222872b0f3SPaolo Bonzini SSE_HELPER_FMAS(helper_fma4sd, ZMM_D, float64_muladd) 25232872b0f3SPaolo Bonzini #endif 25242872b0f3SPaolo Bonzini 25252872b0f3SPaolo Bonzini #if SHIFT >= 1 25262872b0f3SPaolo Bonzini SSE_HELPER_FMAP(helper_fma4ps, ZMM_S, 2 << SHIFT, float32_muladd) 25272872b0f3SPaolo Bonzini SSE_HELPER_FMAP(helper_fma4pd, ZMM_D, 1 << SHIFT, float64_muladd) 25282872b0f3SPaolo Bonzini #endif 25292872b0f3SPaolo Bonzini 25303403cafeSPaul Brook #undef SSE_HELPER_S 25313403cafeSPaul Brook 2532b98f886cSPaolo Bonzini #undef LANE_WIDTH 2533fcf5ef2aSThomas Huth #undef SHIFT 2534fcf5ef2aSThomas Huth #undef XMM_ONLY 2535fcf5ef2aSThomas Huth #undef Reg 2536fcf5ef2aSThomas Huth #undef B 2537fcf5ef2aSThomas Huth #undef W 2538fcf5ef2aSThomas Huth #undef L 2539fcf5ef2aSThomas Huth #undef Q 2540fcf5ef2aSThomas Huth #undef SUFFIX 2541