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" 22fcf5ef2aSThomas Huth 23fcf5ef2aSThomas Huth #if SHIFT == 0 24fcf5ef2aSThomas Huth #define Reg MMXReg 25fcf5ef2aSThomas Huth #define XMM_ONLY(...) 26fcf5ef2aSThomas Huth #define B(n) MMX_B(n) 27fcf5ef2aSThomas Huth #define W(n) MMX_W(n) 28fcf5ef2aSThomas Huth #define L(n) MMX_L(n) 29fcf5ef2aSThomas Huth #define Q(n) MMX_Q(n) 30fcf5ef2aSThomas Huth #define SUFFIX _mmx 31fcf5ef2aSThomas Huth #else 32fcf5ef2aSThomas Huth #define Reg ZMMReg 33fcf5ef2aSThomas Huth #define XMM_ONLY(...) __VA_ARGS__ 34fcf5ef2aSThomas Huth #define B(n) ZMM_B(n) 35fcf5ef2aSThomas Huth #define W(n) ZMM_W(n) 36fcf5ef2aSThomas Huth #define L(n) ZMM_L(n) 37fcf5ef2aSThomas Huth #define Q(n) ZMM_Q(n) 38b98f886cSPaolo Bonzini #if SHIFT == 1 39fcf5ef2aSThomas Huth #define SUFFIX _xmm 40b98f886cSPaolo Bonzini #else 41b98f886cSPaolo Bonzini #define SUFFIX _ymm 42b98f886cSPaolo Bonzini #endif 43fcf5ef2aSThomas Huth #endif 44fcf5ef2aSThomas Huth 4518592d2eSPaul Brook #define LANE_WIDTH (SHIFT ? 16 : 8) 46d45b0de6SPaul Brook #define PACK_WIDTH (LANE_WIDTH / 2) 4718592d2eSPaul Brook 4818592d2eSPaul Brook #if SHIFT == 0 4918592d2eSPaul Brook #define FPSRL(x, c) ((x) >> shift) 5018592d2eSPaul Brook #define FPSRAW(x, c) ((int16_t)(x) >> shift) 5118592d2eSPaul Brook #define FPSRAL(x, c) ((int32_t)(x) >> shift) 5218592d2eSPaul Brook #define FPSLL(x, c) ((x) << shift) 53fcf5ef2aSThomas Huth #endif 5418592d2eSPaul Brook 55f05f9789SPaolo Bonzini void glue(helper_psrlw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 5618592d2eSPaul Brook { 5718592d2eSPaul Brook int shift; 5818592d2eSPaul Brook if (c->Q(0) > 15) { 5918592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 6018592d2eSPaul Brook d->Q(i) = 0; 6118592d2eSPaul Brook } 62fcf5ef2aSThomas Huth } else { 6318592d2eSPaul Brook shift = c->B(0); 6418592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 6518592d2eSPaul Brook d->W(i) = FPSRL(s->W(i), shift); 6618592d2eSPaul Brook } 67fcf5ef2aSThomas Huth } 68fcf5ef2aSThomas Huth } 69fcf5ef2aSThomas Huth 70f05f9789SPaolo Bonzini void glue(helper_psllw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 71fcf5ef2aSThomas Huth { 72fcf5ef2aSThomas Huth int shift; 7318592d2eSPaul Brook if (c->Q(0) > 15) { 7418592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 7518592d2eSPaul Brook d->Q(i) = 0; 7618592d2eSPaul Brook } 7718592d2eSPaul Brook } else { 7818592d2eSPaul Brook shift = c->B(0); 7918592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 8018592d2eSPaul Brook d->W(i) = FPSLL(s->W(i), shift); 8118592d2eSPaul Brook } 8218592d2eSPaul Brook } 8318592d2eSPaul Brook } 84fcf5ef2aSThomas Huth 85f05f9789SPaolo Bonzini void glue(helper_psraw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 8618592d2eSPaul Brook { 8718592d2eSPaul Brook int shift; 8818592d2eSPaul Brook if (c->Q(0) > 15) { 89fcf5ef2aSThomas Huth shift = 15; 90fcf5ef2aSThomas Huth } else { 9118592d2eSPaul Brook shift = c->B(0); 92fcf5ef2aSThomas Huth } 9318592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 9418592d2eSPaul Brook d->W(i) = FPSRAW(s->W(i), shift); 9518592d2eSPaul Brook } 96fcf5ef2aSThomas Huth } 97fcf5ef2aSThomas Huth 98f05f9789SPaolo Bonzini void glue(helper_psrld, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 99fcf5ef2aSThomas Huth { 100fcf5ef2aSThomas Huth int shift; 10118592d2eSPaul Brook if (c->Q(0) > 31) { 10218592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 10318592d2eSPaul Brook d->Q(i) = 0; 10418592d2eSPaul Brook } 105fcf5ef2aSThomas Huth } else { 10618592d2eSPaul Brook shift = c->B(0); 10718592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 10818592d2eSPaul Brook d->L(i) = FPSRL(s->L(i), shift); 10918592d2eSPaul Brook } 110fcf5ef2aSThomas Huth } 111fcf5ef2aSThomas Huth } 112fcf5ef2aSThomas Huth 113f05f9789SPaolo Bonzini void glue(helper_pslld, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 114fcf5ef2aSThomas Huth { 115fcf5ef2aSThomas Huth int shift; 11618592d2eSPaul Brook if (c->Q(0) > 31) { 11718592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 11818592d2eSPaul Brook d->Q(i) = 0; 11918592d2eSPaul Brook } 120fcf5ef2aSThomas Huth } else { 12118592d2eSPaul Brook shift = c->B(0); 12218592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 12318592d2eSPaul Brook d->L(i) = FPSLL(s->L(i), shift); 12418592d2eSPaul Brook } 125fcf5ef2aSThomas Huth } 126fcf5ef2aSThomas Huth } 127fcf5ef2aSThomas Huth 128f05f9789SPaolo Bonzini void glue(helper_psrad, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 129fcf5ef2aSThomas Huth { 130fcf5ef2aSThomas Huth int shift; 13118592d2eSPaul Brook if (c->Q(0) > 31) { 132fcf5ef2aSThomas Huth shift = 31; 133fcf5ef2aSThomas Huth } else { 13418592d2eSPaul Brook shift = c->B(0); 135fcf5ef2aSThomas Huth } 13618592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 13718592d2eSPaul Brook d->L(i) = FPSRAL(s->L(i), shift); 13818592d2eSPaul Brook } 139fcf5ef2aSThomas Huth } 140fcf5ef2aSThomas Huth 141f05f9789SPaolo Bonzini void glue(helper_psrlq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 142fcf5ef2aSThomas Huth { 143fcf5ef2aSThomas Huth int shift; 14418592d2eSPaul Brook if (c->Q(0) > 63) { 14518592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 14618592d2eSPaul Brook d->Q(i) = 0; 14718592d2eSPaul Brook } 148fcf5ef2aSThomas Huth } else { 14918592d2eSPaul Brook shift = c->B(0); 15018592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 15118592d2eSPaul Brook d->Q(i) = FPSRL(s->Q(i), shift); 15218592d2eSPaul Brook } 153fcf5ef2aSThomas Huth } 154fcf5ef2aSThomas Huth } 155fcf5ef2aSThomas Huth 156f05f9789SPaolo Bonzini void glue(helper_psllq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 157fcf5ef2aSThomas Huth { 158fcf5ef2aSThomas Huth int shift; 15918592d2eSPaul Brook if (c->Q(0) > 63) { 16018592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 16118592d2eSPaul Brook d->Q(i) = 0; 16218592d2eSPaul Brook } 163fcf5ef2aSThomas Huth } else { 16418592d2eSPaul Brook shift = c->B(0); 16518592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 16618592d2eSPaul Brook d->Q(i) = FPSLL(s->Q(i), shift); 16718592d2eSPaul Brook } 168fcf5ef2aSThomas Huth } 169fcf5ef2aSThomas Huth } 170fcf5ef2aSThomas Huth 17118592d2eSPaul Brook #if SHIFT >= 1 172f05f9789SPaolo Bonzini void glue(helper_psrldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 173fcf5ef2aSThomas Huth { 17418592d2eSPaul Brook int shift, i, j; 175fcf5ef2aSThomas Huth 17618592d2eSPaul Brook shift = c->L(0); 177fcf5ef2aSThomas Huth if (shift > 16) { 178fcf5ef2aSThomas Huth shift = 16; 179fcf5ef2aSThomas Huth } 18018592d2eSPaul Brook for (j = 0; j < 8 << SHIFT; j += LANE_WIDTH) { 181fcf5ef2aSThomas Huth for (i = 0; i < 16 - shift; i++) { 18218592d2eSPaul Brook d->B(j + i) = s->B(j + i + shift); 183fcf5ef2aSThomas Huth } 184fcf5ef2aSThomas Huth for (i = 16 - shift; i < 16; i++) { 18518592d2eSPaul Brook d->B(j + i) = 0; 18618592d2eSPaul Brook } 187fcf5ef2aSThomas Huth } 188fcf5ef2aSThomas Huth } 189fcf5ef2aSThomas Huth 190f05f9789SPaolo Bonzini void glue(helper_pslldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 191fcf5ef2aSThomas Huth { 19218592d2eSPaul Brook int shift, i, j; 193fcf5ef2aSThomas Huth 19418592d2eSPaul Brook shift = c->L(0); 195fcf5ef2aSThomas Huth if (shift > 16) { 196fcf5ef2aSThomas Huth shift = 16; 197fcf5ef2aSThomas Huth } 19818592d2eSPaul Brook for (j = 0; j < 8 << SHIFT; j += LANE_WIDTH) { 199fcf5ef2aSThomas Huth for (i = 15; i >= shift; i--) { 20018592d2eSPaul Brook d->B(j + i) = s->B(j + i - shift); 201fcf5ef2aSThomas Huth } 202fcf5ef2aSThomas Huth for (i = 0; i < shift; i++) { 20318592d2eSPaul Brook d->B(j + i) = 0; 20418592d2eSPaul Brook } 205fcf5ef2aSThomas Huth } 206fcf5ef2aSThomas Huth } 207fcf5ef2aSThomas Huth #endif 208fcf5ef2aSThomas Huth 209ee04a3c8SPaul Brook #define SSE_HELPER_1(name, elem, num, F) \ 210fcf5ef2aSThomas Huth void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) \ 211fcf5ef2aSThomas Huth { \ 212ee04a3c8SPaul Brook int n = num; \ 213ee04a3c8SPaul Brook for (int i = 0; i < n; i++) { \ 214ee04a3c8SPaul Brook d->elem(i) = F(s->elem(i)); \ 215ee04a3c8SPaul Brook } \ 216fcf5ef2aSThomas Huth } 217fcf5ef2aSThomas Huth 218ee04a3c8SPaul Brook #define SSE_HELPER_2(name, elem, num, F) \ 219f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 220ee04a3c8SPaul Brook { \ 221ee04a3c8SPaul Brook int n = num; \ 222ee04a3c8SPaul Brook for (int i = 0; i < n; i++) { \ 223ee04a3c8SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i)); \ 224ee04a3c8SPaul Brook } \ 225ee04a3c8SPaul Brook } 226ee04a3c8SPaul Brook 227ee04a3c8SPaul Brook #define SSE_HELPER_B(name, F) \ 228ee04a3c8SPaul Brook SSE_HELPER_2(name, B, 8 << SHIFT, F) 229ee04a3c8SPaul Brook 230fcf5ef2aSThomas Huth #define SSE_HELPER_W(name, F) \ 231ee04a3c8SPaul Brook SSE_HELPER_2(name, W, 4 << SHIFT, F) 232fcf5ef2aSThomas Huth 233fcf5ef2aSThomas Huth #define SSE_HELPER_L(name, F) \ 234ee04a3c8SPaul Brook SSE_HELPER_2(name, L, 2 << SHIFT, F) 235fcf5ef2aSThomas Huth 236fcf5ef2aSThomas Huth #define SSE_HELPER_Q(name, F) \ 237ee04a3c8SPaul Brook SSE_HELPER_2(name, Q, 1 << SHIFT, F) 238fcf5ef2aSThomas Huth 239fcf5ef2aSThomas Huth #if SHIFT == 0 240fcf5ef2aSThomas Huth static inline int satub(int x) 241fcf5ef2aSThomas Huth { 242fcf5ef2aSThomas Huth if (x < 0) { 243fcf5ef2aSThomas Huth return 0; 244fcf5ef2aSThomas Huth } else if (x > 255) { 245fcf5ef2aSThomas Huth return 255; 246fcf5ef2aSThomas Huth } else { 247fcf5ef2aSThomas Huth return x; 248fcf5ef2aSThomas Huth } 249fcf5ef2aSThomas Huth } 250fcf5ef2aSThomas Huth 251fcf5ef2aSThomas Huth static inline int satuw(int x) 252fcf5ef2aSThomas Huth { 253fcf5ef2aSThomas Huth if (x < 0) { 254fcf5ef2aSThomas Huth return 0; 255fcf5ef2aSThomas Huth } else if (x > 65535) { 256fcf5ef2aSThomas Huth return 65535; 257fcf5ef2aSThomas Huth } else { 258fcf5ef2aSThomas Huth return x; 259fcf5ef2aSThomas Huth } 260fcf5ef2aSThomas Huth } 261fcf5ef2aSThomas Huth 262fcf5ef2aSThomas Huth static inline int satsb(int x) 263fcf5ef2aSThomas Huth { 264fcf5ef2aSThomas Huth if (x < -128) { 265fcf5ef2aSThomas Huth return -128; 266fcf5ef2aSThomas Huth } else if (x > 127) { 267fcf5ef2aSThomas Huth return 127; 268fcf5ef2aSThomas Huth } else { 269fcf5ef2aSThomas Huth return x; 270fcf5ef2aSThomas Huth } 271fcf5ef2aSThomas Huth } 272fcf5ef2aSThomas Huth 273fcf5ef2aSThomas Huth static inline int satsw(int x) 274fcf5ef2aSThomas Huth { 275fcf5ef2aSThomas Huth if (x < -32768) { 276fcf5ef2aSThomas Huth return -32768; 277fcf5ef2aSThomas Huth } else if (x > 32767) { 278fcf5ef2aSThomas Huth return 32767; 279fcf5ef2aSThomas Huth } else { 280fcf5ef2aSThomas Huth return x; 281fcf5ef2aSThomas Huth } 282fcf5ef2aSThomas Huth } 283fcf5ef2aSThomas Huth 284fcf5ef2aSThomas Huth #define FADD(a, b) ((a) + (b)) 285fcf5ef2aSThomas Huth #define FADDUB(a, b) satub((a) + (b)) 286fcf5ef2aSThomas Huth #define FADDUW(a, b) satuw((a) + (b)) 287fcf5ef2aSThomas Huth #define FADDSB(a, b) satsb((int8_t)(a) + (int8_t)(b)) 288fcf5ef2aSThomas Huth #define FADDSW(a, b) satsw((int16_t)(a) + (int16_t)(b)) 289fcf5ef2aSThomas Huth 290fcf5ef2aSThomas Huth #define FSUB(a, b) ((a) - (b)) 291fcf5ef2aSThomas Huth #define FSUBUB(a, b) satub((a) - (b)) 292fcf5ef2aSThomas Huth #define FSUBUW(a, b) satuw((a) - (b)) 293fcf5ef2aSThomas Huth #define FSUBSB(a, b) satsb((int8_t)(a) - (int8_t)(b)) 294fcf5ef2aSThomas Huth #define FSUBSW(a, b) satsw((int16_t)(a) - (int16_t)(b)) 295fcf5ef2aSThomas Huth #define FMINUB(a, b) ((a) < (b)) ? (a) : (b) 296fcf5ef2aSThomas Huth #define FMINSW(a, b) ((int16_t)(a) < (int16_t)(b)) ? (a) : (b) 297fcf5ef2aSThomas Huth #define FMAXUB(a, b) ((a) > (b)) ? (a) : (b) 298fcf5ef2aSThomas Huth #define FMAXSW(a, b) ((int16_t)(a) > (int16_t)(b)) ? (a) : (b) 299fcf5ef2aSThomas Huth 300fcf5ef2aSThomas Huth #define FMULHRW(a, b) (((int16_t)(a) * (int16_t)(b) + 0x8000) >> 16) 301fcf5ef2aSThomas Huth #define FMULHUW(a, b) ((a) * (b) >> 16) 302fcf5ef2aSThomas Huth #define FMULHW(a, b) ((int16_t)(a) * (int16_t)(b) >> 16) 303fcf5ef2aSThomas Huth 304fcf5ef2aSThomas Huth #define FAVG(a, b) (((a) + (b) + 1) >> 1) 305fcf5ef2aSThomas Huth #endif 306fcf5ef2aSThomas Huth 307fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhuw, FMULHUW) 308fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhw, FMULHW) 309fcf5ef2aSThomas Huth 310f05f9789SPaolo Bonzini #if SHIFT == 0 311f05f9789SPaolo Bonzini void glue(helper_pmulhrw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 312f05f9789SPaolo Bonzini { 313f05f9789SPaolo Bonzini d->W(0) = FMULHRW(d->W(0), s->W(0)); 314f05f9789SPaolo Bonzini d->W(1) = FMULHRW(d->W(1), s->W(1)); 315f05f9789SPaolo Bonzini d->W(2) = FMULHRW(d->W(2), s->W(2)); 316f05f9789SPaolo Bonzini d->W(3) = FMULHRW(d->W(3), s->W(3)); 317f05f9789SPaolo Bonzini } 318f05f9789SPaolo Bonzini #endif 319f05f9789SPaolo Bonzini 320fcf5ef2aSThomas Huth SSE_HELPER_B(helper_pavgb, FAVG) 321fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pavgw, FAVG) 322fcf5ef2aSThomas Huth 323f05f9789SPaolo Bonzini void glue(helper_pmuludq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 324fcf5ef2aSThomas Huth { 325e894bae8SPaul Brook int i; 326e894bae8SPaul Brook 327e894bae8SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 328e894bae8SPaul Brook d->Q(i) = (uint64_t)s->L(i * 2) * (uint64_t)v->L(i * 2); 329e894bae8SPaul Brook } 330fcf5ef2aSThomas Huth } 331fcf5ef2aSThomas Huth 332f05f9789SPaolo Bonzini void glue(helper_pmaddwd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 333fcf5ef2aSThomas Huth { 334fcf5ef2aSThomas Huth int i; 335fcf5ef2aSThomas Huth 336fcf5ef2aSThomas Huth for (i = 0; i < (2 << SHIFT); i++) { 337e894bae8SPaul Brook d->L(i) = (int16_t)s->W(2 * i) * (int16_t)v->W(2 * i) + 338e894bae8SPaul Brook (int16_t)s->W(2 * i + 1) * (int16_t)v->W(2 * i + 1); 339fcf5ef2aSThomas Huth } 340fcf5ef2aSThomas Huth } 341fcf5ef2aSThomas Huth 342fcf5ef2aSThomas Huth #if SHIFT == 0 343fcf5ef2aSThomas Huth static inline int abs1(int a) 344fcf5ef2aSThomas Huth { 345fcf5ef2aSThomas Huth if (a < 0) { 346fcf5ef2aSThomas Huth return -a; 347fcf5ef2aSThomas Huth } else { 348fcf5ef2aSThomas Huth return a; 349fcf5ef2aSThomas Huth } 350fcf5ef2aSThomas Huth } 351fcf5ef2aSThomas Huth #endif 352f05f9789SPaolo Bonzini void glue(helper_psadbw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 353fcf5ef2aSThomas Huth { 354e894bae8SPaul Brook int i; 355fcf5ef2aSThomas Huth 356e894bae8SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 357e894bae8SPaul Brook unsigned int val = 0; 358e894bae8SPaul Brook val += abs1(v->B(8 * i + 0) - s->B(8 * i + 0)); 359e894bae8SPaul Brook val += abs1(v->B(8 * i + 1) - s->B(8 * i + 1)); 360e894bae8SPaul Brook val += abs1(v->B(8 * i + 2) - s->B(8 * i + 2)); 361e894bae8SPaul Brook val += abs1(v->B(8 * i + 3) - s->B(8 * i + 3)); 362e894bae8SPaul Brook val += abs1(v->B(8 * i + 4) - s->B(8 * i + 4)); 363e894bae8SPaul Brook val += abs1(v->B(8 * i + 5) - s->B(8 * i + 5)); 364e894bae8SPaul Brook val += abs1(v->B(8 * i + 6) - s->B(8 * i + 6)); 365e894bae8SPaul Brook val += abs1(v->B(8 * i + 7) - s->B(8 * i + 7)); 366e894bae8SPaul Brook d->Q(i) = val; 367e894bae8SPaul Brook } 368fcf5ef2aSThomas Huth } 369fcf5ef2aSThomas Huth 370fd17264aSPaul Brook #if SHIFT < 2 371fcf5ef2aSThomas Huth void glue(helper_maskmov, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 372fcf5ef2aSThomas Huth target_ulong a0) 373fcf5ef2aSThomas Huth { 374fcf5ef2aSThomas Huth int i; 375fcf5ef2aSThomas Huth 376fcf5ef2aSThomas Huth for (i = 0; i < (8 << SHIFT); i++) { 377fcf5ef2aSThomas Huth if (s->B(i) & 0x80) { 378fcf5ef2aSThomas Huth cpu_stb_data_ra(env, a0 + i, d->B(i), GETPC()); 379fcf5ef2aSThomas Huth } 380fcf5ef2aSThomas Huth } 381fcf5ef2aSThomas Huth } 382fd17264aSPaul Brook #endif 383fcf5ef2aSThomas Huth 384d45b0de6SPaul Brook #define SHUFFLE4(F, a, b, offset) do { \ 385d45b0de6SPaul Brook r0 = a->F((order & 3) + offset); \ 386d45b0de6SPaul Brook r1 = a->F(((order >> 2) & 3) + offset); \ 387d45b0de6SPaul Brook r2 = b->F(((order >> 4) & 3) + offset); \ 388d45b0de6SPaul Brook r3 = b->F(((order >> 6) & 3) + offset); \ 389d45b0de6SPaul Brook d->F(offset) = r0; \ 390d45b0de6SPaul Brook d->F(offset + 1) = r1; \ 391d45b0de6SPaul Brook d->F(offset + 2) = r2; \ 392d45b0de6SPaul Brook d->F(offset + 3) = r3; \ 393d45b0de6SPaul Brook } while (0) 394d45b0de6SPaul Brook 395fcf5ef2aSThomas Huth #if SHIFT == 0 396fcf5ef2aSThomas Huth void glue(helper_pshufw, SUFFIX)(Reg *d, Reg *s, int order) 397fcf5ef2aSThomas Huth { 398d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 399fcf5ef2aSThomas Huth 400d45b0de6SPaul Brook SHUFFLE4(W, s, s, 0); 401fcf5ef2aSThomas Huth } 402fcf5ef2aSThomas Huth #else 403f05f9789SPaolo Bonzini void glue(helper_shufps, SUFFIX)(Reg *d, Reg *v, Reg *s, int order) 404fcf5ef2aSThomas Huth { 405d45b0de6SPaul Brook uint32_t r0, r1, r2, r3; 406d45b0de6SPaul Brook int i; 407fcf5ef2aSThomas Huth 408d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 409d45b0de6SPaul Brook SHUFFLE4(L, v, s, i); 410d45b0de6SPaul Brook } 411fcf5ef2aSThomas Huth } 412fcf5ef2aSThomas Huth 413f05f9789SPaolo Bonzini void glue(helper_shufpd, SUFFIX)(Reg *d, Reg *v, Reg *s, int order) 414fcf5ef2aSThomas Huth { 415d45b0de6SPaul Brook uint64_t r0, r1; 416d45b0de6SPaul Brook int i; 417fcf5ef2aSThomas Huth 418d45b0de6SPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { 419d45b0de6SPaul Brook r0 = v->Q(((order & 1) & 1) + i); 420d45b0de6SPaul Brook r1 = s->Q(((order >> 1) & 1) + i); 421d45b0de6SPaul Brook d->Q(i) = r0; 422d45b0de6SPaul Brook d->Q(i + 1) = r1; 423d45b0de6SPaul Brook order >>= 2; 424d45b0de6SPaul Brook } 425fcf5ef2aSThomas Huth } 426fcf5ef2aSThomas Huth 427fcf5ef2aSThomas Huth void glue(helper_pshufd, SUFFIX)(Reg *d, Reg *s, int order) 428fcf5ef2aSThomas Huth { 429d45b0de6SPaul Brook uint32_t r0, r1, r2, r3; 430d45b0de6SPaul Brook int i; 431fcf5ef2aSThomas Huth 432d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 433d45b0de6SPaul Brook SHUFFLE4(L, s, s, i); 434d45b0de6SPaul Brook } 435fcf5ef2aSThomas Huth } 436fcf5ef2aSThomas Huth 437fcf5ef2aSThomas Huth void glue(helper_pshuflw, SUFFIX)(Reg *d, Reg *s, int order) 438fcf5ef2aSThomas Huth { 439d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 440d45b0de6SPaul Brook int i, j; 441fcf5ef2aSThomas Huth 442d45b0de6SPaul Brook for (i = 0, j = 1; j < 1 << SHIFT; i += 8, j += 2) { 443d45b0de6SPaul Brook SHUFFLE4(W, s, s, i); 444d45b0de6SPaul Brook d->Q(j) = s->Q(j); 445d45b0de6SPaul Brook } 446fcf5ef2aSThomas Huth } 447fcf5ef2aSThomas Huth 448fcf5ef2aSThomas Huth void glue(helper_pshufhw, SUFFIX)(Reg *d, Reg *s, int order) 449fcf5ef2aSThomas Huth { 450d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 451d45b0de6SPaul Brook int i, j; 452fcf5ef2aSThomas Huth 453d45b0de6SPaul Brook for (i = 4, j = 0; j < 1 << SHIFT; i += 8, j += 2) { 454d45b0de6SPaul Brook d->Q(j) = s->Q(j); 455d45b0de6SPaul Brook SHUFFLE4(W, s, s, i); 456d45b0de6SPaul Brook } 457fcf5ef2aSThomas Huth } 458fcf5ef2aSThomas Huth #endif 459fcf5ef2aSThomas Huth 4603403cafeSPaul Brook #if SHIFT >= 1 461fcf5ef2aSThomas Huth /* FPU ops */ 462fcf5ef2aSThomas Huth /* XXX: not accurate */ 463fcf5ef2aSThomas Huth 4643403cafeSPaul Brook #define SSE_HELPER_P(name, F) \ 4653403cafeSPaul Brook void glue(helper_ ## name ## ps, SUFFIX)(CPUX86State *env, \ 466f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 467fcf5ef2aSThomas Huth { \ 4683403cafeSPaul Brook int i; \ 4693403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 4703403cafeSPaul Brook d->ZMM_S(i) = F(32, v->ZMM_S(i), s->ZMM_S(i)); \ 471fcf5ef2aSThomas Huth } \ 4723403cafeSPaul Brook } \ 4733403cafeSPaul Brook \ 4743403cafeSPaul Brook void glue(helper_ ## name ## pd, SUFFIX)(CPUX86State *env, \ 475f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 4763403cafeSPaul Brook { \ 4773403cafeSPaul Brook int i; \ 4783403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 4793403cafeSPaul Brook d->ZMM_D(i) = F(64, v->ZMM_D(i), s->ZMM_D(i)); \ 4803403cafeSPaul Brook } \ 4813403cafeSPaul Brook } 4823403cafeSPaul Brook 4833403cafeSPaul Brook #if SHIFT == 1 4843403cafeSPaul Brook 4853403cafeSPaul Brook #define SSE_HELPER_S(name, F) \ 4863403cafeSPaul Brook SSE_HELPER_P(name, F) \ 487fcf5ef2aSThomas Huth \ 488f05f9789SPaolo Bonzini void helper_ ## name ## ss(CPUX86State *env, Reg *d, Reg *v, Reg *s)\ 489fcf5ef2aSThomas Huth { \ 4901de9e7e6SPaolo Bonzini int i; \ 4913403cafeSPaul Brook d->ZMM_S(0) = F(32, v->ZMM_S(0), s->ZMM_S(0)); \ 4921de9e7e6SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { \ 4931de9e7e6SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); \ 4941de9e7e6SPaolo Bonzini } \ 495fcf5ef2aSThomas Huth } \ 496fcf5ef2aSThomas Huth \ 497f05f9789SPaolo Bonzini void helper_ ## name ## sd(CPUX86State *env, Reg *d, Reg *v, Reg *s)\ 498fcf5ef2aSThomas Huth { \ 4991de9e7e6SPaolo Bonzini int i; \ 5003403cafeSPaul Brook d->ZMM_D(0) = F(64, v->ZMM_D(0), s->ZMM_D(0)); \ 5011de9e7e6SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { \ 5021de9e7e6SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); \ 5031de9e7e6SPaolo Bonzini } \ 504fcf5ef2aSThomas Huth } 505fcf5ef2aSThomas Huth 5063403cafeSPaul Brook #else 5073403cafeSPaul Brook 5083403cafeSPaul Brook #define SSE_HELPER_S(name, F) SSE_HELPER_P(name, F) 5093403cafeSPaul Brook 5103403cafeSPaul Brook #endif 5113403cafeSPaul Brook 512fcf5ef2aSThomas Huth #define FPU_ADD(size, a, b) float ## size ## _add(a, b, &env->sse_status) 513fcf5ef2aSThomas Huth #define FPU_SUB(size, a, b) float ## size ## _sub(a, b, &env->sse_status) 514fcf5ef2aSThomas Huth #define FPU_MUL(size, a, b) float ## size ## _mul(a, b, &env->sse_status) 515fcf5ef2aSThomas Huth #define FPU_DIV(size, a, b) float ## size ## _div(a, b, &env->sse_status) 516fcf5ef2aSThomas Huth 517fcf5ef2aSThomas Huth /* Note that the choice of comparison op here is important to get the 518fcf5ef2aSThomas Huth * special cases right: for min and max Intel specifies that (-0,0), 519fcf5ef2aSThomas Huth * (NaN, anything) and (anything, NaN) return the second argument. 520fcf5ef2aSThomas Huth */ 521fcf5ef2aSThomas Huth #define FPU_MIN(size, a, b) \ 522fcf5ef2aSThomas Huth (float ## size ## _lt(a, b, &env->sse_status) ? (a) : (b)) 523fcf5ef2aSThomas Huth #define FPU_MAX(size, a, b) \ 524fcf5ef2aSThomas Huth (float ## size ## _lt(b, a, &env->sse_status) ? (a) : (b)) 525fcf5ef2aSThomas Huth 526fcf5ef2aSThomas Huth SSE_HELPER_S(add, FPU_ADD) 527fcf5ef2aSThomas Huth SSE_HELPER_S(sub, FPU_SUB) 528fcf5ef2aSThomas Huth SSE_HELPER_S(mul, FPU_MUL) 529fcf5ef2aSThomas Huth SSE_HELPER_S(div, FPU_DIV) 530fcf5ef2aSThomas Huth SSE_HELPER_S(min, FPU_MIN) 531fcf5ef2aSThomas Huth SSE_HELPER_S(max, FPU_MAX) 532fcf5ef2aSThomas Huth 5333403cafeSPaul Brook void glue(helper_sqrtps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 5343403cafeSPaul Brook { 5353403cafeSPaul Brook int i; 5363403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 5373403cafeSPaul Brook d->ZMM_S(i) = float32_sqrt(s->ZMM_S(i), &env->sse_status); 5383403cafeSPaul Brook } 5393403cafeSPaul Brook } 5403403cafeSPaul Brook 5413403cafeSPaul Brook void glue(helper_sqrtpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 5423403cafeSPaul Brook { 5433403cafeSPaul Brook int i; 5443403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 5453403cafeSPaul Brook d->ZMM_D(i) = float64_sqrt(s->ZMM_D(i), &env->sse_status); 5463403cafeSPaul Brook } 5473403cafeSPaul Brook } 5483403cafeSPaul Brook 5493403cafeSPaul Brook #if SHIFT == 1 550620f7556SPaolo Bonzini void helper_sqrtss(CPUX86State *env, Reg *d, Reg *v, Reg *s) 5513403cafeSPaul Brook { 552620f7556SPaolo Bonzini int i; 5533403cafeSPaul Brook d->ZMM_S(0) = float32_sqrt(s->ZMM_S(0), &env->sse_status); 554620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 555620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 556620f7556SPaolo Bonzini } 5573403cafeSPaul Brook } 5583403cafeSPaul Brook 559620f7556SPaolo Bonzini void helper_sqrtsd(CPUX86State *env, Reg *d, Reg *v, Reg *s) 5603403cafeSPaul Brook { 561620f7556SPaolo Bonzini int i; 5623403cafeSPaul Brook d->ZMM_D(0) = float64_sqrt(s->ZMM_D(0), &env->sse_status); 563620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 564620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 565620f7556SPaolo Bonzini } 5663403cafeSPaul Brook } 5673403cafeSPaul Brook #endif 568fcf5ef2aSThomas Huth 569fcf5ef2aSThomas Huth /* float to float conversions */ 570ce4fa29fSPaolo Bonzini void glue(helper_cvtps2pd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 571fcf5ef2aSThomas Huth { 572fd17264aSPaul Brook int i; 573fd17264aSPaul Brook for (i = 1 << SHIFT; --i >= 0; ) { 574fd17264aSPaul Brook d->ZMM_D(i) = float32_to_float64(s->ZMM_S(i), &env->sse_status); 575fd17264aSPaul Brook } 576fcf5ef2aSThomas Huth } 577fcf5ef2aSThomas Huth 578ce4fa29fSPaolo Bonzini void glue(helper_cvtpd2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 579fcf5ef2aSThomas Huth { 580fd17264aSPaul Brook int i; 581fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 582fd17264aSPaul Brook d->ZMM_S(i) = float64_to_float32(s->ZMM_D(i), &env->sse_status); 583fd17264aSPaul Brook } 584fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 585fd17264aSPaul Brook d->Q(i) = 0; 586fd17264aSPaul Brook } 587fcf5ef2aSThomas Huth } 588fcf5ef2aSThomas Huth 589cf5ec664SPaolo Bonzini #if SHIFT >= 1 590cf5ec664SPaolo Bonzini void glue(helper_cvtph2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 591cf5ec664SPaolo Bonzini { 592cf5ec664SPaolo Bonzini int i; 593cf5ec664SPaolo Bonzini 594cf5ec664SPaolo Bonzini for (i = 2 << SHIFT; --i >= 0; ) { 595cf5ec664SPaolo Bonzini d->ZMM_S(i) = float16_to_float32(s->ZMM_H(i), true, &env->sse_status); 596cf5ec664SPaolo Bonzini } 597cf5ec664SPaolo Bonzini } 598cf5ec664SPaolo Bonzini 599cf5ec664SPaolo Bonzini void glue(helper_cvtps2ph, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, int mode) 600cf5ec664SPaolo Bonzini { 601cf5ec664SPaolo Bonzini int i; 602cf5ec664SPaolo Bonzini FloatRoundMode prev_rounding_mode = env->sse_status.float_rounding_mode; 603cf5ec664SPaolo Bonzini if (!(mode & (1 << 2))) { 604cf5ec664SPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 605cf5ec664SPaolo Bonzini } 606cf5ec664SPaolo Bonzini 607cf5ec664SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i++) { 608cf5ec664SPaolo Bonzini d->ZMM_H(i) = float32_to_float16(s->ZMM_S(i), true, &env->sse_status); 609cf5ec664SPaolo Bonzini } 610cf5ec664SPaolo Bonzini for (i >>= 2; i < 1 << SHIFT; i++) { 611cf5ec664SPaolo Bonzini d->Q(i) = 0; 612cf5ec664SPaolo Bonzini } 613cf5ec664SPaolo Bonzini 614cf5ec664SPaolo Bonzini env->sse_status.float_rounding_mode = prev_rounding_mode; 615cf5ec664SPaolo Bonzini } 616cf5ec664SPaolo Bonzini #endif 617cf5ec664SPaolo Bonzini 618fd17264aSPaul Brook #if SHIFT == 1 619620f7556SPaolo Bonzini void helper_cvtss2sd(CPUX86State *env, Reg *d, Reg *v, Reg *s) 620fcf5ef2aSThomas Huth { 621620f7556SPaolo Bonzini int i; 622fcf5ef2aSThomas Huth d->ZMM_D(0) = float32_to_float64(s->ZMM_S(0), &env->sse_status); 623620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 624620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 625620f7556SPaolo Bonzini } 626fcf5ef2aSThomas Huth } 627fcf5ef2aSThomas Huth 628620f7556SPaolo Bonzini void helper_cvtsd2ss(CPUX86State *env, Reg *d, Reg *v, Reg *s) 629fcf5ef2aSThomas Huth { 630620f7556SPaolo Bonzini int i; 631fcf5ef2aSThomas Huth d->ZMM_S(0) = float64_to_float32(s->ZMM_D(0), &env->sse_status); 632620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 633620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 634620f7556SPaolo Bonzini } 635fcf5ef2aSThomas Huth } 636fd17264aSPaul Brook #endif 637fcf5ef2aSThomas Huth 638fcf5ef2aSThomas Huth /* integer to float */ 639ce4fa29fSPaolo Bonzini void glue(helper_cvtdq2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 640fcf5ef2aSThomas Huth { 641fd17264aSPaul Brook int i; 642fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 643fd17264aSPaul Brook d->ZMM_S(i) = int32_to_float32(s->ZMM_L(i), &env->sse_status); 644fd17264aSPaul Brook } 645fcf5ef2aSThomas Huth } 646fcf5ef2aSThomas Huth 647ce4fa29fSPaolo Bonzini void glue(helper_cvtdq2pd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 648fcf5ef2aSThomas Huth { 649fd17264aSPaul Brook int i; 650fd17264aSPaul Brook for (i = 1 << SHIFT; --i >= 0; ) { 651fd17264aSPaul Brook int32_t l = s->ZMM_L(i); 652fd17264aSPaul Brook d->ZMM_D(i) = int32_to_float64(l, &env->sse_status); 653fd17264aSPaul Brook } 654fcf5ef2aSThomas Huth } 655fcf5ef2aSThomas Huth 656fd17264aSPaul Brook #if SHIFT == 1 657fcf5ef2aSThomas Huth void helper_cvtpi2ps(CPUX86State *env, ZMMReg *d, MMXReg *s) 658fcf5ef2aSThomas Huth { 659fcf5ef2aSThomas Huth d->ZMM_S(0) = int32_to_float32(s->MMX_L(0), &env->sse_status); 660fcf5ef2aSThomas Huth d->ZMM_S(1) = int32_to_float32(s->MMX_L(1), &env->sse_status); 661fcf5ef2aSThomas Huth } 662fcf5ef2aSThomas Huth 663fcf5ef2aSThomas Huth void helper_cvtpi2pd(CPUX86State *env, ZMMReg *d, MMXReg *s) 664fcf5ef2aSThomas Huth { 665fcf5ef2aSThomas Huth d->ZMM_D(0) = int32_to_float64(s->MMX_L(0), &env->sse_status); 666fcf5ef2aSThomas Huth d->ZMM_D(1) = int32_to_float64(s->MMX_L(1), &env->sse_status); 667fcf5ef2aSThomas Huth } 668fcf5ef2aSThomas Huth 669fcf5ef2aSThomas Huth void helper_cvtsi2ss(CPUX86State *env, ZMMReg *d, uint32_t val) 670fcf5ef2aSThomas Huth { 671fcf5ef2aSThomas Huth d->ZMM_S(0) = int32_to_float32(val, &env->sse_status); 672fcf5ef2aSThomas Huth } 673fcf5ef2aSThomas Huth 674fcf5ef2aSThomas Huth void helper_cvtsi2sd(CPUX86State *env, ZMMReg *d, uint32_t val) 675fcf5ef2aSThomas Huth { 676fcf5ef2aSThomas Huth d->ZMM_D(0) = int32_to_float64(val, &env->sse_status); 677fcf5ef2aSThomas Huth } 678fcf5ef2aSThomas Huth 679fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 680fcf5ef2aSThomas Huth void helper_cvtsq2ss(CPUX86State *env, ZMMReg *d, uint64_t val) 681fcf5ef2aSThomas Huth { 682fcf5ef2aSThomas Huth d->ZMM_S(0) = int64_to_float32(val, &env->sse_status); 683fcf5ef2aSThomas Huth } 684fcf5ef2aSThomas Huth 685fcf5ef2aSThomas Huth void helper_cvtsq2sd(CPUX86State *env, ZMMReg *d, uint64_t val) 686fcf5ef2aSThomas Huth { 687fcf5ef2aSThomas Huth d->ZMM_D(0) = int64_to_float64(val, &env->sse_status); 688fcf5ef2aSThomas Huth } 689fcf5ef2aSThomas Huth #endif 690fcf5ef2aSThomas Huth 691fd17264aSPaul Brook #endif 692fd17264aSPaul Brook 693fcf5ef2aSThomas Huth /* float to integer */ 6941e8a98b5SPeter Maydell 695fd17264aSPaul Brook #if SHIFT == 1 6961e8a98b5SPeter Maydell /* 6971e8a98b5SPeter Maydell * x86 mandates that we return the indefinite integer value for the result 6981e8a98b5SPeter Maydell * of any float-to-integer conversion that raises the 'invalid' exception. 6991e8a98b5SPeter Maydell * Wrap the softfloat functions to get this behaviour. 7001e8a98b5SPeter Maydell */ 7011e8a98b5SPeter Maydell #define WRAP_FLOATCONV(RETTYPE, FN, FLOATTYPE, INDEFVALUE) \ 7021e8a98b5SPeter Maydell static inline RETTYPE x86_##FN(FLOATTYPE a, float_status *s) \ 7031e8a98b5SPeter Maydell { \ 7041e8a98b5SPeter Maydell int oldflags, newflags; \ 7051e8a98b5SPeter Maydell RETTYPE r; \ 7061e8a98b5SPeter Maydell \ 7071e8a98b5SPeter Maydell oldflags = get_float_exception_flags(s); \ 7081e8a98b5SPeter Maydell set_float_exception_flags(0, s); \ 7091e8a98b5SPeter Maydell r = FN(a, s); \ 7101e8a98b5SPeter Maydell newflags = get_float_exception_flags(s); \ 7111e8a98b5SPeter Maydell if (newflags & float_flag_invalid) { \ 7121e8a98b5SPeter Maydell r = INDEFVALUE; \ 7131e8a98b5SPeter Maydell } \ 7141e8a98b5SPeter Maydell set_float_exception_flags(newflags | oldflags, s); \ 7151e8a98b5SPeter Maydell return r; \ 7161e8a98b5SPeter Maydell } 7171e8a98b5SPeter Maydell 7181e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float32_to_int32, float32, INT32_MIN) 7191e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float32_to_int32_round_to_zero, float32, INT32_MIN) 7201e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float64_to_int32, float64, INT32_MIN) 7211e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float64_to_int32_round_to_zero, float64, INT32_MIN) 7221e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float32_to_int64, float32, INT64_MIN) 7231e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float32_to_int64_round_to_zero, float32, INT64_MIN) 7241e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float64_to_int64, float64, INT64_MIN) 7251e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float64_to_int64_round_to_zero, float64, INT64_MIN) 726fd17264aSPaul Brook #endif 7271e8a98b5SPeter Maydell 728ce4fa29fSPaolo Bonzini void glue(helper_cvtps2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 729fcf5ef2aSThomas Huth { 730fd17264aSPaul Brook int i; 731fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 732fd17264aSPaul Brook d->ZMM_L(i) = x86_float32_to_int32(s->ZMM_S(i), &env->sse_status); 733fd17264aSPaul Brook } 734fcf5ef2aSThomas Huth } 735fcf5ef2aSThomas Huth 736ce4fa29fSPaolo Bonzini void glue(helper_cvtpd2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 737fcf5ef2aSThomas Huth { 738fd17264aSPaul Brook int i; 739fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 740fd17264aSPaul Brook d->ZMM_L(i) = x86_float64_to_int32(s->ZMM_D(i), &env->sse_status); 741fd17264aSPaul Brook } 742fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 743fd17264aSPaul Brook d->Q(i) = 0; 744fd17264aSPaul Brook } 745fcf5ef2aSThomas Huth } 746fcf5ef2aSThomas Huth 747fd17264aSPaul Brook #if SHIFT == 1 748fcf5ef2aSThomas Huth void helper_cvtps2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 749fcf5ef2aSThomas Huth { 7501e8a98b5SPeter Maydell d->MMX_L(0) = x86_float32_to_int32(s->ZMM_S(0), &env->sse_status); 7511e8a98b5SPeter Maydell d->MMX_L(1) = x86_float32_to_int32(s->ZMM_S(1), &env->sse_status); 752fcf5ef2aSThomas Huth } 753fcf5ef2aSThomas Huth 754fcf5ef2aSThomas Huth void helper_cvtpd2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 755fcf5ef2aSThomas Huth { 7561e8a98b5SPeter Maydell d->MMX_L(0) = x86_float64_to_int32(s->ZMM_D(0), &env->sse_status); 7571e8a98b5SPeter Maydell d->MMX_L(1) = x86_float64_to_int32(s->ZMM_D(1), &env->sse_status); 758fcf5ef2aSThomas Huth } 759fcf5ef2aSThomas Huth 760fcf5ef2aSThomas Huth int32_t helper_cvtss2si(CPUX86State *env, ZMMReg *s) 761fcf5ef2aSThomas Huth { 7621e8a98b5SPeter Maydell return x86_float32_to_int32(s->ZMM_S(0), &env->sse_status); 763fcf5ef2aSThomas Huth } 764fcf5ef2aSThomas Huth 765fcf5ef2aSThomas Huth int32_t helper_cvtsd2si(CPUX86State *env, ZMMReg *s) 766fcf5ef2aSThomas Huth { 7671e8a98b5SPeter Maydell return x86_float64_to_int32(s->ZMM_D(0), &env->sse_status); 768fcf5ef2aSThomas Huth } 769fcf5ef2aSThomas Huth 770fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 771fcf5ef2aSThomas Huth int64_t helper_cvtss2sq(CPUX86State *env, ZMMReg *s) 772fcf5ef2aSThomas Huth { 7731e8a98b5SPeter Maydell return x86_float32_to_int64(s->ZMM_S(0), &env->sse_status); 774fcf5ef2aSThomas Huth } 775fcf5ef2aSThomas Huth 776fcf5ef2aSThomas Huth int64_t helper_cvtsd2sq(CPUX86State *env, ZMMReg *s) 777fcf5ef2aSThomas Huth { 7781e8a98b5SPeter Maydell return x86_float64_to_int64(s->ZMM_D(0), &env->sse_status); 779fcf5ef2aSThomas Huth } 780fcf5ef2aSThomas Huth #endif 781fd17264aSPaul Brook #endif 782fcf5ef2aSThomas Huth 783fcf5ef2aSThomas Huth /* float to integer truncated */ 784ce4fa29fSPaolo Bonzini void glue(helper_cvttps2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 785fcf5ef2aSThomas Huth { 786fd17264aSPaul Brook int i; 787fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 788fd17264aSPaul Brook d->ZMM_L(i) = x86_float32_to_int32_round_to_zero(s->ZMM_S(i), 789fd17264aSPaul Brook &env->sse_status); 790fd17264aSPaul Brook } 791fcf5ef2aSThomas Huth } 792fcf5ef2aSThomas Huth 793ce4fa29fSPaolo Bonzini void glue(helper_cvttpd2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 794fcf5ef2aSThomas Huth { 795fd17264aSPaul Brook int i; 796fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 797fd17264aSPaul Brook d->ZMM_L(i) = x86_float64_to_int32_round_to_zero(s->ZMM_D(i), 798fd17264aSPaul Brook &env->sse_status); 799fd17264aSPaul Brook } 800fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 801fd17264aSPaul Brook d->Q(i) = 0; 802fd17264aSPaul Brook } 803fcf5ef2aSThomas Huth } 804fcf5ef2aSThomas Huth 805fd17264aSPaul Brook #if SHIFT == 1 806fcf5ef2aSThomas Huth void helper_cvttps2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 807fcf5ef2aSThomas Huth { 8081e8a98b5SPeter Maydell d->MMX_L(0) = x86_float32_to_int32_round_to_zero(s->ZMM_S(0), &env->sse_status); 8091e8a98b5SPeter Maydell d->MMX_L(1) = x86_float32_to_int32_round_to_zero(s->ZMM_S(1), &env->sse_status); 810fcf5ef2aSThomas Huth } 811fcf5ef2aSThomas Huth 812fcf5ef2aSThomas Huth void helper_cvttpd2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 813fcf5ef2aSThomas Huth { 8141e8a98b5SPeter Maydell d->MMX_L(0) = x86_float64_to_int32_round_to_zero(s->ZMM_D(0), &env->sse_status); 8151e8a98b5SPeter Maydell d->MMX_L(1) = x86_float64_to_int32_round_to_zero(s->ZMM_D(1), &env->sse_status); 816fcf5ef2aSThomas Huth } 817fcf5ef2aSThomas Huth 818fcf5ef2aSThomas Huth int32_t helper_cvttss2si(CPUX86State *env, ZMMReg *s) 819fcf5ef2aSThomas Huth { 8201e8a98b5SPeter Maydell return x86_float32_to_int32_round_to_zero(s->ZMM_S(0), &env->sse_status); 821fcf5ef2aSThomas Huth } 822fcf5ef2aSThomas Huth 823fcf5ef2aSThomas Huth int32_t helper_cvttsd2si(CPUX86State *env, ZMMReg *s) 824fcf5ef2aSThomas Huth { 8251e8a98b5SPeter Maydell return x86_float64_to_int32_round_to_zero(s->ZMM_D(0), &env->sse_status); 826fcf5ef2aSThomas Huth } 827fcf5ef2aSThomas Huth 828fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 829fcf5ef2aSThomas Huth int64_t helper_cvttss2sq(CPUX86State *env, ZMMReg *s) 830fcf5ef2aSThomas Huth { 8311e8a98b5SPeter Maydell return x86_float32_to_int64_round_to_zero(s->ZMM_S(0), &env->sse_status); 832fcf5ef2aSThomas Huth } 833fcf5ef2aSThomas Huth 834fcf5ef2aSThomas Huth int64_t helper_cvttsd2sq(CPUX86State *env, ZMMReg *s) 835fcf5ef2aSThomas Huth { 8361e8a98b5SPeter Maydell return x86_float64_to_int64_round_to_zero(s->ZMM_D(0), &env->sse_status); 837fcf5ef2aSThomas Huth } 838fcf5ef2aSThomas Huth #endif 839fd17264aSPaul Brook #endif 840fcf5ef2aSThomas Huth 841ce4fa29fSPaolo Bonzini void glue(helper_rsqrtps, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 842fcf5ef2aSThomas Huth { 843418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 8443403cafeSPaul Brook int i; 8453403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 8463403cafeSPaul Brook d->ZMM_S(i) = float32_div(float32_one, 8473403cafeSPaul Brook float32_sqrt(s->ZMM_S(i), &env->sse_status), 848fcf5ef2aSThomas Huth &env->sse_status); 8493403cafeSPaul Brook } 850418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 851fcf5ef2aSThomas Huth } 852fcf5ef2aSThomas Huth 853fd17264aSPaul Brook #if SHIFT == 1 854620f7556SPaolo Bonzini void helper_rsqrtss(CPUX86State *env, ZMMReg *d, ZMMReg *v, ZMMReg *s) 855fcf5ef2aSThomas Huth { 856418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 857620f7556SPaolo Bonzini int i; 858fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_div(float32_one, 859fcf5ef2aSThomas Huth float32_sqrt(s->ZMM_S(0), &env->sse_status), 860fcf5ef2aSThomas Huth &env->sse_status); 861418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 862620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 863620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 864620f7556SPaolo Bonzini } 865fcf5ef2aSThomas Huth } 866fd17264aSPaul Brook #endif 867fcf5ef2aSThomas Huth 868ce4fa29fSPaolo Bonzini void glue(helper_rcpps, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 869fcf5ef2aSThomas Huth { 870418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 8713403cafeSPaul Brook int i; 8723403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 8733403cafeSPaul Brook d->ZMM_S(i) = float32_div(float32_one, s->ZMM_S(i), &env->sse_status); 8743403cafeSPaul Brook } 875418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 876fcf5ef2aSThomas Huth } 877fcf5ef2aSThomas Huth 878fd17264aSPaul Brook #if SHIFT == 1 879620f7556SPaolo Bonzini void helper_rcpss(CPUX86State *env, ZMMReg *d, ZMMReg *v, ZMMReg *s) 880fcf5ef2aSThomas Huth { 881418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 882620f7556SPaolo Bonzini int i; 883fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_div(float32_one, s->ZMM_S(0), &env->sse_status); 884620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 885620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 886620f7556SPaolo Bonzini } 887418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 888fcf5ef2aSThomas Huth } 889fd17264aSPaul Brook #endif 890fcf5ef2aSThomas Huth 891fd17264aSPaul Brook #if SHIFT == 1 892fcf5ef2aSThomas Huth static inline uint64_t helper_extrq(uint64_t src, int shift, int len) 893fcf5ef2aSThomas Huth { 894fcf5ef2aSThomas Huth uint64_t mask; 895fcf5ef2aSThomas Huth 896fcf5ef2aSThomas Huth if (len == 0) { 897fcf5ef2aSThomas Huth mask = ~0LL; 898fcf5ef2aSThomas Huth } else { 899fcf5ef2aSThomas Huth mask = (1ULL << len) - 1; 900fcf5ef2aSThomas Huth } 901fcf5ef2aSThomas Huth return (src >> shift) & mask; 902fcf5ef2aSThomas Huth } 903fcf5ef2aSThomas Huth 904fcf5ef2aSThomas Huth void helper_extrq_r(CPUX86State *env, ZMMReg *d, ZMMReg *s) 905fcf5ef2aSThomas Huth { 906034668c3SPaolo Bonzini d->ZMM_Q(0) = helper_extrq(d->ZMM_Q(0), s->ZMM_B(1) & 63, s->ZMM_B(0) & 63); 907fcf5ef2aSThomas Huth } 908fcf5ef2aSThomas Huth 909fcf5ef2aSThomas Huth void helper_extrq_i(CPUX86State *env, ZMMReg *d, int index, int length) 910fcf5ef2aSThomas Huth { 911fcf5ef2aSThomas Huth d->ZMM_Q(0) = helper_extrq(d->ZMM_Q(0), index, length); 912fcf5ef2aSThomas Huth } 913fcf5ef2aSThomas Huth 914ca4b1b43SPaolo Bonzini static inline uint64_t helper_insertq(uint64_t dest, uint64_t src, int shift, int len) 915fcf5ef2aSThomas Huth { 916fcf5ef2aSThomas Huth uint64_t mask; 917fcf5ef2aSThomas Huth 918fcf5ef2aSThomas Huth if (len == 0) { 919fcf5ef2aSThomas Huth mask = ~0ULL; 920fcf5ef2aSThomas Huth } else { 921fcf5ef2aSThomas Huth mask = (1ULL << len) - 1; 922fcf5ef2aSThomas Huth } 923ca4b1b43SPaolo Bonzini return (dest & ~(mask << shift)) | ((src & mask) << shift); 924fcf5ef2aSThomas Huth } 925fcf5ef2aSThomas Huth 926fcf5ef2aSThomas Huth void helper_insertq_r(CPUX86State *env, ZMMReg *d, ZMMReg *s) 927fcf5ef2aSThomas Huth { 928ca4b1b43SPaolo 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); 929fcf5ef2aSThomas Huth } 930fcf5ef2aSThomas Huth 931ca4b1b43SPaolo Bonzini void helper_insertq_i(CPUX86State *env, ZMMReg *d, ZMMReg *s, int index, int length) 932fcf5ef2aSThomas Huth { 933ca4b1b43SPaolo Bonzini d->ZMM_Q(0) = helper_insertq(d->ZMM_Q(0), s->ZMM_Q(0), index, length); 934fcf5ef2aSThomas Huth } 935fd17264aSPaul Brook #endif 936fcf5ef2aSThomas Huth 9376567ffb4SPaul Brook #define SSE_HELPER_HPS(name, F) \ 938f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 9396567ffb4SPaul Brook { \ 9406567ffb4SPaul Brook float32 r[2 << SHIFT]; \ 9416567ffb4SPaul Brook int i, j, k; \ 9426567ffb4SPaul Brook for (k = 0; k < 2 << SHIFT; k += LANE_WIDTH / 4) { \ 9436567ffb4SPaul Brook for (i = j = 0; j < 4; i++, j += 2) { \ 9446567ffb4SPaul Brook r[i + k] = F(v->ZMM_S(j + k), v->ZMM_S(j + k + 1), &env->sse_status); \ 9456567ffb4SPaul Brook } \ 9466567ffb4SPaul Brook for (j = 0; j < 4; i++, j += 2) { \ 9476567ffb4SPaul Brook r[i + k] = F(s->ZMM_S(j + k), s->ZMM_S(j + k + 1), &env->sse_status); \ 9486567ffb4SPaul Brook } \ 9496567ffb4SPaul Brook } \ 9506567ffb4SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 9516567ffb4SPaul Brook d->ZMM_S(i) = r[i]; \ 9526567ffb4SPaul Brook } \ 953fcf5ef2aSThomas Huth } 954fcf5ef2aSThomas Huth 9556567ffb4SPaul Brook SSE_HELPER_HPS(haddps, float32_add) 9566567ffb4SPaul Brook SSE_HELPER_HPS(hsubps, float32_sub) 957fcf5ef2aSThomas Huth 9586567ffb4SPaul Brook #define SSE_HELPER_HPD(name, F) \ 959f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 9606567ffb4SPaul Brook { \ 9616567ffb4SPaul Brook float64 r[1 << SHIFT]; \ 9626567ffb4SPaul Brook int i, j, k; \ 9636567ffb4SPaul Brook for (k = 0; k < 1 << SHIFT; k += LANE_WIDTH / 8) { \ 9646567ffb4SPaul Brook for (i = j = 0; j < 2; i++, j += 2) { \ 9656567ffb4SPaul Brook r[i + k] = F(v->ZMM_D(j + k), v->ZMM_D(j + k + 1), &env->sse_status); \ 9666567ffb4SPaul Brook } \ 9676567ffb4SPaul Brook for (j = 0; j < 2; i++, j += 2) { \ 9686567ffb4SPaul Brook r[i + k] = F(s->ZMM_D(j + k), s->ZMM_D(j + k + 1), &env->sse_status); \ 9696567ffb4SPaul Brook } \ 9706567ffb4SPaul Brook } \ 9716567ffb4SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 9726567ffb4SPaul Brook d->ZMM_D(i) = r[i]; \ 9736567ffb4SPaul Brook } \ 974fcf5ef2aSThomas Huth } 975fcf5ef2aSThomas Huth 9766567ffb4SPaul Brook SSE_HELPER_HPD(haddpd, float64_add) 9776567ffb4SPaul Brook SSE_HELPER_HPD(hsubpd, float64_sub) 978fcf5ef2aSThomas Huth 979f05f9789SPaolo Bonzini void glue(helper_addsubps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 980fcf5ef2aSThomas Huth { 9813403cafeSPaul Brook int i; 9823403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i += 2) { 9833403cafeSPaul Brook d->ZMM_S(i) = float32_sub(v->ZMM_S(i), s->ZMM_S(i), &env->sse_status); 9843403cafeSPaul Brook d->ZMM_S(i+1) = float32_add(v->ZMM_S(i+1), s->ZMM_S(i+1), &env->sse_status); 9853403cafeSPaul Brook } 986fcf5ef2aSThomas Huth } 987fcf5ef2aSThomas Huth 988f05f9789SPaolo Bonzini void glue(helper_addsubpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 989fcf5ef2aSThomas Huth { 9903403cafeSPaul Brook int i; 9913403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { 9923403cafeSPaul Brook d->ZMM_D(i) = float64_sub(v->ZMM_D(i), s->ZMM_D(i), &env->sse_status); 9933403cafeSPaul Brook d->ZMM_D(i+1) = float64_add(v->ZMM_D(i+1), s->ZMM_D(i+1), &env->sse_status); 9943403cafeSPaul Brook } 995fcf5ef2aSThomas Huth } 996fcf5ef2aSThomas Huth 997cbf4ad54SPaul Brook #define SSE_HELPER_CMP_P(name, F, C) \ 998cbf4ad54SPaul Brook void glue(helper_ ## name ## ps, SUFFIX)(CPUX86State *env, \ 999f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1000fcf5ef2aSThomas Huth { \ 1001cbf4ad54SPaul Brook int i; \ 1002cbf4ad54SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 1003cbf4ad54SPaul Brook d->ZMM_L(i) = C(F(32, v->ZMM_S(i), s->ZMM_S(i))) ? -1 : 0; \ 1004cbf4ad54SPaul Brook } \ 1005fcf5ef2aSThomas Huth } \ 1006fcf5ef2aSThomas Huth \ 1007cbf4ad54SPaul Brook void glue(helper_ ## name ## pd, SUFFIX)(CPUX86State *env, \ 1008f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1009cbf4ad54SPaul Brook { \ 1010cbf4ad54SPaul Brook int i; \ 1011cbf4ad54SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 1012cbf4ad54SPaul Brook d->ZMM_Q(i) = C(F(64, v->ZMM_D(i), s->ZMM_D(i))) ? -1 : 0; \ 1013cbf4ad54SPaul Brook } \ 1014cbf4ad54SPaul Brook } 1015cbf4ad54SPaul Brook 1016cbf4ad54SPaul Brook #if SHIFT == 1 1017cbf4ad54SPaul Brook #define SSE_HELPER_CMP(name, F, C) \ 1018cbf4ad54SPaul Brook SSE_HELPER_CMP_P(name, F, C) \ 1019f05f9789SPaolo Bonzini void helper_ ## name ## ss(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1020fcf5ef2aSThomas Huth { \ 10211de9e7e6SPaolo Bonzini int i; \ 1022cbf4ad54SPaul Brook d->ZMM_L(0) = C(F(32, v->ZMM_S(0), s->ZMM_S(0))) ? -1 : 0; \ 10231de9e7e6SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { \ 10241de9e7e6SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); \ 10251de9e7e6SPaolo Bonzini } \ 1026fcf5ef2aSThomas Huth } \ 1027fcf5ef2aSThomas Huth \ 1028f05f9789SPaolo Bonzini void helper_ ## name ## sd(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1029fcf5ef2aSThomas Huth { \ 10301de9e7e6SPaolo Bonzini int i; \ 1031cbf4ad54SPaul Brook d->ZMM_Q(0) = C(F(64, v->ZMM_D(0), s->ZMM_D(0))) ? -1 : 0; \ 10321de9e7e6SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { \ 10331de9e7e6SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); \ 10341de9e7e6SPaolo Bonzini } \ 1035fcf5ef2aSThomas Huth } 1036fcf5ef2aSThomas Huth 10376e0cac78SPaolo Bonzini static inline bool FPU_EQU(FloatRelation x) 10386e0cac78SPaolo Bonzini { 10396e0cac78SPaolo Bonzini return (x == float_relation_equal || x == float_relation_unordered); 10406e0cac78SPaolo Bonzini } 10416e0cac78SPaolo Bonzini static inline bool FPU_GE(FloatRelation x) 10426e0cac78SPaolo Bonzini { 10436e0cac78SPaolo Bonzini return (x == float_relation_equal || x == float_relation_greater); 10446e0cac78SPaolo Bonzini } 1045cbf4ad54SPaul Brook #define FPU_EQ(x) (x == float_relation_equal) 1046cbf4ad54SPaul Brook #define FPU_LT(x) (x == float_relation_less) 1047cbf4ad54SPaul Brook #define FPU_LE(x) (x <= float_relation_equal) 10486e0cac78SPaolo Bonzini #define FPU_GT(x) (x == float_relation_greater) 1049cbf4ad54SPaul Brook #define FPU_UNORD(x) (x == float_relation_unordered) 10506e0cac78SPaolo Bonzini /* We must make sure we evaluate the argument in case it is a signalling NAN */ 10516e0cac78SPaolo Bonzini #define FPU_FALSE(x) (x == float_relation_equal && 0) 1052fcf5ef2aSThomas Huth 1053cbf4ad54SPaul Brook #define FPU_CMPQ(size, a, b) \ 1054cbf4ad54SPaul Brook float ## size ## _compare_quiet(a, b, &env->sse_status) 1055cbf4ad54SPaul Brook #define FPU_CMPS(size, a, b) \ 1056cbf4ad54SPaul Brook float ## size ## _compare(a, b, &env->sse_status) 1057cbf4ad54SPaul Brook 1058cbf4ad54SPaul Brook #else 1059cbf4ad54SPaul Brook #define SSE_HELPER_CMP(name, F, C) SSE_HELPER_CMP_P(name, F, C) 1060cbf4ad54SPaul Brook #endif 1061cbf4ad54SPaul Brook 1062cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpeq, FPU_CMPQ, FPU_EQ) 1063cbf4ad54SPaul Brook SSE_HELPER_CMP(cmplt, FPU_CMPS, FPU_LT) 1064cbf4ad54SPaul Brook SSE_HELPER_CMP(cmple, FPU_CMPS, FPU_LE) 1065cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpunord, FPU_CMPQ, FPU_UNORD) 1066cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpneq, FPU_CMPQ, !FPU_EQ) 1067cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpnlt, FPU_CMPS, !FPU_LT) 1068cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpnle, FPU_CMPS, !FPU_LE) 1069cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpord, FPU_CMPQ, !FPU_UNORD) 1070cbf4ad54SPaul Brook 10716e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpequ, FPU_CMPQ, FPU_EQU) 10726e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnge, FPU_CMPS, !FPU_GE) 10736e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngt, FPU_CMPS, !FPU_GT) 10746e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpfalse, FPU_CMPQ, FPU_FALSE) 10756e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnequ, FPU_CMPQ, !FPU_EQU) 10766e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpge, FPU_CMPS, FPU_GE) 10776e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgt, FPU_CMPS, FPU_GT) 10786e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmptrue, FPU_CMPQ, !FPU_FALSE) 10796e0cac78SPaolo Bonzini 10806e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpeqs, FPU_CMPS, FPU_EQ) 10816e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpltq, FPU_CMPQ, FPU_LT) 10826e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpleq, FPU_CMPQ, FPU_LE) 10836e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpunords, FPU_CMPS, FPU_UNORD) 10846e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpneqq, FPU_CMPS, !FPU_EQ) 10856e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnltq, FPU_CMPQ, !FPU_LT) 10866e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnleq, FPU_CMPQ, !FPU_LE) 10876e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpords, FPU_CMPS, !FPU_UNORD) 10886e0cac78SPaolo Bonzini 10896e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpequs, FPU_CMPS, FPU_EQU) 10906e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngeq, FPU_CMPQ, !FPU_GE) 10916e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngtq, FPU_CMPQ, !FPU_GT) 10926e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpfalses, FPU_CMPS, FPU_FALSE) 10936e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnequs, FPU_CMPS, !FPU_EQU) 10946e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgeq, FPU_CMPQ, FPU_GE) 10956e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgtq, FPU_CMPQ, FPU_GT) 10966e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmptrues, FPU_CMPS, !FPU_FALSE) 10976e0cac78SPaolo Bonzini 1098cbf4ad54SPaul Brook #undef SSE_HELPER_CMP 1099fcf5ef2aSThomas Huth 1100fd17264aSPaul Brook #if SHIFT == 1 1101fcf5ef2aSThomas Huth static const int comis_eflags[4] = {CC_C, CC_Z, 0, CC_Z | CC_P | CC_C}; 1102fcf5ef2aSThomas Huth 1103fcf5ef2aSThomas Huth void helper_ucomiss(CPUX86State *env, Reg *d, Reg *s) 1104fcf5ef2aSThomas Huth { 110571bfd65cSRichard Henderson FloatRelation ret; 1106fcf5ef2aSThomas Huth float32 s0, s1; 1107fcf5ef2aSThomas Huth 1108fcf5ef2aSThomas Huth s0 = d->ZMM_S(0); 1109fcf5ef2aSThomas Huth s1 = s->ZMM_S(0); 1110fcf5ef2aSThomas Huth ret = float32_compare_quiet(s0, s1, &env->sse_status); 1111fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1112fcf5ef2aSThomas Huth } 1113fcf5ef2aSThomas Huth 1114fcf5ef2aSThomas Huth void helper_comiss(CPUX86State *env, Reg *d, Reg *s) 1115fcf5ef2aSThomas Huth { 111671bfd65cSRichard Henderson FloatRelation ret; 1117fcf5ef2aSThomas Huth float32 s0, s1; 1118fcf5ef2aSThomas Huth 1119fcf5ef2aSThomas Huth s0 = d->ZMM_S(0); 1120fcf5ef2aSThomas Huth s1 = s->ZMM_S(0); 1121fcf5ef2aSThomas Huth ret = float32_compare(s0, s1, &env->sse_status); 1122fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1123fcf5ef2aSThomas Huth } 1124fcf5ef2aSThomas Huth 1125fcf5ef2aSThomas Huth void helper_ucomisd(CPUX86State *env, Reg *d, Reg *s) 1126fcf5ef2aSThomas Huth { 112771bfd65cSRichard Henderson FloatRelation ret; 1128fcf5ef2aSThomas Huth float64 d0, d1; 1129fcf5ef2aSThomas Huth 1130fcf5ef2aSThomas Huth d0 = d->ZMM_D(0); 1131fcf5ef2aSThomas Huth d1 = s->ZMM_D(0); 1132fcf5ef2aSThomas Huth ret = float64_compare_quiet(d0, d1, &env->sse_status); 1133fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1134fcf5ef2aSThomas Huth } 1135fcf5ef2aSThomas Huth 1136fcf5ef2aSThomas Huth void helper_comisd(CPUX86State *env, Reg *d, Reg *s) 1137fcf5ef2aSThomas Huth { 113871bfd65cSRichard Henderson FloatRelation ret; 1139fcf5ef2aSThomas Huth float64 d0, d1; 1140fcf5ef2aSThomas Huth 1141fcf5ef2aSThomas Huth d0 = d->ZMM_D(0); 1142fcf5ef2aSThomas Huth d1 = s->ZMM_D(0); 1143fcf5ef2aSThomas Huth ret = float64_compare(d0, d1, &env->sse_status); 1144fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1145fcf5ef2aSThomas Huth } 1146fd17264aSPaul Brook #endif 1147fcf5ef2aSThomas Huth 1148ce4fa29fSPaolo Bonzini uint32_t glue(helper_movmskps, SUFFIX)(CPUX86State *env, Reg *s) 1149fcf5ef2aSThomas Huth { 1150fd17264aSPaul Brook uint32_t mask; 1151fd17264aSPaul Brook int i; 1152fcf5ef2aSThomas Huth 1153fd17264aSPaul Brook mask = 0; 1154fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 1155fd17264aSPaul Brook mask |= (s->ZMM_L(i) >> (31 - i)) & (1 << i); 1156fd17264aSPaul Brook } 1157fd17264aSPaul Brook return mask; 1158fcf5ef2aSThomas Huth } 1159fcf5ef2aSThomas Huth 1160ce4fa29fSPaolo Bonzini uint32_t glue(helper_movmskpd, SUFFIX)(CPUX86State *env, Reg *s) 1161fcf5ef2aSThomas Huth { 1162fd17264aSPaul Brook uint32_t mask; 1163fd17264aSPaul Brook int i; 1164fcf5ef2aSThomas Huth 1165fd17264aSPaul Brook mask = 0; 1166fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1167fd17264aSPaul Brook mask |= (s->ZMM_Q(i) >> (63 - i)) & (1 << i); 1168fd17264aSPaul Brook } 1169fd17264aSPaul Brook return mask; 1170fcf5ef2aSThomas Huth } 1171fcf5ef2aSThomas Huth 1172fcf5ef2aSThomas Huth #endif 1173fcf5ef2aSThomas Huth 1174d45b0de6SPaul Brook #define PACK_HELPER_B(name, F) \ 1175d45b0de6SPaul Brook void glue(helper_pack ## name, SUFFIX)(CPUX86State *env, \ 1176f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1177d45b0de6SPaul Brook { \ 1178d45b0de6SPaul Brook uint8_t r[PACK_WIDTH * 2]; \ 1179d45b0de6SPaul Brook int j, k; \ 1180d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; j += PACK_WIDTH) { \ 1181d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { \ 1182d45b0de6SPaul Brook r[k] = F((int16_t)v->W(j + k)); \ 1183d45b0de6SPaul Brook } \ 1184d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { \ 1185d45b0de6SPaul Brook r[PACK_WIDTH + k] = F((int16_t)s->W(j + k)); \ 1186d45b0de6SPaul Brook } \ 1187d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH * 2; k++) { \ 1188d45b0de6SPaul Brook d->B(2 * j + k) = r[k]; \ 1189d45b0de6SPaul Brook } \ 1190d45b0de6SPaul Brook } \ 1191fcf5ef2aSThomas Huth } 1192fcf5ef2aSThomas Huth 1193d45b0de6SPaul Brook PACK_HELPER_B(sswb, satsb) 1194d45b0de6SPaul Brook PACK_HELPER_B(uswb, satub) 1195fcf5ef2aSThomas Huth 1196f05f9789SPaolo Bonzini void glue(helper_packssdw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1197fcf5ef2aSThomas Huth { 1198d45b0de6SPaul Brook uint16_t r[PACK_WIDTH]; 1199d45b0de6SPaul Brook int j, k; 1200fcf5ef2aSThomas Huth 1201d45b0de6SPaul Brook for (j = 0; j < 2 << SHIFT; j += PACK_WIDTH / 2) { 1202d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH / 2; k++) { 1203d45b0de6SPaul Brook r[k] = satsw(v->L(j + k)); 1204d45b0de6SPaul Brook } 1205d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH / 2; k++) { 1206d45b0de6SPaul Brook r[PACK_WIDTH / 2 + k] = satsw(s->L(j + k)); 1207d45b0de6SPaul Brook } 1208d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { 1209d45b0de6SPaul Brook d->W(2 * j + k) = r[k]; 1210d45b0de6SPaul Brook } 1211d45b0de6SPaul Brook } 1212fcf5ef2aSThomas Huth } 1213fcf5ef2aSThomas Huth 1214fcf5ef2aSThomas Huth #define UNPCK_OP(base_name, base) \ 1215fcf5ef2aSThomas Huth \ 1216fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## bw, SUFFIX)(CPUX86State *env,\ 1217f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1218fcf5ef2aSThomas Huth { \ 1219d45b0de6SPaul Brook uint8_t r[PACK_WIDTH * 2]; \ 1220d45b0de6SPaul Brook int j, i; \ 1221fcf5ef2aSThomas Huth \ 1222d45b0de6SPaul Brook for (j = 0; j < 8 << SHIFT; ) { \ 1223d45b0de6SPaul Brook int k = j + base * PACK_WIDTH; \ 1224d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH; i++) { \ 1225d45b0de6SPaul Brook r[2 * i] = v->B(k + i); \ 1226d45b0de6SPaul Brook r[2 * i + 1] = s->B(k + i); \ 1227d45b0de6SPaul Brook } \ 1228d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH * 2; i++, j++) { \ 1229d45b0de6SPaul Brook d->B(j) = r[i]; \ 1230d45b0de6SPaul Brook } \ 1231d45b0de6SPaul Brook } \ 1232fcf5ef2aSThomas Huth } \ 1233fcf5ef2aSThomas Huth \ 1234fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## wd, SUFFIX)(CPUX86State *env,\ 1235f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1236fcf5ef2aSThomas Huth { \ 1237d45b0de6SPaul Brook uint16_t r[PACK_WIDTH]; \ 1238d45b0de6SPaul Brook int j, i; \ 1239fcf5ef2aSThomas Huth \ 1240d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; ) { \ 1241d45b0de6SPaul Brook int k = j + base * PACK_WIDTH / 2; \ 1242d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 2; i++) { \ 1243d45b0de6SPaul Brook r[2 * i] = v->W(k + i); \ 1244d45b0de6SPaul Brook r[2 * i + 1] = s->W(k + i); \ 1245d45b0de6SPaul Brook } \ 1246d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH; i++, j++) { \ 1247d45b0de6SPaul Brook d->W(j) = r[i]; \ 1248d45b0de6SPaul Brook } \ 1249d45b0de6SPaul Brook } \ 1250fcf5ef2aSThomas Huth } \ 1251fcf5ef2aSThomas Huth \ 1252fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## dq, SUFFIX)(CPUX86State *env,\ 1253f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1254fcf5ef2aSThomas Huth { \ 1255d45b0de6SPaul Brook uint32_t r[PACK_WIDTH / 2]; \ 1256d45b0de6SPaul Brook int j, i; \ 1257fcf5ef2aSThomas Huth \ 1258d45b0de6SPaul Brook for (j = 0; j < 2 << SHIFT; ) { \ 1259d45b0de6SPaul Brook int k = j + base * PACK_WIDTH / 4; \ 1260d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 4; i++) { \ 1261d45b0de6SPaul Brook r[2 * i] = v->L(k + i); \ 1262d45b0de6SPaul Brook r[2 * i + 1] = s->L(k + i); \ 1263d45b0de6SPaul Brook } \ 1264d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 2; i++, j++) { \ 1265d45b0de6SPaul Brook d->L(j) = r[i]; \ 1266d45b0de6SPaul Brook } \ 1267d45b0de6SPaul Brook } \ 1268fcf5ef2aSThomas Huth } \ 1269fcf5ef2aSThomas Huth \ 1270fcf5ef2aSThomas Huth XMM_ONLY( \ 1271d45b0de6SPaul Brook void glue(helper_punpck ## base_name ## qdq, SUFFIX)( \ 1272f05f9789SPaolo Bonzini CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1273fcf5ef2aSThomas Huth { \ 1274d45b0de6SPaul Brook uint64_t r[2]; \ 1275d45b0de6SPaul Brook int i; \ 1276fcf5ef2aSThomas Huth \ 1277d45b0de6SPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { \ 1278d45b0de6SPaul Brook r[0] = v->Q(base + i); \ 1279d45b0de6SPaul Brook r[1] = s->Q(base + i); \ 1280d45b0de6SPaul Brook d->Q(i) = r[0]; \ 1281d45b0de6SPaul Brook d->Q(i + 1) = r[1]; \ 1282d45b0de6SPaul Brook } \ 1283fcf5ef2aSThomas Huth } \ 1284fcf5ef2aSThomas Huth ) 1285fcf5ef2aSThomas Huth 1286fcf5ef2aSThomas Huth UNPCK_OP(l, 0) 1287fcf5ef2aSThomas Huth UNPCK_OP(h, 1) 1288fcf5ef2aSThomas Huth 1289d45b0de6SPaul Brook #undef PACK_WIDTH 1290d45b0de6SPaul Brook #undef PACK_HELPER_B 1291d45b0de6SPaul Brook #undef UNPCK_OP 1292d45b0de6SPaul Brook 1293d45b0de6SPaul Brook 1294fcf5ef2aSThomas Huth /* 3DNow! float ops */ 1295fcf5ef2aSThomas Huth #if SHIFT == 0 1296fcf5ef2aSThomas Huth void helper_pi2fd(CPUX86State *env, MMXReg *d, MMXReg *s) 1297fcf5ef2aSThomas Huth { 1298fcf5ef2aSThomas Huth d->MMX_S(0) = int32_to_float32(s->MMX_L(0), &env->mmx_status); 1299fcf5ef2aSThomas Huth d->MMX_S(1) = int32_to_float32(s->MMX_L(1), &env->mmx_status); 1300fcf5ef2aSThomas Huth } 1301fcf5ef2aSThomas Huth 1302fcf5ef2aSThomas Huth void helper_pi2fw(CPUX86State *env, MMXReg *d, MMXReg *s) 1303fcf5ef2aSThomas Huth { 1304fcf5ef2aSThomas Huth d->MMX_S(0) = int32_to_float32((int16_t)s->MMX_W(0), &env->mmx_status); 1305fcf5ef2aSThomas Huth d->MMX_S(1) = int32_to_float32((int16_t)s->MMX_W(2), &env->mmx_status); 1306fcf5ef2aSThomas Huth } 1307fcf5ef2aSThomas Huth 1308fcf5ef2aSThomas Huth void helper_pf2id(CPUX86State *env, MMXReg *d, MMXReg *s) 1309fcf5ef2aSThomas Huth { 1310fcf5ef2aSThomas Huth d->MMX_L(0) = float32_to_int32_round_to_zero(s->MMX_S(0), &env->mmx_status); 1311fcf5ef2aSThomas Huth d->MMX_L(1) = float32_to_int32_round_to_zero(s->MMX_S(1), &env->mmx_status); 1312fcf5ef2aSThomas Huth } 1313fcf5ef2aSThomas Huth 1314fcf5ef2aSThomas Huth void helper_pf2iw(CPUX86State *env, MMXReg *d, MMXReg *s) 1315fcf5ef2aSThomas Huth { 1316fcf5ef2aSThomas Huth d->MMX_L(0) = satsw(float32_to_int32_round_to_zero(s->MMX_S(0), 1317fcf5ef2aSThomas Huth &env->mmx_status)); 1318fcf5ef2aSThomas Huth d->MMX_L(1) = satsw(float32_to_int32_round_to_zero(s->MMX_S(1), 1319fcf5ef2aSThomas Huth &env->mmx_status)); 1320fcf5ef2aSThomas Huth } 1321fcf5ef2aSThomas Huth 1322fcf5ef2aSThomas Huth void helper_pfacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1323fcf5ef2aSThomas Huth { 132425bdec79SPaolo Bonzini float32 r; 1325fcf5ef2aSThomas Huth 132625bdec79SPaolo Bonzini r = float32_add(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 132725bdec79SPaolo Bonzini d->MMX_S(1) = float32_add(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 132825bdec79SPaolo Bonzini d->MMX_S(0) = r; 1329fcf5ef2aSThomas Huth } 1330fcf5ef2aSThomas Huth 1331fcf5ef2aSThomas Huth void helper_pfadd(CPUX86State *env, MMXReg *d, MMXReg *s) 1332fcf5ef2aSThomas Huth { 1333fcf5ef2aSThomas Huth d->MMX_S(0) = float32_add(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1334fcf5ef2aSThomas Huth d->MMX_S(1) = float32_add(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1335fcf5ef2aSThomas Huth } 1336fcf5ef2aSThomas Huth 1337fcf5ef2aSThomas Huth void helper_pfcmpeq(CPUX86State *env, MMXReg *d, MMXReg *s) 1338fcf5ef2aSThomas Huth { 1339fcf5ef2aSThomas Huth d->MMX_L(0) = float32_eq_quiet(d->MMX_S(0), s->MMX_S(0), 1340fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1341fcf5ef2aSThomas Huth d->MMX_L(1) = float32_eq_quiet(d->MMX_S(1), s->MMX_S(1), 1342fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1343fcf5ef2aSThomas Huth } 1344fcf5ef2aSThomas Huth 1345fcf5ef2aSThomas Huth void helper_pfcmpge(CPUX86State *env, MMXReg *d, MMXReg *s) 1346fcf5ef2aSThomas Huth { 1347fcf5ef2aSThomas Huth d->MMX_L(0) = float32_le(s->MMX_S(0), d->MMX_S(0), 1348fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1349fcf5ef2aSThomas Huth d->MMX_L(1) = float32_le(s->MMX_S(1), d->MMX_S(1), 1350fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1351fcf5ef2aSThomas Huth } 1352fcf5ef2aSThomas Huth 1353fcf5ef2aSThomas Huth void helper_pfcmpgt(CPUX86State *env, MMXReg *d, MMXReg *s) 1354fcf5ef2aSThomas Huth { 1355fcf5ef2aSThomas Huth d->MMX_L(0) = float32_lt(s->MMX_S(0), d->MMX_S(0), 1356fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1357fcf5ef2aSThomas Huth d->MMX_L(1) = float32_lt(s->MMX_S(1), d->MMX_S(1), 1358fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1359fcf5ef2aSThomas Huth } 1360fcf5ef2aSThomas Huth 1361fcf5ef2aSThomas Huth void helper_pfmax(CPUX86State *env, MMXReg *d, MMXReg *s) 1362fcf5ef2aSThomas Huth { 1363fcf5ef2aSThomas Huth if (float32_lt(d->MMX_S(0), s->MMX_S(0), &env->mmx_status)) { 1364fcf5ef2aSThomas Huth d->MMX_S(0) = s->MMX_S(0); 1365fcf5ef2aSThomas Huth } 1366fcf5ef2aSThomas Huth if (float32_lt(d->MMX_S(1), s->MMX_S(1), &env->mmx_status)) { 1367fcf5ef2aSThomas Huth d->MMX_S(1) = s->MMX_S(1); 1368fcf5ef2aSThomas Huth } 1369fcf5ef2aSThomas Huth } 1370fcf5ef2aSThomas Huth 1371fcf5ef2aSThomas Huth void helper_pfmin(CPUX86State *env, MMXReg *d, MMXReg *s) 1372fcf5ef2aSThomas Huth { 1373fcf5ef2aSThomas Huth if (float32_lt(s->MMX_S(0), d->MMX_S(0), &env->mmx_status)) { 1374fcf5ef2aSThomas Huth d->MMX_S(0) = s->MMX_S(0); 1375fcf5ef2aSThomas Huth } 1376fcf5ef2aSThomas Huth if (float32_lt(s->MMX_S(1), d->MMX_S(1), &env->mmx_status)) { 1377fcf5ef2aSThomas Huth d->MMX_S(1) = s->MMX_S(1); 1378fcf5ef2aSThomas Huth } 1379fcf5ef2aSThomas Huth } 1380fcf5ef2aSThomas Huth 1381fcf5ef2aSThomas Huth void helper_pfmul(CPUX86State *env, MMXReg *d, MMXReg *s) 1382fcf5ef2aSThomas Huth { 1383fcf5ef2aSThomas Huth d->MMX_S(0) = float32_mul(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1384fcf5ef2aSThomas Huth d->MMX_S(1) = float32_mul(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1385fcf5ef2aSThomas Huth } 1386fcf5ef2aSThomas Huth 1387fcf5ef2aSThomas Huth void helper_pfnacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1388fcf5ef2aSThomas Huth { 138925bdec79SPaolo Bonzini float32 r; 1390fcf5ef2aSThomas Huth 139125bdec79SPaolo Bonzini r = float32_sub(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 139225bdec79SPaolo Bonzini d->MMX_S(1) = float32_sub(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 139325bdec79SPaolo Bonzini d->MMX_S(0) = r; 1394fcf5ef2aSThomas Huth } 1395fcf5ef2aSThomas Huth 1396fcf5ef2aSThomas Huth void helper_pfpnacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1397fcf5ef2aSThomas Huth { 139825bdec79SPaolo Bonzini float32 r; 1399fcf5ef2aSThomas Huth 140025bdec79SPaolo Bonzini r = float32_sub(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 140125bdec79SPaolo Bonzini d->MMX_S(1) = float32_add(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 140225bdec79SPaolo Bonzini d->MMX_S(0) = r; 1403fcf5ef2aSThomas Huth } 1404fcf5ef2aSThomas Huth 1405fcf5ef2aSThomas Huth void helper_pfrcp(CPUX86State *env, MMXReg *d, MMXReg *s) 1406fcf5ef2aSThomas Huth { 1407fcf5ef2aSThomas Huth d->MMX_S(0) = float32_div(float32_one, s->MMX_S(0), &env->mmx_status); 1408fcf5ef2aSThomas Huth d->MMX_S(1) = d->MMX_S(0); 1409fcf5ef2aSThomas Huth } 1410fcf5ef2aSThomas Huth 1411fcf5ef2aSThomas Huth void helper_pfrsqrt(CPUX86State *env, MMXReg *d, MMXReg *s) 1412fcf5ef2aSThomas Huth { 1413fcf5ef2aSThomas Huth d->MMX_L(1) = s->MMX_L(0) & 0x7fffffff; 1414fcf5ef2aSThomas Huth d->MMX_S(1) = float32_div(float32_one, 1415fcf5ef2aSThomas Huth float32_sqrt(d->MMX_S(1), &env->mmx_status), 1416fcf5ef2aSThomas Huth &env->mmx_status); 1417fcf5ef2aSThomas Huth d->MMX_L(1) |= s->MMX_L(0) & 0x80000000; 1418fcf5ef2aSThomas Huth d->MMX_L(0) = d->MMX_L(1); 1419fcf5ef2aSThomas Huth } 1420fcf5ef2aSThomas Huth 1421fcf5ef2aSThomas Huth void helper_pfsub(CPUX86State *env, MMXReg *d, MMXReg *s) 1422fcf5ef2aSThomas Huth { 1423fcf5ef2aSThomas Huth d->MMX_S(0) = float32_sub(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1424fcf5ef2aSThomas Huth d->MMX_S(1) = float32_sub(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1425fcf5ef2aSThomas Huth } 1426fcf5ef2aSThomas Huth 1427fcf5ef2aSThomas Huth void helper_pfsubr(CPUX86State *env, MMXReg *d, MMXReg *s) 1428fcf5ef2aSThomas Huth { 1429fcf5ef2aSThomas Huth d->MMX_S(0) = float32_sub(s->MMX_S(0), d->MMX_S(0), &env->mmx_status); 1430fcf5ef2aSThomas Huth d->MMX_S(1) = float32_sub(s->MMX_S(1), d->MMX_S(1), &env->mmx_status); 1431fcf5ef2aSThomas Huth } 1432fcf5ef2aSThomas Huth 1433fcf5ef2aSThomas Huth void helper_pswapd(CPUX86State *env, MMXReg *d, MMXReg *s) 1434fcf5ef2aSThomas Huth { 143525bdec79SPaolo Bonzini uint32_t r; 1436fcf5ef2aSThomas Huth 143725bdec79SPaolo Bonzini r = s->MMX_L(0); 143825bdec79SPaolo Bonzini d->MMX_L(0) = s->MMX_L(1); 143925bdec79SPaolo Bonzini d->MMX_L(1) = r; 1440fcf5ef2aSThomas Huth } 1441fcf5ef2aSThomas Huth #endif 1442fcf5ef2aSThomas Huth 1443fcf5ef2aSThomas Huth /* SSSE3 op helpers */ 1444f05f9789SPaolo Bonzini void glue(helper_pshufb, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1445fcf5ef2aSThomas Huth { 1446fcf5ef2aSThomas Huth int i; 1447d45b0de6SPaul Brook #if SHIFT == 0 1448d45b0de6SPaul Brook uint8_t r[8]; 1449fcf5ef2aSThomas Huth 1450d45b0de6SPaul Brook for (i = 0; i < 8; i++) { 1451d45b0de6SPaul Brook r[i] = (s->B(i) & 0x80) ? 0 : (v->B(s->B(i) & 7)); 1452fcf5ef2aSThomas Huth } 1453d45b0de6SPaul Brook for (i = 0; i < 8; i++) { 1454d45b0de6SPaul Brook d->B(i) = r[i]; 1455fcf5ef2aSThomas Huth } 1456d45b0de6SPaul Brook #else 1457d45b0de6SPaul Brook uint8_t r[8 << SHIFT]; 1458fcf5ef2aSThomas Huth 1459d45b0de6SPaul Brook for (i = 0; i < 8 << SHIFT; i++) { 1460d45b0de6SPaul Brook int j = i & ~0xf; 1461d45b0de6SPaul Brook r[i] = (s->B(i) & 0x80) ? 0 : v->B(j | (s->B(i) & 0xf)); 1462fcf5ef2aSThomas Huth } 1463d45b0de6SPaul Brook for (i = 0; i < 8 << SHIFT; i++) { 1464d45b0de6SPaul Brook d->B(i) = r[i]; 1465fcf5ef2aSThomas Huth } 1466fcf5ef2aSThomas Huth #endif 1467fcf5ef2aSThomas Huth } 1468fcf5ef2aSThomas Huth 1469d45b0de6SPaul Brook #define SSE_HELPER_HW(name, F) \ 1470f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1471d45b0de6SPaul Brook { \ 1472d45b0de6SPaul Brook uint16_t r[4 << SHIFT]; \ 1473d45b0de6SPaul Brook int i, j, k; \ 1474d45b0de6SPaul Brook for (k = 0; k < 4 << SHIFT; k += LANE_WIDTH / 2) { \ 1475d45b0de6SPaul Brook for (i = j = 0; j < LANE_WIDTH / 2; i++, j += 2) { \ 1476d45b0de6SPaul Brook r[i + k] = F(v->W(j + k), v->W(j + k + 1)); \ 1477d45b0de6SPaul Brook } \ 1478d45b0de6SPaul Brook for (j = 0; j < LANE_WIDTH / 2; i++, j += 2) { \ 1479d45b0de6SPaul Brook r[i + k] = F(s->W(j + k), s->W(j + k + 1)); \ 1480d45b0de6SPaul Brook } \ 1481d45b0de6SPaul Brook } \ 1482d45b0de6SPaul Brook for (i = 0; i < 4 << SHIFT; i++) { \ 1483d45b0de6SPaul Brook d->W(i) = r[i]; \ 1484d45b0de6SPaul Brook } \ 1485fcf5ef2aSThomas Huth } 1486fcf5ef2aSThomas Huth 1487d45b0de6SPaul Brook #define SSE_HELPER_HL(name, F) \ 1488f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1489d45b0de6SPaul Brook { \ 1490d45b0de6SPaul Brook uint32_t r[2 << SHIFT]; \ 1491d45b0de6SPaul Brook int i, j, k; \ 1492d45b0de6SPaul Brook for (k = 0; k < 2 << SHIFT; k += LANE_WIDTH / 4) { \ 1493d45b0de6SPaul Brook for (i = j = 0; j < LANE_WIDTH / 4; i++, j += 2) { \ 1494d45b0de6SPaul Brook r[i + k] = F(v->L(j + k), v->L(j + k + 1)); \ 1495d45b0de6SPaul Brook } \ 1496d45b0de6SPaul Brook for (j = 0; j < LANE_WIDTH / 4; i++, j += 2) { \ 1497d45b0de6SPaul Brook r[i + k] = F(s->L(j + k), s->L(j + k + 1)); \ 1498d45b0de6SPaul Brook } \ 1499d45b0de6SPaul Brook } \ 1500d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 1501d45b0de6SPaul Brook d->L(i) = r[i]; \ 1502d45b0de6SPaul Brook } \ 1503fcf5ef2aSThomas Huth } 1504fcf5ef2aSThomas Huth 1505d45b0de6SPaul Brook SSE_HELPER_HW(phaddw, FADD) 1506d45b0de6SPaul Brook SSE_HELPER_HW(phsubw, FSUB) 1507d45b0de6SPaul Brook SSE_HELPER_HW(phaddsw, FADDSW) 1508d45b0de6SPaul Brook SSE_HELPER_HW(phsubsw, FSUBSW) 1509d45b0de6SPaul Brook SSE_HELPER_HL(phaddd, FADD) 1510d45b0de6SPaul Brook SSE_HELPER_HL(phsubd, FSUB) 151175046ad7SPaolo Bonzini 1512d45b0de6SPaul Brook #undef SSE_HELPER_HW 1513d45b0de6SPaul Brook #undef SSE_HELPER_HL 1514d45b0de6SPaul Brook 1515f05f9789SPaolo Bonzini void glue(helper_pmaddubsw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1516d45b0de6SPaul Brook { 1517d45b0de6SPaul Brook int i; 1518d45b0de6SPaul Brook for (i = 0; i < 4 << SHIFT; i++) { 1519d45b0de6SPaul Brook d->W(i) = satsw((int8_t)s->B(i * 2) * (uint8_t)v->B(i * 2) + 1520d45b0de6SPaul Brook (int8_t)s->B(i * 2 + 1) * (uint8_t)v->B(i * 2 + 1)); 1521d45b0de6SPaul Brook } 1522fcf5ef2aSThomas Huth } 1523fcf5ef2aSThomas Huth 1524fcf5ef2aSThomas Huth #define FMULHRSW(d, s) (((int16_t) d * (int16_t)s + 0x4000) >> 15) 1525fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhrsw, FMULHRSW) 1526fcf5ef2aSThomas Huth 1527fcf5ef2aSThomas Huth #define FSIGNB(d, s) (s <= INT8_MAX ? s ? d : 0 : -(int8_t)d) 1528fcf5ef2aSThomas Huth #define FSIGNW(d, s) (s <= INT16_MAX ? s ? d : 0 : -(int16_t)d) 1529fcf5ef2aSThomas Huth #define FSIGNL(d, s) (s <= INT32_MAX ? s ? d : 0 : -(int32_t)d) 1530fcf5ef2aSThomas Huth SSE_HELPER_B(helper_psignb, FSIGNB) 1531fcf5ef2aSThomas Huth SSE_HELPER_W(helper_psignw, FSIGNW) 1532fcf5ef2aSThomas Huth SSE_HELPER_L(helper_psignd, FSIGNL) 1533fcf5ef2aSThomas Huth 1534f05f9789SPaolo Bonzini void glue(helper_palignr, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1535a64eee3aSPaolo Bonzini uint32_t imm) 1536fcf5ef2aSThomas Huth { 1537d45b0de6SPaul Brook int i; 1538fcf5ef2aSThomas Huth 1539fcf5ef2aSThomas Huth /* XXX could be checked during translation */ 1540a64eee3aSPaolo Bonzini if (imm >= (SHIFT ? 32 : 16)) { 1541d45b0de6SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 1542d45b0de6SPaul Brook d->Q(i) = 0; 1543d45b0de6SPaul Brook } 1544fcf5ef2aSThomas Huth } else { 1545a64eee3aSPaolo Bonzini int shift = imm * 8; 1546fcf5ef2aSThomas Huth #define SHR(v, i) (i < 64 && i > -64 ? i > 0 ? v >> (i) : (v << -(i)) : 0) 1547fcf5ef2aSThomas Huth #if SHIFT == 0 1548d45b0de6SPaul Brook d->Q(0) = SHR(s->Q(0), shift - 0) | 1549d45b0de6SPaul Brook SHR(v->Q(0), shift - 64); 1550fcf5ef2aSThomas Huth #else 1551d45b0de6SPaul Brook for (i = 0; i < (1 << SHIFT); i += 2) { 1552d45b0de6SPaul Brook uint64_t r0, r1; 1553d45b0de6SPaul Brook 1554d45b0de6SPaul Brook r0 = SHR(s->Q(i), shift - 0) | 1555d45b0de6SPaul Brook SHR(s->Q(i + 1), shift - 64) | 1556d45b0de6SPaul Brook SHR(v->Q(i), shift - 128) | 1557d45b0de6SPaul Brook SHR(v->Q(i + 1), shift - 192); 1558d45b0de6SPaul Brook r1 = SHR(s->Q(i), shift + 64) | 1559d45b0de6SPaul Brook SHR(s->Q(i + 1), shift - 0) | 1560d45b0de6SPaul Brook SHR(v->Q(i), shift - 64) | 1561d45b0de6SPaul Brook SHR(v->Q(i + 1), shift - 128); 1562d45b0de6SPaul Brook d->Q(i) = r0; 1563d45b0de6SPaul Brook d->Q(i + 1) = r1; 1564d45b0de6SPaul Brook } 1565fcf5ef2aSThomas Huth #endif 1566fcf5ef2aSThomas Huth #undef SHR 1567fcf5ef2aSThomas Huth } 1568fcf5ef2aSThomas Huth } 1569fcf5ef2aSThomas Huth 15700e29cea5SPaul Brook #if SHIFT >= 1 1571fcf5ef2aSThomas Huth 1572fcf5ef2aSThomas Huth #define SSE_HELPER_V(name, elem, num, F) \ 1573f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, \ 1574f05f9789SPaolo Bonzini Reg *m) \ 1575fcf5ef2aSThomas Huth { \ 15760e29cea5SPaul Brook int i; \ 15770e29cea5SPaul Brook for (i = 0; i < num; i++) { \ 15780e29cea5SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i), m->elem(i)); \ 1579fcf5ef2aSThomas Huth } \ 1580fcf5ef2aSThomas Huth } 1581fcf5ef2aSThomas Huth 1582fcf5ef2aSThomas Huth #define SSE_HELPER_I(name, elem, num, F) \ 1583f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, \ 15840e29cea5SPaul Brook uint32_t imm) \ 1585fcf5ef2aSThomas Huth { \ 15860e29cea5SPaul Brook int i; \ 15870e29cea5SPaul Brook for (i = 0; i < num; i++) { \ 15880e29cea5SPaul Brook int j = i & 7; \ 15890e29cea5SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i), (imm >> j) & 1); \ 1590fcf5ef2aSThomas Huth } \ 1591fcf5ef2aSThomas Huth } 1592fcf5ef2aSThomas Huth 1593fcf5ef2aSThomas Huth /* SSE4.1 op helpers */ 15940e29cea5SPaul Brook #define FBLENDVB(v, s, m) ((m & 0x80) ? s : v) 15950e29cea5SPaul Brook #define FBLENDVPS(v, s, m) ((m & 0x80000000) ? s : v) 15960e29cea5SPaul Brook #define FBLENDVPD(v, s, m) ((m & 0x8000000000000000LL) ? s : v) 15970e29cea5SPaul Brook SSE_HELPER_V(helper_pblendvb, B, 8 << SHIFT, FBLENDVB) 15980e29cea5SPaul Brook SSE_HELPER_V(helper_blendvps, L, 2 << SHIFT, FBLENDVPS) 15990e29cea5SPaul Brook SSE_HELPER_V(helper_blendvpd, Q, 1 << SHIFT, FBLENDVPD) 1600fcf5ef2aSThomas Huth 1601fcf5ef2aSThomas Huth void glue(helper_ptest, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 1602fcf5ef2aSThomas Huth { 1603e894bae8SPaul Brook uint64_t zf = 0, cf = 0; 1604e894bae8SPaul Brook int i; 1605fcf5ef2aSThomas Huth 1606e894bae8SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1607e894bae8SPaul Brook zf |= (s->Q(i) & d->Q(i)); 1608e894bae8SPaul Brook cf |= (s->Q(i) & ~d->Q(i)); 1609e894bae8SPaul Brook } 1610fcf5ef2aSThomas Huth CC_SRC = (zf ? 0 : CC_Z) | (cf ? 0 : CC_C); 1611fcf5ef2aSThomas Huth } 1612fcf5ef2aSThomas Huth 16137170a17eSPaolo Bonzini #define FMOVSLDUP(i) s->L((i) & ~1) 16147170a17eSPaolo Bonzini #define FMOVSHDUP(i) s->L((i) | 1) 16157170a17eSPaolo Bonzini #define FMOVDLDUP(i) s->Q((i) & ~1) 16167170a17eSPaolo Bonzini 1617fcf5ef2aSThomas Huth #define SSE_HELPER_F(name, elem, num, F) \ 1618fcf5ef2aSThomas Huth void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) \ 1619fcf5ef2aSThomas Huth { \ 1620e894bae8SPaul Brook int n = num; \ 1621e894bae8SPaul Brook for (int i = n; --i >= 0; ) { \ 1622e894bae8SPaul Brook d->elem(i) = F(i); \ 1623fcf5ef2aSThomas Huth } \ 1624fcf5ef2aSThomas Huth } 1625fcf5ef2aSThomas Huth 1626e894bae8SPaul Brook #if SHIFT > 0 1627e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbw, W, 4 << SHIFT, (int8_t) s->B) 1628e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbd, L, 2 << SHIFT, (int8_t) s->B) 1629e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbq, Q, 1 << SHIFT, (int8_t) s->B) 1630e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxwd, L, 2 << SHIFT, (int16_t) s->W) 1631e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxwq, Q, 1 << SHIFT, (int16_t) s->W) 1632e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxdq, Q, 1 << SHIFT, (int32_t) s->L) 1633e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbw, W, 4 << SHIFT, s->B) 1634e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbd, L, 2 << SHIFT, s->B) 1635e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbq, Q, 1 << SHIFT, s->B) 1636e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxwd, L, 2 << SHIFT, s->W) 1637e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxwq, Q, 1 << SHIFT, s->W) 1638e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxdq, Q, 1 << SHIFT, s->L) 16397170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovsldup, L, 2 << SHIFT, FMOVSLDUP) 16407170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovshdup, L, 2 << SHIFT, FMOVSHDUP) 16417170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovdldup, Q, 1 << SHIFT, FMOVDLDUP) 1642e894bae8SPaul Brook #endif 1643fcf5ef2aSThomas Huth 1644f05f9789SPaolo Bonzini void glue(helper_pmuldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1645fcf5ef2aSThomas Huth { 1646e894bae8SPaul Brook int i; 1647e894bae8SPaul Brook 1648e894bae8SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1649e894bae8SPaul Brook d->Q(i) = (int64_t)(int32_t) v->L(2 * i) * (int32_t) s->L(2 * i); 1650e894bae8SPaul Brook } 1651fcf5ef2aSThomas Huth } 1652fcf5ef2aSThomas Huth 1653f05f9789SPaolo Bonzini void glue(helper_packusdw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1654fcf5ef2aSThomas Huth { 1655d45b0de6SPaul Brook uint16_t r[8]; 1656d45b0de6SPaul Brook int i, j, k; 165780e19606SJoseph Myers 1658d45b0de6SPaul Brook for (i = 0, j = 0; i <= 2 << SHIFT; i += 8, j += 4) { 1659d45b0de6SPaul Brook r[0] = satuw(v->L(j)); 1660d45b0de6SPaul Brook r[1] = satuw(v->L(j + 1)); 1661d45b0de6SPaul Brook r[2] = satuw(v->L(j + 2)); 1662d45b0de6SPaul Brook r[3] = satuw(v->L(j + 3)); 1663d45b0de6SPaul Brook r[4] = satuw(s->L(j)); 1664d45b0de6SPaul Brook r[5] = satuw(s->L(j + 1)); 1665d45b0de6SPaul Brook r[6] = satuw(s->L(j + 2)); 1666d45b0de6SPaul Brook r[7] = satuw(s->L(j + 3)); 1667d45b0de6SPaul Brook for (k = 0; k < 8; k++) { 1668d45b0de6SPaul Brook d->W(i + k) = r[k]; 1669d45b0de6SPaul Brook } 1670d45b0de6SPaul Brook } 1671fcf5ef2aSThomas Huth } 1672fcf5ef2aSThomas Huth 1673fd17264aSPaul Brook #if SHIFT == 1 1674fcf5ef2aSThomas Huth void glue(helper_phminposuw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 1675fcf5ef2aSThomas Huth { 1676fcf5ef2aSThomas Huth int idx = 0; 1677fcf5ef2aSThomas Huth 1678fcf5ef2aSThomas Huth if (s->W(1) < s->W(idx)) { 1679fcf5ef2aSThomas Huth idx = 1; 1680fcf5ef2aSThomas Huth } 1681fcf5ef2aSThomas Huth if (s->W(2) < s->W(idx)) { 1682fcf5ef2aSThomas Huth idx = 2; 1683fcf5ef2aSThomas Huth } 1684fcf5ef2aSThomas Huth if (s->W(3) < s->W(idx)) { 1685fcf5ef2aSThomas Huth idx = 3; 1686fcf5ef2aSThomas Huth } 1687fcf5ef2aSThomas Huth if (s->W(4) < s->W(idx)) { 1688fcf5ef2aSThomas Huth idx = 4; 1689fcf5ef2aSThomas Huth } 1690fcf5ef2aSThomas Huth if (s->W(5) < s->W(idx)) { 1691fcf5ef2aSThomas Huth idx = 5; 1692fcf5ef2aSThomas Huth } 1693fcf5ef2aSThomas Huth if (s->W(6) < s->W(idx)) { 1694fcf5ef2aSThomas Huth idx = 6; 1695fcf5ef2aSThomas Huth } 1696fcf5ef2aSThomas Huth if (s->W(7) < s->W(idx)) { 1697fcf5ef2aSThomas Huth idx = 7; 1698fcf5ef2aSThomas Huth } 1699fcf5ef2aSThomas Huth 1700fcf5ef2aSThomas Huth d->W(0) = s->W(idx); 1701aa406feaSJoseph Myers d->W(1) = idx; 1702aa406feaSJoseph Myers d->L(1) = 0; 1703aa406feaSJoseph Myers d->Q(1) = 0; 1704fcf5ef2aSThomas Huth } 1705fd17264aSPaul Brook #endif 1706fcf5ef2aSThomas Huth 1707fcf5ef2aSThomas Huth void glue(helper_roundps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 1708fcf5ef2aSThomas Huth uint32_t mode) 1709fcf5ef2aSThomas Huth { 1710418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1711fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1712fd17264aSPaul Brook int i; 1713fcf5ef2aSThomas Huth 1714fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1715fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1716314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1717fcf5ef2aSThomas Huth } 1718fcf5ef2aSThomas Huth 1719fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 1720fd17264aSPaul Brook d->ZMM_S(i) = float32_round_to_int(s->ZMM_S(i), &env->sse_status); 1721fd17264aSPaul Brook } 1722fcf5ef2aSThomas Huth 1723418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1724fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1725fcf5ef2aSThomas Huth ~float_flag_inexact, 1726fcf5ef2aSThomas Huth &env->sse_status); 1727fcf5ef2aSThomas Huth } 1728fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1729fcf5ef2aSThomas Huth } 1730fcf5ef2aSThomas Huth 1731fcf5ef2aSThomas Huth void glue(helper_roundpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 1732fcf5ef2aSThomas Huth uint32_t mode) 1733fcf5ef2aSThomas Huth { 1734418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1735fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1736fd17264aSPaul Brook int i; 1737fcf5ef2aSThomas Huth 1738fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1739fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1740314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1741fcf5ef2aSThomas Huth } 1742fcf5ef2aSThomas Huth 1743fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1744fd17264aSPaul Brook d->ZMM_D(i) = float64_round_to_int(s->ZMM_D(i), &env->sse_status); 1745fd17264aSPaul Brook } 1746fcf5ef2aSThomas Huth 1747418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1748fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1749fcf5ef2aSThomas Huth ~float_flag_inexact, 1750fcf5ef2aSThomas Huth &env->sse_status); 1751fcf5ef2aSThomas Huth } 1752fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1753fcf5ef2aSThomas Huth } 1754fcf5ef2aSThomas Huth 1755fd17264aSPaul Brook #if SHIFT == 1 1756620f7556SPaolo Bonzini void glue(helper_roundss, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1757fcf5ef2aSThomas Huth uint32_t mode) 1758fcf5ef2aSThomas Huth { 1759418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1760fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1761620f7556SPaolo Bonzini int i; 1762fcf5ef2aSThomas Huth 1763fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1764fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1765314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1766fcf5ef2aSThomas Huth } 1767fcf5ef2aSThomas Huth 1768fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_round_to_int(s->ZMM_S(0), &env->sse_status); 1769620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 1770620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 1771620f7556SPaolo Bonzini } 1772fcf5ef2aSThomas Huth 1773418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1774fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1775fcf5ef2aSThomas Huth ~float_flag_inexact, 1776fcf5ef2aSThomas Huth &env->sse_status); 1777fcf5ef2aSThomas Huth } 1778fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1779fcf5ef2aSThomas Huth } 1780fcf5ef2aSThomas Huth 1781620f7556SPaolo Bonzini void glue(helper_roundsd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1782fcf5ef2aSThomas Huth uint32_t mode) 1783fcf5ef2aSThomas Huth { 1784418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1785fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1786620f7556SPaolo Bonzini int i; 1787fcf5ef2aSThomas Huth 1788fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1789fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1790314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1791fcf5ef2aSThomas Huth } 1792fcf5ef2aSThomas Huth 1793fcf5ef2aSThomas Huth d->ZMM_D(0) = float64_round_to_int(s->ZMM_D(0), &env->sse_status); 1794620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 1795620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 1796620f7556SPaolo Bonzini } 1797fcf5ef2aSThomas Huth 1798418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1799fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1800fcf5ef2aSThomas Huth ~float_flag_inexact, 1801fcf5ef2aSThomas Huth &env->sse_status); 1802fcf5ef2aSThomas Huth } 1803fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1804fcf5ef2aSThomas Huth } 1805fd17264aSPaul Brook #endif 1806fcf5ef2aSThomas Huth 18070e29cea5SPaul Brook #define FBLENDP(v, s, m) (m ? s : v) 18080e29cea5SPaul Brook SSE_HELPER_I(helper_blendps, L, 2 << SHIFT, FBLENDP) 18090e29cea5SPaul Brook SSE_HELPER_I(helper_blendpd, Q, 1 << SHIFT, FBLENDP) 18100e29cea5SPaul Brook SSE_HELPER_I(helper_pblendw, W, 4 << SHIFT, FBLENDP) 1811fcf5ef2aSThomas Huth 1812f05f9789SPaolo Bonzini void glue(helper_dpps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 18136f218d6eSPaul Brook uint32_t mask) 1814fcf5ef2aSThomas Huth { 1815bf30ad8cSPaolo Bonzini float32 prod1, prod2, temp2, temp3, temp4; 18166f218d6eSPaul Brook int i; 1817fcf5ef2aSThomas Huth 18186f218d6eSPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 1819bf30ad8cSPaolo Bonzini /* 1820bf30ad8cSPaolo Bonzini * We must evaluate (A+B)+(C+D), not ((A+B)+C)+D 1821bf30ad8cSPaolo Bonzini * to correctly round the intermediate results 1822bf30ad8cSPaolo Bonzini */ 1823fcf5ef2aSThomas Huth if (mask & (1 << 4)) { 18246f218d6eSPaul Brook prod1 = float32_mul(v->ZMM_S(i), s->ZMM_S(i), &env->sse_status); 1825bf30ad8cSPaolo Bonzini } else { 1826bf30ad8cSPaolo Bonzini prod1 = float32_zero; 1827fcf5ef2aSThomas Huth } 1828fcf5ef2aSThomas Huth if (mask & (1 << 5)) { 18296f218d6eSPaul Brook prod2 = float32_mul(v->ZMM_S(i+1), s->ZMM_S(i+1), &env->sse_status); 1830bf30ad8cSPaolo Bonzini } else { 1831bf30ad8cSPaolo Bonzini prod2 = float32_zero; 1832fcf5ef2aSThomas Huth } 1833bf30ad8cSPaolo Bonzini temp2 = float32_add(prod1, prod2, &env->sse_status); 1834fcf5ef2aSThomas Huth if (mask & (1 << 6)) { 18356f218d6eSPaul Brook prod1 = float32_mul(v->ZMM_S(i+2), s->ZMM_S(i+2), &env->sse_status); 1836bf30ad8cSPaolo Bonzini } else { 1837bf30ad8cSPaolo Bonzini prod1 = float32_zero; 1838fcf5ef2aSThomas Huth } 1839fcf5ef2aSThomas Huth if (mask & (1 << 7)) { 18406f218d6eSPaul Brook prod2 = float32_mul(v->ZMM_S(i+3), s->ZMM_S(i+3), &env->sse_status); 1841bf30ad8cSPaolo Bonzini } else { 1842bf30ad8cSPaolo Bonzini prod2 = float32_zero; 1843fcf5ef2aSThomas Huth } 1844bf30ad8cSPaolo Bonzini temp3 = float32_add(prod1, prod2, &env->sse_status); 1845bf30ad8cSPaolo Bonzini temp4 = float32_add(temp2, temp3, &env->sse_status); 1846bf30ad8cSPaolo Bonzini 18476f218d6eSPaul Brook d->ZMM_S(i) = (mask & (1 << 0)) ? temp4 : float32_zero; 18486f218d6eSPaul Brook d->ZMM_S(i+1) = (mask & (1 << 1)) ? temp4 : float32_zero; 18496f218d6eSPaul Brook d->ZMM_S(i+2) = (mask & (1 << 2)) ? temp4 : float32_zero; 18506f218d6eSPaul Brook d->ZMM_S(i+3) = (mask & (1 << 3)) ? temp4 : float32_zero; 18516f218d6eSPaul Brook } 1852fcf5ef2aSThomas Huth } 1853fcf5ef2aSThomas Huth 18546f218d6eSPaul Brook #if SHIFT == 1 18556f218d6eSPaul Brook /* Oddly, there is no ymm version of dppd */ 18566f218d6eSPaul Brook void glue(helper_dppd, SUFFIX)(CPUX86State *env, 1857f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s, uint32_t mask) 1858fcf5ef2aSThomas Huth { 1859bf30ad8cSPaolo Bonzini float64 prod1, prod2, temp2; 1860fcf5ef2aSThomas Huth 1861fcf5ef2aSThomas Huth if (mask & (1 << 4)) { 18626f218d6eSPaul Brook prod1 = float64_mul(v->ZMM_D(0), s->ZMM_D(0), &env->sse_status); 1863bf30ad8cSPaolo Bonzini } else { 1864bf30ad8cSPaolo Bonzini prod1 = float64_zero; 1865fcf5ef2aSThomas Huth } 1866fcf5ef2aSThomas Huth if (mask & (1 << 5)) { 18676f218d6eSPaul Brook prod2 = float64_mul(v->ZMM_D(1), s->ZMM_D(1), &env->sse_status); 1868bf30ad8cSPaolo Bonzini } else { 1869bf30ad8cSPaolo Bonzini prod2 = float64_zero; 1870fcf5ef2aSThomas Huth } 1871bf30ad8cSPaolo Bonzini temp2 = float64_add(prod1, prod2, &env->sse_status); 1872bf30ad8cSPaolo Bonzini d->ZMM_D(0) = (mask & (1 << 0)) ? temp2 : float64_zero; 1873bf30ad8cSPaolo Bonzini d->ZMM_D(1) = (mask & (1 << 1)) ? temp2 : float64_zero; 1874fcf5ef2aSThomas Huth } 18756f218d6eSPaul Brook #endif 1876fcf5ef2aSThomas Huth 1877f05f9789SPaolo Bonzini void glue(helper_mpsadbw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1878fcf5ef2aSThomas Huth uint32_t offset) 1879fcf5ef2aSThomas Huth { 1880d45b0de6SPaul Brook int i, j; 1881d45b0de6SPaul Brook uint16_t r[8]; 1882fcf5ef2aSThomas Huth 1883d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; ) { 1884d45b0de6SPaul Brook int s0 = (j * 2) + ((offset & 3) << 2); 1885d45b0de6SPaul Brook int d0 = (j * 2) + ((offset & 4) << 0); 1886d45b0de6SPaul Brook for (i = 0; i < LANE_WIDTH / 2; i++, d0++) { 1887d45b0de6SPaul Brook r[i] = 0; 1888d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 0) - s->B(s0 + 0)); 1889d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 1) - s->B(s0 + 1)); 1890d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 2) - s->B(s0 + 2)); 1891d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 3) - s->B(s0 + 3)); 1892fcf5ef2aSThomas Huth } 1893d45b0de6SPaul Brook for (i = 0; i < LANE_WIDTH / 2; i++, j++) { 1894d45b0de6SPaul Brook d->W(j) = r[i]; 1895d45b0de6SPaul Brook } 1896d45b0de6SPaul Brook offset >>= 3; 1897d45b0de6SPaul Brook } 1898fcf5ef2aSThomas Huth } 1899fcf5ef2aSThomas Huth 1900fcf5ef2aSThomas Huth /* SSE4.2 op helpers */ 1901fd17264aSPaul Brook #if SHIFT == 1 1902fcf5ef2aSThomas Huth static inline int pcmp_elen(CPUX86State *env, int reg, uint32_t ctrl) 1903fcf5ef2aSThomas Huth { 1904d1da229fSPaul Brook target_long val, limit; 1905fcf5ef2aSThomas Huth 1906fcf5ef2aSThomas Huth /* Presence of REX.W is indicated by a bit higher than 7 set */ 1907fcf5ef2aSThomas Huth if (ctrl >> 8) { 1908d1da229fSPaul Brook val = (target_long)env->regs[reg]; 1909fcf5ef2aSThomas Huth } else { 1910d1da229fSPaul Brook val = (int32_t)env->regs[reg]; 1911fcf5ef2aSThomas Huth } 1912fcf5ef2aSThomas Huth if (ctrl & 1) { 1913d1da229fSPaul Brook limit = 8; 1914fcf5ef2aSThomas Huth } else { 1915d1da229fSPaul Brook limit = 16; 1916fcf5ef2aSThomas Huth } 1917d1da229fSPaul Brook if ((val > limit) || (val < -limit)) { 1918d1da229fSPaul Brook return limit; 1919fcf5ef2aSThomas Huth } 1920d1da229fSPaul Brook return abs1(val); 1921fcf5ef2aSThomas Huth } 1922fcf5ef2aSThomas Huth 1923fcf5ef2aSThomas Huth static inline int pcmp_ilen(Reg *r, uint8_t ctrl) 1924fcf5ef2aSThomas Huth { 1925fcf5ef2aSThomas Huth int val = 0; 1926fcf5ef2aSThomas Huth 1927fcf5ef2aSThomas Huth if (ctrl & 1) { 1928fcf5ef2aSThomas Huth while (val < 8 && r->W(val)) { 1929fcf5ef2aSThomas Huth val++; 1930fcf5ef2aSThomas Huth } 1931fcf5ef2aSThomas Huth } else { 1932fcf5ef2aSThomas Huth while (val < 16 && r->B(val)) { 1933fcf5ef2aSThomas Huth val++; 1934fcf5ef2aSThomas Huth } 1935fcf5ef2aSThomas Huth } 1936fcf5ef2aSThomas Huth 1937fcf5ef2aSThomas Huth return val; 1938fcf5ef2aSThomas Huth } 1939fcf5ef2aSThomas Huth 1940fcf5ef2aSThomas Huth static inline int pcmp_val(Reg *r, uint8_t ctrl, int i) 1941fcf5ef2aSThomas Huth { 1942fcf5ef2aSThomas Huth switch ((ctrl >> 0) & 3) { 1943fcf5ef2aSThomas Huth case 0: 1944fcf5ef2aSThomas Huth return r->B(i); 1945fcf5ef2aSThomas Huth case 1: 1946fcf5ef2aSThomas Huth return r->W(i); 1947fcf5ef2aSThomas Huth case 2: 1948fcf5ef2aSThomas Huth return (int8_t)r->B(i); 1949fcf5ef2aSThomas Huth case 3: 1950fcf5ef2aSThomas Huth default: 1951fcf5ef2aSThomas Huth return (int16_t)r->W(i); 1952fcf5ef2aSThomas Huth } 1953fcf5ef2aSThomas Huth } 1954fcf5ef2aSThomas Huth 1955fcf5ef2aSThomas Huth static inline unsigned pcmpxstrx(CPUX86State *env, Reg *d, Reg *s, 1956a64eee3aSPaolo Bonzini uint8_t ctrl, int valids, int validd) 1957fcf5ef2aSThomas Huth { 1958fcf5ef2aSThomas Huth unsigned int res = 0; 1959fcf5ef2aSThomas Huth int v; 1960fcf5ef2aSThomas Huth int j, i; 1961fcf5ef2aSThomas Huth int upper = (ctrl & 1) ? 7 : 15; 1962fcf5ef2aSThomas Huth 1963fcf5ef2aSThomas Huth valids--; 1964fcf5ef2aSThomas Huth validd--; 1965fcf5ef2aSThomas Huth 1966fcf5ef2aSThomas Huth CC_SRC = (valids < upper ? CC_Z : 0) | (validd < upper ? CC_S : 0); 1967fcf5ef2aSThomas Huth 1968fcf5ef2aSThomas Huth switch ((ctrl >> 2) & 3) { 1969fcf5ef2aSThomas Huth case 0: 1970fcf5ef2aSThomas Huth for (j = valids; j >= 0; j--) { 1971fcf5ef2aSThomas Huth res <<= 1; 1972fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, j); 1973fcf5ef2aSThomas Huth for (i = validd; i >= 0; i--) { 1974fcf5ef2aSThomas Huth res |= (v == pcmp_val(d, ctrl, i)); 1975fcf5ef2aSThomas Huth } 1976fcf5ef2aSThomas Huth } 1977fcf5ef2aSThomas Huth break; 1978fcf5ef2aSThomas Huth case 1: 1979fcf5ef2aSThomas Huth for (j = valids; j >= 0; j--) { 1980fcf5ef2aSThomas Huth res <<= 1; 1981fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, j); 1982fcf5ef2aSThomas Huth for (i = ((validd - 1) | 1); i >= 0; i -= 2) { 1983fcf5ef2aSThomas Huth res |= (pcmp_val(d, ctrl, i - 0) >= v && 1984fcf5ef2aSThomas Huth pcmp_val(d, ctrl, i - 1) <= v); 1985fcf5ef2aSThomas Huth } 1986fcf5ef2aSThomas Huth } 1987fcf5ef2aSThomas Huth break; 1988fcf5ef2aSThomas Huth case 2: 1989fcf5ef2aSThomas Huth res = (1 << (upper - MAX(valids, validd))) - 1; 1990fcf5ef2aSThomas Huth res <<= MAX(valids, validd) - MIN(valids, validd); 1991fcf5ef2aSThomas Huth for (i = MIN(valids, validd); i >= 0; i--) { 1992fcf5ef2aSThomas Huth res <<= 1; 1993fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, i); 1994fcf5ef2aSThomas Huth res |= (v == pcmp_val(d, ctrl, i)); 1995fcf5ef2aSThomas Huth } 1996fcf5ef2aSThomas Huth break; 1997fcf5ef2aSThomas Huth case 3: 1998ae35eea7SJoseph Myers if (validd == -1) { 1999ae35eea7SJoseph Myers res = (2 << upper) - 1; 2000ae35eea7SJoseph Myers break; 2001ae35eea7SJoseph Myers } 2002bc921b27SJoseph Myers for (j = valids == upper ? valids : valids - validd; j >= 0; j--) { 2003fcf5ef2aSThomas Huth res <<= 1; 2004fcf5ef2aSThomas Huth v = 1; 2005bc921b27SJoseph Myers for (i = MIN(valids - j, validd); i >= 0; i--) { 2006fcf5ef2aSThomas Huth v &= (pcmp_val(s, ctrl, i + j) == pcmp_val(d, ctrl, i)); 2007fcf5ef2aSThomas Huth } 2008fcf5ef2aSThomas Huth res |= v; 2009fcf5ef2aSThomas Huth } 2010fcf5ef2aSThomas Huth break; 2011fcf5ef2aSThomas Huth } 2012fcf5ef2aSThomas Huth 2013fcf5ef2aSThomas Huth switch ((ctrl >> 4) & 3) { 2014fcf5ef2aSThomas Huth case 1: 2015fcf5ef2aSThomas Huth res ^= (2 << upper) - 1; 2016fcf5ef2aSThomas Huth break; 2017fcf5ef2aSThomas Huth case 3: 2018fcf5ef2aSThomas Huth res ^= (1 << (valids + 1)) - 1; 2019fcf5ef2aSThomas Huth break; 2020fcf5ef2aSThomas Huth } 2021fcf5ef2aSThomas Huth 2022fcf5ef2aSThomas Huth if (res) { 2023fcf5ef2aSThomas Huth CC_SRC |= CC_C; 2024fcf5ef2aSThomas Huth } 2025fcf5ef2aSThomas Huth if (res & 1) { 2026fcf5ef2aSThomas Huth CC_SRC |= CC_O; 2027fcf5ef2aSThomas Huth } 2028fcf5ef2aSThomas Huth 2029fcf5ef2aSThomas Huth return res; 2030fcf5ef2aSThomas Huth } 2031fcf5ef2aSThomas Huth 2032fcf5ef2aSThomas Huth void glue(helper_pcmpestri, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2033fcf5ef2aSThomas Huth uint32_t ctrl) 2034fcf5ef2aSThomas Huth { 2035fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2036fcf5ef2aSThomas Huth pcmp_elen(env, R_EDX, ctrl), 2037fcf5ef2aSThomas Huth pcmp_elen(env, R_EAX, ctrl)); 2038fcf5ef2aSThomas Huth 2039fcf5ef2aSThomas Huth if (res) { 2040fcf5ef2aSThomas Huth env->regs[R_ECX] = (ctrl & (1 << 6)) ? 31 - clz32(res) : ctz32(res); 2041fcf5ef2aSThomas Huth } else { 2042fcf5ef2aSThomas Huth env->regs[R_ECX] = 16 >> (ctrl & (1 << 0)); 2043fcf5ef2aSThomas Huth } 2044fcf5ef2aSThomas Huth } 2045fcf5ef2aSThomas Huth 2046fcf5ef2aSThomas Huth void glue(helper_pcmpestrm, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2047fcf5ef2aSThomas Huth uint32_t ctrl) 2048fcf5ef2aSThomas Huth { 2049fcf5ef2aSThomas Huth int i; 2050fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2051fcf5ef2aSThomas Huth pcmp_elen(env, R_EDX, ctrl), 2052fcf5ef2aSThomas Huth pcmp_elen(env, R_EAX, ctrl)); 2053fcf5ef2aSThomas Huth 2054fcf5ef2aSThomas Huth if ((ctrl >> 6) & 1) { 2055fcf5ef2aSThomas Huth if (ctrl & 1) { 2056fcf5ef2aSThomas Huth for (i = 0; i < 8; i++, res >>= 1) { 2057fcf5ef2aSThomas Huth env->xmm_regs[0].W(i) = (res & 1) ? ~0 : 0; 2058fcf5ef2aSThomas Huth } 2059fcf5ef2aSThomas Huth } else { 2060fcf5ef2aSThomas Huth for (i = 0; i < 16; i++, res >>= 1) { 2061fcf5ef2aSThomas Huth env->xmm_regs[0].B(i) = (res & 1) ? ~0 : 0; 2062fcf5ef2aSThomas Huth } 2063fcf5ef2aSThomas Huth } 2064fcf5ef2aSThomas Huth } else { 2065fcf5ef2aSThomas Huth env->xmm_regs[0].Q(1) = 0; 2066fcf5ef2aSThomas Huth env->xmm_regs[0].Q(0) = res; 2067fcf5ef2aSThomas Huth } 2068fcf5ef2aSThomas Huth } 2069fcf5ef2aSThomas Huth 2070fcf5ef2aSThomas Huth void glue(helper_pcmpistri, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2071fcf5ef2aSThomas Huth uint32_t ctrl) 2072fcf5ef2aSThomas Huth { 2073fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2074fcf5ef2aSThomas Huth pcmp_ilen(s, ctrl), 2075fcf5ef2aSThomas Huth pcmp_ilen(d, ctrl)); 2076fcf5ef2aSThomas Huth 2077fcf5ef2aSThomas Huth if (res) { 2078fcf5ef2aSThomas Huth env->regs[R_ECX] = (ctrl & (1 << 6)) ? 31 - clz32(res) : ctz32(res); 2079fcf5ef2aSThomas Huth } else { 2080fcf5ef2aSThomas Huth env->regs[R_ECX] = 16 >> (ctrl & (1 << 0)); 2081fcf5ef2aSThomas Huth } 2082fcf5ef2aSThomas Huth } 2083fcf5ef2aSThomas Huth 2084fcf5ef2aSThomas Huth void glue(helper_pcmpistrm, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2085fcf5ef2aSThomas Huth uint32_t ctrl) 2086fcf5ef2aSThomas Huth { 2087fcf5ef2aSThomas Huth int i; 2088fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2089fcf5ef2aSThomas Huth pcmp_ilen(s, ctrl), 2090fcf5ef2aSThomas Huth pcmp_ilen(d, ctrl)); 2091fcf5ef2aSThomas Huth 2092fcf5ef2aSThomas Huth if ((ctrl >> 6) & 1) { 2093fcf5ef2aSThomas Huth if (ctrl & 1) { 2094fcf5ef2aSThomas Huth for (i = 0; i < 8; i++, res >>= 1) { 2095fcf5ef2aSThomas Huth env->xmm_regs[0].W(i) = (res & 1) ? ~0 : 0; 2096fcf5ef2aSThomas Huth } 2097fcf5ef2aSThomas Huth } else { 2098fcf5ef2aSThomas Huth for (i = 0; i < 16; i++, res >>= 1) { 2099fcf5ef2aSThomas Huth env->xmm_regs[0].B(i) = (res & 1) ? ~0 : 0; 2100fcf5ef2aSThomas Huth } 2101fcf5ef2aSThomas Huth } 2102fcf5ef2aSThomas Huth } else { 2103fcf5ef2aSThomas Huth env->xmm_regs[0].Q(1) = 0; 2104fcf5ef2aSThomas Huth env->xmm_regs[0].Q(0) = res; 2105fcf5ef2aSThomas Huth } 2106fcf5ef2aSThomas Huth } 2107fcf5ef2aSThomas Huth 2108fcf5ef2aSThomas Huth #define CRCPOLY 0x1edc6f41 2109fcf5ef2aSThomas Huth #define CRCPOLY_BITREV 0x82f63b78 2110fcf5ef2aSThomas Huth target_ulong helper_crc32(uint32_t crc1, target_ulong msg, uint32_t len) 2111fcf5ef2aSThomas Huth { 2112fcf5ef2aSThomas Huth target_ulong crc = (msg & ((target_ulong) -1 >> 2113fcf5ef2aSThomas Huth (TARGET_LONG_BITS - len))) ^ crc1; 2114fcf5ef2aSThomas Huth 2115fcf5ef2aSThomas Huth while (len--) { 2116fcf5ef2aSThomas Huth crc = (crc >> 1) ^ ((crc & 1) ? CRCPOLY_BITREV : 0); 2117fcf5ef2aSThomas Huth } 2118fcf5ef2aSThomas Huth 2119fcf5ef2aSThomas Huth return crc; 2120fcf5ef2aSThomas Huth } 2121fcf5ef2aSThomas Huth 2122fd17264aSPaul Brook #endif 2123fd17264aSPaul Brook 21245a09df21SPaul Brook #if SHIFT == 1 21255a09df21SPaul Brook static void clmulq(uint64_t *dest_l, uint64_t *dest_h, 21265a09df21SPaul Brook uint64_t a, uint64_t b) 2127fcf5ef2aSThomas Huth { 21285a09df21SPaul Brook uint64_t al, ah, resh, resl; 2129fcf5ef2aSThomas Huth 2130fcf5ef2aSThomas Huth ah = 0; 21315a09df21SPaul Brook al = a; 2132fcf5ef2aSThomas Huth resh = resl = 0; 2133fcf5ef2aSThomas Huth 2134fcf5ef2aSThomas Huth while (b) { 2135fcf5ef2aSThomas Huth if (b & 1) { 2136fcf5ef2aSThomas Huth resl ^= al; 2137fcf5ef2aSThomas Huth resh ^= ah; 2138fcf5ef2aSThomas Huth } 2139fcf5ef2aSThomas Huth ah = (ah << 1) | (al >> 63); 2140fcf5ef2aSThomas Huth al <<= 1; 2141fcf5ef2aSThomas Huth b >>= 1; 2142fcf5ef2aSThomas Huth } 2143fcf5ef2aSThomas Huth 21445a09df21SPaul Brook *dest_l = resl; 21455a09df21SPaul Brook *dest_h = resh; 21465a09df21SPaul Brook } 21475a09df21SPaul Brook #endif 21485a09df21SPaul Brook 2149f05f9789SPaolo Bonzini void glue(helper_pclmulqdq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 21505a09df21SPaul Brook uint32_t ctrl) 21515a09df21SPaul Brook { 21525a09df21SPaul Brook uint64_t a, b; 21535a09df21SPaul Brook int i; 21545a09df21SPaul Brook 21555a09df21SPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { 21565a09df21SPaul Brook a = v->Q(((ctrl & 1) != 0) + i); 21575a09df21SPaul Brook b = s->Q(((ctrl & 16) != 0) + i); 21585a09df21SPaul Brook clmulq(&d->Q(i), &d->Q(i + 1), a, b); 21595a09df21SPaul Brook } 2160fcf5ef2aSThomas Huth } 2161fcf5ef2aSThomas Huth 2162f05f9789SPaolo Bonzini void glue(helper_aesdec, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2163fcf5ef2aSThomas Huth { 2164fcf5ef2aSThomas Huth int i; 2165f05f9789SPaolo Bonzini Reg st = *v; 2166fcf5ef2aSThomas Huth Reg rk = *s; 2167fcf5ef2aSThomas Huth 2168a64fc269SPaul Brook for (i = 0 ; i < 2 << SHIFT ; i++) { 2169a64fc269SPaul Brook int j = i & 3; 2170a64fc269SPaul Brook d->L(i) = rk.L(i) ^ bswap32(AES_Td0[st.B(AES_ishifts[4 * j + 0])] ^ 2171a64fc269SPaul Brook AES_Td1[st.B(AES_ishifts[4 * j + 1])] ^ 2172a64fc269SPaul Brook AES_Td2[st.B(AES_ishifts[4 * j + 2])] ^ 2173a64fc269SPaul Brook AES_Td3[st.B(AES_ishifts[4 * j + 3])]); 2174fcf5ef2aSThomas Huth } 2175fcf5ef2aSThomas Huth } 2176fcf5ef2aSThomas Huth 2177f05f9789SPaolo Bonzini void glue(helper_aesdeclast, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2178fcf5ef2aSThomas Huth { 2179fcf5ef2aSThomas Huth int i; 2180f05f9789SPaolo Bonzini Reg st = *v; 2181fcf5ef2aSThomas Huth Reg rk = *s; 2182fcf5ef2aSThomas Huth 2183a64fc269SPaul Brook for (i = 0; i < 8 << SHIFT; i++) { 2184a64fc269SPaul Brook d->B(i) = rk.B(i) ^ (AES_isbox[st.B(AES_ishifts[i & 15] + (i & ~15))]); 2185fcf5ef2aSThomas Huth } 2186fcf5ef2aSThomas Huth } 2187fcf5ef2aSThomas Huth 2188f05f9789SPaolo Bonzini void glue(helper_aesenc, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2189fcf5ef2aSThomas Huth { 2190fcf5ef2aSThomas Huth int i; 2191f05f9789SPaolo Bonzini Reg st = *v; 2192fcf5ef2aSThomas Huth Reg rk = *s; 2193fcf5ef2aSThomas Huth 2194a64fc269SPaul Brook for (i = 0 ; i < 2 << SHIFT ; i++) { 2195a64fc269SPaul Brook int j = i & 3; 2196a64fc269SPaul Brook d->L(i) = rk.L(i) ^ bswap32(AES_Te0[st.B(AES_shifts[4 * j + 0])] ^ 2197a64fc269SPaul Brook AES_Te1[st.B(AES_shifts[4 * j + 1])] ^ 2198a64fc269SPaul Brook AES_Te2[st.B(AES_shifts[4 * j + 2])] ^ 2199a64fc269SPaul Brook AES_Te3[st.B(AES_shifts[4 * j + 3])]); 2200fcf5ef2aSThomas Huth } 2201fcf5ef2aSThomas Huth } 2202fcf5ef2aSThomas Huth 2203f05f9789SPaolo Bonzini void glue(helper_aesenclast, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2204fcf5ef2aSThomas Huth { 2205fcf5ef2aSThomas Huth int i; 2206f05f9789SPaolo Bonzini Reg st = *v; 2207fcf5ef2aSThomas Huth Reg rk = *s; 2208fcf5ef2aSThomas Huth 2209a64fc269SPaul Brook for (i = 0; i < 8 << SHIFT; i++) { 2210a64fc269SPaul Brook d->B(i) = rk.B(i) ^ (AES_sbox[st.B(AES_shifts[i & 15] + (i & ~15))]); 2211a64fc269SPaul Brook } 2212fcf5ef2aSThomas Huth } 2213fcf5ef2aSThomas Huth 2214a64fc269SPaul Brook #if SHIFT == 1 2215fcf5ef2aSThomas Huth void glue(helper_aesimc, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 2216fcf5ef2aSThomas Huth { 2217fcf5ef2aSThomas Huth int i; 2218fcf5ef2aSThomas Huth Reg tmp = *s; 2219fcf5ef2aSThomas Huth 2220fcf5ef2aSThomas Huth for (i = 0 ; i < 4 ; i++) { 2221fcf5ef2aSThomas Huth d->L(i) = bswap32(AES_imc[tmp.B(4 * i + 0)][0] ^ 2222fcf5ef2aSThomas Huth AES_imc[tmp.B(4 * i + 1)][1] ^ 2223fcf5ef2aSThomas Huth AES_imc[tmp.B(4 * i + 2)][2] ^ 2224fcf5ef2aSThomas Huth AES_imc[tmp.B(4 * i + 3)][3]); 2225fcf5ef2aSThomas Huth } 2226fcf5ef2aSThomas Huth } 2227fcf5ef2aSThomas Huth 2228fcf5ef2aSThomas Huth void glue(helper_aeskeygenassist, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2229fcf5ef2aSThomas Huth uint32_t ctrl) 2230fcf5ef2aSThomas Huth { 2231fcf5ef2aSThomas Huth int i; 2232fcf5ef2aSThomas Huth Reg tmp = *s; 2233fcf5ef2aSThomas Huth 2234fcf5ef2aSThomas Huth for (i = 0 ; i < 4 ; i++) { 2235fcf5ef2aSThomas Huth d->B(i) = AES_sbox[tmp.B(i + 4)]; 2236fcf5ef2aSThomas Huth d->B(i + 8) = AES_sbox[tmp.B(i + 12)]; 2237fcf5ef2aSThomas Huth } 2238fcf5ef2aSThomas Huth d->L(1) = (d->L(0) << 24 | d->L(0) >> 8) ^ ctrl; 2239fcf5ef2aSThomas Huth d->L(3) = (d->L(2) << 24 | d->L(2) >> 8) ^ ctrl; 2240fcf5ef2aSThomas Huth } 2241fcf5ef2aSThomas Huth #endif 2242a64fc269SPaul Brook #endif 2243fcf5ef2aSThomas Huth 224479068477SPaolo Bonzini #if SHIFT >= 1 224516fc5726SPaolo Bonzini void glue(helper_vpermilpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 224616fc5726SPaolo Bonzini { 224716fc5726SPaolo Bonzini uint64_t r0, r1; 224816fc5726SPaolo Bonzini int i; 224916fc5726SPaolo Bonzini 225016fc5726SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i += 2) { 225116fc5726SPaolo Bonzini r0 = v->Q(i + ((s->Q(i) >> 1) & 1)); 225216fc5726SPaolo Bonzini r1 = v->Q(i + ((s->Q(i+1) >> 1) & 1)); 225316fc5726SPaolo Bonzini d->Q(i) = r0; 225416fc5726SPaolo Bonzini d->Q(i+1) = r1; 225516fc5726SPaolo Bonzini } 225616fc5726SPaolo Bonzini } 225716fc5726SPaolo Bonzini 225816fc5726SPaolo Bonzini void glue(helper_vpermilps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 225916fc5726SPaolo Bonzini { 226016fc5726SPaolo Bonzini uint32_t r0, r1, r2, r3; 226116fc5726SPaolo Bonzini int i; 226216fc5726SPaolo Bonzini 226316fc5726SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i += 4) { 226416fc5726SPaolo Bonzini r0 = v->L(i + (s->L(i) & 3)); 226516fc5726SPaolo Bonzini r1 = v->L(i + (s->L(i+1) & 3)); 226616fc5726SPaolo Bonzini r2 = v->L(i + (s->L(i+2) & 3)); 226716fc5726SPaolo Bonzini r3 = v->L(i + (s->L(i+3) & 3)); 226816fc5726SPaolo Bonzini d->L(i) = r0; 226916fc5726SPaolo Bonzini d->L(i+1) = r1; 227016fc5726SPaolo Bonzini d->L(i+2) = r2; 227116fc5726SPaolo Bonzini d->L(i+3) = r3; 227216fc5726SPaolo Bonzini } 227316fc5726SPaolo Bonzini } 227416fc5726SPaolo Bonzini 227579068477SPaolo Bonzini void glue(helper_vpermilpd_imm, SUFFIX)(Reg *d, Reg *s, uint32_t order) 227679068477SPaolo Bonzini { 227779068477SPaolo Bonzini uint64_t r0, r1; 227879068477SPaolo Bonzini int i; 227979068477SPaolo Bonzini 228079068477SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i += 2) { 228179068477SPaolo Bonzini r0 = s->Q(i + ((order >> 0) & 1)); 228279068477SPaolo Bonzini r1 = s->Q(i + ((order >> 1) & 1)); 228379068477SPaolo Bonzini d->Q(i) = r0; 228479068477SPaolo Bonzini d->Q(i+1) = r1; 228579068477SPaolo Bonzini 228679068477SPaolo Bonzini order >>= 2; 228779068477SPaolo Bonzini } 228879068477SPaolo Bonzini } 228979068477SPaolo Bonzini 229079068477SPaolo Bonzini void glue(helper_vpermilps_imm, SUFFIX)(Reg *d, Reg *s, uint32_t order) 229179068477SPaolo Bonzini { 229279068477SPaolo Bonzini uint32_t r0, r1, r2, r3; 229379068477SPaolo Bonzini int i; 229479068477SPaolo Bonzini 229579068477SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i += 4) { 229679068477SPaolo Bonzini r0 = s->L(i + ((order >> 0) & 3)); 229779068477SPaolo Bonzini r1 = s->L(i + ((order >> 2) & 3)); 229879068477SPaolo Bonzini r2 = s->L(i + ((order >> 4) & 3)); 229979068477SPaolo Bonzini r3 = s->L(i + ((order >> 6) & 3)); 230079068477SPaolo Bonzini d->L(i) = r0; 230179068477SPaolo Bonzini d->L(i+1) = r1; 230279068477SPaolo Bonzini d->L(i+2) = r2; 230379068477SPaolo Bonzini d->L(i+3) = r3; 230479068477SPaolo Bonzini } 230579068477SPaolo Bonzini } 230679068477SPaolo Bonzini 230716fc5726SPaolo Bonzini #if SHIFT == 1 230816fc5726SPaolo Bonzini #define FPSRLVD(x, c) (c < 32 ? ((x) >> c) : 0) 230916fc5726SPaolo Bonzini #define FPSRLVQ(x, c) (c < 64 ? ((x) >> c) : 0) 231016fc5726SPaolo Bonzini #define FPSRAVD(x, c) ((int32_t)(x) >> (c < 32 ? c : 31)) 231116fc5726SPaolo Bonzini #define FPSRAVQ(x, c) ((int64_t)(x) >> (c < 64 ? c : 63)) 231216fc5726SPaolo Bonzini #define FPSLLVD(x, c) (c < 32 ? ((x) << c) : 0) 231316fc5726SPaolo Bonzini #define FPSLLVQ(x, c) (c < 64 ? ((x) << c) : 0) 231416fc5726SPaolo Bonzini #endif 231516fc5726SPaolo Bonzini 231616fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsrlvd, FPSRLVD) 231716fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsravd, FPSRAVD) 231816fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsllvd, FPSLLVD) 231916fc5726SPaolo Bonzini 232016fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsrlvq, FPSRLVQ) 232116fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsravq, FPSRAVQ) 232216fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsllvq, FPSLLVQ) 232316fc5726SPaolo Bonzini 232416fc5726SPaolo Bonzini void glue(helper_vtestps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 232516fc5726SPaolo Bonzini { 232616fc5726SPaolo Bonzini uint32_t zf = 0, cf = 0; 232716fc5726SPaolo Bonzini int i; 232816fc5726SPaolo Bonzini 232916fc5726SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i++) { 233016fc5726SPaolo Bonzini zf |= (s->L(i) & d->L(i)); 233116fc5726SPaolo Bonzini cf |= (s->L(i) & ~d->L(i)); 233216fc5726SPaolo Bonzini } 233316fc5726SPaolo Bonzini CC_SRC = ((zf >> 31) ? 0 : CC_Z) | ((cf >> 31) ? 0 : CC_C); 233416fc5726SPaolo Bonzini } 233516fc5726SPaolo Bonzini 233616fc5726SPaolo Bonzini void glue(helper_vtestpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 233716fc5726SPaolo Bonzini { 233816fc5726SPaolo Bonzini uint64_t zf = 0, cf = 0; 233916fc5726SPaolo Bonzini int i; 234016fc5726SPaolo Bonzini 234116fc5726SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i++) { 234216fc5726SPaolo Bonzini zf |= (s->Q(i) & d->Q(i)); 234316fc5726SPaolo Bonzini cf |= (s->Q(i) & ~d->Q(i)); 234416fc5726SPaolo Bonzini } 234516fc5726SPaolo Bonzini CC_SRC = ((zf >> 63) ? 0 : CC_Z) | ((cf >> 63) ? 0 : CC_C); 234616fc5726SPaolo Bonzini } 234716fc5726SPaolo Bonzini 234816fc5726SPaolo Bonzini void glue(helper_vpmaskmovd_st, SUFFIX)(CPUX86State *env, 234916fc5726SPaolo Bonzini Reg *v, Reg *s, target_ulong a0) 235016fc5726SPaolo Bonzini { 235116fc5726SPaolo Bonzini int i; 235216fc5726SPaolo Bonzini 235316fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 235416fc5726SPaolo Bonzini if (v->L(i) >> 31) { 235516fc5726SPaolo Bonzini cpu_stl_data_ra(env, a0 + i * 4, s->L(i), GETPC()); 235616fc5726SPaolo Bonzini } 235716fc5726SPaolo Bonzini } 235816fc5726SPaolo Bonzini } 235916fc5726SPaolo Bonzini 236016fc5726SPaolo Bonzini void glue(helper_vpmaskmovq_st, SUFFIX)(CPUX86State *env, 236116fc5726SPaolo Bonzini Reg *v, Reg *s, target_ulong a0) 236216fc5726SPaolo Bonzini { 236316fc5726SPaolo Bonzini int i; 236416fc5726SPaolo Bonzini 236516fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 236616fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 236716fc5726SPaolo Bonzini cpu_stq_data_ra(env, a0 + i * 8, s->Q(i), GETPC()); 236816fc5726SPaolo Bonzini } 236916fc5726SPaolo Bonzini } 237016fc5726SPaolo Bonzini } 237116fc5726SPaolo Bonzini 237216fc5726SPaolo Bonzini void glue(helper_vpmaskmovd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 237316fc5726SPaolo Bonzini { 237416fc5726SPaolo Bonzini int i; 237516fc5726SPaolo Bonzini 237616fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 237716fc5726SPaolo Bonzini d->L(i) = (v->L(i) >> 31) ? s->L(i) : 0; 237816fc5726SPaolo Bonzini } 237916fc5726SPaolo Bonzini } 238016fc5726SPaolo Bonzini 238116fc5726SPaolo Bonzini void glue(helper_vpmaskmovq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 238216fc5726SPaolo Bonzini { 238316fc5726SPaolo Bonzini int i; 238416fc5726SPaolo Bonzini 238516fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 238616fc5726SPaolo Bonzini d->Q(i) = (v->Q(i) >> 63) ? s->Q(i) : 0; 238716fc5726SPaolo Bonzini } 238816fc5726SPaolo Bonzini } 238916fc5726SPaolo Bonzini 239016fc5726SPaolo Bonzini void glue(helper_vpgatherdd, SUFFIX)(CPUX86State *env, 239116fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 239216fc5726SPaolo Bonzini { 239316fc5726SPaolo Bonzini int i; 239416fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 239516fc5726SPaolo Bonzini if (v->L(i) >> 31) { 239616fc5726SPaolo Bonzini target_ulong addr = a0 239716fc5726SPaolo Bonzini + ((target_ulong)(int32_t)s->L(i) << scale); 239816fc5726SPaolo Bonzini d->L(i) = cpu_ldl_data_ra(env, addr, GETPC()); 239916fc5726SPaolo Bonzini } 240016fc5726SPaolo Bonzini v->L(i) = 0; 240116fc5726SPaolo Bonzini } 240216fc5726SPaolo Bonzini } 240316fc5726SPaolo Bonzini 240416fc5726SPaolo Bonzini void glue(helper_vpgatherdq, SUFFIX)(CPUX86State *env, 240516fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 240616fc5726SPaolo Bonzini { 240716fc5726SPaolo Bonzini int i; 240816fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 240916fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 241016fc5726SPaolo Bonzini target_ulong addr = a0 241116fc5726SPaolo Bonzini + ((target_ulong)(int32_t)s->L(i) << scale); 241216fc5726SPaolo Bonzini d->Q(i) = cpu_ldq_data_ra(env, addr, GETPC()); 241316fc5726SPaolo Bonzini } 241416fc5726SPaolo Bonzini v->Q(i) = 0; 241516fc5726SPaolo Bonzini } 241616fc5726SPaolo Bonzini } 241716fc5726SPaolo Bonzini 241816fc5726SPaolo Bonzini void glue(helper_vpgatherqd, SUFFIX)(CPUX86State *env, 241916fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 242016fc5726SPaolo Bonzini { 242116fc5726SPaolo Bonzini int i; 242216fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 242316fc5726SPaolo Bonzini if (v->L(i) >> 31) { 242416fc5726SPaolo Bonzini target_ulong addr = a0 242516fc5726SPaolo Bonzini + ((target_ulong)(int64_t)s->Q(i) << scale); 242616fc5726SPaolo Bonzini d->L(i) = cpu_ldl_data_ra(env, addr, GETPC()); 242716fc5726SPaolo Bonzini } 242816fc5726SPaolo Bonzini v->L(i) = 0; 242916fc5726SPaolo Bonzini } 243016fc5726SPaolo Bonzini for (i /= 2; i < 1 << SHIFT; i++) { 243116fc5726SPaolo Bonzini d->Q(i) = 0; 243216fc5726SPaolo Bonzini v->Q(i) = 0; 243316fc5726SPaolo Bonzini } 243416fc5726SPaolo Bonzini } 243516fc5726SPaolo Bonzini 243616fc5726SPaolo Bonzini void glue(helper_vpgatherqq, SUFFIX)(CPUX86State *env, 243716fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 243816fc5726SPaolo Bonzini { 243916fc5726SPaolo Bonzini int i; 244016fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 244116fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 244216fc5726SPaolo Bonzini target_ulong addr = a0 244316fc5726SPaolo Bonzini + ((target_ulong)(int64_t)s->Q(i) << scale); 244416fc5726SPaolo Bonzini d->Q(i) = cpu_ldq_data_ra(env, addr, GETPC()); 244516fc5726SPaolo Bonzini } 244616fc5726SPaolo Bonzini v->Q(i) = 0; 244716fc5726SPaolo Bonzini } 244816fc5726SPaolo Bonzini } 244916fc5726SPaolo Bonzini #endif 245016fc5726SPaolo Bonzini 245179068477SPaolo Bonzini #if SHIFT >= 2 245279068477SPaolo Bonzini void helper_vpermdq_ymm(Reg *d, Reg *v, Reg *s, uint32_t order) 245379068477SPaolo Bonzini { 245479068477SPaolo Bonzini uint64_t r0, r1, r2, r3; 245579068477SPaolo Bonzini 245679068477SPaolo Bonzini switch (order & 3) { 245779068477SPaolo Bonzini case 0: 245879068477SPaolo Bonzini r0 = v->Q(0); 245979068477SPaolo Bonzini r1 = v->Q(1); 246079068477SPaolo Bonzini break; 246179068477SPaolo Bonzini case 1: 246279068477SPaolo Bonzini r0 = v->Q(2); 246379068477SPaolo Bonzini r1 = v->Q(3); 246479068477SPaolo Bonzini break; 246579068477SPaolo Bonzini case 2: 246679068477SPaolo Bonzini r0 = s->Q(0); 246779068477SPaolo Bonzini r1 = s->Q(1); 246879068477SPaolo Bonzini break; 246979068477SPaolo Bonzini case 3: 247079068477SPaolo Bonzini r0 = s->Q(2); 247179068477SPaolo Bonzini r1 = s->Q(3); 247279068477SPaolo Bonzini break; 2473*c0a6665cSEric Auger default: /* default case added to help the compiler to avoid warnings */ 2474*c0a6665cSEric Auger g_assert_not_reached(); 247579068477SPaolo Bonzini } 247679068477SPaolo Bonzini switch ((order >> 4) & 3) { 247779068477SPaolo Bonzini case 0: 247879068477SPaolo Bonzini r2 = v->Q(0); 247979068477SPaolo Bonzini r3 = v->Q(1); 248079068477SPaolo Bonzini break; 248179068477SPaolo Bonzini case 1: 248279068477SPaolo Bonzini r2 = v->Q(2); 248379068477SPaolo Bonzini r3 = v->Q(3); 248479068477SPaolo Bonzini break; 248579068477SPaolo Bonzini case 2: 248679068477SPaolo Bonzini r2 = s->Q(0); 248779068477SPaolo Bonzini r3 = s->Q(1); 248879068477SPaolo Bonzini break; 248979068477SPaolo Bonzini case 3: 249079068477SPaolo Bonzini r2 = s->Q(2); 249179068477SPaolo Bonzini r3 = s->Q(3); 249279068477SPaolo Bonzini break; 2493*c0a6665cSEric Auger default: /* default case added to help the compiler to avoid warnings */ 2494*c0a6665cSEric Auger g_assert_not_reached(); 249579068477SPaolo Bonzini } 249679068477SPaolo Bonzini d->Q(0) = r0; 249779068477SPaolo Bonzini d->Q(1) = r1; 249879068477SPaolo Bonzini d->Q(2) = r2; 249979068477SPaolo Bonzini d->Q(3) = r3; 250079068477SPaolo Bonzini } 250179068477SPaolo Bonzini 250279068477SPaolo Bonzini void helper_vpermq_ymm(Reg *d, Reg *s, uint32_t order) 250379068477SPaolo Bonzini { 250479068477SPaolo Bonzini uint64_t r0, r1, r2, r3; 250579068477SPaolo Bonzini r0 = s->Q(order & 3); 250679068477SPaolo Bonzini r1 = s->Q((order >> 2) & 3); 250779068477SPaolo Bonzini r2 = s->Q((order >> 4) & 3); 250879068477SPaolo Bonzini r3 = s->Q((order >> 6) & 3); 250979068477SPaolo Bonzini d->Q(0) = r0; 251079068477SPaolo Bonzini d->Q(1) = r1; 251179068477SPaolo Bonzini d->Q(2) = r2; 251279068477SPaolo Bonzini d->Q(3) = r3; 251379068477SPaolo Bonzini } 251416fc5726SPaolo Bonzini 251516fc5726SPaolo Bonzini void helper_vpermd_ymm(Reg *d, Reg *v, Reg *s) 251616fc5726SPaolo Bonzini { 251716fc5726SPaolo Bonzini uint32_t r[8]; 251816fc5726SPaolo Bonzini int i; 251916fc5726SPaolo Bonzini 252016fc5726SPaolo Bonzini for (i = 0; i < 8; i++) { 252116fc5726SPaolo Bonzini r[i] = s->L(v->L(i) & 7); 252216fc5726SPaolo Bonzini } 252316fc5726SPaolo Bonzini for (i = 0; i < 8; i++) { 252416fc5726SPaolo Bonzini d->L(i) = r[i]; 252516fc5726SPaolo Bonzini } 252616fc5726SPaolo Bonzini } 252779068477SPaolo Bonzini #endif 252879068477SPaolo Bonzini 25292872b0f3SPaolo Bonzini /* FMA3 op helpers */ 25302872b0f3SPaolo Bonzini #if SHIFT == 1 25312872b0f3SPaolo Bonzini #define SSE_HELPER_FMAS(name, elem, F) \ 25322872b0f3SPaolo Bonzini void name(CPUX86State *env, Reg *d, Reg *a, Reg *b, Reg *c, int flags) \ 25332872b0f3SPaolo Bonzini { \ 25342872b0f3SPaolo Bonzini d->elem(0) = F(a->elem(0), b->elem(0), c->elem(0), flags, &env->sse_status); \ 25352872b0f3SPaolo Bonzini } 25362872b0f3SPaolo Bonzini #define SSE_HELPER_FMAP(name, elem, num, F) \ 25372872b0f3SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *a, Reg *b, Reg *c, \ 25382872b0f3SPaolo Bonzini int flags, int flip) \ 25392872b0f3SPaolo Bonzini { \ 25402872b0f3SPaolo Bonzini int i; \ 25412872b0f3SPaolo Bonzini for (i = 0; i < num; i++) { \ 25422872b0f3SPaolo Bonzini d->elem(i) = F(a->elem(i), b->elem(i), c->elem(i), flags, &env->sse_status); \ 25432872b0f3SPaolo Bonzini flags ^= flip; \ 25442872b0f3SPaolo Bonzini } \ 25452872b0f3SPaolo Bonzini } 25462872b0f3SPaolo Bonzini 25472872b0f3SPaolo Bonzini SSE_HELPER_FMAS(helper_fma4ss, ZMM_S, float32_muladd) 25482872b0f3SPaolo Bonzini SSE_HELPER_FMAS(helper_fma4sd, ZMM_D, float64_muladd) 25492872b0f3SPaolo Bonzini #endif 25502872b0f3SPaolo Bonzini 25512872b0f3SPaolo Bonzini #if SHIFT >= 1 25522872b0f3SPaolo Bonzini SSE_HELPER_FMAP(helper_fma4ps, ZMM_S, 2 << SHIFT, float32_muladd) 25532872b0f3SPaolo Bonzini SSE_HELPER_FMAP(helper_fma4pd, ZMM_D, 1 << SHIFT, float64_muladd) 25542872b0f3SPaolo Bonzini #endif 25552872b0f3SPaolo Bonzini 25563403cafeSPaul Brook #undef SSE_HELPER_S 25573403cafeSPaul Brook 2558b98f886cSPaolo Bonzini #undef LANE_WIDTH 2559fcf5ef2aSThomas Huth #undef SHIFT 2560fcf5ef2aSThomas Huth #undef XMM_ONLY 2561fcf5ef2aSThomas Huth #undef Reg 2562fcf5ef2aSThomas Huth #undef B 2563fcf5ef2aSThomas Huth #undef W 2564fcf5ef2aSThomas Huth #undef L 2565fcf5ef2aSThomas Huth #undef Q 2566fcf5ef2aSThomas Huth #undef SUFFIX 2567