1fcf5ef2aSThomas Huth /* 2fcf5ef2aSThomas Huth * MMX/3DNow!/SSE/SSE2/SSE3/SSSE3/SSE4/PNI support 3fcf5ef2aSThomas Huth * 4fcf5ef2aSThomas Huth * Copyright (c) 2005 Fabrice Bellard 5fcf5ef2aSThomas Huth * Copyright (c) 2008 Intel Corporation <andrew.zaborowski@intel.com> 6fcf5ef2aSThomas Huth * 7fcf5ef2aSThomas Huth * This library is free software; you can redistribute it and/or 8fcf5ef2aSThomas Huth * modify it under the terms of the GNU Lesser General Public 9fcf5ef2aSThomas Huth * License as published by the Free Software Foundation; either 10d9ff33adSChetan Pant * version 2.1 of the License, or (at your option) any later version. 11fcf5ef2aSThomas Huth * 12fcf5ef2aSThomas Huth * This library is distributed in the hope that it will be useful, 13fcf5ef2aSThomas Huth * but WITHOUT ANY WARRANTY; without even the implied warranty of 14fcf5ef2aSThomas Huth * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15fcf5ef2aSThomas Huth * Lesser General Public License for more details. 16fcf5ef2aSThomas Huth * 17fcf5ef2aSThomas Huth * You should have received a copy of the GNU Lesser General Public 18fcf5ef2aSThomas Huth * License along with this library; if not, see <http://www.gnu.org/licenses/>. 19fcf5ef2aSThomas Huth */ 20fcf5ef2aSThomas Huth 21fcf5ef2aSThomas Huth #include "crypto/aes.h" 22cc648f50SRichard Henderson #include "crypto/aes-round.h" 23fcf5ef2aSThomas Huth 24fcf5ef2aSThomas Huth #if SHIFT == 0 25fcf5ef2aSThomas Huth #define Reg MMXReg 26fcf5ef2aSThomas Huth #define XMM_ONLY(...) 27fcf5ef2aSThomas Huth #define B(n) MMX_B(n) 28fcf5ef2aSThomas Huth #define W(n) MMX_W(n) 29fcf5ef2aSThomas Huth #define L(n) MMX_L(n) 30fcf5ef2aSThomas Huth #define Q(n) MMX_Q(n) 31fcf5ef2aSThomas Huth #define SUFFIX _mmx 32fcf5ef2aSThomas Huth #else 33fcf5ef2aSThomas Huth #define Reg ZMMReg 34fcf5ef2aSThomas Huth #define XMM_ONLY(...) __VA_ARGS__ 35fcf5ef2aSThomas Huth #define B(n) ZMM_B(n) 36fcf5ef2aSThomas Huth #define W(n) ZMM_W(n) 37fcf5ef2aSThomas Huth #define L(n) ZMM_L(n) 38fcf5ef2aSThomas Huth #define Q(n) ZMM_Q(n) 39b98f886cSPaolo Bonzini #if SHIFT == 1 40fcf5ef2aSThomas Huth #define SUFFIX _xmm 41b98f886cSPaolo Bonzini #else 42b98f886cSPaolo Bonzini #define SUFFIX _ymm 43b98f886cSPaolo Bonzini #endif 44fcf5ef2aSThomas Huth #endif 45fcf5ef2aSThomas Huth 4618592d2eSPaul Brook #define LANE_WIDTH (SHIFT ? 16 : 8) 47d45b0de6SPaul Brook #define PACK_WIDTH (LANE_WIDTH / 2) 4818592d2eSPaul Brook 4918592d2eSPaul Brook #if SHIFT == 0 5018592d2eSPaul Brook #define FPSRL(x, c) ((x) >> shift) 5118592d2eSPaul Brook #define FPSRAW(x, c) ((int16_t)(x) >> shift) 5218592d2eSPaul Brook #define FPSRAL(x, c) ((int32_t)(x) >> shift) 5318592d2eSPaul Brook #define FPSLL(x, c) ((x) << shift) 54fcf5ef2aSThomas Huth #endif 5518592d2eSPaul Brook 56f05f9789SPaolo Bonzini void glue(helper_psrlw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 5718592d2eSPaul Brook { 5818592d2eSPaul Brook int shift; 5918592d2eSPaul Brook if (c->Q(0) > 15) { 6018592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 6118592d2eSPaul Brook d->Q(i) = 0; 6218592d2eSPaul Brook } 63fcf5ef2aSThomas Huth } else { 6418592d2eSPaul Brook shift = c->B(0); 6518592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 6618592d2eSPaul Brook d->W(i) = FPSRL(s->W(i), shift); 6718592d2eSPaul Brook } 68fcf5ef2aSThomas Huth } 69fcf5ef2aSThomas Huth } 70fcf5ef2aSThomas Huth 71f05f9789SPaolo Bonzini void glue(helper_psllw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 72fcf5ef2aSThomas Huth { 73fcf5ef2aSThomas Huth int shift; 7418592d2eSPaul Brook if (c->Q(0) > 15) { 7518592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 7618592d2eSPaul Brook d->Q(i) = 0; 7718592d2eSPaul Brook } 7818592d2eSPaul Brook } else { 7918592d2eSPaul Brook shift = c->B(0); 8018592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 8118592d2eSPaul Brook d->W(i) = FPSLL(s->W(i), shift); 8218592d2eSPaul Brook } 8318592d2eSPaul Brook } 8418592d2eSPaul Brook } 85fcf5ef2aSThomas Huth 86f05f9789SPaolo Bonzini void glue(helper_psraw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 8718592d2eSPaul Brook { 8818592d2eSPaul Brook int shift; 8918592d2eSPaul Brook if (c->Q(0) > 15) { 90fcf5ef2aSThomas Huth shift = 15; 91fcf5ef2aSThomas Huth } else { 9218592d2eSPaul Brook shift = c->B(0); 93fcf5ef2aSThomas Huth } 9418592d2eSPaul Brook for (int i = 0; i < 4 << SHIFT; i++) { 9518592d2eSPaul Brook d->W(i) = FPSRAW(s->W(i), shift); 9618592d2eSPaul Brook } 97fcf5ef2aSThomas Huth } 98fcf5ef2aSThomas Huth 99f05f9789SPaolo Bonzini void glue(helper_psrld, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 100fcf5ef2aSThomas Huth { 101fcf5ef2aSThomas Huth int shift; 10218592d2eSPaul Brook if (c->Q(0) > 31) { 10318592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 10418592d2eSPaul Brook d->Q(i) = 0; 10518592d2eSPaul Brook } 106fcf5ef2aSThomas Huth } else { 10718592d2eSPaul Brook shift = c->B(0); 10818592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 10918592d2eSPaul Brook d->L(i) = FPSRL(s->L(i), shift); 11018592d2eSPaul Brook } 111fcf5ef2aSThomas Huth } 112fcf5ef2aSThomas Huth } 113fcf5ef2aSThomas Huth 114f05f9789SPaolo Bonzini void glue(helper_pslld, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 115fcf5ef2aSThomas Huth { 116fcf5ef2aSThomas Huth int shift; 11718592d2eSPaul Brook if (c->Q(0) > 31) { 11818592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 11918592d2eSPaul Brook d->Q(i) = 0; 12018592d2eSPaul Brook } 121fcf5ef2aSThomas Huth } else { 12218592d2eSPaul Brook shift = c->B(0); 12318592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 12418592d2eSPaul Brook d->L(i) = FPSLL(s->L(i), shift); 12518592d2eSPaul Brook } 126fcf5ef2aSThomas Huth } 127fcf5ef2aSThomas Huth } 128fcf5ef2aSThomas Huth 129f05f9789SPaolo Bonzini void glue(helper_psrad, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 130fcf5ef2aSThomas Huth { 131fcf5ef2aSThomas Huth int shift; 13218592d2eSPaul Brook if (c->Q(0) > 31) { 133fcf5ef2aSThomas Huth shift = 31; 134fcf5ef2aSThomas Huth } else { 13518592d2eSPaul Brook shift = c->B(0); 136fcf5ef2aSThomas Huth } 13718592d2eSPaul Brook for (int i = 0; i < 2 << SHIFT; i++) { 13818592d2eSPaul Brook d->L(i) = FPSRAL(s->L(i), shift); 13918592d2eSPaul Brook } 140fcf5ef2aSThomas Huth } 141fcf5ef2aSThomas Huth 142f05f9789SPaolo Bonzini void glue(helper_psrlq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 143fcf5ef2aSThomas Huth { 144fcf5ef2aSThomas Huth int shift; 14518592d2eSPaul Brook if (c->Q(0) > 63) { 14618592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 14718592d2eSPaul Brook d->Q(i) = 0; 14818592d2eSPaul Brook } 149fcf5ef2aSThomas Huth } else { 15018592d2eSPaul Brook shift = c->B(0); 15118592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 15218592d2eSPaul Brook d->Q(i) = FPSRL(s->Q(i), shift); 15318592d2eSPaul Brook } 154fcf5ef2aSThomas Huth } 155fcf5ef2aSThomas Huth } 156fcf5ef2aSThomas Huth 157f05f9789SPaolo Bonzini void glue(helper_psllq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 158fcf5ef2aSThomas Huth { 159fcf5ef2aSThomas Huth int shift; 16018592d2eSPaul Brook if (c->Q(0) > 63) { 16118592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 16218592d2eSPaul Brook d->Q(i) = 0; 16318592d2eSPaul Brook } 164fcf5ef2aSThomas Huth } else { 16518592d2eSPaul Brook shift = c->B(0); 16618592d2eSPaul Brook for (int i = 0; i < 1 << SHIFT; i++) { 16718592d2eSPaul Brook d->Q(i) = FPSLL(s->Q(i), shift); 16818592d2eSPaul Brook } 169fcf5ef2aSThomas Huth } 170fcf5ef2aSThomas Huth } 171fcf5ef2aSThomas Huth 17218592d2eSPaul Brook #if SHIFT >= 1 173f05f9789SPaolo Bonzini void glue(helper_psrldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 174fcf5ef2aSThomas Huth { 17518592d2eSPaul Brook int shift, i, j; 176fcf5ef2aSThomas Huth 17718592d2eSPaul Brook shift = c->L(0); 178fcf5ef2aSThomas Huth if (shift > 16) { 179fcf5ef2aSThomas Huth shift = 16; 180fcf5ef2aSThomas Huth } 18118592d2eSPaul Brook for (j = 0; j < 8 << SHIFT; j += LANE_WIDTH) { 182fcf5ef2aSThomas Huth for (i = 0; i < 16 - shift; i++) { 18318592d2eSPaul Brook d->B(j + i) = s->B(j + i + shift); 184fcf5ef2aSThomas Huth } 185fcf5ef2aSThomas Huth for (i = 16 - shift; i < 16; i++) { 18618592d2eSPaul Brook d->B(j + i) = 0; 18718592d2eSPaul Brook } 188fcf5ef2aSThomas Huth } 189fcf5ef2aSThomas Huth } 190fcf5ef2aSThomas Huth 191f05f9789SPaolo Bonzini void glue(helper_pslldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, Reg *c) 192fcf5ef2aSThomas Huth { 19318592d2eSPaul Brook int shift, i, j; 194fcf5ef2aSThomas Huth 19518592d2eSPaul Brook shift = c->L(0); 196fcf5ef2aSThomas Huth if (shift > 16) { 197fcf5ef2aSThomas Huth shift = 16; 198fcf5ef2aSThomas Huth } 19918592d2eSPaul Brook for (j = 0; j < 8 << SHIFT; j += LANE_WIDTH) { 200fcf5ef2aSThomas Huth for (i = 15; i >= shift; i--) { 20118592d2eSPaul Brook d->B(j + i) = s->B(j + i - shift); 202fcf5ef2aSThomas Huth } 203fcf5ef2aSThomas Huth for (i = 0; i < shift; i++) { 20418592d2eSPaul Brook d->B(j + i) = 0; 20518592d2eSPaul Brook } 206fcf5ef2aSThomas Huth } 207fcf5ef2aSThomas Huth } 208fcf5ef2aSThomas Huth #endif 209fcf5ef2aSThomas Huth 210ee04a3c8SPaul Brook #define SSE_HELPER_1(name, elem, num, F) \ 211fcf5ef2aSThomas Huth void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) \ 212fcf5ef2aSThomas Huth { \ 213ee04a3c8SPaul Brook int n = num; \ 214ee04a3c8SPaul Brook for (int i = 0; i < n; i++) { \ 215ee04a3c8SPaul Brook d->elem(i) = F(s->elem(i)); \ 216ee04a3c8SPaul Brook } \ 217fcf5ef2aSThomas Huth } 218fcf5ef2aSThomas Huth 219ee04a3c8SPaul Brook #define SSE_HELPER_2(name, elem, num, F) \ 220f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 221ee04a3c8SPaul Brook { \ 222ee04a3c8SPaul Brook int n = num; \ 223ee04a3c8SPaul Brook for (int i = 0; i < n; i++) { \ 224ee04a3c8SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i)); \ 225ee04a3c8SPaul Brook } \ 226ee04a3c8SPaul Brook } 227ee04a3c8SPaul Brook 228ee04a3c8SPaul Brook #define SSE_HELPER_B(name, F) \ 229ee04a3c8SPaul Brook SSE_HELPER_2(name, B, 8 << SHIFT, F) 230ee04a3c8SPaul Brook 231fcf5ef2aSThomas Huth #define SSE_HELPER_W(name, F) \ 232ee04a3c8SPaul Brook SSE_HELPER_2(name, W, 4 << SHIFT, F) 233fcf5ef2aSThomas Huth 234fcf5ef2aSThomas Huth #define SSE_HELPER_L(name, F) \ 235ee04a3c8SPaul Brook SSE_HELPER_2(name, L, 2 << SHIFT, F) 236fcf5ef2aSThomas Huth 237fcf5ef2aSThomas Huth #define SSE_HELPER_Q(name, F) \ 238ee04a3c8SPaul Brook SSE_HELPER_2(name, Q, 1 << SHIFT, F) 239fcf5ef2aSThomas Huth 240fcf5ef2aSThomas Huth #if SHIFT == 0 241fcf5ef2aSThomas Huth static inline int satub(int x) 242fcf5ef2aSThomas Huth { 243fcf5ef2aSThomas Huth if (x < 0) { 244fcf5ef2aSThomas Huth return 0; 245fcf5ef2aSThomas Huth } else if (x > 255) { 246fcf5ef2aSThomas Huth return 255; 247fcf5ef2aSThomas Huth } else { 248fcf5ef2aSThomas Huth return x; 249fcf5ef2aSThomas Huth } 250fcf5ef2aSThomas Huth } 251fcf5ef2aSThomas Huth 252fcf5ef2aSThomas Huth static inline int satuw(int x) 253fcf5ef2aSThomas Huth { 254fcf5ef2aSThomas Huth if (x < 0) { 255fcf5ef2aSThomas Huth return 0; 256fcf5ef2aSThomas Huth } else if (x > 65535) { 257fcf5ef2aSThomas Huth return 65535; 258fcf5ef2aSThomas Huth } else { 259fcf5ef2aSThomas Huth return x; 260fcf5ef2aSThomas Huth } 261fcf5ef2aSThomas Huth } 262fcf5ef2aSThomas Huth 263fcf5ef2aSThomas Huth static inline int satsb(int x) 264fcf5ef2aSThomas Huth { 265fcf5ef2aSThomas Huth if (x < -128) { 266fcf5ef2aSThomas Huth return -128; 267fcf5ef2aSThomas Huth } else if (x > 127) { 268fcf5ef2aSThomas Huth return 127; 269fcf5ef2aSThomas Huth } else { 270fcf5ef2aSThomas Huth return x; 271fcf5ef2aSThomas Huth } 272fcf5ef2aSThomas Huth } 273fcf5ef2aSThomas Huth 274fcf5ef2aSThomas Huth static inline int satsw(int x) 275fcf5ef2aSThomas Huth { 276fcf5ef2aSThomas Huth if (x < -32768) { 277fcf5ef2aSThomas Huth return -32768; 278fcf5ef2aSThomas Huth } else if (x > 32767) { 279fcf5ef2aSThomas Huth return 32767; 280fcf5ef2aSThomas Huth } else { 281fcf5ef2aSThomas Huth return x; 282fcf5ef2aSThomas Huth } 283fcf5ef2aSThomas Huth } 284fcf5ef2aSThomas Huth 285fcf5ef2aSThomas Huth #define FADD(a, b) ((a) + (b)) 286fcf5ef2aSThomas Huth #define FADDUB(a, b) satub((a) + (b)) 287fcf5ef2aSThomas Huth #define FADDUW(a, b) satuw((a) + (b)) 288fcf5ef2aSThomas Huth #define FADDSB(a, b) satsb((int8_t)(a) + (int8_t)(b)) 289fcf5ef2aSThomas Huth #define FADDSW(a, b) satsw((int16_t)(a) + (int16_t)(b)) 290fcf5ef2aSThomas Huth 291fcf5ef2aSThomas Huth #define FSUB(a, b) ((a) - (b)) 292fcf5ef2aSThomas Huth #define FSUBUB(a, b) satub((a) - (b)) 293fcf5ef2aSThomas Huth #define FSUBUW(a, b) satuw((a) - (b)) 294fcf5ef2aSThomas Huth #define FSUBSB(a, b) satsb((int8_t)(a) - (int8_t)(b)) 295fcf5ef2aSThomas Huth #define FSUBSW(a, b) satsw((int16_t)(a) - (int16_t)(b)) 296fcf5ef2aSThomas Huth #define FMINUB(a, b) ((a) < (b)) ? (a) : (b) 297fcf5ef2aSThomas Huth #define FMINSW(a, b) ((int16_t)(a) < (int16_t)(b)) ? (a) : (b) 298fcf5ef2aSThomas Huth #define FMAXUB(a, b) ((a) > (b)) ? (a) : (b) 299fcf5ef2aSThomas Huth #define FMAXSW(a, b) ((int16_t)(a) > (int16_t)(b)) ? (a) : (b) 300fcf5ef2aSThomas Huth 301fcf5ef2aSThomas Huth #define FMULHRW(a, b) (((int16_t)(a) * (int16_t)(b) + 0x8000) >> 16) 302fcf5ef2aSThomas Huth #define FMULHUW(a, b) ((a) * (b) >> 16) 303fcf5ef2aSThomas Huth #define FMULHW(a, b) ((int16_t)(a) * (int16_t)(b) >> 16) 304fcf5ef2aSThomas Huth 305fcf5ef2aSThomas Huth #define FAVG(a, b) (((a) + (b) + 1) >> 1) 306fcf5ef2aSThomas Huth #endif 307fcf5ef2aSThomas Huth 308fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhuw, FMULHUW) 309fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhw, FMULHW) 310fcf5ef2aSThomas Huth 311f05f9789SPaolo Bonzini #if SHIFT == 0 312f05f9789SPaolo Bonzini void glue(helper_pmulhrw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 313f05f9789SPaolo Bonzini { 314f05f9789SPaolo Bonzini d->W(0) = FMULHRW(d->W(0), s->W(0)); 315f05f9789SPaolo Bonzini d->W(1) = FMULHRW(d->W(1), s->W(1)); 316f05f9789SPaolo Bonzini d->W(2) = FMULHRW(d->W(2), s->W(2)); 317f05f9789SPaolo Bonzini d->W(3) = FMULHRW(d->W(3), s->W(3)); 318f05f9789SPaolo Bonzini } 319f05f9789SPaolo Bonzini #endif 320f05f9789SPaolo Bonzini 321fcf5ef2aSThomas Huth SSE_HELPER_B(helper_pavgb, FAVG) 322fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pavgw, FAVG) 323fcf5ef2aSThomas Huth 324f05f9789SPaolo Bonzini void glue(helper_pmuludq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 325fcf5ef2aSThomas Huth { 326e894bae8SPaul Brook int i; 327e894bae8SPaul Brook 328e894bae8SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 329e894bae8SPaul Brook d->Q(i) = (uint64_t)s->L(i * 2) * (uint64_t)v->L(i * 2); 330e894bae8SPaul Brook } 331fcf5ef2aSThomas Huth } 332fcf5ef2aSThomas Huth 333f05f9789SPaolo Bonzini void glue(helper_pmaddwd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 334fcf5ef2aSThomas Huth { 335fcf5ef2aSThomas Huth int i; 336fcf5ef2aSThomas Huth 337fcf5ef2aSThomas Huth for (i = 0; i < (2 << SHIFT); i++) { 338e894bae8SPaul Brook d->L(i) = (int16_t)s->W(2 * i) * (int16_t)v->W(2 * i) + 339e894bae8SPaul Brook (int16_t)s->W(2 * i + 1) * (int16_t)v->W(2 * i + 1); 340fcf5ef2aSThomas Huth } 341fcf5ef2aSThomas Huth } 342fcf5ef2aSThomas Huth 343fcf5ef2aSThomas Huth #if SHIFT == 0 344fcf5ef2aSThomas Huth static inline int abs1(int a) 345fcf5ef2aSThomas Huth { 346fcf5ef2aSThomas Huth if (a < 0) { 347fcf5ef2aSThomas Huth return -a; 348fcf5ef2aSThomas Huth } else { 349fcf5ef2aSThomas Huth return a; 350fcf5ef2aSThomas Huth } 351fcf5ef2aSThomas Huth } 352fcf5ef2aSThomas Huth #endif 353f05f9789SPaolo Bonzini void glue(helper_psadbw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 354fcf5ef2aSThomas Huth { 355e894bae8SPaul Brook int i; 356fcf5ef2aSThomas Huth 357e894bae8SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 358e894bae8SPaul Brook unsigned int val = 0; 359e894bae8SPaul Brook val += abs1(v->B(8 * i + 0) - s->B(8 * i + 0)); 360e894bae8SPaul Brook val += abs1(v->B(8 * i + 1) - s->B(8 * i + 1)); 361e894bae8SPaul Brook val += abs1(v->B(8 * i + 2) - s->B(8 * i + 2)); 362e894bae8SPaul Brook val += abs1(v->B(8 * i + 3) - s->B(8 * i + 3)); 363e894bae8SPaul Brook val += abs1(v->B(8 * i + 4) - s->B(8 * i + 4)); 364e894bae8SPaul Brook val += abs1(v->B(8 * i + 5) - s->B(8 * i + 5)); 365e894bae8SPaul Brook val += abs1(v->B(8 * i + 6) - s->B(8 * i + 6)); 366e894bae8SPaul Brook val += abs1(v->B(8 * i + 7) - s->B(8 * i + 7)); 367e894bae8SPaul Brook d->Q(i) = val; 368e894bae8SPaul Brook } 369fcf5ef2aSThomas Huth } 370fcf5ef2aSThomas Huth 371fd17264aSPaul Brook #if SHIFT < 2 372fcf5ef2aSThomas Huth void glue(helper_maskmov, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 373fcf5ef2aSThomas Huth target_ulong a0) 374fcf5ef2aSThomas Huth { 375fcf5ef2aSThomas Huth int i; 376fcf5ef2aSThomas Huth 377fcf5ef2aSThomas Huth for (i = 0; i < (8 << SHIFT); i++) { 378fcf5ef2aSThomas Huth if (s->B(i) & 0x80) { 379fcf5ef2aSThomas Huth cpu_stb_data_ra(env, a0 + i, d->B(i), GETPC()); 380fcf5ef2aSThomas Huth } 381fcf5ef2aSThomas Huth } 382fcf5ef2aSThomas Huth } 383fd17264aSPaul Brook #endif 384fcf5ef2aSThomas Huth 385d45b0de6SPaul Brook #define SHUFFLE4(F, a, b, offset) do { \ 386d45b0de6SPaul Brook r0 = a->F((order & 3) + offset); \ 387d45b0de6SPaul Brook r1 = a->F(((order >> 2) & 3) + offset); \ 388d45b0de6SPaul Brook r2 = b->F(((order >> 4) & 3) + offset); \ 389d45b0de6SPaul Brook r3 = b->F(((order >> 6) & 3) + offset); \ 390d45b0de6SPaul Brook d->F(offset) = r0; \ 391d45b0de6SPaul Brook d->F(offset + 1) = r1; \ 392d45b0de6SPaul Brook d->F(offset + 2) = r2; \ 393d45b0de6SPaul Brook d->F(offset + 3) = r3; \ 394d45b0de6SPaul Brook } while (0) 395d45b0de6SPaul Brook 396fcf5ef2aSThomas Huth #if SHIFT == 0 397fcf5ef2aSThomas Huth void glue(helper_pshufw, SUFFIX)(Reg *d, Reg *s, int order) 398fcf5ef2aSThomas Huth { 399d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 400fcf5ef2aSThomas Huth 401d45b0de6SPaul Brook SHUFFLE4(W, s, s, 0); 402fcf5ef2aSThomas Huth } 403fcf5ef2aSThomas Huth #else 404f05f9789SPaolo Bonzini void glue(helper_shufps, SUFFIX)(Reg *d, Reg *v, Reg *s, int order) 405fcf5ef2aSThomas Huth { 406d45b0de6SPaul Brook uint32_t r0, r1, r2, r3; 407d45b0de6SPaul Brook int i; 408fcf5ef2aSThomas Huth 409d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 410d45b0de6SPaul Brook SHUFFLE4(L, v, s, i); 411d45b0de6SPaul Brook } 412fcf5ef2aSThomas Huth } 413fcf5ef2aSThomas Huth 414f05f9789SPaolo Bonzini void glue(helper_shufpd, SUFFIX)(Reg *d, Reg *v, Reg *s, int order) 415fcf5ef2aSThomas Huth { 416d45b0de6SPaul Brook uint64_t r0, r1; 417d45b0de6SPaul Brook int i; 418fcf5ef2aSThomas Huth 419d45b0de6SPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { 420d45b0de6SPaul Brook r0 = v->Q(((order & 1) & 1) + i); 421d45b0de6SPaul Brook r1 = s->Q(((order >> 1) & 1) + i); 422d45b0de6SPaul Brook d->Q(i) = r0; 423d45b0de6SPaul Brook d->Q(i + 1) = r1; 424d45b0de6SPaul Brook order >>= 2; 425d45b0de6SPaul Brook } 426fcf5ef2aSThomas Huth } 427fcf5ef2aSThomas Huth 428fcf5ef2aSThomas Huth void glue(helper_pshufd, SUFFIX)(Reg *d, Reg *s, int order) 429fcf5ef2aSThomas Huth { 430d45b0de6SPaul Brook uint32_t r0, r1, r2, r3; 431d45b0de6SPaul Brook int i; 432fcf5ef2aSThomas Huth 433d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 434d45b0de6SPaul Brook SHUFFLE4(L, s, s, i); 435d45b0de6SPaul Brook } 436fcf5ef2aSThomas Huth } 437fcf5ef2aSThomas Huth 438fcf5ef2aSThomas Huth void glue(helper_pshuflw, SUFFIX)(Reg *d, Reg *s, int order) 439fcf5ef2aSThomas Huth { 440d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 441d45b0de6SPaul Brook int i, j; 442fcf5ef2aSThomas Huth 443d45b0de6SPaul Brook for (i = 0, j = 1; j < 1 << SHIFT; i += 8, j += 2) { 444d45b0de6SPaul Brook SHUFFLE4(W, s, s, i); 445d45b0de6SPaul Brook d->Q(j) = s->Q(j); 446d45b0de6SPaul Brook } 447fcf5ef2aSThomas Huth } 448fcf5ef2aSThomas Huth 449fcf5ef2aSThomas Huth void glue(helper_pshufhw, SUFFIX)(Reg *d, Reg *s, int order) 450fcf5ef2aSThomas Huth { 451d45b0de6SPaul Brook uint16_t r0, r1, r2, r3; 452d45b0de6SPaul Brook int i, j; 453fcf5ef2aSThomas Huth 454d45b0de6SPaul Brook for (i = 4, j = 0; j < 1 << SHIFT; i += 8, j += 2) { 455d45b0de6SPaul Brook d->Q(j) = s->Q(j); 456d45b0de6SPaul Brook SHUFFLE4(W, s, s, i); 457d45b0de6SPaul Brook } 458fcf5ef2aSThomas Huth } 459fcf5ef2aSThomas Huth #endif 460fcf5ef2aSThomas Huth 4613403cafeSPaul Brook #if SHIFT >= 1 462fcf5ef2aSThomas Huth /* FPU ops */ 463fcf5ef2aSThomas Huth /* XXX: not accurate */ 464fcf5ef2aSThomas Huth 4653403cafeSPaul Brook #define SSE_HELPER_P(name, F) \ 4663403cafeSPaul Brook void glue(helper_ ## name ## ps, SUFFIX)(CPUX86State *env, \ 467f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 468fcf5ef2aSThomas Huth { \ 4693403cafeSPaul Brook int i; \ 4703403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 4713403cafeSPaul Brook d->ZMM_S(i) = F(32, v->ZMM_S(i), s->ZMM_S(i)); \ 472fcf5ef2aSThomas Huth } \ 4733403cafeSPaul Brook } \ 4743403cafeSPaul Brook \ 4753403cafeSPaul Brook void glue(helper_ ## name ## pd, SUFFIX)(CPUX86State *env, \ 476f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 4773403cafeSPaul Brook { \ 4783403cafeSPaul Brook int i; \ 4793403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 4803403cafeSPaul Brook d->ZMM_D(i) = F(64, v->ZMM_D(i), s->ZMM_D(i)); \ 4813403cafeSPaul Brook } \ 4823403cafeSPaul Brook } 4833403cafeSPaul Brook 4843403cafeSPaul Brook #if SHIFT == 1 4853403cafeSPaul Brook 4863403cafeSPaul Brook #define SSE_HELPER_S(name, F) \ 4873403cafeSPaul Brook SSE_HELPER_P(name, F) \ 488fcf5ef2aSThomas Huth \ 489f05f9789SPaolo Bonzini void helper_ ## name ## ss(CPUX86State *env, Reg *d, Reg *v, Reg *s)\ 490fcf5ef2aSThomas Huth { \ 4911de9e7e6SPaolo Bonzini int i; \ 4923403cafeSPaul Brook d->ZMM_S(0) = F(32, v->ZMM_S(0), s->ZMM_S(0)); \ 4931de9e7e6SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { \ 4941de9e7e6SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); \ 4951de9e7e6SPaolo Bonzini } \ 496fcf5ef2aSThomas Huth } \ 497fcf5ef2aSThomas Huth \ 498f05f9789SPaolo Bonzini void helper_ ## name ## sd(CPUX86State *env, Reg *d, Reg *v, Reg *s)\ 499fcf5ef2aSThomas Huth { \ 5001de9e7e6SPaolo Bonzini int i; \ 5013403cafeSPaul Brook d->ZMM_D(0) = F(64, v->ZMM_D(0), s->ZMM_D(0)); \ 5021de9e7e6SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { \ 5031de9e7e6SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); \ 5041de9e7e6SPaolo Bonzini } \ 505fcf5ef2aSThomas Huth } 506fcf5ef2aSThomas Huth 5073403cafeSPaul Brook #else 5083403cafeSPaul Brook 5093403cafeSPaul Brook #define SSE_HELPER_S(name, F) SSE_HELPER_P(name, F) 5103403cafeSPaul Brook 5113403cafeSPaul Brook #endif 5123403cafeSPaul Brook 513fcf5ef2aSThomas Huth #define FPU_ADD(size, a, b) float ## size ## _add(a, b, &env->sse_status) 514fcf5ef2aSThomas Huth #define FPU_SUB(size, a, b) float ## size ## _sub(a, b, &env->sse_status) 515fcf5ef2aSThomas Huth #define FPU_MUL(size, a, b) float ## size ## _mul(a, b, &env->sse_status) 516fcf5ef2aSThomas Huth #define FPU_DIV(size, a, b) float ## size ## _div(a, b, &env->sse_status) 517fcf5ef2aSThomas Huth 518fcf5ef2aSThomas Huth /* Note that the choice of comparison op here is important to get the 519fcf5ef2aSThomas Huth * special cases right: for min and max Intel specifies that (-0,0), 520fcf5ef2aSThomas Huth * (NaN, anything) and (anything, NaN) return the second argument. 521fcf5ef2aSThomas Huth */ 522fcf5ef2aSThomas Huth #define FPU_MIN(size, a, b) \ 523fcf5ef2aSThomas Huth (float ## size ## _lt(a, b, &env->sse_status) ? (a) : (b)) 524fcf5ef2aSThomas Huth #define FPU_MAX(size, a, b) \ 525fcf5ef2aSThomas Huth (float ## size ## _lt(b, a, &env->sse_status) ? (a) : (b)) 526fcf5ef2aSThomas Huth 527fcf5ef2aSThomas Huth SSE_HELPER_S(add, FPU_ADD) 528fcf5ef2aSThomas Huth SSE_HELPER_S(sub, FPU_SUB) 529fcf5ef2aSThomas Huth SSE_HELPER_S(mul, FPU_MUL) 530fcf5ef2aSThomas Huth SSE_HELPER_S(div, FPU_DIV) 531fcf5ef2aSThomas Huth SSE_HELPER_S(min, FPU_MIN) 532fcf5ef2aSThomas Huth SSE_HELPER_S(max, FPU_MAX) 533fcf5ef2aSThomas Huth 5343403cafeSPaul Brook void glue(helper_sqrtps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 5353403cafeSPaul Brook { 5363403cafeSPaul Brook int i; 5373403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 5383403cafeSPaul Brook d->ZMM_S(i) = float32_sqrt(s->ZMM_S(i), &env->sse_status); 5393403cafeSPaul Brook } 5403403cafeSPaul Brook } 5413403cafeSPaul Brook 5423403cafeSPaul Brook void glue(helper_sqrtpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 5433403cafeSPaul Brook { 5443403cafeSPaul Brook int i; 5453403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 5463403cafeSPaul Brook d->ZMM_D(i) = float64_sqrt(s->ZMM_D(i), &env->sse_status); 5473403cafeSPaul Brook } 5483403cafeSPaul Brook } 5493403cafeSPaul Brook 5503403cafeSPaul Brook #if SHIFT == 1 551620f7556SPaolo Bonzini void helper_sqrtss(CPUX86State *env, Reg *d, Reg *v, Reg *s) 5523403cafeSPaul Brook { 553620f7556SPaolo Bonzini int i; 5543403cafeSPaul Brook d->ZMM_S(0) = float32_sqrt(s->ZMM_S(0), &env->sse_status); 555620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 556620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 557620f7556SPaolo Bonzini } 5583403cafeSPaul Brook } 5593403cafeSPaul Brook 560620f7556SPaolo Bonzini void helper_sqrtsd(CPUX86State *env, Reg *d, Reg *v, Reg *s) 5613403cafeSPaul Brook { 562620f7556SPaolo Bonzini int i; 5633403cafeSPaul Brook d->ZMM_D(0) = float64_sqrt(s->ZMM_D(0), &env->sse_status); 564620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 565620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 566620f7556SPaolo Bonzini } 5673403cafeSPaul Brook } 5683403cafeSPaul Brook #endif 569fcf5ef2aSThomas Huth 570fcf5ef2aSThomas Huth /* float to float conversions */ 571ce4fa29fSPaolo Bonzini void glue(helper_cvtps2pd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 572fcf5ef2aSThomas Huth { 573fd17264aSPaul Brook int i; 574fd17264aSPaul Brook for (i = 1 << SHIFT; --i >= 0; ) { 575fd17264aSPaul Brook d->ZMM_D(i) = float32_to_float64(s->ZMM_S(i), &env->sse_status); 576fd17264aSPaul Brook } 577fcf5ef2aSThomas Huth } 578fcf5ef2aSThomas Huth 579ce4fa29fSPaolo Bonzini void glue(helper_cvtpd2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 580fcf5ef2aSThomas Huth { 581fd17264aSPaul Brook int i; 582fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 583fd17264aSPaul Brook d->ZMM_S(i) = float64_to_float32(s->ZMM_D(i), &env->sse_status); 584fd17264aSPaul Brook } 585fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 586fd17264aSPaul Brook d->Q(i) = 0; 587fd17264aSPaul Brook } 588fcf5ef2aSThomas Huth } 589fcf5ef2aSThomas Huth 590cf5ec664SPaolo Bonzini #if SHIFT >= 1 591cf5ec664SPaolo Bonzini void glue(helper_cvtph2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 592cf5ec664SPaolo Bonzini { 593cf5ec664SPaolo Bonzini int i; 594cf5ec664SPaolo Bonzini 595cf5ec664SPaolo Bonzini for (i = 2 << SHIFT; --i >= 0; ) { 596cf5ec664SPaolo Bonzini d->ZMM_S(i) = float16_to_float32(s->ZMM_H(i), true, &env->sse_status); 597cf5ec664SPaolo Bonzini } 598cf5ec664SPaolo Bonzini } 599cf5ec664SPaolo Bonzini 600cf5ec664SPaolo Bonzini void glue(helper_cvtps2ph, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, int mode) 601cf5ec664SPaolo Bonzini { 602cf5ec664SPaolo Bonzini int i; 603cf5ec664SPaolo Bonzini FloatRoundMode prev_rounding_mode = env->sse_status.float_rounding_mode; 604cf5ec664SPaolo Bonzini if (!(mode & (1 << 2))) { 605cf5ec664SPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 606cf5ec664SPaolo Bonzini } 607cf5ec664SPaolo Bonzini 608cf5ec664SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i++) { 609cf5ec664SPaolo Bonzini d->ZMM_H(i) = float32_to_float16(s->ZMM_S(i), true, &env->sse_status); 610cf5ec664SPaolo Bonzini } 611cf5ec664SPaolo Bonzini for (i >>= 2; i < 1 << SHIFT; i++) { 612cf5ec664SPaolo Bonzini d->Q(i) = 0; 613cf5ec664SPaolo Bonzini } 614cf5ec664SPaolo Bonzini 615cf5ec664SPaolo Bonzini env->sse_status.float_rounding_mode = prev_rounding_mode; 616cf5ec664SPaolo Bonzini } 617cf5ec664SPaolo Bonzini #endif 618cf5ec664SPaolo Bonzini 619fd17264aSPaul Brook #if SHIFT == 1 620620f7556SPaolo Bonzini void helper_cvtss2sd(CPUX86State *env, Reg *d, Reg *v, Reg *s) 621fcf5ef2aSThomas Huth { 622620f7556SPaolo Bonzini int i; 623fcf5ef2aSThomas Huth d->ZMM_D(0) = float32_to_float64(s->ZMM_S(0), &env->sse_status); 624620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 625620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 626620f7556SPaolo Bonzini } 627fcf5ef2aSThomas Huth } 628fcf5ef2aSThomas Huth 629620f7556SPaolo Bonzini void helper_cvtsd2ss(CPUX86State *env, Reg *d, Reg *v, Reg *s) 630fcf5ef2aSThomas Huth { 631620f7556SPaolo Bonzini int i; 632fcf5ef2aSThomas Huth d->ZMM_S(0) = float64_to_float32(s->ZMM_D(0), &env->sse_status); 633620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 634620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 635620f7556SPaolo Bonzini } 636fcf5ef2aSThomas Huth } 637fd17264aSPaul Brook #endif 638fcf5ef2aSThomas Huth 639fcf5ef2aSThomas Huth /* integer to float */ 640ce4fa29fSPaolo Bonzini void glue(helper_cvtdq2ps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 641fcf5ef2aSThomas Huth { 642fd17264aSPaul Brook int i; 643fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 644fd17264aSPaul Brook d->ZMM_S(i) = int32_to_float32(s->ZMM_L(i), &env->sse_status); 645fd17264aSPaul Brook } 646fcf5ef2aSThomas Huth } 647fcf5ef2aSThomas Huth 648ce4fa29fSPaolo Bonzini void glue(helper_cvtdq2pd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 649fcf5ef2aSThomas Huth { 650fd17264aSPaul Brook int i; 651fd17264aSPaul Brook for (i = 1 << SHIFT; --i >= 0; ) { 652fd17264aSPaul Brook int32_t l = s->ZMM_L(i); 653fd17264aSPaul Brook d->ZMM_D(i) = int32_to_float64(l, &env->sse_status); 654fd17264aSPaul Brook } 655fcf5ef2aSThomas Huth } 656fcf5ef2aSThomas Huth 657fd17264aSPaul Brook #if SHIFT == 1 658fcf5ef2aSThomas Huth void helper_cvtpi2ps(CPUX86State *env, ZMMReg *d, MMXReg *s) 659fcf5ef2aSThomas Huth { 660fcf5ef2aSThomas Huth d->ZMM_S(0) = int32_to_float32(s->MMX_L(0), &env->sse_status); 661fcf5ef2aSThomas Huth d->ZMM_S(1) = int32_to_float32(s->MMX_L(1), &env->sse_status); 662fcf5ef2aSThomas Huth } 663fcf5ef2aSThomas Huth 664fcf5ef2aSThomas Huth void helper_cvtpi2pd(CPUX86State *env, ZMMReg *d, MMXReg *s) 665fcf5ef2aSThomas Huth { 666fcf5ef2aSThomas Huth d->ZMM_D(0) = int32_to_float64(s->MMX_L(0), &env->sse_status); 667fcf5ef2aSThomas Huth d->ZMM_D(1) = int32_to_float64(s->MMX_L(1), &env->sse_status); 668fcf5ef2aSThomas Huth } 669fcf5ef2aSThomas Huth 670fcf5ef2aSThomas Huth void helper_cvtsi2ss(CPUX86State *env, ZMMReg *d, uint32_t val) 671fcf5ef2aSThomas Huth { 672fcf5ef2aSThomas Huth d->ZMM_S(0) = int32_to_float32(val, &env->sse_status); 673fcf5ef2aSThomas Huth } 674fcf5ef2aSThomas Huth 675fcf5ef2aSThomas Huth void helper_cvtsi2sd(CPUX86State *env, ZMMReg *d, uint32_t val) 676fcf5ef2aSThomas Huth { 677fcf5ef2aSThomas Huth d->ZMM_D(0) = int32_to_float64(val, &env->sse_status); 678fcf5ef2aSThomas Huth } 679fcf5ef2aSThomas Huth 680fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 681fcf5ef2aSThomas Huth void helper_cvtsq2ss(CPUX86State *env, ZMMReg *d, uint64_t val) 682fcf5ef2aSThomas Huth { 683fcf5ef2aSThomas Huth d->ZMM_S(0) = int64_to_float32(val, &env->sse_status); 684fcf5ef2aSThomas Huth } 685fcf5ef2aSThomas Huth 686fcf5ef2aSThomas Huth void helper_cvtsq2sd(CPUX86State *env, ZMMReg *d, uint64_t val) 687fcf5ef2aSThomas Huth { 688fcf5ef2aSThomas Huth d->ZMM_D(0) = int64_to_float64(val, &env->sse_status); 689fcf5ef2aSThomas Huth } 690fcf5ef2aSThomas Huth #endif 691fcf5ef2aSThomas Huth 692fd17264aSPaul Brook #endif 693fd17264aSPaul Brook 694fcf5ef2aSThomas Huth /* float to integer */ 6951e8a98b5SPeter Maydell 696fd17264aSPaul Brook #if SHIFT == 1 6971e8a98b5SPeter Maydell /* 6981e8a98b5SPeter Maydell * x86 mandates that we return the indefinite integer value for the result 6991e8a98b5SPeter Maydell * of any float-to-integer conversion that raises the 'invalid' exception. 7001e8a98b5SPeter Maydell * Wrap the softfloat functions to get this behaviour. 7011e8a98b5SPeter Maydell */ 7021e8a98b5SPeter Maydell #define WRAP_FLOATCONV(RETTYPE, FN, FLOATTYPE, INDEFVALUE) \ 7031e8a98b5SPeter Maydell static inline RETTYPE x86_##FN(FLOATTYPE a, float_status *s) \ 7041e8a98b5SPeter Maydell { \ 7051e8a98b5SPeter Maydell int oldflags, newflags; \ 7061e8a98b5SPeter Maydell RETTYPE r; \ 7071e8a98b5SPeter Maydell \ 7081e8a98b5SPeter Maydell oldflags = get_float_exception_flags(s); \ 7091e8a98b5SPeter Maydell set_float_exception_flags(0, s); \ 7101e8a98b5SPeter Maydell r = FN(a, s); \ 7111e8a98b5SPeter Maydell newflags = get_float_exception_flags(s); \ 7121e8a98b5SPeter Maydell if (newflags & float_flag_invalid) { \ 7131e8a98b5SPeter Maydell r = INDEFVALUE; \ 7141e8a98b5SPeter Maydell } \ 7151e8a98b5SPeter Maydell set_float_exception_flags(newflags | oldflags, s); \ 7161e8a98b5SPeter Maydell return r; \ 7171e8a98b5SPeter Maydell } 7181e8a98b5SPeter Maydell 7191e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float32_to_int32, float32, INT32_MIN) 7201e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float32_to_int32_round_to_zero, float32, INT32_MIN) 7211e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float64_to_int32, float64, INT32_MIN) 7221e8a98b5SPeter Maydell WRAP_FLOATCONV(int32_t, float64_to_int32_round_to_zero, float64, INT32_MIN) 7231e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float32_to_int64, float32, INT64_MIN) 7241e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float32_to_int64_round_to_zero, float32, INT64_MIN) 7251e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float64_to_int64, float64, INT64_MIN) 7261e8a98b5SPeter Maydell WRAP_FLOATCONV(int64_t, float64_to_int64_round_to_zero, float64, INT64_MIN) 727fd17264aSPaul Brook #endif 7281e8a98b5SPeter Maydell 729ce4fa29fSPaolo Bonzini void glue(helper_cvtps2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 730fcf5ef2aSThomas Huth { 731fd17264aSPaul Brook int i; 732fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 733fd17264aSPaul Brook d->ZMM_L(i) = x86_float32_to_int32(s->ZMM_S(i), &env->sse_status); 734fd17264aSPaul Brook } 735fcf5ef2aSThomas Huth } 736fcf5ef2aSThomas Huth 737ce4fa29fSPaolo Bonzini void glue(helper_cvtpd2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 738fcf5ef2aSThomas Huth { 739fd17264aSPaul Brook int i; 740fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 741fd17264aSPaul Brook d->ZMM_L(i) = x86_float64_to_int32(s->ZMM_D(i), &env->sse_status); 742fd17264aSPaul Brook } 743fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 744fd17264aSPaul Brook d->Q(i) = 0; 745fd17264aSPaul Brook } 746fcf5ef2aSThomas Huth } 747fcf5ef2aSThomas Huth 748fd17264aSPaul Brook #if SHIFT == 1 749fcf5ef2aSThomas Huth void helper_cvtps2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 750fcf5ef2aSThomas Huth { 7511e8a98b5SPeter Maydell d->MMX_L(0) = x86_float32_to_int32(s->ZMM_S(0), &env->sse_status); 7521e8a98b5SPeter Maydell d->MMX_L(1) = x86_float32_to_int32(s->ZMM_S(1), &env->sse_status); 753fcf5ef2aSThomas Huth } 754fcf5ef2aSThomas Huth 755fcf5ef2aSThomas Huth void helper_cvtpd2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 756fcf5ef2aSThomas Huth { 7571e8a98b5SPeter Maydell d->MMX_L(0) = x86_float64_to_int32(s->ZMM_D(0), &env->sse_status); 7581e8a98b5SPeter Maydell d->MMX_L(1) = x86_float64_to_int32(s->ZMM_D(1), &env->sse_status); 759fcf5ef2aSThomas Huth } 760fcf5ef2aSThomas Huth 761fcf5ef2aSThomas Huth int32_t helper_cvtss2si(CPUX86State *env, ZMMReg *s) 762fcf5ef2aSThomas Huth { 7631e8a98b5SPeter Maydell return x86_float32_to_int32(s->ZMM_S(0), &env->sse_status); 764fcf5ef2aSThomas Huth } 765fcf5ef2aSThomas Huth 766fcf5ef2aSThomas Huth int32_t helper_cvtsd2si(CPUX86State *env, ZMMReg *s) 767fcf5ef2aSThomas Huth { 7681e8a98b5SPeter Maydell return x86_float64_to_int32(s->ZMM_D(0), &env->sse_status); 769fcf5ef2aSThomas Huth } 770fcf5ef2aSThomas Huth 771fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 772fcf5ef2aSThomas Huth int64_t helper_cvtss2sq(CPUX86State *env, ZMMReg *s) 773fcf5ef2aSThomas Huth { 7741e8a98b5SPeter Maydell return x86_float32_to_int64(s->ZMM_S(0), &env->sse_status); 775fcf5ef2aSThomas Huth } 776fcf5ef2aSThomas Huth 777fcf5ef2aSThomas Huth int64_t helper_cvtsd2sq(CPUX86State *env, ZMMReg *s) 778fcf5ef2aSThomas Huth { 7791e8a98b5SPeter Maydell return x86_float64_to_int64(s->ZMM_D(0), &env->sse_status); 780fcf5ef2aSThomas Huth } 781fcf5ef2aSThomas Huth #endif 782fd17264aSPaul Brook #endif 783fcf5ef2aSThomas Huth 784fcf5ef2aSThomas Huth /* float to integer truncated */ 785ce4fa29fSPaolo Bonzini void glue(helper_cvttps2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 786fcf5ef2aSThomas Huth { 787fd17264aSPaul Brook int i; 788fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 789fd17264aSPaul Brook d->ZMM_L(i) = x86_float32_to_int32_round_to_zero(s->ZMM_S(i), 790fd17264aSPaul Brook &env->sse_status); 791fd17264aSPaul Brook } 792fcf5ef2aSThomas Huth } 793fcf5ef2aSThomas Huth 794ce4fa29fSPaolo Bonzini void glue(helper_cvttpd2dq, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 795fcf5ef2aSThomas Huth { 796fd17264aSPaul Brook int i; 797fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 798fd17264aSPaul Brook d->ZMM_L(i) = x86_float64_to_int32_round_to_zero(s->ZMM_D(i), 799fd17264aSPaul Brook &env->sse_status); 800fd17264aSPaul Brook } 801fd17264aSPaul Brook for (i >>= 1; i < 1 << SHIFT; i++) { 802fd17264aSPaul Brook d->Q(i) = 0; 803fd17264aSPaul Brook } 804fcf5ef2aSThomas Huth } 805fcf5ef2aSThomas Huth 806fd17264aSPaul Brook #if SHIFT == 1 807fcf5ef2aSThomas Huth void helper_cvttps2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 808fcf5ef2aSThomas Huth { 8091e8a98b5SPeter Maydell d->MMX_L(0) = x86_float32_to_int32_round_to_zero(s->ZMM_S(0), &env->sse_status); 8101e8a98b5SPeter Maydell d->MMX_L(1) = x86_float32_to_int32_round_to_zero(s->ZMM_S(1), &env->sse_status); 811fcf5ef2aSThomas Huth } 812fcf5ef2aSThomas Huth 813fcf5ef2aSThomas Huth void helper_cvttpd2pi(CPUX86State *env, MMXReg *d, ZMMReg *s) 814fcf5ef2aSThomas Huth { 8151e8a98b5SPeter Maydell d->MMX_L(0) = x86_float64_to_int32_round_to_zero(s->ZMM_D(0), &env->sse_status); 8161e8a98b5SPeter Maydell d->MMX_L(1) = x86_float64_to_int32_round_to_zero(s->ZMM_D(1), &env->sse_status); 817fcf5ef2aSThomas Huth } 818fcf5ef2aSThomas Huth 819fcf5ef2aSThomas Huth int32_t helper_cvttss2si(CPUX86State *env, ZMMReg *s) 820fcf5ef2aSThomas Huth { 8211e8a98b5SPeter Maydell return x86_float32_to_int32_round_to_zero(s->ZMM_S(0), &env->sse_status); 822fcf5ef2aSThomas Huth } 823fcf5ef2aSThomas Huth 824fcf5ef2aSThomas Huth int32_t helper_cvttsd2si(CPUX86State *env, ZMMReg *s) 825fcf5ef2aSThomas Huth { 8261e8a98b5SPeter Maydell return x86_float64_to_int32_round_to_zero(s->ZMM_D(0), &env->sse_status); 827fcf5ef2aSThomas Huth } 828fcf5ef2aSThomas Huth 829fcf5ef2aSThomas Huth #ifdef TARGET_X86_64 830fcf5ef2aSThomas Huth int64_t helper_cvttss2sq(CPUX86State *env, ZMMReg *s) 831fcf5ef2aSThomas Huth { 8321e8a98b5SPeter Maydell return x86_float32_to_int64_round_to_zero(s->ZMM_S(0), &env->sse_status); 833fcf5ef2aSThomas Huth } 834fcf5ef2aSThomas Huth 835fcf5ef2aSThomas Huth int64_t helper_cvttsd2sq(CPUX86State *env, ZMMReg *s) 836fcf5ef2aSThomas Huth { 8371e8a98b5SPeter Maydell return x86_float64_to_int64_round_to_zero(s->ZMM_D(0), &env->sse_status); 838fcf5ef2aSThomas Huth } 839fcf5ef2aSThomas Huth #endif 840fd17264aSPaul Brook #endif 841fcf5ef2aSThomas Huth 842ce4fa29fSPaolo Bonzini void glue(helper_rsqrtps, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 843fcf5ef2aSThomas Huth { 844418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 8453403cafeSPaul Brook int i; 8463403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 8473403cafeSPaul Brook d->ZMM_S(i) = float32_div(float32_one, 8483403cafeSPaul Brook float32_sqrt(s->ZMM_S(i), &env->sse_status), 849fcf5ef2aSThomas Huth &env->sse_status); 8503403cafeSPaul Brook } 851418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 852fcf5ef2aSThomas Huth } 853fcf5ef2aSThomas Huth 854fd17264aSPaul Brook #if SHIFT == 1 855620f7556SPaolo Bonzini void helper_rsqrtss(CPUX86State *env, ZMMReg *d, ZMMReg *v, ZMMReg *s) 856fcf5ef2aSThomas Huth { 857418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 858620f7556SPaolo Bonzini int i; 859fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_div(float32_one, 860fcf5ef2aSThomas Huth float32_sqrt(s->ZMM_S(0), &env->sse_status), 861fcf5ef2aSThomas Huth &env->sse_status); 862418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 863620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 864620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 865620f7556SPaolo Bonzini } 866fcf5ef2aSThomas Huth } 867fd17264aSPaul Brook #endif 868fcf5ef2aSThomas Huth 869ce4fa29fSPaolo Bonzini void glue(helper_rcpps, SUFFIX)(CPUX86State *env, ZMMReg *d, ZMMReg *s) 870fcf5ef2aSThomas Huth { 871418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 8723403cafeSPaul Brook int i; 8733403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 8743403cafeSPaul Brook d->ZMM_S(i) = float32_div(float32_one, s->ZMM_S(i), &env->sse_status); 8753403cafeSPaul Brook } 876418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 877fcf5ef2aSThomas Huth } 878fcf5ef2aSThomas Huth 879fd17264aSPaul Brook #if SHIFT == 1 880620f7556SPaolo Bonzini void helper_rcpss(CPUX86State *env, ZMMReg *d, ZMMReg *v, ZMMReg *s) 881fcf5ef2aSThomas Huth { 882418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 883620f7556SPaolo Bonzini int i; 884fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_div(float32_one, s->ZMM_S(0), &env->sse_status); 885620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 886620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 887620f7556SPaolo Bonzini } 888418b0f93SJoseph Myers set_float_exception_flags(old_flags, &env->sse_status); 889fcf5ef2aSThomas Huth } 890fd17264aSPaul Brook #endif 891fcf5ef2aSThomas Huth 892fd17264aSPaul Brook #if SHIFT == 1 893fcf5ef2aSThomas Huth static inline uint64_t helper_extrq(uint64_t src, int shift, int len) 894fcf5ef2aSThomas Huth { 895fcf5ef2aSThomas Huth uint64_t mask; 896fcf5ef2aSThomas Huth 897fcf5ef2aSThomas Huth if (len == 0) { 898fcf5ef2aSThomas Huth mask = ~0LL; 899fcf5ef2aSThomas Huth } else { 900fcf5ef2aSThomas Huth mask = (1ULL << len) - 1; 901fcf5ef2aSThomas Huth } 902fcf5ef2aSThomas Huth return (src >> shift) & mask; 903fcf5ef2aSThomas Huth } 904fcf5ef2aSThomas Huth 905fcf5ef2aSThomas Huth void helper_extrq_r(CPUX86State *env, ZMMReg *d, ZMMReg *s) 906fcf5ef2aSThomas Huth { 907034668c3SPaolo Bonzini d->ZMM_Q(0) = helper_extrq(d->ZMM_Q(0), s->ZMM_B(1) & 63, s->ZMM_B(0) & 63); 908fcf5ef2aSThomas Huth } 909fcf5ef2aSThomas Huth 910fcf5ef2aSThomas Huth void helper_extrq_i(CPUX86State *env, ZMMReg *d, int index, int length) 911fcf5ef2aSThomas Huth { 912fcf5ef2aSThomas Huth d->ZMM_Q(0) = helper_extrq(d->ZMM_Q(0), index, length); 913fcf5ef2aSThomas Huth } 914fcf5ef2aSThomas Huth 915ca4b1b43SPaolo Bonzini static inline uint64_t helper_insertq(uint64_t dest, uint64_t src, int shift, int len) 916fcf5ef2aSThomas Huth { 917fcf5ef2aSThomas Huth uint64_t mask; 918fcf5ef2aSThomas Huth 919fcf5ef2aSThomas Huth if (len == 0) { 920fcf5ef2aSThomas Huth mask = ~0ULL; 921fcf5ef2aSThomas Huth } else { 922fcf5ef2aSThomas Huth mask = (1ULL << len) - 1; 923fcf5ef2aSThomas Huth } 924ca4b1b43SPaolo Bonzini return (dest & ~(mask << shift)) | ((src & mask) << shift); 925fcf5ef2aSThomas Huth } 926fcf5ef2aSThomas Huth 927fcf5ef2aSThomas Huth void helper_insertq_r(CPUX86State *env, ZMMReg *d, ZMMReg *s) 928fcf5ef2aSThomas Huth { 929ca4b1b43SPaolo 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); 930fcf5ef2aSThomas Huth } 931fcf5ef2aSThomas Huth 932ca4b1b43SPaolo Bonzini void helper_insertq_i(CPUX86State *env, ZMMReg *d, ZMMReg *s, int index, int length) 933fcf5ef2aSThomas Huth { 934ca4b1b43SPaolo Bonzini d->ZMM_Q(0) = helper_insertq(d->ZMM_Q(0), s->ZMM_Q(0), index, length); 935fcf5ef2aSThomas Huth } 936fd17264aSPaul Brook #endif 937fcf5ef2aSThomas Huth 9386567ffb4SPaul Brook #define SSE_HELPER_HPS(name, F) \ 939f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 9406567ffb4SPaul Brook { \ 9416567ffb4SPaul Brook float32 r[2 << SHIFT]; \ 9426567ffb4SPaul Brook int i, j, k; \ 9436567ffb4SPaul Brook for (k = 0; k < 2 << SHIFT; k += LANE_WIDTH / 4) { \ 9446567ffb4SPaul Brook for (i = j = 0; j < 4; i++, j += 2) { \ 9456567ffb4SPaul Brook r[i + k] = F(v->ZMM_S(j + k), v->ZMM_S(j + k + 1), &env->sse_status); \ 9466567ffb4SPaul Brook } \ 9476567ffb4SPaul Brook for (j = 0; j < 4; i++, j += 2) { \ 9486567ffb4SPaul Brook r[i + k] = F(s->ZMM_S(j + k), s->ZMM_S(j + k + 1), &env->sse_status); \ 9496567ffb4SPaul Brook } \ 9506567ffb4SPaul Brook } \ 9516567ffb4SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 9526567ffb4SPaul Brook d->ZMM_S(i) = r[i]; \ 9536567ffb4SPaul Brook } \ 954fcf5ef2aSThomas Huth } 955fcf5ef2aSThomas Huth 9566567ffb4SPaul Brook SSE_HELPER_HPS(haddps, float32_add) 9576567ffb4SPaul Brook SSE_HELPER_HPS(hsubps, float32_sub) 958fcf5ef2aSThomas Huth 9596567ffb4SPaul Brook #define SSE_HELPER_HPD(name, F) \ 960f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 9616567ffb4SPaul Brook { \ 9626567ffb4SPaul Brook float64 r[1 << SHIFT]; \ 9636567ffb4SPaul Brook int i, j, k; \ 9646567ffb4SPaul Brook for (k = 0; k < 1 << SHIFT; k += LANE_WIDTH / 8) { \ 9656567ffb4SPaul Brook for (i = j = 0; j < 2; i++, j += 2) { \ 9666567ffb4SPaul Brook r[i + k] = F(v->ZMM_D(j + k), v->ZMM_D(j + k + 1), &env->sse_status); \ 9676567ffb4SPaul Brook } \ 9686567ffb4SPaul Brook for (j = 0; j < 2; i++, j += 2) { \ 9696567ffb4SPaul Brook r[i + k] = F(s->ZMM_D(j + k), s->ZMM_D(j + k + 1), &env->sse_status); \ 9706567ffb4SPaul Brook } \ 9716567ffb4SPaul Brook } \ 9726567ffb4SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 9736567ffb4SPaul Brook d->ZMM_D(i) = r[i]; \ 9746567ffb4SPaul Brook } \ 975fcf5ef2aSThomas Huth } 976fcf5ef2aSThomas Huth 9776567ffb4SPaul Brook SSE_HELPER_HPD(haddpd, float64_add) 9786567ffb4SPaul Brook SSE_HELPER_HPD(hsubpd, float64_sub) 979fcf5ef2aSThomas Huth 980f05f9789SPaolo Bonzini void glue(helper_addsubps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 981fcf5ef2aSThomas Huth { 9823403cafeSPaul Brook int i; 9833403cafeSPaul Brook for (i = 0; i < 2 << SHIFT; i += 2) { 9843403cafeSPaul Brook d->ZMM_S(i) = float32_sub(v->ZMM_S(i), s->ZMM_S(i), &env->sse_status); 9853403cafeSPaul Brook d->ZMM_S(i+1) = float32_add(v->ZMM_S(i+1), s->ZMM_S(i+1), &env->sse_status); 9863403cafeSPaul Brook } 987fcf5ef2aSThomas Huth } 988fcf5ef2aSThomas Huth 989f05f9789SPaolo Bonzini void glue(helper_addsubpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 990fcf5ef2aSThomas Huth { 9913403cafeSPaul Brook int i; 9923403cafeSPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { 9933403cafeSPaul Brook d->ZMM_D(i) = float64_sub(v->ZMM_D(i), s->ZMM_D(i), &env->sse_status); 9943403cafeSPaul Brook d->ZMM_D(i+1) = float64_add(v->ZMM_D(i+1), s->ZMM_D(i+1), &env->sse_status); 9953403cafeSPaul Brook } 996fcf5ef2aSThomas Huth } 997fcf5ef2aSThomas Huth 998cbf4ad54SPaul Brook #define SSE_HELPER_CMP_P(name, F, C) \ 999cbf4ad54SPaul Brook void glue(helper_ ## name ## ps, SUFFIX)(CPUX86State *env, \ 1000f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1001fcf5ef2aSThomas Huth { \ 1002cbf4ad54SPaul Brook int i; \ 1003cbf4ad54SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 1004cbf4ad54SPaul Brook d->ZMM_L(i) = C(F(32, v->ZMM_S(i), s->ZMM_S(i))) ? -1 : 0; \ 1005cbf4ad54SPaul Brook } \ 1006fcf5ef2aSThomas Huth } \ 1007fcf5ef2aSThomas Huth \ 1008cbf4ad54SPaul Brook void glue(helper_ ## name ## pd, SUFFIX)(CPUX86State *env, \ 1009f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1010cbf4ad54SPaul Brook { \ 1011cbf4ad54SPaul Brook int i; \ 1012cbf4ad54SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { \ 1013cbf4ad54SPaul Brook d->ZMM_Q(i) = C(F(64, v->ZMM_D(i), s->ZMM_D(i))) ? -1 : 0; \ 1014cbf4ad54SPaul Brook } \ 1015cbf4ad54SPaul Brook } 1016cbf4ad54SPaul Brook 1017cbf4ad54SPaul Brook #if SHIFT == 1 1018cbf4ad54SPaul Brook #define SSE_HELPER_CMP(name, F, C) \ 1019cbf4ad54SPaul Brook SSE_HELPER_CMP_P(name, F, C) \ 1020f05f9789SPaolo Bonzini void helper_ ## name ## ss(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1021fcf5ef2aSThomas Huth { \ 10221de9e7e6SPaolo Bonzini int i; \ 1023cbf4ad54SPaul Brook d->ZMM_L(0) = C(F(32, v->ZMM_S(0), s->ZMM_S(0))) ? -1 : 0; \ 10241de9e7e6SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { \ 10251de9e7e6SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); \ 10261de9e7e6SPaolo Bonzini } \ 1027fcf5ef2aSThomas Huth } \ 1028fcf5ef2aSThomas Huth \ 1029f05f9789SPaolo Bonzini void helper_ ## name ## sd(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1030fcf5ef2aSThomas Huth { \ 10311de9e7e6SPaolo Bonzini int i; \ 1032cbf4ad54SPaul Brook d->ZMM_Q(0) = C(F(64, v->ZMM_D(0), s->ZMM_D(0))) ? -1 : 0; \ 10331de9e7e6SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { \ 10341de9e7e6SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); \ 10351de9e7e6SPaolo Bonzini } \ 1036fcf5ef2aSThomas Huth } 1037fcf5ef2aSThomas Huth 10386e0cac78SPaolo Bonzini static inline bool FPU_EQU(FloatRelation x) 10396e0cac78SPaolo Bonzini { 10406e0cac78SPaolo Bonzini return (x == float_relation_equal || x == float_relation_unordered); 10416e0cac78SPaolo Bonzini } 10426e0cac78SPaolo Bonzini static inline bool FPU_GE(FloatRelation x) 10436e0cac78SPaolo Bonzini { 10446e0cac78SPaolo Bonzini return (x == float_relation_equal || x == float_relation_greater); 10456e0cac78SPaolo Bonzini } 1046cbf4ad54SPaul Brook #define FPU_EQ(x) (x == float_relation_equal) 1047cbf4ad54SPaul Brook #define FPU_LT(x) (x == float_relation_less) 1048cbf4ad54SPaul Brook #define FPU_LE(x) (x <= float_relation_equal) 10496e0cac78SPaolo Bonzini #define FPU_GT(x) (x == float_relation_greater) 1050cbf4ad54SPaul Brook #define FPU_UNORD(x) (x == float_relation_unordered) 10516e0cac78SPaolo Bonzini /* We must make sure we evaluate the argument in case it is a signalling NAN */ 10526e0cac78SPaolo Bonzini #define FPU_FALSE(x) (x == float_relation_equal && 0) 1053fcf5ef2aSThomas Huth 1054cbf4ad54SPaul Brook #define FPU_CMPQ(size, a, b) \ 1055cbf4ad54SPaul Brook float ## size ## _compare_quiet(a, b, &env->sse_status) 1056cbf4ad54SPaul Brook #define FPU_CMPS(size, a, b) \ 1057cbf4ad54SPaul Brook float ## size ## _compare(a, b, &env->sse_status) 1058cbf4ad54SPaul Brook 1059cbf4ad54SPaul Brook #else 1060cbf4ad54SPaul Brook #define SSE_HELPER_CMP(name, F, C) SSE_HELPER_CMP_P(name, F, C) 1061cbf4ad54SPaul Brook #endif 1062cbf4ad54SPaul Brook 1063cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpeq, FPU_CMPQ, FPU_EQ) 1064cbf4ad54SPaul Brook SSE_HELPER_CMP(cmplt, FPU_CMPS, FPU_LT) 1065cbf4ad54SPaul Brook SSE_HELPER_CMP(cmple, FPU_CMPS, FPU_LE) 1066cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpunord, FPU_CMPQ, FPU_UNORD) 1067cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpneq, FPU_CMPQ, !FPU_EQ) 1068cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpnlt, FPU_CMPS, !FPU_LT) 1069cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpnle, FPU_CMPS, !FPU_LE) 1070cbf4ad54SPaul Brook SSE_HELPER_CMP(cmpord, FPU_CMPQ, !FPU_UNORD) 1071cbf4ad54SPaul Brook 10726e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpequ, FPU_CMPQ, FPU_EQU) 10736e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnge, FPU_CMPS, !FPU_GE) 10746e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngt, FPU_CMPS, !FPU_GT) 10756e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpfalse, FPU_CMPQ, FPU_FALSE) 10766e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnequ, FPU_CMPQ, !FPU_EQU) 10776e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpge, FPU_CMPS, FPU_GE) 10786e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgt, FPU_CMPS, FPU_GT) 10796e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmptrue, FPU_CMPQ, !FPU_FALSE) 10806e0cac78SPaolo Bonzini 10816e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpeqs, FPU_CMPS, FPU_EQ) 10826e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpltq, FPU_CMPQ, FPU_LT) 10836e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpleq, FPU_CMPQ, FPU_LE) 10846e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpunords, FPU_CMPS, FPU_UNORD) 10856e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpneqq, FPU_CMPS, !FPU_EQ) 10866e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnltq, FPU_CMPQ, !FPU_LT) 10876e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnleq, FPU_CMPQ, !FPU_LE) 10886e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpords, FPU_CMPS, !FPU_UNORD) 10896e0cac78SPaolo Bonzini 10906e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpequs, FPU_CMPS, FPU_EQU) 10916e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngeq, FPU_CMPQ, !FPU_GE) 10926e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpngtq, FPU_CMPQ, !FPU_GT) 10936e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpfalses, FPU_CMPS, FPU_FALSE) 10946e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpnequs, FPU_CMPS, !FPU_EQU) 10956e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgeq, FPU_CMPQ, FPU_GE) 10966e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmpgtq, FPU_CMPQ, FPU_GT) 10976e0cac78SPaolo Bonzini SSE_HELPER_CMP(cmptrues, FPU_CMPS, !FPU_FALSE) 10986e0cac78SPaolo Bonzini 1099cbf4ad54SPaul Brook #undef SSE_HELPER_CMP 1100fcf5ef2aSThomas Huth 1101fd17264aSPaul Brook #if SHIFT == 1 1102fcf5ef2aSThomas Huth static const int comis_eflags[4] = {CC_C, CC_Z, 0, CC_Z | CC_P | CC_C}; 1103fcf5ef2aSThomas Huth 1104fcf5ef2aSThomas Huth void helper_ucomiss(CPUX86State *env, Reg *d, Reg *s) 1105fcf5ef2aSThomas Huth { 110671bfd65cSRichard Henderson FloatRelation ret; 1107fcf5ef2aSThomas Huth float32 s0, s1; 1108fcf5ef2aSThomas Huth 1109fcf5ef2aSThomas Huth s0 = d->ZMM_S(0); 1110fcf5ef2aSThomas Huth s1 = s->ZMM_S(0); 1111fcf5ef2aSThomas Huth ret = float32_compare_quiet(s0, s1, &env->sse_status); 1112fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1113fcf5ef2aSThomas Huth } 1114fcf5ef2aSThomas Huth 1115fcf5ef2aSThomas Huth void helper_comiss(CPUX86State *env, Reg *d, Reg *s) 1116fcf5ef2aSThomas Huth { 111771bfd65cSRichard Henderson FloatRelation ret; 1118fcf5ef2aSThomas Huth float32 s0, s1; 1119fcf5ef2aSThomas Huth 1120fcf5ef2aSThomas Huth s0 = d->ZMM_S(0); 1121fcf5ef2aSThomas Huth s1 = s->ZMM_S(0); 1122fcf5ef2aSThomas Huth ret = float32_compare(s0, s1, &env->sse_status); 1123fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1124fcf5ef2aSThomas Huth } 1125fcf5ef2aSThomas Huth 1126fcf5ef2aSThomas Huth void helper_ucomisd(CPUX86State *env, Reg *d, Reg *s) 1127fcf5ef2aSThomas Huth { 112871bfd65cSRichard Henderson FloatRelation ret; 1129fcf5ef2aSThomas Huth float64 d0, d1; 1130fcf5ef2aSThomas Huth 1131fcf5ef2aSThomas Huth d0 = d->ZMM_D(0); 1132fcf5ef2aSThomas Huth d1 = s->ZMM_D(0); 1133fcf5ef2aSThomas Huth ret = float64_compare_quiet(d0, d1, &env->sse_status); 1134fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1135fcf5ef2aSThomas Huth } 1136fcf5ef2aSThomas Huth 1137fcf5ef2aSThomas Huth void helper_comisd(CPUX86State *env, Reg *d, Reg *s) 1138fcf5ef2aSThomas Huth { 113971bfd65cSRichard Henderson FloatRelation ret; 1140fcf5ef2aSThomas Huth float64 d0, d1; 1141fcf5ef2aSThomas Huth 1142fcf5ef2aSThomas Huth d0 = d->ZMM_D(0); 1143fcf5ef2aSThomas Huth d1 = s->ZMM_D(0); 1144fcf5ef2aSThomas Huth ret = float64_compare(d0, d1, &env->sse_status); 1145fcf5ef2aSThomas Huth CC_SRC = comis_eflags[ret + 1]; 1146fcf5ef2aSThomas Huth } 1147fd17264aSPaul Brook #endif 1148fcf5ef2aSThomas Huth 1149ce4fa29fSPaolo Bonzini uint32_t glue(helper_movmskps, SUFFIX)(CPUX86State *env, Reg *s) 1150fcf5ef2aSThomas Huth { 1151fd17264aSPaul Brook uint32_t mask; 1152fd17264aSPaul Brook int i; 1153fcf5ef2aSThomas Huth 1154fd17264aSPaul Brook mask = 0; 1155fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 1156fd17264aSPaul Brook mask |= (s->ZMM_L(i) >> (31 - i)) & (1 << i); 1157fd17264aSPaul Brook } 1158fd17264aSPaul Brook return mask; 1159fcf5ef2aSThomas Huth } 1160fcf5ef2aSThomas Huth 1161ce4fa29fSPaolo Bonzini uint32_t glue(helper_movmskpd, SUFFIX)(CPUX86State *env, Reg *s) 1162fcf5ef2aSThomas Huth { 1163fd17264aSPaul Brook uint32_t mask; 1164fd17264aSPaul Brook int i; 1165fcf5ef2aSThomas Huth 1166fd17264aSPaul Brook mask = 0; 1167fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1168fd17264aSPaul Brook mask |= (s->ZMM_Q(i) >> (63 - i)) & (1 << i); 1169fd17264aSPaul Brook } 1170fd17264aSPaul Brook return mask; 1171fcf5ef2aSThomas Huth } 1172fcf5ef2aSThomas Huth 1173fcf5ef2aSThomas Huth #endif 1174fcf5ef2aSThomas Huth 1175d45b0de6SPaul Brook #define PACK_HELPER_B(name, F) \ 1176d45b0de6SPaul Brook void glue(helper_pack ## name, SUFFIX)(CPUX86State *env, \ 1177f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1178d45b0de6SPaul Brook { \ 1179d45b0de6SPaul Brook uint8_t r[PACK_WIDTH * 2]; \ 1180d45b0de6SPaul Brook int j, k; \ 1181d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; j += PACK_WIDTH) { \ 1182d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { \ 1183d45b0de6SPaul Brook r[k] = F((int16_t)v->W(j + k)); \ 1184d45b0de6SPaul Brook } \ 1185d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { \ 1186d45b0de6SPaul Brook r[PACK_WIDTH + k] = F((int16_t)s->W(j + k)); \ 1187d45b0de6SPaul Brook } \ 1188d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH * 2; k++) { \ 1189d45b0de6SPaul Brook d->B(2 * j + k) = r[k]; \ 1190d45b0de6SPaul Brook } \ 1191d45b0de6SPaul Brook } \ 1192fcf5ef2aSThomas Huth } 1193fcf5ef2aSThomas Huth 1194d45b0de6SPaul Brook PACK_HELPER_B(sswb, satsb) 1195d45b0de6SPaul Brook PACK_HELPER_B(uswb, satub) 1196fcf5ef2aSThomas Huth 1197f05f9789SPaolo Bonzini void glue(helper_packssdw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1198fcf5ef2aSThomas Huth { 1199d45b0de6SPaul Brook uint16_t r[PACK_WIDTH]; 1200d45b0de6SPaul Brook int j, k; 1201fcf5ef2aSThomas Huth 1202d45b0de6SPaul Brook for (j = 0; j < 2 << SHIFT; j += PACK_WIDTH / 2) { 1203d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH / 2; k++) { 1204d45b0de6SPaul Brook r[k] = satsw(v->L(j + k)); 1205d45b0de6SPaul Brook } 1206d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH / 2; k++) { 1207d45b0de6SPaul Brook r[PACK_WIDTH / 2 + k] = satsw(s->L(j + k)); 1208d45b0de6SPaul Brook } 1209d45b0de6SPaul Brook for (k = 0; k < PACK_WIDTH; k++) { 1210d45b0de6SPaul Brook d->W(2 * j + k) = r[k]; 1211d45b0de6SPaul Brook } 1212d45b0de6SPaul Brook } 1213fcf5ef2aSThomas Huth } 1214fcf5ef2aSThomas Huth 1215fcf5ef2aSThomas Huth #define UNPCK_OP(base_name, base) \ 1216fcf5ef2aSThomas Huth \ 1217fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## bw, SUFFIX)(CPUX86State *env,\ 1218f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1219fcf5ef2aSThomas Huth { \ 1220d45b0de6SPaul Brook uint8_t r[PACK_WIDTH * 2]; \ 1221d45b0de6SPaul Brook int j, i; \ 1222fcf5ef2aSThomas Huth \ 1223d45b0de6SPaul Brook for (j = 0; j < 8 << SHIFT; ) { \ 1224d45b0de6SPaul Brook int k = j + base * PACK_WIDTH; \ 1225d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH; i++) { \ 1226d45b0de6SPaul Brook r[2 * i] = v->B(k + i); \ 1227d45b0de6SPaul Brook r[2 * i + 1] = s->B(k + i); \ 1228d45b0de6SPaul Brook } \ 1229d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH * 2; i++, j++) { \ 1230d45b0de6SPaul Brook d->B(j) = r[i]; \ 1231d45b0de6SPaul Brook } \ 1232d45b0de6SPaul Brook } \ 1233fcf5ef2aSThomas Huth } \ 1234fcf5ef2aSThomas Huth \ 1235fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## wd, SUFFIX)(CPUX86State *env,\ 1236f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1237fcf5ef2aSThomas Huth { \ 1238d45b0de6SPaul Brook uint16_t r[PACK_WIDTH]; \ 1239d45b0de6SPaul Brook int j, i; \ 1240fcf5ef2aSThomas Huth \ 1241d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; ) { \ 1242d45b0de6SPaul Brook int k = j + base * PACK_WIDTH / 2; \ 1243d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 2; i++) { \ 1244d45b0de6SPaul Brook r[2 * i] = v->W(k + i); \ 1245d45b0de6SPaul Brook r[2 * i + 1] = s->W(k + i); \ 1246d45b0de6SPaul Brook } \ 1247d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH; i++, j++) { \ 1248d45b0de6SPaul Brook d->W(j) = r[i]; \ 1249d45b0de6SPaul Brook } \ 1250d45b0de6SPaul Brook } \ 1251fcf5ef2aSThomas Huth } \ 1252fcf5ef2aSThomas Huth \ 1253fcf5ef2aSThomas Huth void glue(helper_punpck ## base_name ## dq, SUFFIX)(CPUX86State *env,\ 1254f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s) \ 1255fcf5ef2aSThomas Huth { \ 1256d45b0de6SPaul Brook uint32_t r[PACK_WIDTH / 2]; \ 1257d45b0de6SPaul Brook int j, i; \ 1258fcf5ef2aSThomas Huth \ 1259d45b0de6SPaul Brook for (j = 0; j < 2 << SHIFT; ) { \ 1260d45b0de6SPaul Brook int k = j + base * PACK_WIDTH / 4; \ 1261d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 4; i++) { \ 1262d45b0de6SPaul Brook r[2 * i] = v->L(k + i); \ 1263d45b0de6SPaul Brook r[2 * i + 1] = s->L(k + i); \ 1264d45b0de6SPaul Brook } \ 1265d45b0de6SPaul Brook for (i = 0; i < PACK_WIDTH / 2; i++, j++) { \ 1266d45b0de6SPaul Brook d->L(j) = r[i]; \ 1267d45b0de6SPaul Brook } \ 1268d45b0de6SPaul Brook } \ 1269fcf5ef2aSThomas Huth } \ 1270fcf5ef2aSThomas Huth \ 1271fcf5ef2aSThomas Huth XMM_ONLY( \ 1272d45b0de6SPaul Brook void glue(helper_punpck ## base_name ## qdq, SUFFIX)( \ 1273f05f9789SPaolo Bonzini CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1274fcf5ef2aSThomas Huth { \ 1275d45b0de6SPaul Brook uint64_t r[2]; \ 1276d45b0de6SPaul Brook int i; \ 1277fcf5ef2aSThomas Huth \ 1278d45b0de6SPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { \ 1279d45b0de6SPaul Brook r[0] = v->Q(base + i); \ 1280d45b0de6SPaul Brook r[1] = s->Q(base + i); \ 1281d45b0de6SPaul Brook d->Q(i) = r[0]; \ 1282d45b0de6SPaul Brook d->Q(i + 1) = r[1]; \ 1283d45b0de6SPaul Brook } \ 1284fcf5ef2aSThomas Huth } \ 1285fcf5ef2aSThomas Huth ) 1286fcf5ef2aSThomas Huth 1287fcf5ef2aSThomas Huth UNPCK_OP(l, 0) 1288fcf5ef2aSThomas Huth UNPCK_OP(h, 1) 1289fcf5ef2aSThomas Huth 1290d45b0de6SPaul Brook #undef PACK_WIDTH 1291d45b0de6SPaul Brook #undef PACK_HELPER_B 1292d45b0de6SPaul Brook #undef UNPCK_OP 1293d45b0de6SPaul Brook 1294d45b0de6SPaul Brook 1295fcf5ef2aSThomas Huth /* 3DNow! float ops */ 1296fcf5ef2aSThomas Huth #if SHIFT == 0 1297fcf5ef2aSThomas Huth void helper_pi2fd(CPUX86State *env, MMXReg *d, MMXReg *s) 1298fcf5ef2aSThomas Huth { 1299fcf5ef2aSThomas Huth d->MMX_S(0) = int32_to_float32(s->MMX_L(0), &env->mmx_status); 1300fcf5ef2aSThomas Huth d->MMX_S(1) = int32_to_float32(s->MMX_L(1), &env->mmx_status); 1301fcf5ef2aSThomas Huth } 1302fcf5ef2aSThomas Huth 1303fcf5ef2aSThomas Huth void helper_pi2fw(CPUX86State *env, MMXReg *d, MMXReg *s) 1304fcf5ef2aSThomas Huth { 1305fcf5ef2aSThomas Huth d->MMX_S(0) = int32_to_float32((int16_t)s->MMX_W(0), &env->mmx_status); 1306fcf5ef2aSThomas Huth d->MMX_S(1) = int32_to_float32((int16_t)s->MMX_W(2), &env->mmx_status); 1307fcf5ef2aSThomas Huth } 1308fcf5ef2aSThomas Huth 1309fcf5ef2aSThomas Huth void helper_pf2id(CPUX86State *env, MMXReg *d, MMXReg *s) 1310fcf5ef2aSThomas Huth { 1311fcf5ef2aSThomas Huth d->MMX_L(0) = float32_to_int32_round_to_zero(s->MMX_S(0), &env->mmx_status); 1312fcf5ef2aSThomas Huth d->MMX_L(1) = float32_to_int32_round_to_zero(s->MMX_S(1), &env->mmx_status); 1313fcf5ef2aSThomas Huth } 1314fcf5ef2aSThomas Huth 1315fcf5ef2aSThomas Huth void helper_pf2iw(CPUX86State *env, MMXReg *d, MMXReg *s) 1316fcf5ef2aSThomas Huth { 1317fcf5ef2aSThomas Huth d->MMX_L(0) = satsw(float32_to_int32_round_to_zero(s->MMX_S(0), 1318fcf5ef2aSThomas Huth &env->mmx_status)); 1319fcf5ef2aSThomas Huth d->MMX_L(1) = satsw(float32_to_int32_round_to_zero(s->MMX_S(1), 1320fcf5ef2aSThomas Huth &env->mmx_status)); 1321fcf5ef2aSThomas Huth } 1322fcf5ef2aSThomas Huth 1323fcf5ef2aSThomas Huth void helper_pfacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1324fcf5ef2aSThomas Huth { 132525bdec79SPaolo Bonzini float32 r; 1326fcf5ef2aSThomas Huth 132725bdec79SPaolo Bonzini r = float32_add(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 132825bdec79SPaolo Bonzini d->MMX_S(1) = float32_add(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 132925bdec79SPaolo Bonzini d->MMX_S(0) = r; 1330fcf5ef2aSThomas Huth } 1331fcf5ef2aSThomas Huth 1332fcf5ef2aSThomas Huth void helper_pfadd(CPUX86State *env, MMXReg *d, MMXReg *s) 1333fcf5ef2aSThomas Huth { 1334fcf5ef2aSThomas Huth d->MMX_S(0) = float32_add(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1335fcf5ef2aSThomas Huth d->MMX_S(1) = float32_add(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1336fcf5ef2aSThomas Huth } 1337fcf5ef2aSThomas Huth 1338fcf5ef2aSThomas Huth void helper_pfcmpeq(CPUX86State *env, MMXReg *d, MMXReg *s) 1339fcf5ef2aSThomas Huth { 1340fcf5ef2aSThomas Huth d->MMX_L(0) = float32_eq_quiet(d->MMX_S(0), s->MMX_S(0), 1341fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1342fcf5ef2aSThomas Huth d->MMX_L(1) = float32_eq_quiet(d->MMX_S(1), s->MMX_S(1), 1343fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1344fcf5ef2aSThomas Huth } 1345fcf5ef2aSThomas Huth 1346fcf5ef2aSThomas Huth void helper_pfcmpge(CPUX86State *env, MMXReg *d, MMXReg *s) 1347fcf5ef2aSThomas Huth { 1348fcf5ef2aSThomas Huth d->MMX_L(0) = float32_le(s->MMX_S(0), d->MMX_S(0), 1349fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1350fcf5ef2aSThomas Huth d->MMX_L(1) = float32_le(s->MMX_S(1), d->MMX_S(1), 1351fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1352fcf5ef2aSThomas Huth } 1353fcf5ef2aSThomas Huth 1354fcf5ef2aSThomas Huth void helper_pfcmpgt(CPUX86State *env, MMXReg *d, MMXReg *s) 1355fcf5ef2aSThomas Huth { 1356fcf5ef2aSThomas Huth d->MMX_L(0) = float32_lt(s->MMX_S(0), d->MMX_S(0), 1357fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1358fcf5ef2aSThomas Huth d->MMX_L(1) = float32_lt(s->MMX_S(1), d->MMX_S(1), 1359fcf5ef2aSThomas Huth &env->mmx_status) ? -1 : 0; 1360fcf5ef2aSThomas Huth } 1361fcf5ef2aSThomas Huth 1362fcf5ef2aSThomas Huth void helper_pfmax(CPUX86State *env, MMXReg *d, MMXReg *s) 1363fcf5ef2aSThomas Huth { 1364fcf5ef2aSThomas Huth if (float32_lt(d->MMX_S(0), s->MMX_S(0), &env->mmx_status)) { 1365fcf5ef2aSThomas Huth d->MMX_S(0) = s->MMX_S(0); 1366fcf5ef2aSThomas Huth } 1367fcf5ef2aSThomas Huth if (float32_lt(d->MMX_S(1), s->MMX_S(1), &env->mmx_status)) { 1368fcf5ef2aSThomas Huth d->MMX_S(1) = s->MMX_S(1); 1369fcf5ef2aSThomas Huth } 1370fcf5ef2aSThomas Huth } 1371fcf5ef2aSThomas Huth 1372fcf5ef2aSThomas Huth void helper_pfmin(CPUX86State *env, MMXReg *d, MMXReg *s) 1373fcf5ef2aSThomas Huth { 1374fcf5ef2aSThomas Huth if (float32_lt(s->MMX_S(0), d->MMX_S(0), &env->mmx_status)) { 1375fcf5ef2aSThomas Huth d->MMX_S(0) = s->MMX_S(0); 1376fcf5ef2aSThomas Huth } 1377fcf5ef2aSThomas Huth if (float32_lt(s->MMX_S(1), d->MMX_S(1), &env->mmx_status)) { 1378fcf5ef2aSThomas Huth d->MMX_S(1) = s->MMX_S(1); 1379fcf5ef2aSThomas Huth } 1380fcf5ef2aSThomas Huth } 1381fcf5ef2aSThomas Huth 1382fcf5ef2aSThomas Huth void helper_pfmul(CPUX86State *env, MMXReg *d, MMXReg *s) 1383fcf5ef2aSThomas Huth { 1384fcf5ef2aSThomas Huth d->MMX_S(0) = float32_mul(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1385fcf5ef2aSThomas Huth d->MMX_S(1) = float32_mul(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1386fcf5ef2aSThomas Huth } 1387fcf5ef2aSThomas Huth 1388fcf5ef2aSThomas Huth void helper_pfnacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1389fcf5ef2aSThomas Huth { 139025bdec79SPaolo Bonzini float32 r; 1391fcf5ef2aSThomas Huth 139225bdec79SPaolo Bonzini r = float32_sub(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 139325bdec79SPaolo Bonzini d->MMX_S(1) = float32_sub(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 139425bdec79SPaolo Bonzini d->MMX_S(0) = r; 1395fcf5ef2aSThomas Huth } 1396fcf5ef2aSThomas Huth 1397fcf5ef2aSThomas Huth void helper_pfpnacc(CPUX86State *env, MMXReg *d, MMXReg *s) 1398fcf5ef2aSThomas Huth { 139925bdec79SPaolo Bonzini float32 r; 1400fcf5ef2aSThomas Huth 140125bdec79SPaolo Bonzini r = float32_sub(d->MMX_S(0), d->MMX_S(1), &env->mmx_status); 140225bdec79SPaolo Bonzini d->MMX_S(1) = float32_add(s->MMX_S(0), s->MMX_S(1), &env->mmx_status); 140325bdec79SPaolo Bonzini d->MMX_S(0) = r; 1404fcf5ef2aSThomas Huth } 1405fcf5ef2aSThomas Huth 1406fcf5ef2aSThomas Huth void helper_pfrcp(CPUX86State *env, MMXReg *d, MMXReg *s) 1407fcf5ef2aSThomas Huth { 1408fcf5ef2aSThomas Huth d->MMX_S(0) = float32_div(float32_one, s->MMX_S(0), &env->mmx_status); 1409fcf5ef2aSThomas Huth d->MMX_S(1) = d->MMX_S(0); 1410fcf5ef2aSThomas Huth } 1411fcf5ef2aSThomas Huth 1412fcf5ef2aSThomas Huth void helper_pfrsqrt(CPUX86State *env, MMXReg *d, MMXReg *s) 1413fcf5ef2aSThomas Huth { 1414fcf5ef2aSThomas Huth d->MMX_L(1) = s->MMX_L(0) & 0x7fffffff; 1415fcf5ef2aSThomas Huth d->MMX_S(1) = float32_div(float32_one, 1416fcf5ef2aSThomas Huth float32_sqrt(d->MMX_S(1), &env->mmx_status), 1417fcf5ef2aSThomas Huth &env->mmx_status); 1418fcf5ef2aSThomas Huth d->MMX_L(1) |= s->MMX_L(0) & 0x80000000; 1419fcf5ef2aSThomas Huth d->MMX_L(0) = d->MMX_L(1); 1420fcf5ef2aSThomas Huth } 1421fcf5ef2aSThomas Huth 1422fcf5ef2aSThomas Huth void helper_pfsub(CPUX86State *env, MMXReg *d, MMXReg *s) 1423fcf5ef2aSThomas Huth { 1424fcf5ef2aSThomas Huth d->MMX_S(0) = float32_sub(d->MMX_S(0), s->MMX_S(0), &env->mmx_status); 1425fcf5ef2aSThomas Huth d->MMX_S(1) = float32_sub(d->MMX_S(1), s->MMX_S(1), &env->mmx_status); 1426fcf5ef2aSThomas Huth } 1427fcf5ef2aSThomas Huth 1428fcf5ef2aSThomas Huth void helper_pfsubr(CPUX86State *env, MMXReg *d, MMXReg *s) 1429fcf5ef2aSThomas Huth { 1430fcf5ef2aSThomas Huth d->MMX_S(0) = float32_sub(s->MMX_S(0), d->MMX_S(0), &env->mmx_status); 1431fcf5ef2aSThomas Huth d->MMX_S(1) = float32_sub(s->MMX_S(1), d->MMX_S(1), &env->mmx_status); 1432fcf5ef2aSThomas Huth } 1433fcf5ef2aSThomas Huth 1434fcf5ef2aSThomas Huth void helper_pswapd(CPUX86State *env, MMXReg *d, MMXReg *s) 1435fcf5ef2aSThomas Huth { 143625bdec79SPaolo Bonzini uint32_t r; 1437fcf5ef2aSThomas Huth 143825bdec79SPaolo Bonzini r = s->MMX_L(0); 143925bdec79SPaolo Bonzini d->MMX_L(0) = s->MMX_L(1); 144025bdec79SPaolo Bonzini d->MMX_L(1) = r; 1441fcf5ef2aSThomas Huth } 1442fcf5ef2aSThomas Huth #endif 1443fcf5ef2aSThomas Huth 1444fcf5ef2aSThomas Huth /* SSSE3 op helpers */ 1445f05f9789SPaolo Bonzini void glue(helper_pshufb, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1446fcf5ef2aSThomas Huth { 1447fcf5ef2aSThomas Huth int i; 1448d45b0de6SPaul Brook #if SHIFT == 0 1449d45b0de6SPaul Brook uint8_t r[8]; 1450fcf5ef2aSThomas Huth 1451d45b0de6SPaul Brook for (i = 0; i < 8; i++) { 1452d45b0de6SPaul Brook r[i] = (s->B(i) & 0x80) ? 0 : (v->B(s->B(i) & 7)); 1453fcf5ef2aSThomas Huth } 1454d45b0de6SPaul Brook for (i = 0; i < 8; i++) { 1455d45b0de6SPaul Brook d->B(i) = r[i]; 1456fcf5ef2aSThomas Huth } 1457d45b0de6SPaul Brook #else 1458d45b0de6SPaul Brook uint8_t r[8 << SHIFT]; 1459fcf5ef2aSThomas Huth 1460d45b0de6SPaul Brook for (i = 0; i < 8 << SHIFT; i++) { 1461d45b0de6SPaul Brook int j = i & ~0xf; 1462d45b0de6SPaul Brook r[i] = (s->B(i) & 0x80) ? 0 : v->B(j | (s->B(i) & 0xf)); 1463fcf5ef2aSThomas Huth } 1464d45b0de6SPaul Brook for (i = 0; i < 8 << SHIFT; i++) { 1465d45b0de6SPaul Brook d->B(i) = r[i]; 1466fcf5ef2aSThomas Huth } 1467fcf5ef2aSThomas Huth #endif 1468fcf5ef2aSThomas Huth } 1469fcf5ef2aSThomas Huth 1470d45b0de6SPaul Brook #define SSE_HELPER_HW(name, F) \ 1471f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1472d45b0de6SPaul Brook { \ 1473d45b0de6SPaul Brook uint16_t r[4 << SHIFT]; \ 1474d45b0de6SPaul Brook int i, j, k; \ 1475d45b0de6SPaul Brook for (k = 0; k < 4 << SHIFT; k += LANE_WIDTH / 2) { \ 1476d45b0de6SPaul Brook for (i = j = 0; j < LANE_WIDTH / 2; i++, j += 2) { \ 1477d45b0de6SPaul Brook r[i + k] = F(v->W(j + k), v->W(j + k + 1)); \ 1478d45b0de6SPaul Brook } \ 1479d45b0de6SPaul Brook for (j = 0; j < LANE_WIDTH / 2; i++, j += 2) { \ 1480d45b0de6SPaul Brook r[i + k] = F(s->W(j + k), s->W(j + k + 1)); \ 1481d45b0de6SPaul Brook } \ 1482d45b0de6SPaul Brook } \ 1483d45b0de6SPaul Brook for (i = 0; i < 4 << SHIFT; i++) { \ 1484d45b0de6SPaul Brook d->W(i) = r[i]; \ 1485d45b0de6SPaul Brook } \ 1486fcf5ef2aSThomas Huth } 1487fcf5ef2aSThomas Huth 1488d45b0de6SPaul Brook #define SSE_HELPER_HL(name, F) \ 1489f05f9789SPaolo Bonzini void glue(helper_ ## name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) \ 1490d45b0de6SPaul Brook { \ 1491d45b0de6SPaul Brook uint32_t r[2 << SHIFT]; \ 1492d45b0de6SPaul Brook int i, j, k; \ 1493d45b0de6SPaul Brook for (k = 0; k < 2 << SHIFT; k += LANE_WIDTH / 4) { \ 1494d45b0de6SPaul Brook for (i = j = 0; j < LANE_WIDTH / 4; i++, j += 2) { \ 1495d45b0de6SPaul Brook r[i + k] = F(v->L(j + k), v->L(j + k + 1)); \ 1496d45b0de6SPaul Brook } \ 1497d45b0de6SPaul Brook for (j = 0; j < LANE_WIDTH / 4; i++, j += 2) { \ 1498d45b0de6SPaul Brook r[i + k] = F(s->L(j + k), s->L(j + k + 1)); \ 1499d45b0de6SPaul Brook } \ 1500d45b0de6SPaul Brook } \ 1501d45b0de6SPaul Brook for (i = 0; i < 2 << SHIFT; i++) { \ 1502d45b0de6SPaul Brook d->L(i) = r[i]; \ 1503d45b0de6SPaul Brook } \ 1504fcf5ef2aSThomas Huth } 1505fcf5ef2aSThomas Huth 1506d45b0de6SPaul Brook SSE_HELPER_HW(phaddw, FADD) 1507d45b0de6SPaul Brook SSE_HELPER_HW(phsubw, FSUB) 1508d45b0de6SPaul Brook SSE_HELPER_HW(phaddsw, FADDSW) 1509d45b0de6SPaul Brook SSE_HELPER_HW(phsubsw, FSUBSW) 1510d45b0de6SPaul Brook SSE_HELPER_HL(phaddd, FADD) 1511d45b0de6SPaul Brook SSE_HELPER_HL(phsubd, FSUB) 151275046ad7SPaolo Bonzini 1513d45b0de6SPaul Brook #undef SSE_HELPER_HW 1514d45b0de6SPaul Brook #undef SSE_HELPER_HL 1515d45b0de6SPaul Brook 1516f05f9789SPaolo Bonzini void glue(helper_pmaddubsw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1517d45b0de6SPaul Brook { 1518d45b0de6SPaul Brook int i; 1519d45b0de6SPaul Brook for (i = 0; i < 4 << SHIFT; i++) { 1520d45b0de6SPaul Brook d->W(i) = satsw((int8_t)s->B(i * 2) * (uint8_t)v->B(i * 2) + 1521d45b0de6SPaul Brook (int8_t)s->B(i * 2 + 1) * (uint8_t)v->B(i * 2 + 1)); 1522d45b0de6SPaul Brook } 1523fcf5ef2aSThomas Huth } 1524fcf5ef2aSThomas Huth 1525fcf5ef2aSThomas Huth #define FMULHRSW(d, s) (((int16_t) d * (int16_t)s + 0x4000) >> 15) 1526fcf5ef2aSThomas Huth SSE_HELPER_W(helper_pmulhrsw, FMULHRSW) 1527fcf5ef2aSThomas Huth 1528fcf5ef2aSThomas Huth #define FSIGNB(d, s) (s <= INT8_MAX ? s ? d : 0 : -(int8_t)d) 1529fcf5ef2aSThomas Huth #define FSIGNW(d, s) (s <= INT16_MAX ? s ? d : 0 : -(int16_t)d) 1530fcf5ef2aSThomas Huth #define FSIGNL(d, s) (s <= INT32_MAX ? s ? d : 0 : -(int32_t)d) 1531fcf5ef2aSThomas Huth SSE_HELPER_B(helper_psignb, FSIGNB) 1532fcf5ef2aSThomas Huth SSE_HELPER_W(helper_psignw, FSIGNW) 1533fcf5ef2aSThomas Huth SSE_HELPER_L(helper_psignd, FSIGNL) 1534fcf5ef2aSThomas Huth 1535f05f9789SPaolo Bonzini void glue(helper_palignr, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1536a64eee3aSPaolo Bonzini uint32_t imm) 1537fcf5ef2aSThomas Huth { 1538d45b0de6SPaul Brook int i; 1539fcf5ef2aSThomas Huth 1540fcf5ef2aSThomas Huth /* XXX could be checked during translation */ 1541a64eee3aSPaolo Bonzini if (imm >= (SHIFT ? 32 : 16)) { 1542d45b0de6SPaul Brook for (i = 0; i < (1 << SHIFT); i++) { 1543d45b0de6SPaul Brook d->Q(i) = 0; 1544d45b0de6SPaul Brook } 1545fcf5ef2aSThomas Huth } else { 1546a64eee3aSPaolo Bonzini int shift = imm * 8; 1547fcf5ef2aSThomas Huth #define SHR(v, i) (i < 64 && i > -64 ? i > 0 ? v >> (i) : (v << -(i)) : 0) 1548fcf5ef2aSThomas Huth #if SHIFT == 0 1549d45b0de6SPaul Brook d->Q(0) = SHR(s->Q(0), shift - 0) | 1550d45b0de6SPaul Brook SHR(v->Q(0), shift - 64); 1551fcf5ef2aSThomas Huth #else 1552d45b0de6SPaul Brook for (i = 0; i < (1 << SHIFT); i += 2) { 1553d45b0de6SPaul Brook uint64_t r0, r1; 1554d45b0de6SPaul Brook 1555d45b0de6SPaul Brook r0 = SHR(s->Q(i), shift - 0) | 1556d45b0de6SPaul Brook SHR(s->Q(i + 1), shift - 64) | 1557d45b0de6SPaul Brook SHR(v->Q(i), shift - 128) | 1558d45b0de6SPaul Brook SHR(v->Q(i + 1), shift - 192); 1559d45b0de6SPaul Brook r1 = SHR(s->Q(i), shift + 64) | 1560d45b0de6SPaul Brook SHR(s->Q(i + 1), shift - 0) | 1561d45b0de6SPaul Brook SHR(v->Q(i), shift - 64) | 1562d45b0de6SPaul Brook SHR(v->Q(i + 1), shift - 128); 1563d45b0de6SPaul Brook d->Q(i) = r0; 1564d45b0de6SPaul Brook d->Q(i + 1) = r1; 1565d45b0de6SPaul Brook } 1566fcf5ef2aSThomas Huth #endif 1567fcf5ef2aSThomas Huth #undef SHR 1568fcf5ef2aSThomas Huth } 1569fcf5ef2aSThomas Huth } 1570fcf5ef2aSThomas Huth 15710e29cea5SPaul Brook #if SHIFT >= 1 1572fcf5ef2aSThomas Huth 1573fcf5ef2aSThomas Huth #define SSE_HELPER_V(name, elem, num, F) \ 1574f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, \ 1575f05f9789SPaolo Bonzini Reg *m) \ 1576fcf5ef2aSThomas Huth { \ 15770e29cea5SPaul Brook int i; \ 15780e29cea5SPaul Brook for (i = 0; i < num; i++) { \ 15790e29cea5SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i), m->elem(i)); \ 1580fcf5ef2aSThomas Huth } \ 1581fcf5ef2aSThomas Huth } 1582fcf5ef2aSThomas Huth 1583fcf5ef2aSThomas Huth #define SSE_HELPER_I(name, elem, num, F) \ 1584f05f9789SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, \ 15850e29cea5SPaul Brook uint32_t imm) \ 1586fcf5ef2aSThomas Huth { \ 15870e29cea5SPaul Brook int i; \ 15880e29cea5SPaul Brook for (i = 0; i < num; i++) { \ 15890e29cea5SPaul Brook int j = i & 7; \ 15900e29cea5SPaul Brook d->elem(i) = F(v->elem(i), s->elem(i), (imm >> j) & 1); \ 1591fcf5ef2aSThomas Huth } \ 1592fcf5ef2aSThomas Huth } 1593fcf5ef2aSThomas Huth 1594fcf5ef2aSThomas Huth /* SSE4.1 op helpers */ 15950e29cea5SPaul Brook #define FBLENDVB(v, s, m) ((m & 0x80) ? s : v) 15960e29cea5SPaul Brook #define FBLENDVPS(v, s, m) ((m & 0x80000000) ? s : v) 15970e29cea5SPaul Brook #define FBLENDVPD(v, s, m) ((m & 0x8000000000000000LL) ? s : v) 15980e29cea5SPaul Brook SSE_HELPER_V(helper_pblendvb, B, 8 << SHIFT, FBLENDVB) 15990e29cea5SPaul Brook SSE_HELPER_V(helper_blendvps, L, 2 << SHIFT, FBLENDVPS) 16000e29cea5SPaul Brook SSE_HELPER_V(helper_blendvpd, Q, 1 << SHIFT, FBLENDVPD) 1601fcf5ef2aSThomas Huth 1602fcf5ef2aSThomas Huth void glue(helper_ptest, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 1603fcf5ef2aSThomas Huth { 1604e894bae8SPaul Brook uint64_t zf = 0, cf = 0; 1605e894bae8SPaul Brook int i; 1606fcf5ef2aSThomas Huth 1607e894bae8SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1608e894bae8SPaul Brook zf |= (s->Q(i) & d->Q(i)); 1609e894bae8SPaul Brook cf |= (s->Q(i) & ~d->Q(i)); 1610e894bae8SPaul Brook } 1611fcf5ef2aSThomas Huth CC_SRC = (zf ? 0 : CC_Z) | (cf ? 0 : CC_C); 1612fcf5ef2aSThomas Huth } 1613fcf5ef2aSThomas Huth 16147170a17eSPaolo Bonzini #define FMOVSLDUP(i) s->L((i) & ~1) 16157170a17eSPaolo Bonzini #define FMOVSHDUP(i) s->L((i) | 1) 16167170a17eSPaolo Bonzini #define FMOVDLDUP(i) s->Q((i) & ~1) 16177170a17eSPaolo Bonzini 1618fcf5ef2aSThomas Huth #define SSE_HELPER_F(name, elem, num, F) \ 1619fcf5ef2aSThomas Huth void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) \ 1620fcf5ef2aSThomas Huth { \ 1621e894bae8SPaul Brook int n = num; \ 1622e894bae8SPaul Brook for (int i = n; --i >= 0; ) { \ 1623e894bae8SPaul Brook d->elem(i) = F(i); \ 1624fcf5ef2aSThomas Huth } \ 1625fcf5ef2aSThomas Huth } 1626fcf5ef2aSThomas Huth 1627e894bae8SPaul Brook #if SHIFT > 0 1628e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbw, W, 4 << SHIFT, (int8_t) s->B) 1629e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbd, L, 2 << SHIFT, (int8_t) s->B) 1630e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxbq, Q, 1 << SHIFT, (int8_t) s->B) 1631e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxwd, L, 2 << SHIFT, (int16_t) s->W) 1632e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxwq, Q, 1 << SHIFT, (int16_t) s->W) 1633e894bae8SPaul Brook SSE_HELPER_F(helper_pmovsxdq, Q, 1 << SHIFT, (int32_t) s->L) 1634e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbw, W, 4 << SHIFT, s->B) 1635e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbd, L, 2 << SHIFT, s->B) 1636e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxbq, Q, 1 << SHIFT, s->B) 1637e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxwd, L, 2 << SHIFT, s->W) 1638e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxwq, Q, 1 << SHIFT, s->W) 1639e894bae8SPaul Brook SSE_HELPER_F(helper_pmovzxdq, Q, 1 << SHIFT, s->L) 16407170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovsldup, L, 2 << SHIFT, FMOVSLDUP) 16417170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovshdup, L, 2 << SHIFT, FMOVSHDUP) 16427170a17eSPaolo Bonzini SSE_HELPER_F(helper_pmovdldup, Q, 1 << SHIFT, FMOVDLDUP) 1643e894bae8SPaul Brook #endif 1644fcf5ef2aSThomas Huth 1645f05f9789SPaolo Bonzini void glue(helper_pmuldq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1646fcf5ef2aSThomas Huth { 1647e894bae8SPaul Brook int i; 1648e894bae8SPaul Brook 1649e894bae8SPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1650e894bae8SPaul Brook d->Q(i) = (int64_t)(int32_t) v->L(2 * i) * (int32_t) s->L(2 * i); 1651e894bae8SPaul Brook } 1652fcf5ef2aSThomas Huth } 1653fcf5ef2aSThomas Huth 1654f05f9789SPaolo Bonzini void glue(helper_packusdw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 1655fcf5ef2aSThomas Huth { 1656d45b0de6SPaul Brook uint16_t r[8]; 1657d45b0de6SPaul Brook int i, j, k; 165880e19606SJoseph Myers 1659d45b0de6SPaul Brook for (i = 0, j = 0; i <= 2 << SHIFT; i += 8, j += 4) { 1660d45b0de6SPaul Brook r[0] = satuw(v->L(j)); 1661d45b0de6SPaul Brook r[1] = satuw(v->L(j + 1)); 1662d45b0de6SPaul Brook r[2] = satuw(v->L(j + 2)); 1663d45b0de6SPaul Brook r[3] = satuw(v->L(j + 3)); 1664d45b0de6SPaul Brook r[4] = satuw(s->L(j)); 1665d45b0de6SPaul Brook r[5] = satuw(s->L(j + 1)); 1666d45b0de6SPaul Brook r[6] = satuw(s->L(j + 2)); 1667d45b0de6SPaul Brook r[7] = satuw(s->L(j + 3)); 1668d45b0de6SPaul Brook for (k = 0; k < 8; k++) { 1669d45b0de6SPaul Brook d->W(i + k) = r[k]; 1670d45b0de6SPaul Brook } 1671d45b0de6SPaul Brook } 1672fcf5ef2aSThomas Huth } 1673fcf5ef2aSThomas Huth 1674fd17264aSPaul Brook #if SHIFT == 1 1675fcf5ef2aSThomas Huth void glue(helper_phminposuw, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 1676fcf5ef2aSThomas Huth { 1677fcf5ef2aSThomas Huth int idx = 0; 1678fcf5ef2aSThomas Huth 1679fcf5ef2aSThomas Huth if (s->W(1) < s->W(idx)) { 1680fcf5ef2aSThomas Huth idx = 1; 1681fcf5ef2aSThomas Huth } 1682fcf5ef2aSThomas Huth if (s->W(2) < s->W(idx)) { 1683fcf5ef2aSThomas Huth idx = 2; 1684fcf5ef2aSThomas Huth } 1685fcf5ef2aSThomas Huth if (s->W(3) < s->W(idx)) { 1686fcf5ef2aSThomas Huth idx = 3; 1687fcf5ef2aSThomas Huth } 1688fcf5ef2aSThomas Huth if (s->W(4) < s->W(idx)) { 1689fcf5ef2aSThomas Huth idx = 4; 1690fcf5ef2aSThomas Huth } 1691fcf5ef2aSThomas Huth if (s->W(5) < s->W(idx)) { 1692fcf5ef2aSThomas Huth idx = 5; 1693fcf5ef2aSThomas Huth } 1694fcf5ef2aSThomas Huth if (s->W(6) < s->W(idx)) { 1695fcf5ef2aSThomas Huth idx = 6; 1696fcf5ef2aSThomas Huth } 1697fcf5ef2aSThomas Huth if (s->W(7) < s->W(idx)) { 1698fcf5ef2aSThomas Huth idx = 7; 1699fcf5ef2aSThomas Huth } 1700fcf5ef2aSThomas Huth 1701fcf5ef2aSThomas Huth d->W(0) = s->W(idx); 1702aa406feaSJoseph Myers d->W(1) = idx; 1703aa406feaSJoseph Myers d->L(1) = 0; 1704aa406feaSJoseph Myers d->Q(1) = 0; 1705fcf5ef2aSThomas Huth } 1706fd17264aSPaul Brook #endif 1707fcf5ef2aSThomas Huth 1708fcf5ef2aSThomas Huth void glue(helper_roundps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 1709fcf5ef2aSThomas Huth uint32_t mode) 1710fcf5ef2aSThomas Huth { 1711418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1712fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1713fd17264aSPaul Brook int i; 1714fcf5ef2aSThomas Huth 1715fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1716fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1717314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1718fcf5ef2aSThomas Huth } 1719fcf5ef2aSThomas Huth 1720fd17264aSPaul Brook for (i = 0; i < 2 << SHIFT; i++) { 1721fd17264aSPaul Brook d->ZMM_S(i) = float32_round_to_int(s->ZMM_S(i), &env->sse_status); 1722fd17264aSPaul Brook } 1723fcf5ef2aSThomas Huth 1724418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1725fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1726fcf5ef2aSThomas Huth ~float_flag_inexact, 1727fcf5ef2aSThomas Huth &env->sse_status); 1728fcf5ef2aSThomas Huth } 1729fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1730fcf5ef2aSThomas Huth } 1731fcf5ef2aSThomas Huth 1732fcf5ef2aSThomas Huth void glue(helper_roundpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 1733fcf5ef2aSThomas Huth uint32_t mode) 1734fcf5ef2aSThomas Huth { 1735418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1736fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1737fd17264aSPaul Brook int i; 1738fcf5ef2aSThomas Huth 1739fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1740fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1741314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1742fcf5ef2aSThomas Huth } 1743fcf5ef2aSThomas Huth 1744fd17264aSPaul Brook for (i = 0; i < 1 << SHIFT; i++) { 1745fd17264aSPaul Brook d->ZMM_D(i) = float64_round_to_int(s->ZMM_D(i), &env->sse_status); 1746fd17264aSPaul Brook } 1747fcf5ef2aSThomas Huth 1748418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1749fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1750fcf5ef2aSThomas Huth ~float_flag_inexact, 1751fcf5ef2aSThomas Huth &env->sse_status); 1752fcf5ef2aSThomas Huth } 1753fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1754fcf5ef2aSThomas Huth } 1755fcf5ef2aSThomas Huth 1756fd17264aSPaul Brook #if SHIFT == 1 1757620f7556SPaolo Bonzini void glue(helper_roundss, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1758fcf5ef2aSThomas Huth uint32_t mode) 1759fcf5ef2aSThomas Huth { 1760418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1761fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1762620f7556SPaolo Bonzini int i; 1763fcf5ef2aSThomas Huth 1764fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1765fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1766314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1767fcf5ef2aSThomas Huth } 1768fcf5ef2aSThomas Huth 1769fcf5ef2aSThomas Huth d->ZMM_S(0) = float32_round_to_int(s->ZMM_S(0), &env->sse_status); 1770620f7556SPaolo Bonzini for (i = 1; i < 2 << SHIFT; i++) { 1771620f7556SPaolo Bonzini d->ZMM_L(i) = v->ZMM_L(i); 1772620f7556SPaolo Bonzini } 1773fcf5ef2aSThomas Huth 1774418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1775fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1776fcf5ef2aSThomas Huth ~float_flag_inexact, 1777fcf5ef2aSThomas Huth &env->sse_status); 1778fcf5ef2aSThomas Huth } 1779fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1780fcf5ef2aSThomas Huth } 1781fcf5ef2aSThomas Huth 1782620f7556SPaolo Bonzini void glue(helper_roundsd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1783fcf5ef2aSThomas Huth uint32_t mode) 1784fcf5ef2aSThomas Huth { 1785418b0f93SJoseph Myers uint8_t old_flags = get_float_exception_flags(&env->sse_status); 1786fcf5ef2aSThomas Huth signed char prev_rounding_mode; 1787620f7556SPaolo Bonzini int i; 1788fcf5ef2aSThomas Huth 1789fcf5ef2aSThomas Huth prev_rounding_mode = env->sse_status.float_rounding_mode; 1790fcf5ef2aSThomas Huth if (!(mode & (1 << 2))) { 1791314d3effSPaolo Bonzini set_x86_rounding_mode(mode & 3, &env->sse_status); 1792fcf5ef2aSThomas Huth } 1793fcf5ef2aSThomas Huth 1794fcf5ef2aSThomas Huth d->ZMM_D(0) = float64_round_to_int(s->ZMM_D(0), &env->sse_status); 1795620f7556SPaolo Bonzini for (i = 1; i < 1 << SHIFT; i++) { 1796620f7556SPaolo Bonzini d->ZMM_Q(i) = v->ZMM_Q(i); 1797620f7556SPaolo Bonzini } 1798fcf5ef2aSThomas Huth 1799418b0f93SJoseph Myers if (mode & (1 << 3) && !(old_flags & float_flag_inexact)) { 1800fcf5ef2aSThomas Huth set_float_exception_flags(get_float_exception_flags(&env->sse_status) & 1801fcf5ef2aSThomas Huth ~float_flag_inexact, 1802fcf5ef2aSThomas Huth &env->sse_status); 1803fcf5ef2aSThomas Huth } 1804fcf5ef2aSThomas Huth env->sse_status.float_rounding_mode = prev_rounding_mode; 1805fcf5ef2aSThomas Huth } 1806fd17264aSPaul Brook #endif 1807fcf5ef2aSThomas Huth 18080e29cea5SPaul Brook #define FBLENDP(v, s, m) (m ? s : v) 18090e29cea5SPaul Brook SSE_HELPER_I(helper_blendps, L, 2 << SHIFT, FBLENDP) 18100e29cea5SPaul Brook SSE_HELPER_I(helper_blendpd, Q, 1 << SHIFT, FBLENDP) 18110e29cea5SPaul Brook SSE_HELPER_I(helper_pblendw, W, 4 << SHIFT, FBLENDP) 1812fcf5ef2aSThomas Huth 1813f05f9789SPaolo Bonzini void glue(helper_dpps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 18146f218d6eSPaul Brook uint32_t mask) 1815fcf5ef2aSThomas Huth { 1816bf30ad8cSPaolo Bonzini float32 prod1, prod2, temp2, temp3, temp4; 18176f218d6eSPaul Brook int i; 1818fcf5ef2aSThomas Huth 18196f218d6eSPaul Brook for (i = 0; i < 2 << SHIFT; i += 4) { 1820bf30ad8cSPaolo Bonzini /* 1821bf30ad8cSPaolo Bonzini * We must evaluate (A+B)+(C+D), not ((A+B)+C)+D 1822bf30ad8cSPaolo Bonzini * to correctly round the intermediate results 1823bf30ad8cSPaolo Bonzini */ 1824fcf5ef2aSThomas Huth if (mask & (1 << 4)) { 18256f218d6eSPaul Brook prod1 = float32_mul(v->ZMM_S(i), s->ZMM_S(i), &env->sse_status); 1826bf30ad8cSPaolo Bonzini } else { 1827bf30ad8cSPaolo Bonzini prod1 = float32_zero; 1828fcf5ef2aSThomas Huth } 1829fcf5ef2aSThomas Huth if (mask & (1 << 5)) { 18306f218d6eSPaul Brook prod2 = float32_mul(v->ZMM_S(i+1), s->ZMM_S(i+1), &env->sse_status); 1831bf30ad8cSPaolo Bonzini } else { 1832bf30ad8cSPaolo Bonzini prod2 = float32_zero; 1833fcf5ef2aSThomas Huth } 1834bf30ad8cSPaolo Bonzini temp2 = float32_add(prod1, prod2, &env->sse_status); 1835fcf5ef2aSThomas Huth if (mask & (1 << 6)) { 18366f218d6eSPaul Brook prod1 = float32_mul(v->ZMM_S(i+2), s->ZMM_S(i+2), &env->sse_status); 1837bf30ad8cSPaolo Bonzini } else { 1838bf30ad8cSPaolo Bonzini prod1 = float32_zero; 1839fcf5ef2aSThomas Huth } 1840fcf5ef2aSThomas Huth if (mask & (1 << 7)) { 18416f218d6eSPaul Brook prod2 = float32_mul(v->ZMM_S(i+3), s->ZMM_S(i+3), &env->sse_status); 1842bf30ad8cSPaolo Bonzini } else { 1843bf30ad8cSPaolo Bonzini prod2 = float32_zero; 1844fcf5ef2aSThomas Huth } 1845bf30ad8cSPaolo Bonzini temp3 = float32_add(prod1, prod2, &env->sse_status); 1846bf30ad8cSPaolo Bonzini temp4 = float32_add(temp2, temp3, &env->sse_status); 1847bf30ad8cSPaolo Bonzini 18486f218d6eSPaul Brook d->ZMM_S(i) = (mask & (1 << 0)) ? temp4 : float32_zero; 18496f218d6eSPaul Brook d->ZMM_S(i+1) = (mask & (1 << 1)) ? temp4 : float32_zero; 18506f218d6eSPaul Brook d->ZMM_S(i+2) = (mask & (1 << 2)) ? temp4 : float32_zero; 18516f218d6eSPaul Brook d->ZMM_S(i+3) = (mask & (1 << 3)) ? temp4 : float32_zero; 18526f218d6eSPaul Brook } 1853fcf5ef2aSThomas Huth } 1854fcf5ef2aSThomas Huth 18556f218d6eSPaul Brook #if SHIFT == 1 18566f218d6eSPaul Brook /* Oddly, there is no ymm version of dppd */ 18576f218d6eSPaul Brook void glue(helper_dppd, SUFFIX)(CPUX86State *env, 1858f05f9789SPaolo Bonzini Reg *d, Reg *v, Reg *s, uint32_t mask) 1859fcf5ef2aSThomas Huth { 1860bf30ad8cSPaolo Bonzini float64 prod1, prod2, temp2; 1861fcf5ef2aSThomas Huth 1862fcf5ef2aSThomas Huth if (mask & (1 << 4)) { 18636f218d6eSPaul Brook prod1 = float64_mul(v->ZMM_D(0), s->ZMM_D(0), &env->sse_status); 1864bf30ad8cSPaolo Bonzini } else { 1865bf30ad8cSPaolo Bonzini prod1 = float64_zero; 1866fcf5ef2aSThomas Huth } 1867fcf5ef2aSThomas Huth if (mask & (1 << 5)) { 18686f218d6eSPaul Brook prod2 = float64_mul(v->ZMM_D(1), s->ZMM_D(1), &env->sse_status); 1869bf30ad8cSPaolo Bonzini } else { 1870bf30ad8cSPaolo Bonzini prod2 = float64_zero; 1871fcf5ef2aSThomas Huth } 1872bf30ad8cSPaolo Bonzini temp2 = float64_add(prod1, prod2, &env->sse_status); 1873bf30ad8cSPaolo Bonzini d->ZMM_D(0) = (mask & (1 << 0)) ? temp2 : float64_zero; 1874bf30ad8cSPaolo Bonzini d->ZMM_D(1) = (mask & (1 << 1)) ? temp2 : float64_zero; 1875fcf5ef2aSThomas Huth } 18766f218d6eSPaul Brook #endif 1877fcf5ef2aSThomas Huth 1878f05f9789SPaolo Bonzini void glue(helper_mpsadbw, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 1879fcf5ef2aSThomas Huth uint32_t offset) 1880fcf5ef2aSThomas Huth { 1881d45b0de6SPaul Brook int i, j; 1882d45b0de6SPaul Brook uint16_t r[8]; 1883fcf5ef2aSThomas Huth 1884d45b0de6SPaul Brook for (j = 0; j < 4 << SHIFT; ) { 1885d45b0de6SPaul Brook int s0 = (j * 2) + ((offset & 3) << 2); 1886d45b0de6SPaul Brook int d0 = (j * 2) + ((offset & 4) << 0); 1887d45b0de6SPaul Brook for (i = 0; i < LANE_WIDTH / 2; i++, d0++) { 1888d45b0de6SPaul Brook r[i] = 0; 1889d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 0) - s->B(s0 + 0)); 1890d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 1) - s->B(s0 + 1)); 1891d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 2) - s->B(s0 + 2)); 1892d45b0de6SPaul Brook r[i] += abs1(v->B(d0 + 3) - s->B(s0 + 3)); 1893fcf5ef2aSThomas Huth } 1894d45b0de6SPaul Brook for (i = 0; i < LANE_WIDTH / 2; i++, j++) { 1895d45b0de6SPaul Brook d->W(j) = r[i]; 1896d45b0de6SPaul Brook } 1897d45b0de6SPaul Brook offset >>= 3; 1898d45b0de6SPaul Brook } 1899fcf5ef2aSThomas Huth } 1900fcf5ef2aSThomas Huth 1901fcf5ef2aSThomas Huth /* SSE4.2 op helpers */ 1902fd17264aSPaul Brook #if SHIFT == 1 1903fcf5ef2aSThomas Huth static inline int pcmp_elen(CPUX86State *env, int reg, uint32_t ctrl) 1904fcf5ef2aSThomas Huth { 1905d1da229fSPaul Brook target_long val, limit; 1906fcf5ef2aSThomas Huth 1907fcf5ef2aSThomas Huth /* Presence of REX.W is indicated by a bit higher than 7 set */ 1908fcf5ef2aSThomas Huth if (ctrl >> 8) { 1909d1da229fSPaul Brook val = (target_long)env->regs[reg]; 1910fcf5ef2aSThomas Huth } else { 1911d1da229fSPaul Brook val = (int32_t)env->regs[reg]; 1912fcf5ef2aSThomas Huth } 1913fcf5ef2aSThomas Huth if (ctrl & 1) { 1914d1da229fSPaul Brook limit = 8; 1915fcf5ef2aSThomas Huth } else { 1916d1da229fSPaul Brook limit = 16; 1917fcf5ef2aSThomas Huth } 1918d1da229fSPaul Brook if ((val > limit) || (val < -limit)) { 1919d1da229fSPaul Brook return limit; 1920fcf5ef2aSThomas Huth } 1921d1da229fSPaul Brook return abs1(val); 1922fcf5ef2aSThomas Huth } 1923fcf5ef2aSThomas Huth 1924fcf5ef2aSThomas Huth static inline int pcmp_ilen(Reg *r, uint8_t ctrl) 1925fcf5ef2aSThomas Huth { 1926fcf5ef2aSThomas Huth int val = 0; 1927fcf5ef2aSThomas Huth 1928fcf5ef2aSThomas Huth if (ctrl & 1) { 1929fcf5ef2aSThomas Huth while (val < 8 && r->W(val)) { 1930fcf5ef2aSThomas Huth val++; 1931fcf5ef2aSThomas Huth } 1932fcf5ef2aSThomas Huth } else { 1933fcf5ef2aSThomas Huth while (val < 16 && r->B(val)) { 1934fcf5ef2aSThomas Huth val++; 1935fcf5ef2aSThomas Huth } 1936fcf5ef2aSThomas Huth } 1937fcf5ef2aSThomas Huth 1938fcf5ef2aSThomas Huth return val; 1939fcf5ef2aSThomas Huth } 1940fcf5ef2aSThomas Huth 1941fcf5ef2aSThomas Huth static inline int pcmp_val(Reg *r, uint8_t ctrl, int i) 1942fcf5ef2aSThomas Huth { 1943fcf5ef2aSThomas Huth switch ((ctrl >> 0) & 3) { 1944fcf5ef2aSThomas Huth case 0: 1945fcf5ef2aSThomas Huth return r->B(i); 1946fcf5ef2aSThomas Huth case 1: 1947fcf5ef2aSThomas Huth return r->W(i); 1948fcf5ef2aSThomas Huth case 2: 1949fcf5ef2aSThomas Huth return (int8_t)r->B(i); 1950fcf5ef2aSThomas Huth case 3: 1951fcf5ef2aSThomas Huth default: 1952fcf5ef2aSThomas Huth return (int16_t)r->W(i); 1953fcf5ef2aSThomas Huth } 1954fcf5ef2aSThomas Huth } 1955fcf5ef2aSThomas Huth 1956fcf5ef2aSThomas Huth static inline unsigned pcmpxstrx(CPUX86State *env, Reg *d, Reg *s, 1957a64eee3aSPaolo Bonzini uint8_t ctrl, int valids, int validd) 1958fcf5ef2aSThomas Huth { 1959fcf5ef2aSThomas Huth unsigned int res = 0; 1960fcf5ef2aSThomas Huth int v; 1961fcf5ef2aSThomas Huth int j, i; 1962fcf5ef2aSThomas Huth int upper = (ctrl & 1) ? 7 : 15; 1963fcf5ef2aSThomas Huth 1964fcf5ef2aSThomas Huth valids--; 1965fcf5ef2aSThomas Huth validd--; 1966fcf5ef2aSThomas Huth 1967fcf5ef2aSThomas Huth CC_SRC = (valids < upper ? CC_Z : 0) | (validd < upper ? CC_S : 0); 1968fcf5ef2aSThomas Huth 1969fcf5ef2aSThomas Huth switch ((ctrl >> 2) & 3) { 1970fcf5ef2aSThomas Huth case 0: 1971fcf5ef2aSThomas Huth for (j = valids; j >= 0; j--) { 1972fcf5ef2aSThomas Huth res <<= 1; 1973fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, j); 1974fcf5ef2aSThomas Huth for (i = validd; i >= 0; i--) { 1975fcf5ef2aSThomas Huth res |= (v == pcmp_val(d, ctrl, i)); 1976fcf5ef2aSThomas Huth } 1977fcf5ef2aSThomas Huth } 1978fcf5ef2aSThomas Huth break; 1979fcf5ef2aSThomas Huth case 1: 1980fcf5ef2aSThomas Huth for (j = valids; j >= 0; j--) { 1981fcf5ef2aSThomas Huth res <<= 1; 1982fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, j); 1983fcf5ef2aSThomas Huth for (i = ((validd - 1) | 1); i >= 0; i -= 2) { 1984fcf5ef2aSThomas Huth res |= (pcmp_val(d, ctrl, i - 0) >= v && 1985fcf5ef2aSThomas Huth pcmp_val(d, ctrl, i - 1) <= v); 1986fcf5ef2aSThomas Huth } 1987fcf5ef2aSThomas Huth } 1988fcf5ef2aSThomas Huth break; 1989fcf5ef2aSThomas Huth case 2: 1990fcf5ef2aSThomas Huth res = (1 << (upper - MAX(valids, validd))) - 1; 1991fcf5ef2aSThomas Huth res <<= MAX(valids, validd) - MIN(valids, validd); 1992fcf5ef2aSThomas Huth for (i = MIN(valids, validd); i >= 0; i--) { 1993fcf5ef2aSThomas Huth res <<= 1; 1994fcf5ef2aSThomas Huth v = pcmp_val(s, ctrl, i); 1995fcf5ef2aSThomas Huth res |= (v == pcmp_val(d, ctrl, i)); 1996fcf5ef2aSThomas Huth } 1997fcf5ef2aSThomas Huth break; 1998fcf5ef2aSThomas Huth case 3: 1999ae35eea7SJoseph Myers if (validd == -1) { 2000ae35eea7SJoseph Myers res = (2 << upper) - 1; 2001ae35eea7SJoseph Myers break; 2002ae35eea7SJoseph Myers } 2003bc921b27SJoseph Myers for (j = valids == upper ? valids : valids - validd; j >= 0; j--) { 2004fcf5ef2aSThomas Huth res <<= 1; 2005fcf5ef2aSThomas Huth v = 1; 2006bc921b27SJoseph Myers for (i = MIN(valids - j, validd); i >= 0; i--) { 2007fcf5ef2aSThomas Huth v &= (pcmp_val(s, ctrl, i + j) == pcmp_val(d, ctrl, i)); 2008fcf5ef2aSThomas Huth } 2009fcf5ef2aSThomas Huth res |= v; 2010fcf5ef2aSThomas Huth } 2011fcf5ef2aSThomas Huth break; 2012fcf5ef2aSThomas Huth } 2013fcf5ef2aSThomas Huth 2014fcf5ef2aSThomas Huth switch ((ctrl >> 4) & 3) { 2015fcf5ef2aSThomas Huth case 1: 2016fcf5ef2aSThomas Huth res ^= (2 << upper) - 1; 2017fcf5ef2aSThomas Huth break; 2018fcf5ef2aSThomas Huth case 3: 2019fcf5ef2aSThomas Huth res ^= (1 << (valids + 1)) - 1; 2020fcf5ef2aSThomas Huth break; 2021fcf5ef2aSThomas Huth } 2022fcf5ef2aSThomas Huth 2023fcf5ef2aSThomas Huth if (res) { 2024fcf5ef2aSThomas Huth CC_SRC |= CC_C; 2025fcf5ef2aSThomas Huth } 2026fcf5ef2aSThomas Huth if (res & 1) { 2027fcf5ef2aSThomas Huth CC_SRC |= CC_O; 2028fcf5ef2aSThomas Huth } 2029fcf5ef2aSThomas Huth 2030fcf5ef2aSThomas Huth return res; 2031fcf5ef2aSThomas Huth } 2032fcf5ef2aSThomas Huth 2033fcf5ef2aSThomas Huth void glue(helper_pcmpestri, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2034fcf5ef2aSThomas Huth uint32_t ctrl) 2035fcf5ef2aSThomas Huth { 2036fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2037fcf5ef2aSThomas Huth pcmp_elen(env, R_EDX, ctrl), 2038fcf5ef2aSThomas Huth pcmp_elen(env, R_EAX, ctrl)); 2039fcf5ef2aSThomas Huth 2040fcf5ef2aSThomas Huth if (res) { 2041fcf5ef2aSThomas Huth env->regs[R_ECX] = (ctrl & (1 << 6)) ? 31 - clz32(res) : ctz32(res); 2042fcf5ef2aSThomas Huth } else { 2043fcf5ef2aSThomas Huth env->regs[R_ECX] = 16 >> (ctrl & (1 << 0)); 2044fcf5ef2aSThomas Huth } 2045fcf5ef2aSThomas Huth } 2046fcf5ef2aSThomas Huth 2047fcf5ef2aSThomas Huth void glue(helper_pcmpestrm, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2048fcf5ef2aSThomas Huth uint32_t ctrl) 2049fcf5ef2aSThomas Huth { 2050fcf5ef2aSThomas Huth int i; 2051fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2052fcf5ef2aSThomas Huth pcmp_elen(env, R_EDX, ctrl), 2053fcf5ef2aSThomas Huth pcmp_elen(env, R_EAX, ctrl)); 2054fcf5ef2aSThomas Huth 2055fcf5ef2aSThomas Huth if ((ctrl >> 6) & 1) { 2056fcf5ef2aSThomas Huth if (ctrl & 1) { 2057fcf5ef2aSThomas Huth for (i = 0; i < 8; i++, res >>= 1) { 2058fcf5ef2aSThomas Huth env->xmm_regs[0].W(i) = (res & 1) ? ~0 : 0; 2059fcf5ef2aSThomas Huth } 2060fcf5ef2aSThomas Huth } else { 2061fcf5ef2aSThomas Huth for (i = 0; i < 16; i++, res >>= 1) { 2062fcf5ef2aSThomas Huth env->xmm_regs[0].B(i) = (res & 1) ? ~0 : 0; 2063fcf5ef2aSThomas Huth } 2064fcf5ef2aSThomas Huth } 2065fcf5ef2aSThomas Huth } else { 2066fcf5ef2aSThomas Huth env->xmm_regs[0].Q(1) = 0; 2067fcf5ef2aSThomas Huth env->xmm_regs[0].Q(0) = res; 2068fcf5ef2aSThomas Huth } 2069fcf5ef2aSThomas Huth } 2070fcf5ef2aSThomas Huth 2071fcf5ef2aSThomas Huth void glue(helper_pcmpistri, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2072fcf5ef2aSThomas Huth uint32_t ctrl) 2073fcf5ef2aSThomas Huth { 2074fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2075fcf5ef2aSThomas Huth pcmp_ilen(s, ctrl), 2076fcf5ef2aSThomas Huth pcmp_ilen(d, ctrl)); 2077fcf5ef2aSThomas Huth 2078fcf5ef2aSThomas Huth if (res) { 2079fcf5ef2aSThomas Huth env->regs[R_ECX] = (ctrl & (1 << 6)) ? 31 - clz32(res) : ctz32(res); 2080fcf5ef2aSThomas Huth } else { 2081fcf5ef2aSThomas Huth env->regs[R_ECX] = 16 >> (ctrl & (1 << 0)); 2082fcf5ef2aSThomas Huth } 2083fcf5ef2aSThomas Huth } 2084fcf5ef2aSThomas Huth 2085fcf5ef2aSThomas Huth void glue(helper_pcmpistrm, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2086fcf5ef2aSThomas Huth uint32_t ctrl) 2087fcf5ef2aSThomas Huth { 2088fcf5ef2aSThomas Huth int i; 2089fcf5ef2aSThomas Huth unsigned int res = pcmpxstrx(env, d, s, ctrl, 2090fcf5ef2aSThomas Huth pcmp_ilen(s, ctrl), 2091fcf5ef2aSThomas Huth pcmp_ilen(d, ctrl)); 2092fcf5ef2aSThomas Huth 2093fcf5ef2aSThomas Huth if ((ctrl >> 6) & 1) { 2094fcf5ef2aSThomas Huth if (ctrl & 1) { 2095fcf5ef2aSThomas Huth for (i = 0; i < 8; i++, res >>= 1) { 2096fcf5ef2aSThomas Huth env->xmm_regs[0].W(i) = (res & 1) ? ~0 : 0; 2097fcf5ef2aSThomas Huth } 2098fcf5ef2aSThomas Huth } else { 2099fcf5ef2aSThomas Huth for (i = 0; i < 16; i++, res >>= 1) { 2100fcf5ef2aSThomas Huth env->xmm_regs[0].B(i) = (res & 1) ? ~0 : 0; 2101fcf5ef2aSThomas Huth } 2102fcf5ef2aSThomas Huth } 2103fcf5ef2aSThomas Huth } else { 2104fcf5ef2aSThomas Huth env->xmm_regs[0].Q(1) = 0; 2105fcf5ef2aSThomas Huth env->xmm_regs[0].Q(0) = res; 2106fcf5ef2aSThomas Huth } 2107fcf5ef2aSThomas Huth } 2108fcf5ef2aSThomas Huth 2109fcf5ef2aSThomas Huth #define CRCPOLY 0x1edc6f41 2110fcf5ef2aSThomas Huth #define CRCPOLY_BITREV 0x82f63b78 2111fcf5ef2aSThomas Huth target_ulong helper_crc32(uint32_t crc1, target_ulong msg, uint32_t len) 2112fcf5ef2aSThomas Huth { 2113fcf5ef2aSThomas Huth target_ulong crc = (msg & ((target_ulong) -1 >> 2114fcf5ef2aSThomas Huth (TARGET_LONG_BITS - len))) ^ crc1; 2115fcf5ef2aSThomas Huth 2116fcf5ef2aSThomas Huth while (len--) { 2117fcf5ef2aSThomas Huth crc = (crc >> 1) ^ ((crc & 1) ? CRCPOLY_BITREV : 0); 2118fcf5ef2aSThomas Huth } 2119fcf5ef2aSThomas Huth 2120fcf5ef2aSThomas Huth return crc; 2121fcf5ef2aSThomas Huth } 2122fcf5ef2aSThomas Huth 2123fd17264aSPaul Brook #endif 2124fd17264aSPaul Brook 21255a09df21SPaul Brook #if SHIFT == 1 21265a09df21SPaul Brook static void clmulq(uint64_t *dest_l, uint64_t *dest_h, 21275a09df21SPaul Brook uint64_t a, uint64_t b) 2128fcf5ef2aSThomas Huth { 21295a09df21SPaul Brook uint64_t al, ah, resh, resl; 2130fcf5ef2aSThomas Huth 2131fcf5ef2aSThomas Huth ah = 0; 21325a09df21SPaul Brook al = a; 2133fcf5ef2aSThomas Huth resh = resl = 0; 2134fcf5ef2aSThomas Huth 2135fcf5ef2aSThomas Huth while (b) { 2136fcf5ef2aSThomas Huth if (b & 1) { 2137fcf5ef2aSThomas Huth resl ^= al; 2138fcf5ef2aSThomas Huth resh ^= ah; 2139fcf5ef2aSThomas Huth } 2140fcf5ef2aSThomas Huth ah = (ah << 1) | (al >> 63); 2141fcf5ef2aSThomas Huth al <<= 1; 2142fcf5ef2aSThomas Huth b >>= 1; 2143fcf5ef2aSThomas Huth } 2144fcf5ef2aSThomas Huth 21455a09df21SPaul Brook *dest_l = resl; 21465a09df21SPaul Brook *dest_h = resh; 21475a09df21SPaul Brook } 21485a09df21SPaul Brook #endif 21495a09df21SPaul Brook 2150f05f9789SPaolo Bonzini void glue(helper_pclmulqdq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s, 21515a09df21SPaul Brook uint32_t ctrl) 21525a09df21SPaul Brook { 21535a09df21SPaul Brook uint64_t a, b; 21545a09df21SPaul Brook int i; 21555a09df21SPaul Brook 21565a09df21SPaul Brook for (i = 0; i < 1 << SHIFT; i += 2) { 21575a09df21SPaul Brook a = v->Q(((ctrl & 1) != 0) + i); 21585a09df21SPaul Brook b = s->Q(((ctrl & 16) != 0) + i); 21595a09df21SPaul Brook clmulq(&d->Q(i), &d->Q(i + 1), a, b); 21605a09df21SPaul Brook } 2161fcf5ef2aSThomas Huth } 2162fcf5ef2aSThomas Huth 2163f05f9789SPaolo Bonzini void glue(helper_aesdec, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2164fcf5ef2aSThomas Huth { 2165*44a0c4a8SRichard Henderson for (int i = 0; i < SHIFT; i++) { 2166*44a0c4a8SRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(i); 2167*44a0c4a8SRichard Henderson AESState *st = (AESState *)&v->ZMM_X(i); 2168*44a0c4a8SRichard Henderson AESState *rk = (AESState *)&s->ZMM_X(i); 2169fcf5ef2aSThomas Huth 2170*44a0c4a8SRichard Henderson aesdec_ISB_ISR_IMC_AK(ad, st, rk, false); 2171fcf5ef2aSThomas Huth } 2172fcf5ef2aSThomas Huth } 2173fcf5ef2aSThomas Huth 2174f05f9789SPaolo Bonzini void glue(helper_aesdeclast, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2175fcf5ef2aSThomas Huth { 217600b5c7bdSRichard Henderson for (int i = 0; i < SHIFT; i++) { 217700b5c7bdSRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(i); 217800b5c7bdSRichard Henderson AESState *st = (AESState *)&v->ZMM_X(i); 217900b5c7bdSRichard Henderson AESState *rk = (AESState *)&s->ZMM_X(i); 2180fcf5ef2aSThomas Huth 218100b5c7bdSRichard Henderson aesdec_ISB_ISR_AK(ad, st, rk, false); 2182fcf5ef2aSThomas Huth } 2183fcf5ef2aSThomas Huth } 2184fcf5ef2aSThomas Huth 2185f05f9789SPaolo Bonzini void glue(helper_aesenc, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2186fcf5ef2aSThomas Huth { 218703cf414eSRichard Henderson for (int i = 0; i < SHIFT; i++) { 218803cf414eSRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(i); 218903cf414eSRichard Henderson AESState *st = (AESState *)&v->ZMM_X(i); 219003cf414eSRichard Henderson AESState *rk = (AESState *)&s->ZMM_X(i); 2191fcf5ef2aSThomas Huth 219203cf414eSRichard Henderson aesenc_SB_SR_MC_AK(ad, st, rk, false); 2193fcf5ef2aSThomas Huth } 2194fcf5ef2aSThomas Huth } 2195fcf5ef2aSThomas Huth 2196f05f9789SPaolo Bonzini void glue(helper_aesenclast, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 2197fcf5ef2aSThomas Huth { 2198cc648f50SRichard Henderson for (int i = 0; i < SHIFT; i++) { 2199cc648f50SRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(i); 2200cc648f50SRichard Henderson AESState *st = (AESState *)&v->ZMM_X(i); 2201cc648f50SRichard Henderson AESState *rk = (AESState *)&s->ZMM_X(i); 2202fcf5ef2aSThomas Huth 2203cc648f50SRichard Henderson aesenc_SB_SR_AK(ad, st, rk, false); 2204a64fc269SPaul Brook } 2205fcf5ef2aSThomas Huth } 2206fcf5ef2aSThomas Huth 2207a64fc269SPaul Brook #if SHIFT == 1 2208fcf5ef2aSThomas Huth void glue(helper_aesimc, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 2209fcf5ef2aSThomas Huth { 22105f40edb7SRichard Henderson AESState *ad = (AESState *)&d->ZMM_X(0); 22115f40edb7SRichard Henderson AESState *st = (AESState *)&s->ZMM_X(0); 2212fcf5ef2aSThomas Huth 22135f40edb7SRichard Henderson aesdec_IMC(ad, st, false); 2214fcf5ef2aSThomas Huth } 2215fcf5ef2aSThomas Huth 2216fcf5ef2aSThomas Huth void glue(helper_aeskeygenassist, SUFFIX)(CPUX86State *env, Reg *d, Reg *s, 2217fcf5ef2aSThomas Huth uint32_t ctrl) 2218fcf5ef2aSThomas Huth { 2219fcf5ef2aSThomas Huth int i; 2220fcf5ef2aSThomas Huth Reg tmp = *s; 2221fcf5ef2aSThomas Huth 2222fcf5ef2aSThomas Huth for (i = 0 ; i < 4 ; i++) { 2223fcf5ef2aSThomas Huth d->B(i) = AES_sbox[tmp.B(i + 4)]; 2224fcf5ef2aSThomas Huth d->B(i + 8) = AES_sbox[tmp.B(i + 12)]; 2225fcf5ef2aSThomas Huth } 2226fcf5ef2aSThomas Huth d->L(1) = (d->L(0) << 24 | d->L(0) >> 8) ^ ctrl; 2227fcf5ef2aSThomas Huth d->L(3) = (d->L(2) << 24 | d->L(2) >> 8) ^ ctrl; 2228fcf5ef2aSThomas Huth } 2229fcf5ef2aSThomas Huth #endif 2230a64fc269SPaul Brook #endif 2231fcf5ef2aSThomas Huth 223279068477SPaolo Bonzini #if SHIFT >= 1 223316fc5726SPaolo Bonzini void glue(helper_vpermilpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 223416fc5726SPaolo Bonzini { 223516fc5726SPaolo Bonzini uint64_t r0, r1; 223616fc5726SPaolo Bonzini int i; 223716fc5726SPaolo Bonzini 223816fc5726SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i += 2) { 223916fc5726SPaolo Bonzini r0 = v->Q(i + ((s->Q(i) >> 1) & 1)); 224016fc5726SPaolo Bonzini r1 = v->Q(i + ((s->Q(i+1) >> 1) & 1)); 224116fc5726SPaolo Bonzini d->Q(i) = r0; 224216fc5726SPaolo Bonzini d->Q(i+1) = r1; 224316fc5726SPaolo Bonzini } 224416fc5726SPaolo Bonzini } 224516fc5726SPaolo Bonzini 224616fc5726SPaolo Bonzini void glue(helper_vpermilps, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 224716fc5726SPaolo Bonzini { 224816fc5726SPaolo Bonzini uint32_t r0, r1, r2, r3; 224916fc5726SPaolo Bonzini int i; 225016fc5726SPaolo Bonzini 225116fc5726SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i += 4) { 225216fc5726SPaolo Bonzini r0 = v->L(i + (s->L(i) & 3)); 225316fc5726SPaolo Bonzini r1 = v->L(i + (s->L(i+1) & 3)); 225416fc5726SPaolo Bonzini r2 = v->L(i + (s->L(i+2) & 3)); 225516fc5726SPaolo Bonzini r3 = v->L(i + (s->L(i+3) & 3)); 225616fc5726SPaolo Bonzini d->L(i) = r0; 225716fc5726SPaolo Bonzini d->L(i+1) = r1; 225816fc5726SPaolo Bonzini d->L(i+2) = r2; 225916fc5726SPaolo Bonzini d->L(i+3) = r3; 226016fc5726SPaolo Bonzini } 226116fc5726SPaolo Bonzini } 226216fc5726SPaolo Bonzini 226379068477SPaolo Bonzini void glue(helper_vpermilpd_imm, SUFFIX)(Reg *d, Reg *s, uint32_t order) 226479068477SPaolo Bonzini { 226579068477SPaolo Bonzini uint64_t r0, r1; 226679068477SPaolo Bonzini int i; 226779068477SPaolo Bonzini 226879068477SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i += 2) { 226979068477SPaolo Bonzini r0 = s->Q(i + ((order >> 0) & 1)); 227079068477SPaolo Bonzini r1 = s->Q(i + ((order >> 1) & 1)); 227179068477SPaolo Bonzini d->Q(i) = r0; 227279068477SPaolo Bonzini d->Q(i+1) = r1; 227379068477SPaolo Bonzini 227479068477SPaolo Bonzini order >>= 2; 227579068477SPaolo Bonzini } 227679068477SPaolo Bonzini } 227779068477SPaolo Bonzini 227879068477SPaolo Bonzini void glue(helper_vpermilps_imm, SUFFIX)(Reg *d, Reg *s, uint32_t order) 227979068477SPaolo Bonzini { 228079068477SPaolo Bonzini uint32_t r0, r1, r2, r3; 228179068477SPaolo Bonzini int i; 228279068477SPaolo Bonzini 228379068477SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i += 4) { 228479068477SPaolo Bonzini r0 = s->L(i + ((order >> 0) & 3)); 228579068477SPaolo Bonzini r1 = s->L(i + ((order >> 2) & 3)); 228679068477SPaolo Bonzini r2 = s->L(i + ((order >> 4) & 3)); 228779068477SPaolo Bonzini r3 = s->L(i + ((order >> 6) & 3)); 228879068477SPaolo Bonzini d->L(i) = r0; 228979068477SPaolo Bonzini d->L(i+1) = r1; 229079068477SPaolo Bonzini d->L(i+2) = r2; 229179068477SPaolo Bonzini d->L(i+3) = r3; 229279068477SPaolo Bonzini } 229379068477SPaolo Bonzini } 229479068477SPaolo Bonzini 229516fc5726SPaolo Bonzini #if SHIFT == 1 229616fc5726SPaolo Bonzini #define FPSRLVD(x, c) (c < 32 ? ((x) >> c) : 0) 229716fc5726SPaolo Bonzini #define FPSRLVQ(x, c) (c < 64 ? ((x) >> c) : 0) 229816fc5726SPaolo Bonzini #define FPSRAVD(x, c) ((int32_t)(x) >> (c < 32 ? c : 31)) 229916fc5726SPaolo Bonzini #define FPSRAVQ(x, c) ((int64_t)(x) >> (c < 64 ? c : 63)) 230016fc5726SPaolo Bonzini #define FPSLLVD(x, c) (c < 32 ? ((x) << c) : 0) 230116fc5726SPaolo Bonzini #define FPSLLVQ(x, c) (c < 64 ? ((x) << c) : 0) 230216fc5726SPaolo Bonzini #endif 230316fc5726SPaolo Bonzini 230416fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsrlvd, FPSRLVD) 230516fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsravd, FPSRAVD) 230616fc5726SPaolo Bonzini SSE_HELPER_L(helper_vpsllvd, FPSLLVD) 230716fc5726SPaolo Bonzini 230816fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsrlvq, FPSRLVQ) 230916fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsravq, FPSRAVQ) 231016fc5726SPaolo Bonzini SSE_HELPER_Q(helper_vpsllvq, FPSLLVQ) 231116fc5726SPaolo Bonzini 231216fc5726SPaolo Bonzini void glue(helper_vtestps, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 231316fc5726SPaolo Bonzini { 231416fc5726SPaolo Bonzini uint32_t zf = 0, cf = 0; 231516fc5726SPaolo Bonzini int i; 231616fc5726SPaolo Bonzini 231716fc5726SPaolo Bonzini for (i = 0; i < 2 << SHIFT; i++) { 231816fc5726SPaolo Bonzini zf |= (s->L(i) & d->L(i)); 231916fc5726SPaolo Bonzini cf |= (s->L(i) & ~d->L(i)); 232016fc5726SPaolo Bonzini } 232116fc5726SPaolo Bonzini CC_SRC = ((zf >> 31) ? 0 : CC_Z) | ((cf >> 31) ? 0 : CC_C); 232216fc5726SPaolo Bonzini } 232316fc5726SPaolo Bonzini 232416fc5726SPaolo Bonzini void glue(helper_vtestpd, SUFFIX)(CPUX86State *env, Reg *d, Reg *s) 232516fc5726SPaolo Bonzini { 232616fc5726SPaolo Bonzini uint64_t zf = 0, cf = 0; 232716fc5726SPaolo Bonzini int i; 232816fc5726SPaolo Bonzini 232916fc5726SPaolo Bonzini for (i = 0; i < 1 << SHIFT; i++) { 233016fc5726SPaolo Bonzini zf |= (s->Q(i) & d->Q(i)); 233116fc5726SPaolo Bonzini cf |= (s->Q(i) & ~d->Q(i)); 233216fc5726SPaolo Bonzini } 233316fc5726SPaolo Bonzini CC_SRC = ((zf >> 63) ? 0 : CC_Z) | ((cf >> 63) ? 0 : CC_C); 233416fc5726SPaolo Bonzini } 233516fc5726SPaolo Bonzini 233616fc5726SPaolo Bonzini void glue(helper_vpmaskmovd_st, SUFFIX)(CPUX86State *env, 233716fc5726SPaolo Bonzini Reg *v, Reg *s, target_ulong a0) 233816fc5726SPaolo Bonzini { 233916fc5726SPaolo Bonzini int i; 234016fc5726SPaolo Bonzini 234116fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 234216fc5726SPaolo Bonzini if (v->L(i) >> 31) { 234316fc5726SPaolo Bonzini cpu_stl_data_ra(env, a0 + i * 4, s->L(i), GETPC()); 234416fc5726SPaolo Bonzini } 234516fc5726SPaolo Bonzini } 234616fc5726SPaolo Bonzini } 234716fc5726SPaolo Bonzini 234816fc5726SPaolo Bonzini void glue(helper_vpmaskmovq_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 < (1 << SHIFT); i++) { 235416fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 235516fc5726SPaolo Bonzini cpu_stq_data_ra(env, a0 + i * 8, s->Q(i), GETPC()); 235616fc5726SPaolo Bonzini } 235716fc5726SPaolo Bonzini } 235816fc5726SPaolo Bonzini } 235916fc5726SPaolo Bonzini 236016fc5726SPaolo Bonzini void glue(helper_vpmaskmovd, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 236116fc5726SPaolo Bonzini { 236216fc5726SPaolo Bonzini int i; 236316fc5726SPaolo Bonzini 236416fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 236516fc5726SPaolo Bonzini d->L(i) = (v->L(i) >> 31) ? s->L(i) : 0; 236616fc5726SPaolo Bonzini } 236716fc5726SPaolo Bonzini } 236816fc5726SPaolo Bonzini 236916fc5726SPaolo Bonzini void glue(helper_vpmaskmovq, SUFFIX)(CPUX86State *env, Reg *d, Reg *v, Reg *s) 237016fc5726SPaolo Bonzini { 237116fc5726SPaolo Bonzini int i; 237216fc5726SPaolo Bonzini 237316fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 237416fc5726SPaolo Bonzini d->Q(i) = (v->Q(i) >> 63) ? s->Q(i) : 0; 237516fc5726SPaolo Bonzini } 237616fc5726SPaolo Bonzini } 237716fc5726SPaolo Bonzini 237816fc5726SPaolo Bonzini void glue(helper_vpgatherdd, SUFFIX)(CPUX86State *env, 237916fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 238016fc5726SPaolo Bonzini { 238116fc5726SPaolo Bonzini int i; 238216fc5726SPaolo Bonzini for (i = 0; i < (2 << SHIFT); i++) { 238316fc5726SPaolo Bonzini if (v->L(i) >> 31) { 238416fc5726SPaolo Bonzini target_ulong addr = a0 238516fc5726SPaolo Bonzini + ((target_ulong)(int32_t)s->L(i) << scale); 238616fc5726SPaolo Bonzini d->L(i) = cpu_ldl_data_ra(env, addr, GETPC()); 238716fc5726SPaolo Bonzini } 238816fc5726SPaolo Bonzini v->L(i) = 0; 238916fc5726SPaolo Bonzini } 239016fc5726SPaolo Bonzini } 239116fc5726SPaolo Bonzini 239216fc5726SPaolo Bonzini void glue(helper_vpgatherdq, SUFFIX)(CPUX86State *env, 239316fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 239416fc5726SPaolo Bonzini { 239516fc5726SPaolo Bonzini int i; 239616fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 239716fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 239816fc5726SPaolo Bonzini target_ulong addr = a0 239916fc5726SPaolo Bonzini + ((target_ulong)(int32_t)s->L(i) << scale); 240016fc5726SPaolo Bonzini d->Q(i) = cpu_ldq_data_ra(env, addr, GETPC()); 240116fc5726SPaolo Bonzini } 240216fc5726SPaolo Bonzini v->Q(i) = 0; 240316fc5726SPaolo Bonzini } 240416fc5726SPaolo Bonzini } 240516fc5726SPaolo Bonzini 240616fc5726SPaolo Bonzini void glue(helper_vpgatherqd, SUFFIX)(CPUX86State *env, 240716fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 240816fc5726SPaolo Bonzini { 240916fc5726SPaolo Bonzini int i; 241016fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 241116fc5726SPaolo Bonzini if (v->L(i) >> 31) { 241216fc5726SPaolo Bonzini target_ulong addr = a0 241316fc5726SPaolo Bonzini + ((target_ulong)(int64_t)s->Q(i) << scale); 241416fc5726SPaolo Bonzini d->L(i) = cpu_ldl_data_ra(env, addr, GETPC()); 241516fc5726SPaolo Bonzini } 241616fc5726SPaolo Bonzini v->L(i) = 0; 241716fc5726SPaolo Bonzini } 241816fc5726SPaolo Bonzini for (i /= 2; i < 1 << SHIFT; i++) { 241916fc5726SPaolo Bonzini d->Q(i) = 0; 242016fc5726SPaolo Bonzini v->Q(i) = 0; 242116fc5726SPaolo Bonzini } 242216fc5726SPaolo Bonzini } 242316fc5726SPaolo Bonzini 242416fc5726SPaolo Bonzini void glue(helper_vpgatherqq, SUFFIX)(CPUX86State *env, 242516fc5726SPaolo Bonzini Reg *d, Reg *v, Reg *s, target_ulong a0, unsigned scale) 242616fc5726SPaolo Bonzini { 242716fc5726SPaolo Bonzini int i; 242816fc5726SPaolo Bonzini for (i = 0; i < (1 << SHIFT); i++) { 242916fc5726SPaolo Bonzini if (v->Q(i) >> 63) { 243016fc5726SPaolo Bonzini target_ulong addr = a0 243116fc5726SPaolo Bonzini + ((target_ulong)(int64_t)s->Q(i) << scale); 243216fc5726SPaolo Bonzini d->Q(i) = cpu_ldq_data_ra(env, addr, GETPC()); 243316fc5726SPaolo Bonzini } 243416fc5726SPaolo Bonzini v->Q(i) = 0; 243516fc5726SPaolo Bonzini } 243616fc5726SPaolo Bonzini } 243716fc5726SPaolo Bonzini #endif 243816fc5726SPaolo Bonzini 243979068477SPaolo Bonzini #if SHIFT >= 2 244079068477SPaolo Bonzini void helper_vpermdq_ymm(Reg *d, Reg *v, Reg *s, uint32_t order) 244179068477SPaolo Bonzini { 244279068477SPaolo Bonzini uint64_t r0, r1, r2, r3; 244379068477SPaolo Bonzini 244479068477SPaolo Bonzini switch (order & 3) { 244579068477SPaolo Bonzini case 0: 244679068477SPaolo Bonzini r0 = v->Q(0); 244779068477SPaolo Bonzini r1 = v->Q(1); 244879068477SPaolo Bonzini break; 244979068477SPaolo Bonzini case 1: 245079068477SPaolo Bonzini r0 = v->Q(2); 245179068477SPaolo Bonzini r1 = v->Q(3); 245279068477SPaolo Bonzini break; 245379068477SPaolo Bonzini case 2: 245479068477SPaolo Bonzini r0 = s->Q(0); 245579068477SPaolo Bonzini r1 = s->Q(1); 245679068477SPaolo Bonzini break; 245779068477SPaolo Bonzini case 3: 245879068477SPaolo Bonzini r0 = s->Q(2); 245979068477SPaolo Bonzini r1 = s->Q(3); 246079068477SPaolo Bonzini break; 2461c0a6665cSEric Auger default: /* default case added to help the compiler to avoid warnings */ 2462c0a6665cSEric Auger g_assert_not_reached(); 246379068477SPaolo Bonzini } 246479068477SPaolo Bonzini switch ((order >> 4) & 3) { 246579068477SPaolo Bonzini case 0: 246679068477SPaolo Bonzini r2 = v->Q(0); 246779068477SPaolo Bonzini r3 = v->Q(1); 246879068477SPaolo Bonzini break; 246979068477SPaolo Bonzini case 1: 247079068477SPaolo Bonzini r2 = v->Q(2); 247179068477SPaolo Bonzini r3 = v->Q(3); 247279068477SPaolo Bonzini break; 247379068477SPaolo Bonzini case 2: 247479068477SPaolo Bonzini r2 = s->Q(0); 247579068477SPaolo Bonzini r3 = s->Q(1); 247679068477SPaolo Bonzini break; 247779068477SPaolo Bonzini case 3: 247879068477SPaolo Bonzini r2 = s->Q(2); 247979068477SPaolo Bonzini r3 = s->Q(3); 248079068477SPaolo Bonzini break; 2481c0a6665cSEric Auger default: /* default case added to help the compiler to avoid warnings */ 2482c0a6665cSEric Auger g_assert_not_reached(); 248379068477SPaolo Bonzini } 248479068477SPaolo Bonzini d->Q(0) = r0; 248579068477SPaolo Bonzini d->Q(1) = r1; 248679068477SPaolo Bonzini d->Q(2) = r2; 248779068477SPaolo Bonzini d->Q(3) = r3; 2488056d6490SXinyu Li if (order & 0x8) { 2489056d6490SXinyu Li d->Q(0) = 0; 2490056d6490SXinyu Li d->Q(1) = 0; 2491056d6490SXinyu Li } 2492056d6490SXinyu Li if (order & 0x80) { 2493056d6490SXinyu Li d->Q(2) = 0; 2494056d6490SXinyu Li d->Q(3) = 0; 2495056d6490SXinyu Li } 249679068477SPaolo Bonzini } 249779068477SPaolo Bonzini 249879068477SPaolo Bonzini void helper_vpermq_ymm(Reg *d, Reg *s, uint32_t order) 249979068477SPaolo Bonzini { 250079068477SPaolo Bonzini uint64_t r0, r1, r2, r3; 250179068477SPaolo Bonzini r0 = s->Q(order & 3); 250279068477SPaolo Bonzini r1 = s->Q((order >> 2) & 3); 250379068477SPaolo Bonzini r2 = s->Q((order >> 4) & 3); 250479068477SPaolo Bonzini r3 = s->Q((order >> 6) & 3); 250579068477SPaolo Bonzini d->Q(0) = r0; 250679068477SPaolo Bonzini d->Q(1) = r1; 250779068477SPaolo Bonzini d->Q(2) = r2; 250879068477SPaolo Bonzini d->Q(3) = r3; 250979068477SPaolo Bonzini } 251016fc5726SPaolo Bonzini 251116fc5726SPaolo Bonzini void helper_vpermd_ymm(Reg *d, Reg *v, Reg *s) 251216fc5726SPaolo Bonzini { 251316fc5726SPaolo Bonzini uint32_t r[8]; 251416fc5726SPaolo Bonzini int i; 251516fc5726SPaolo Bonzini 251616fc5726SPaolo Bonzini for (i = 0; i < 8; i++) { 251716fc5726SPaolo Bonzini r[i] = s->L(v->L(i) & 7); 251816fc5726SPaolo Bonzini } 251916fc5726SPaolo Bonzini for (i = 0; i < 8; i++) { 252016fc5726SPaolo Bonzini d->L(i) = r[i]; 252116fc5726SPaolo Bonzini } 252216fc5726SPaolo Bonzini } 252379068477SPaolo Bonzini #endif 252479068477SPaolo Bonzini 25252872b0f3SPaolo Bonzini /* FMA3 op helpers */ 25262872b0f3SPaolo Bonzini #if SHIFT == 1 25272872b0f3SPaolo Bonzini #define SSE_HELPER_FMAS(name, elem, F) \ 25282872b0f3SPaolo Bonzini void name(CPUX86State *env, Reg *d, Reg *a, Reg *b, Reg *c, int flags) \ 25292872b0f3SPaolo Bonzini { \ 25302872b0f3SPaolo Bonzini d->elem(0) = F(a->elem(0), b->elem(0), c->elem(0), flags, &env->sse_status); \ 25312872b0f3SPaolo Bonzini } 25322872b0f3SPaolo Bonzini #define SSE_HELPER_FMAP(name, elem, num, F) \ 25332872b0f3SPaolo Bonzini void glue(name, SUFFIX)(CPUX86State *env, Reg *d, Reg *a, Reg *b, Reg *c, \ 25342872b0f3SPaolo Bonzini int flags, int flip) \ 25352872b0f3SPaolo Bonzini { \ 25362872b0f3SPaolo Bonzini int i; \ 25372872b0f3SPaolo Bonzini for (i = 0; i < num; i++) { \ 25382872b0f3SPaolo Bonzini d->elem(i) = F(a->elem(i), b->elem(i), c->elem(i), flags, &env->sse_status); \ 25392872b0f3SPaolo Bonzini flags ^= flip; \ 25402872b0f3SPaolo Bonzini } \ 25412872b0f3SPaolo Bonzini } 25422872b0f3SPaolo Bonzini 25432872b0f3SPaolo Bonzini SSE_HELPER_FMAS(helper_fma4ss, ZMM_S, float32_muladd) 25442872b0f3SPaolo Bonzini SSE_HELPER_FMAS(helper_fma4sd, ZMM_D, float64_muladd) 25452872b0f3SPaolo Bonzini #endif 25462872b0f3SPaolo Bonzini 25472872b0f3SPaolo Bonzini #if SHIFT >= 1 25482872b0f3SPaolo Bonzini SSE_HELPER_FMAP(helper_fma4ps, ZMM_S, 2 << SHIFT, float32_muladd) 25492872b0f3SPaolo Bonzini SSE_HELPER_FMAP(helper_fma4pd, ZMM_D, 1 << SHIFT, float64_muladd) 25502872b0f3SPaolo Bonzini #endif 25512872b0f3SPaolo Bonzini 25523403cafeSPaul Brook #undef SSE_HELPER_S 25533403cafeSPaul Brook 2554b98f886cSPaolo Bonzini #undef LANE_WIDTH 2555fcf5ef2aSThomas Huth #undef SHIFT 2556fcf5ef2aSThomas Huth #undef XMM_ONLY 2557fcf5ef2aSThomas Huth #undef Reg 2558fcf5ef2aSThomas Huth #undef B 2559fcf5ef2aSThomas Huth #undef W 2560fcf5ef2aSThomas Huth #undef L 2561fcf5ef2aSThomas Huth #undef Q 2562fcf5ef2aSThomas Huth #undef SUFFIX 2563