Path: blob/21.2-virgl/src/gallium/auxiliary/rtasm/rtasm_x86sse.c
4561 views
/**************************************************************************1*2* Copyright (C) 1999-2005 Brian Paul All Rights Reserved.3*4* Permission is hereby granted, free of charge, to any person obtaining a5* copy of this software and associated documentation files (the "Software"),6* to deal in the Software without restriction, including without limitation7* the rights to use, copy, modify, merge, publish, distribute, sublicense,8* and/or sell copies of the Software, and to permit persons to whom the9* Software is furnished to do so, subject to the following conditions:10*11* The above copyright notice and this permission notice shall be included12* in all copies or substantial portions of the Software.13*14* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS15* OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,16* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL17* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR18* OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,19* ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR20* OTHER DEALINGS IN THE SOFTWARE.21*22**************************************************************************/2324#include "pipe/p_config.h"25#include "util/u_cpu_detect.h"2627#if defined(PIPE_ARCH_X86) || defined(PIPE_ARCH_X86_64)2829#include "pipe/p_compiler.h"30#include "util/u_debug.h"31#include "util/u_pointer.h"3233#include "rtasm_execmem.h"34#include "rtasm_x86sse.h"3536#define DISASSEM 037#define X86_TWOB 0x0f383940#define DUMP_SSE 0414243void x86_print_reg( struct x86_reg reg )44{45if (reg.mod != mod_REG)46debug_printf( "[" );4748switch( reg.file ) {49case file_REG32:50switch( reg.idx ) {51case reg_AX: debug_printf( "EAX" ); break;52case reg_CX: debug_printf( "ECX" ); break;53case reg_DX: debug_printf( "EDX" ); break;54case reg_BX: debug_printf( "EBX" ); break;55case reg_SP: debug_printf( "ESP" ); break;56case reg_BP: debug_printf( "EBP" ); break;57case reg_SI: debug_printf( "ESI" ); break;58case reg_DI: debug_printf( "EDI" ); break;59}60break;61case file_MMX:62debug_printf( "MMX%u", reg.idx );63break;64case file_XMM:65debug_printf( "XMM%u", reg.idx );66break;67case file_x87:68debug_printf( "fp%u", reg.idx );69break;70}7172if (reg.mod == mod_DISP8 ||73reg.mod == mod_DISP32)74debug_printf("+%d", reg.disp);7576if (reg.mod != mod_REG)77debug_printf( "]" );78}7980#if DUMP_SSE8182#define DUMP_START() debug_printf( "\n" )83#define DUMP_END() debug_printf( "\n" )8485#define DUMP() do { \86const char *foo = __FUNCTION__; \87while (*foo && *foo != '_') \88foo++; \89if (*foo) \90foo++; \91debug_printf( "\n%4x %14s ", p->csr - p->store, foo ); \92} while (0)9394#define DUMP_I( I ) do { \95DUMP(); \96debug_printf( "%u", I ); \97} while( 0 )9899#define DUMP_R( R0 ) do { \100DUMP(); \101x86_print_reg( R0 ); \102} while( 0 )103104#define DUMP_RR( R0, R1 ) do { \105DUMP(); \106x86_print_reg( R0 ); \107debug_printf( ", " ); \108x86_print_reg( R1 ); \109} while( 0 )110111#define DUMP_RI( R0, I ) do { \112DUMP(); \113x86_print_reg( R0 ); \114debug_printf( ", %u", I ); \115} while( 0 )116117#define DUMP_RRI( R0, R1, I ) do { \118DUMP(); \119x86_print_reg( R0 ); \120debug_printf( ", " ); \121x86_print_reg( R1 ); \122debug_printf( ", %u", I ); \123} while( 0 )124125#else126127#define DUMP_START()128#define DUMP_END()129#define DUMP( )130#define DUMP_I( I )131#define DUMP_R( R0 )132#define DUMP_RR( R0, R1 )133#define DUMP_RI( R0, I )134#define DUMP_RRI( R0, R1, I )135136#endif137138139static void do_realloc( struct x86_function *p )140{141if (p->store == p->error_overflow) {142p->csr = p->store;143}144else if (p->size == 0) {145p->size = 1024;146p->store = rtasm_exec_malloc(p->size);147p->csr = p->store;148}149else {150uintptr_t used = pointer_to_uintptr( p->csr ) - pointer_to_uintptr( p->store );151unsigned char *tmp = p->store;152p->size *= 2;153p->store = rtasm_exec_malloc(p->size);154155if (p->store) {156memcpy(p->store, tmp, used);157p->csr = p->store + used;158}159else {160p->csr = p->store;161}162163rtasm_exec_free(tmp);164}165166if (p->store == NULL) {167p->store = p->csr = p->error_overflow;168p->size = sizeof(p->error_overflow);169}170}171172/* Emit bytes to the instruction stream:173*/174static unsigned char *reserve( struct x86_function *p, int bytes )175{176if (p->csr + bytes - p->store > (int) p->size)177do_realloc(p);178179{180unsigned char *csr = p->csr;181p->csr += bytes;182return csr;183}184}185186187188static void emit_1b( struct x86_function *p, char b0 )189{190char *csr = (char *)reserve(p, 1);191*csr = b0;192}193194static void emit_1i( struct x86_function *p, int i0 )195{196int *icsr = (int *)reserve(p, sizeof(i0));197*icsr = i0;198}199200static void emit_1ub( struct x86_function *p, unsigned char b0 )201{202unsigned char *csr = reserve(p, 1);203*csr++ = b0;204}205206static void emit_2ub( struct x86_function *p, unsigned char b0, unsigned char b1 )207{208unsigned char *csr = reserve(p, 2);209*csr++ = b0;210*csr++ = b1;211}212213static void emit_3ub( struct x86_function *p, unsigned char b0, unsigned char b1, unsigned char b2 )214{215unsigned char *csr = reserve(p, 3);216*csr++ = b0;217*csr++ = b1;218*csr++ = b2;219}220221222/* Build a modRM byte + possible displacement. No treatment of SIB223* indexing. BZZT - no way to encode an absolute address.224*225* This is the "/r" field in the x86 manuals...226*/227static void emit_modrm( struct x86_function *p,228struct x86_reg reg,229struct x86_reg regmem )230{231unsigned char val = 0;232233assert(reg.mod == mod_REG);234235/* TODO: support extended x86-64 registers */236assert(reg.idx < 8);237assert(regmem.idx < 8);238239val |= regmem.mod << 6; /* mod field */240val |= reg.idx << 3; /* reg field */241val |= regmem.idx; /* r/m field */242243emit_1ub(p, val);244245/* Oh-oh we've stumbled into the SIB thing.246*/247if (regmem.file == file_REG32 &&248regmem.idx == reg_SP &&249regmem.mod != mod_REG) {250emit_1ub(p, 0x24); /* simplistic! */251}252253switch (regmem.mod) {254case mod_REG:255case mod_INDIRECT:256break;257case mod_DISP8:258emit_1b(p, (char) regmem.disp);259break;260case mod_DISP32:261emit_1i(p, regmem.disp);262break;263default:264assert(0);265break;266}267}268269/* Emits the "/0".."/7" specialized versions of the modrm ("/r") bytes.270*/271static void emit_modrm_noreg( struct x86_function *p,272unsigned op,273struct x86_reg regmem )274{275struct x86_reg dummy = x86_make_reg(file_REG32, op);276emit_modrm(p, dummy, regmem);277}278279/* Many x86 instructions have two opcodes to cope with the situations280* where the destination is a register or memory reference281* respectively. This function selects the correct opcode based on282* the arguments presented.283*/284static void emit_op_modrm( struct x86_function *p,285unsigned char op_dst_is_reg,286unsigned char op_dst_is_mem,287struct x86_reg dst,288struct x86_reg src )289{290switch (dst.mod) {291case mod_REG:292emit_1ub(p, op_dst_is_reg);293emit_modrm(p, dst, src);294break;295case mod_INDIRECT:296case mod_DISP32:297case mod_DISP8:298assert(src.mod == mod_REG);299emit_1ub(p, op_dst_is_mem);300emit_modrm(p, src, dst);301break;302default:303assert(0);304break;305}306}307308309310311312313314/* Create and manipulate registers and regmem values:315*/316struct x86_reg x86_make_reg( enum x86_reg_file file,317enum x86_reg_name idx )318{319struct x86_reg reg;320321reg.file = file;322reg.idx = idx;323reg.mod = mod_REG;324reg.disp = 0;325326return reg;327}328329struct x86_reg x86_make_disp( struct x86_reg reg,330int disp )331{332assert(reg.file == file_REG32);333334if (reg.mod == mod_REG)335reg.disp = disp;336else337reg.disp += disp;338339if (reg.disp == 0 && reg.idx != reg_BP)340reg.mod = mod_INDIRECT;341else if (reg.disp <= 127 && reg.disp >= -128)342reg.mod = mod_DISP8;343else344reg.mod = mod_DISP32;345346return reg;347}348349struct x86_reg x86_deref( struct x86_reg reg )350{351return x86_make_disp(reg, 0);352}353354struct x86_reg x86_get_base_reg( struct x86_reg reg )355{356return x86_make_reg( reg.file, reg.idx );357}358359int x86_get_label( struct x86_function *p )360{361return p->csr - p->store;362}363364365366/***********************************************************************367* x86 instructions368*/369370371void x64_rexw(struct x86_function *p)372{373if(x86_target(p) != X86_32)374emit_1ub(p, 0x48);375}376377void x86_jcc( struct x86_function *p,378enum x86_cc cc,379int label )380{381int offset = label - (x86_get_label(p) + 2);382DUMP_I(cc);383384if (offset < 0) {385/*assert(p->csr - p->store > -offset);*/386if (p->csr - p->store <= -offset) {387/* probably out of memory (using the error_overflow buffer) */388return;389}390}391392if (offset <= 127 && offset >= -128) {393emit_1ub(p, 0x70 + cc);394emit_1b(p, (char) offset);395}396else {397offset = label - (x86_get_label(p) + 6);398emit_2ub(p, 0x0f, 0x80 + cc);399emit_1i(p, offset);400}401}402403/* Always use a 32bit offset for forward jumps:404*/405int x86_jcc_forward( struct x86_function *p,406enum x86_cc cc )407{408DUMP_I(cc);409emit_2ub(p, 0x0f, 0x80 + cc);410emit_1i(p, 0);411return x86_get_label(p);412}413414int x86_jmp_forward( struct x86_function *p)415{416DUMP();417emit_1ub(p, 0xe9);418emit_1i(p, 0);419return x86_get_label(p);420}421422int x86_call_forward( struct x86_function *p)423{424DUMP();425426emit_1ub(p, 0xe8);427emit_1i(p, 0);428return x86_get_label(p);429}430431/* Fixup offset from forward jump:432*/433void x86_fixup_fwd_jump( struct x86_function *p,434int fixup )435{436*(int *)(p->store + fixup - 4) = x86_get_label(p) - fixup;437}438439void x86_jmp( struct x86_function *p, int label)440{441DUMP_I( label );442emit_1ub(p, 0xe9);443emit_1i(p, label - x86_get_label(p) - 4);444}445446void x86_call( struct x86_function *p, struct x86_reg reg)447{448DUMP_R( reg );449emit_1ub(p, 0xff);450emit_modrm_noreg(p, 2, reg);451}452453454void x86_mov_reg_imm( struct x86_function *p, struct x86_reg dst, int imm )455{456DUMP_RI( dst, imm );457assert(dst.file == file_REG32);458assert(dst.mod == mod_REG);459emit_1ub(p, 0xb8 + dst.idx);460emit_1i(p, imm);461}462463void x86_mov_imm( struct x86_function *p, struct x86_reg dst, int imm )464{465DUMP_RI( dst, imm );466if(dst.mod == mod_REG)467x86_mov_reg_imm(p, dst, imm);468else469{470emit_1ub(p, 0xc7);471emit_modrm_noreg(p, 0, dst);472emit_1i(p, imm);473}474}475476void x86_mov16_imm( struct x86_function *p, struct x86_reg dst, uint16_t imm )477{478DUMP_RI( dst, imm );479emit_1ub(p, 0x66);480if(dst.mod == mod_REG)481{482emit_1ub(p, 0xb8 + dst.idx);483emit_2ub(p, imm & 0xff, imm >> 8);484}485else486{487emit_1ub(p, 0xc7);488emit_modrm_noreg(p, 0, dst);489emit_2ub(p, imm & 0xff, imm >> 8);490}491}492493void x86_mov8_imm( struct x86_function *p, struct x86_reg dst, uint8_t imm )494{495DUMP_RI( dst, imm );496if(dst.mod == mod_REG)497{498emit_1ub(p, 0xb0 + dst.idx);499emit_1ub(p, imm);500}501else502{503emit_1ub(p, 0xc6);504emit_modrm_noreg(p, 0, dst);505emit_1ub(p, imm);506}507}508509/**510* Immediate group 1 instructions.511*/512static inline void513x86_group1_imm( struct x86_function *p,514unsigned op, struct x86_reg dst, int imm )515{516assert(dst.file == file_REG32);517assert(dst.mod == mod_REG);518if(-0x80 <= imm && imm < 0x80) {519emit_1ub(p, 0x83);520emit_modrm_noreg(p, op, dst);521emit_1b(p, (char)imm);522}523else {524emit_1ub(p, 0x81);525emit_modrm_noreg(p, op, dst);526emit_1i(p, imm);527}528}529530void x86_add_imm( struct x86_function *p, struct x86_reg dst, int imm )531{532DUMP_RI( dst, imm );533x86_group1_imm(p, 0, dst, imm);534}535536void x86_or_imm( struct x86_function *p, struct x86_reg dst, int imm )537{538DUMP_RI( dst, imm );539x86_group1_imm(p, 1, dst, imm);540}541542void x86_and_imm( struct x86_function *p, struct x86_reg dst, int imm )543{544DUMP_RI( dst, imm );545x86_group1_imm(p, 4, dst, imm);546}547548void x86_sub_imm( struct x86_function *p, struct x86_reg dst, int imm )549{550DUMP_RI( dst, imm );551x86_group1_imm(p, 5, dst, imm);552}553554void x86_xor_imm( struct x86_function *p, struct x86_reg dst, int imm )555{556DUMP_RI( dst, imm );557x86_group1_imm(p, 6, dst, imm);558}559560void x86_cmp_imm( struct x86_function *p, struct x86_reg dst, int imm )561{562DUMP_RI( dst, imm );563x86_group1_imm(p, 7, dst, imm);564}565566567void x86_push( struct x86_function *p,568struct x86_reg reg )569{570DUMP_R( reg );571if (reg.mod == mod_REG)572emit_1ub(p, 0x50 + reg.idx);573else574{575emit_1ub(p, 0xff);576emit_modrm_noreg(p, 6, reg);577}578579580p->stack_offset += sizeof(void*);581}582583void x86_push_imm32( struct x86_function *p,584int imm32 )585{586DUMP_I( imm32 );587emit_1ub(p, 0x68);588emit_1i(p, imm32);589590p->stack_offset += sizeof(void*);591}592593594void x86_pop( struct x86_function *p,595struct x86_reg reg )596{597DUMP_R( reg );598assert(reg.mod == mod_REG);599emit_1ub(p, 0x58 + reg.idx);600p->stack_offset -= sizeof(void*);601}602603void x86_inc( struct x86_function *p,604struct x86_reg reg )605{606DUMP_R( reg );607if(x86_target(p) == X86_32 && reg.mod == mod_REG)608{609emit_1ub(p, 0x40 + reg.idx);610return;611}612emit_1ub(p, 0xff);613emit_modrm_noreg(p, 0, reg);614}615616void x86_dec( struct x86_function *p,617struct x86_reg reg )618{619DUMP_R( reg );620if(x86_target(p) == X86_32 && reg.mod == mod_REG)621{622emit_1ub(p, 0x48 + reg.idx);623return;624}625emit_1ub(p, 0xff);626emit_modrm_noreg(p, 1, reg);627}628629void x86_ret( struct x86_function *p )630{631DUMP();632assert(p->stack_offset == 0);633emit_1ub(p, 0xc3);634}635636void x86_retw( struct x86_function *p, unsigned short imm )637{638DUMP();639emit_3ub(p, 0xc2, imm & 0xff, (imm >> 8) & 0xff);640}641642void x86_sahf( struct x86_function *p )643{644DUMP();645emit_1ub(p, 0x9e);646}647648void x86_mov( struct x86_function *p,649struct x86_reg dst,650struct x86_reg src )651{652DUMP_RR( dst, src );653/* special hack for reading arguments until we support x86-64 registers everywhere */654if(src.mod == mod_REG && dst.mod == mod_REG && (src.idx >= 8 || dst.idx >= 8))655{656uint8_t rex = 0x40;657if(dst.idx >= 8)658{659rex |= 4;660dst.idx -= 8;661}662if(src.idx >= 8)663{664rex |= 1;665src.idx -= 8;666}667emit_1ub(p, rex);668}669emit_op_modrm( p, 0x8b, 0x89, dst, src );670}671672void x86_mov16( struct x86_function *p,673struct x86_reg dst,674struct x86_reg src )675{676DUMP_RR( dst, src );677emit_1ub(p, 0x66);678emit_op_modrm( p, 0x8b, 0x89, dst, src );679}680681void x86_mov8( struct x86_function *p,682struct x86_reg dst,683struct x86_reg src )684{685DUMP_RR( dst, src );686emit_op_modrm( p, 0x8a, 0x88, dst, src );687}688689void x64_mov64( struct x86_function *p,690struct x86_reg dst,691struct x86_reg src )692{693uint8_t rex = 0x48;694DUMP_RR( dst, src );695assert(x86_target(p) != X86_32);696697/* special hack for reading arguments until we support x86-64 registers everywhere */698if(src.mod == mod_REG && dst.mod == mod_REG && (src.idx >= 8 || dst.idx >= 8))699{700if(dst.idx >= 8)701{702rex |= 4;703dst.idx -= 8;704}705if(src.idx >= 8)706{707rex |= 1;708src.idx -= 8;709}710}711emit_1ub(p, rex);712emit_op_modrm( p, 0x8b, 0x89, dst, src );713}714715void x86_movzx8(struct x86_function *p, struct x86_reg dst, struct x86_reg src )716{717DUMP_RR( dst, src );718emit_2ub(p, 0x0f, 0xb6);719emit_modrm(p, dst, src);720}721722void x86_movzx16(struct x86_function *p, struct x86_reg dst, struct x86_reg src )723{724DUMP_RR( dst, src );725emit_2ub(p, 0x0f, 0xb7);726emit_modrm(p, dst, src);727}728729void x86_cmovcc( struct x86_function *p,730struct x86_reg dst,731struct x86_reg src,732enum x86_cc cc)733{734DUMP_RRI( dst, src, cc );735emit_2ub( p, 0x0f, 0x40 + cc );736emit_modrm( p, dst, src );737}738739void x86_xor( struct x86_function *p,740struct x86_reg dst,741struct x86_reg src )742{743DUMP_RR( dst, src );744emit_op_modrm( p, 0x33, 0x31, dst, src );745}746747void x86_cmp( struct x86_function *p,748struct x86_reg dst,749struct x86_reg src )750{751DUMP_RR( dst, src );752emit_op_modrm( p, 0x3b, 0x39, dst, src );753}754755void x86_lea( struct x86_function *p,756struct x86_reg dst,757struct x86_reg src )758{759DUMP_RR( dst, src );760emit_1ub(p, 0x8d);761emit_modrm( p, dst, src );762}763764void x86_test( struct x86_function *p,765struct x86_reg dst,766struct x86_reg src )767{768DUMP_RR( dst, src );769emit_1ub(p, 0x85);770emit_modrm( p, dst, src );771}772773void x86_add( struct x86_function *p,774struct x86_reg dst,775struct x86_reg src )776{777DUMP_RR( dst, src );778emit_op_modrm(p, 0x03, 0x01, dst, src );779}780781/* Calculate EAX * src, results in EDX:EAX.782*/783void x86_mul( struct x86_function *p,784struct x86_reg src )785{786DUMP_R( src );787emit_1ub(p, 0xf7);788emit_modrm_noreg(p, 4, src );789}790791792void x86_imul( struct x86_function *p,793struct x86_reg dst,794struct x86_reg src )795{796DUMP_RR( dst, src );797emit_2ub(p, X86_TWOB, 0xAF);798emit_modrm(p, dst, src);799}800801802void x86_sub( struct x86_function *p,803struct x86_reg dst,804struct x86_reg src )805{806DUMP_RR( dst, src );807emit_op_modrm(p, 0x2b, 0x29, dst, src );808}809810void x86_or( struct x86_function *p,811struct x86_reg dst,812struct x86_reg src )813{814DUMP_RR( dst, src );815emit_op_modrm( p, 0x0b, 0x09, dst, src );816}817818void x86_and( struct x86_function *p,819struct x86_reg dst,820struct x86_reg src )821{822DUMP_RR( dst, src );823emit_op_modrm( p, 0x23, 0x21, dst, src );824}825826void x86_div( struct x86_function *p,827struct x86_reg src )828{829assert(src.file == file_REG32 && src.mod == mod_REG);830emit_op_modrm(p, 0xf7, 0, x86_make_reg(file_REG32, 6), src);831}832833void x86_bswap( struct x86_function *p, struct x86_reg reg )834{835DUMP_R(reg);836assert(reg.file == file_REG32);837assert(reg.mod == mod_REG);838emit_2ub(p, 0x0f, 0xc8 + reg.idx);839}840841void x86_shr_imm( struct x86_function *p, struct x86_reg reg, unsigned imm )842{843DUMP_RI(reg, imm);844if(imm == 1)845{846emit_1ub(p, 0xd1);847emit_modrm_noreg(p, 5, reg);848}849else850{851emit_1ub(p, 0xc1);852emit_modrm_noreg(p, 5, reg);853emit_1ub(p, imm);854}855}856857void x86_sar_imm( struct x86_function *p, struct x86_reg reg, unsigned imm )858{859DUMP_RI(reg, imm);860if(imm == 1)861{862emit_1ub(p, 0xd1);863emit_modrm_noreg(p, 7, reg);864}865else866{867emit_1ub(p, 0xc1);868emit_modrm_noreg(p, 7, reg);869emit_1ub(p, imm);870}871}872873void x86_shl_imm( struct x86_function *p, struct x86_reg reg, unsigned imm )874{875DUMP_RI(reg, imm);876if(imm == 1)877{878emit_1ub(p, 0xd1);879emit_modrm_noreg(p, 4, reg);880}881else882{883emit_1ub(p, 0xc1);884emit_modrm_noreg(p, 4, reg);885emit_1ub(p, imm);886}887}888889890/***********************************************************************891* SSE instructions892*/893894void sse_prefetchnta( struct x86_function *p, struct x86_reg ptr)895{896DUMP_R( ptr );897assert(ptr.mod != mod_REG);898emit_2ub(p, 0x0f, 0x18);899emit_modrm_noreg(p, 0, ptr);900}901902void sse_prefetch0( struct x86_function *p, struct x86_reg ptr)903{904DUMP_R( ptr );905assert(ptr.mod != mod_REG);906emit_2ub(p, 0x0f, 0x18);907emit_modrm_noreg(p, 1, ptr);908}909910void sse_prefetch1( struct x86_function *p, struct x86_reg ptr)911{912DUMP_R( ptr );913assert(ptr.mod != mod_REG);914emit_2ub(p, 0x0f, 0x18);915emit_modrm_noreg(p, 2, ptr);916}917918void sse_movntps( struct x86_function *p,919struct x86_reg dst,920struct x86_reg src)921{922DUMP_RR( dst, src );923924assert(dst.mod != mod_REG);925assert(src.mod == mod_REG);926emit_2ub(p, 0x0f, 0x2b);927emit_modrm(p, src, dst);928}929930931932933void sse_movss( struct x86_function *p,934struct x86_reg dst,935struct x86_reg src )936{937DUMP_RR( dst, src );938emit_2ub(p, 0xF3, X86_TWOB);939emit_op_modrm( p, 0x10, 0x11, dst, src );940}941942void sse_movaps( struct x86_function *p,943struct x86_reg dst,944struct x86_reg src )945{946DUMP_RR( dst, src );947emit_1ub(p, X86_TWOB);948emit_op_modrm( p, 0x28, 0x29, dst, src );949}950951void sse_movups( struct x86_function *p,952struct x86_reg dst,953struct x86_reg src )954{955DUMP_RR( dst, src );956emit_1ub(p, X86_TWOB);957emit_op_modrm( p, 0x10, 0x11, dst, src );958}959960void sse_movhps( struct x86_function *p,961struct x86_reg dst,962struct x86_reg src )963{964DUMP_RR( dst, src );965assert(dst.mod != mod_REG || src.mod != mod_REG);966emit_1ub(p, X86_TWOB);967emit_op_modrm( p, 0x16, 0x17, dst, src ); /* cf movlhps */968}969970void sse_movlps( struct x86_function *p,971struct x86_reg dst,972struct x86_reg src )973{974DUMP_RR( dst, src );975assert(dst.mod != mod_REG || src.mod != mod_REG);976emit_1ub(p, X86_TWOB);977emit_op_modrm( p, 0x12, 0x13, dst, src ); /* cf movhlps */978}979980void sse_maxps( struct x86_function *p,981struct x86_reg dst,982struct x86_reg src )983{984DUMP_RR( dst, src );985emit_2ub(p, X86_TWOB, 0x5F);986emit_modrm( p, dst, src );987}988989void sse_maxss( struct x86_function *p,990struct x86_reg dst,991struct x86_reg src )992{993DUMP_RR( dst, src );994emit_3ub(p, 0xF3, X86_TWOB, 0x5F);995emit_modrm( p, dst, src );996}997998void sse_divss( struct x86_function *p,999struct x86_reg dst,1000struct x86_reg src )1001{1002DUMP_RR( dst, src );1003emit_3ub(p, 0xF3, X86_TWOB, 0x5E);1004emit_modrm( p, dst, src );1005}10061007void sse_minps( struct x86_function *p,1008struct x86_reg dst,1009struct x86_reg src )1010{1011DUMP_RR( dst, src );1012emit_2ub(p, X86_TWOB, 0x5D);1013emit_modrm( p, dst, src );1014}10151016void sse_subps( struct x86_function *p,1017struct x86_reg dst,1018struct x86_reg src )1019{1020DUMP_RR( dst, src );1021emit_2ub(p, X86_TWOB, 0x5C);1022emit_modrm( p, dst, src );1023}10241025void sse_mulps( struct x86_function *p,1026struct x86_reg dst,1027struct x86_reg src )1028{1029DUMP_RR( dst, src );1030emit_2ub(p, X86_TWOB, 0x59);1031emit_modrm( p, dst, src );1032}10331034void sse_mulss( struct x86_function *p,1035struct x86_reg dst,1036struct x86_reg src )1037{1038DUMP_RR( dst, src );1039emit_3ub(p, 0xF3, X86_TWOB, 0x59);1040emit_modrm( p, dst, src );1041}10421043void sse_addps( struct x86_function *p,1044struct x86_reg dst,1045struct x86_reg src )1046{1047DUMP_RR( dst, src );1048emit_2ub(p, X86_TWOB, 0x58);1049emit_modrm( p, dst, src );1050}10511052void sse_addss( struct x86_function *p,1053struct x86_reg dst,1054struct x86_reg src )1055{1056DUMP_RR( dst, src );1057emit_3ub(p, 0xF3, X86_TWOB, 0x58);1058emit_modrm( p, dst, src );1059}10601061void sse_andnps( struct x86_function *p,1062struct x86_reg dst,1063struct x86_reg src )1064{1065DUMP_RR( dst, src );1066emit_2ub(p, X86_TWOB, 0x55);1067emit_modrm( p, dst, src );1068}10691070void sse_andps( struct x86_function *p,1071struct x86_reg dst,1072struct x86_reg src )1073{1074DUMP_RR( dst, src );1075emit_2ub(p, X86_TWOB, 0x54);1076emit_modrm( p, dst, src );1077}10781079void sse_rsqrtps( struct x86_function *p,1080struct x86_reg dst,1081struct x86_reg src )1082{1083DUMP_RR( dst, src );1084emit_2ub(p, X86_TWOB, 0x52);1085emit_modrm( p, dst, src );1086}10871088void sse_rsqrtss( struct x86_function *p,1089struct x86_reg dst,1090struct x86_reg src )1091{1092DUMP_RR( dst, src );1093emit_3ub(p, 0xF3, X86_TWOB, 0x52);1094emit_modrm( p, dst, src );10951096}10971098void sse_movhlps( struct x86_function *p,1099struct x86_reg dst,1100struct x86_reg src )1101{1102DUMP_RR( dst, src );1103assert(dst.mod == mod_REG && src.mod == mod_REG);1104emit_2ub(p, X86_TWOB, 0x12);1105emit_modrm( p, dst, src );1106}11071108void sse_movlhps( struct x86_function *p,1109struct x86_reg dst,1110struct x86_reg src )1111{1112DUMP_RR( dst, src );1113assert(dst.mod == mod_REG && src.mod == mod_REG);1114emit_2ub(p, X86_TWOB, 0x16);1115emit_modrm( p, dst, src );1116}11171118void sse_orps( struct x86_function *p,1119struct x86_reg dst,1120struct x86_reg src )1121{1122DUMP_RR( dst, src );1123emit_2ub(p, X86_TWOB, 0x56);1124emit_modrm( p, dst, src );1125}11261127void sse_xorps( struct x86_function *p,1128struct x86_reg dst,1129struct x86_reg src )1130{1131DUMP_RR( dst, src );1132emit_2ub(p, X86_TWOB, 0x57);1133emit_modrm( p, dst, src );1134}11351136void sse_cvtps2pi( struct x86_function *p,1137struct x86_reg dst,1138struct x86_reg src )1139{1140DUMP_RR( dst, src );1141assert(dst.file == file_MMX &&1142(src.file == file_XMM || src.mod != mod_REG));11431144p->need_emms = 1;11451146emit_2ub(p, X86_TWOB, 0x2d);1147emit_modrm( p, dst, src );1148}11491150void sse2_cvtdq2ps( struct x86_function *p,1151struct x86_reg dst,1152struct x86_reg src )1153{1154DUMP_RR( dst, src );1155emit_2ub(p, X86_TWOB, 0x5b);1156emit_modrm( p, dst, src );1157}115811591160/* Shufps can also be used to implement a reduced swizzle when dest ==1161* arg0.1162*/1163void sse_shufps( struct x86_function *p,1164struct x86_reg dst,1165struct x86_reg src,1166unsigned char shuf)1167{1168DUMP_RRI( dst, src, shuf );1169emit_2ub(p, X86_TWOB, 0xC6);1170emit_modrm(p, dst, src);1171emit_1ub(p, shuf);1172}11731174void sse_unpckhps( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1175{1176DUMP_RR( dst, src );1177emit_2ub( p, X86_TWOB, 0x15 );1178emit_modrm( p, dst, src );1179}11801181void sse_unpcklps( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1182{1183DUMP_RR( dst, src );1184emit_2ub( p, X86_TWOB, 0x14 );1185emit_modrm( p, dst, src );1186}11871188void sse_cmpps( struct x86_function *p,1189struct x86_reg dst,1190struct x86_reg src,1191enum sse_cc cc)1192{1193DUMP_RRI( dst, src, cc );1194emit_2ub(p, X86_TWOB, 0xC2);1195emit_modrm(p, dst, src);1196emit_1ub(p, cc);1197}11981199void sse_pmovmskb( struct x86_function *p,1200struct x86_reg dst,1201struct x86_reg src)1202{1203DUMP_RR( dst, src );1204emit_3ub(p, 0x66, X86_TWOB, 0xD7);1205emit_modrm(p, dst, src);1206}12071208void sse_movmskps( struct x86_function *p,1209struct x86_reg dst,1210struct x86_reg src)1211{1212DUMP_RR( dst, src );1213emit_2ub(p, X86_TWOB, 0x50);1214emit_modrm(p, dst, src);1215}12161217/***********************************************************************1218* SSE2 instructions1219*/12201221void sse2_movd( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1222{1223DUMP_RR(dst, src);1224emit_2ub(p, 0x66, 0x0f);1225if(dst.mod == mod_REG && dst.file == file_REG32)1226{1227emit_1ub(p, 0x7e);1228emit_modrm(p, src, dst);1229}1230else1231{1232emit_op_modrm(p, 0x6e, 0x7e, dst, src);1233}1234}12351236void sse2_movq( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1237{1238DUMP_RR(dst, src);1239switch (dst.mod) {1240case mod_REG:1241emit_3ub(p, 0xf3, 0x0f, 0x7e);1242emit_modrm(p, dst, src);1243break;1244case mod_INDIRECT:1245case mod_DISP32:1246case mod_DISP8:1247assert(src.mod == mod_REG);1248emit_3ub(p, 0x66, 0x0f, 0xd6);1249emit_modrm(p, src, dst);1250break;1251default:1252assert(0);1253break;1254}1255}12561257void sse2_movdqu( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1258{1259DUMP_RR(dst, src);1260emit_2ub(p, 0xf3, 0x0f);1261emit_op_modrm(p, 0x6f, 0x7f, dst, src);1262}12631264void sse2_movdqa( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1265{1266DUMP_RR(dst, src);1267emit_2ub(p, 0x66, 0x0f);1268emit_op_modrm(p, 0x6f, 0x7f, dst, src);1269}12701271void sse2_movsd( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1272{1273DUMP_RR(dst, src);1274emit_2ub(p, 0xf2, 0x0f);1275emit_op_modrm(p, 0x10, 0x11, dst, src);1276}12771278void sse2_movupd( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1279{1280DUMP_RR(dst, src);1281emit_2ub(p, 0x66, 0x0f);1282emit_op_modrm(p, 0x10, 0x11, dst, src);1283}12841285void sse2_movapd( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1286{1287DUMP_RR(dst, src);1288emit_2ub(p, 0x66, 0x0f);1289emit_op_modrm(p, 0x28, 0x29, dst, src);1290}12911292/**1293* Perform a reduced swizzle:1294*/1295void sse2_pshufd( struct x86_function *p,1296struct x86_reg dst,1297struct x86_reg src,1298unsigned char shuf)1299{1300DUMP_RRI( dst, src, shuf );1301emit_3ub(p, 0x66, X86_TWOB, 0x70);1302emit_modrm(p, dst, src);1303emit_1ub(p, shuf);1304}13051306void sse2_pshuflw( struct x86_function *p,1307struct x86_reg dst,1308struct x86_reg src,1309unsigned char shuf)1310{1311DUMP_RRI( dst, src, shuf );1312emit_3ub(p, 0xf2, X86_TWOB, 0x70);1313emit_modrm(p, dst, src);1314emit_1ub(p, shuf);1315}13161317void sse2_pshufhw( struct x86_function *p,1318struct x86_reg dst,1319struct x86_reg src,1320unsigned char shuf)1321{1322DUMP_RRI( dst, src, shuf );1323emit_3ub(p, 0xf3, X86_TWOB, 0x70);1324emit_modrm(p, dst, src);1325emit_1ub(p, shuf);1326}13271328void sse2_cvttps2dq( struct x86_function *p,1329struct x86_reg dst,1330struct x86_reg src )1331{1332DUMP_RR( dst, src );1333emit_3ub( p, 0xF3, X86_TWOB, 0x5B );1334emit_modrm( p, dst, src );1335}13361337void sse2_cvtps2dq( struct x86_function *p,1338struct x86_reg dst,1339struct x86_reg src )1340{1341DUMP_RR( dst, src );1342emit_3ub(p, 0x66, X86_TWOB, 0x5B);1343emit_modrm( p, dst, src );1344}13451346void sse2_cvtsd2ss( struct x86_function *p,1347struct x86_reg dst,1348struct x86_reg src )1349{1350DUMP_RR( dst, src );1351emit_3ub(p, 0xf2, 0x0f, 0x5a);1352emit_modrm( p, dst, src );1353}13541355void sse2_cvtpd2ps( struct x86_function *p,1356struct x86_reg dst,1357struct x86_reg src )1358{1359DUMP_RR( dst, src );1360emit_3ub(p, 0x66, 0x0f, 0x5a);1361emit_modrm( p, dst, src );1362}13631364void sse2_packssdw( struct x86_function *p,1365struct x86_reg dst,1366struct x86_reg src )1367{1368DUMP_RR( dst, src );1369emit_3ub(p, 0x66, X86_TWOB, 0x6B);1370emit_modrm( p, dst, src );1371}13721373void sse2_packsswb( struct x86_function *p,1374struct x86_reg dst,1375struct x86_reg src )1376{1377DUMP_RR( dst, src );1378emit_3ub(p, 0x66, X86_TWOB, 0x63);1379emit_modrm( p, dst, src );1380}13811382void sse2_packuswb( struct x86_function *p,1383struct x86_reg dst,1384struct x86_reg src )1385{1386DUMP_RR( dst, src );1387emit_3ub(p, 0x66, X86_TWOB, 0x67);1388emit_modrm( p, dst, src );1389}13901391void sse2_punpcklbw( struct x86_function *p,1392struct x86_reg dst,1393struct x86_reg src )1394{1395DUMP_RR( dst, src );1396emit_3ub(p, 0x66, X86_TWOB, 0x60);1397emit_modrm( p, dst, src );1398}13991400void sse2_punpcklwd( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1401{1402DUMP_RR( dst, src );1403emit_3ub(p, 0x66, 0x0f, 0x61);1404emit_modrm( p, dst, src );1405}14061407void sse2_punpckldq( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1408{1409DUMP_RR( dst, src );1410emit_3ub(p, 0x66, 0x0f, 0x62);1411emit_modrm( p, dst, src );1412}14131414void sse2_punpcklqdq( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1415{1416DUMP_RR( dst, src );1417emit_3ub(p, 0x66, 0x0f, 0x6c);1418emit_modrm( p, dst, src );1419}14201421void sse2_psllw_imm( struct x86_function *p, struct x86_reg dst, unsigned imm )1422{1423DUMP_RI(dst, imm);1424emit_3ub(p, 0x66, 0x0f, 0x71);1425emit_modrm_noreg(p, 6, dst);1426emit_1ub(p, imm);1427}14281429void sse2_pslld_imm( struct x86_function *p, struct x86_reg dst, unsigned imm )1430{1431DUMP_RI(dst, imm);1432emit_3ub(p, 0x66, 0x0f, 0x72);1433emit_modrm_noreg(p, 6, dst);1434emit_1ub(p, imm);1435}14361437void sse2_psllq_imm( struct x86_function *p, struct x86_reg dst, unsigned imm )1438{1439DUMP_RI(dst, imm);1440emit_3ub(p, 0x66, 0x0f, 0x73);1441emit_modrm_noreg(p, 6, dst);1442emit_1ub(p, imm);1443}14441445void sse2_psrlw_imm( struct x86_function *p, struct x86_reg dst, unsigned imm )1446{1447DUMP_RI(dst, imm);1448emit_3ub(p, 0x66, 0x0f, 0x71);1449emit_modrm_noreg(p, 2, dst);1450emit_1ub(p, imm);1451}14521453void sse2_psrld_imm( struct x86_function *p, struct x86_reg dst, unsigned imm )1454{1455DUMP_RI(dst, imm);1456emit_3ub(p, 0x66, 0x0f, 0x72);1457emit_modrm_noreg(p, 2, dst);1458emit_1ub(p, imm);1459}14601461void sse2_psrlq_imm( struct x86_function *p, struct x86_reg dst, unsigned imm )1462{1463DUMP_RI(dst, imm);1464emit_3ub(p, 0x66, 0x0f, 0x73);1465emit_modrm_noreg(p, 2, dst);1466emit_1ub(p, imm);1467}14681469void sse2_psraw_imm( struct x86_function *p, struct x86_reg dst, unsigned imm )1470{1471DUMP_RI(dst, imm);1472emit_3ub(p, 0x66, 0x0f, 0x71);1473emit_modrm_noreg(p, 4, dst);1474emit_1ub(p, imm);1475}14761477void sse2_psrad_imm( struct x86_function *p, struct x86_reg dst, unsigned imm )1478{1479DUMP_RI(dst, imm);1480emit_3ub(p, 0x66, 0x0f, 0x72);1481emit_modrm_noreg(p, 4, dst);1482emit_1ub(p, imm);1483}14841485void sse2_por( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1486{1487DUMP_RR(dst, src);1488emit_3ub(p, 0x66, 0x0f, 0xeb);1489emit_modrm(p, dst, src);1490}14911492void sse2_rcpps( struct x86_function *p,1493struct x86_reg dst,1494struct x86_reg src )1495{1496DUMP_RR( dst, src );1497emit_2ub(p, X86_TWOB, 0x53);1498emit_modrm( p, dst, src );1499}15001501void sse2_rcpss( struct x86_function *p,1502struct x86_reg dst,1503struct x86_reg src )1504{1505DUMP_RR( dst, src );1506emit_3ub(p, 0xF3, X86_TWOB, 0x53);1507emit_modrm( p, dst, src );1508}15091510/***********************************************************************1511* x87 instructions1512*/1513static void note_x87_pop( struct x86_function *p )1514{1515p->x87_stack--;1516assert(p->x87_stack >= 0);1517}15181519static void note_x87_push( struct x86_function *p )1520{1521p->x87_stack++;1522assert(p->x87_stack <= 7);1523}15241525void x87_assert_stack_empty( struct x86_function *p )1526{1527assert (p->x87_stack == 0);1528}152915301531void x87_fist( struct x86_function *p, struct x86_reg dst )1532{1533DUMP_R( dst );1534emit_1ub(p, 0xdb);1535emit_modrm_noreg(p, 2, dst);1536}15371538void x87_fistp( struct x86_function *p, struct x86_reg dst )1539{1540DUMP_R( dst );1541emit_1ub(p, 0xdb);1542emit_modrm_noreg(p, 3, dst);1543note_x87_pop(p);1544}15451546void x87_fild( struct x86_function *p, struct x86_reg arg )1547{1548DUMP_R( arg );1549emit_1ub(p, 0xdf);1550emit_modrm_noreg(p, 0, arg);1551note_x87_push(p);1552}15531554void x87_fldz( struct x86_function *p )1555{1556DUMP();1557emit_2ub(p, 0xd9, 0xee);1558note_x87_push(p);1559}156015611562void x87_fldcw( struct x86_function *p, struct x86_reg arg )1563{1564DUMP_R( arg );1565assert(arg.file == file_REG32);1566assert(arg.mod != mod_REG);1567emit_1ub(p, 0xd9);1568emit_modrm_noreg(p, 5, arg);1569}15701571void x87_fld1( struct x86_function *p )1572{1573DUMP();1574emit_2ub(p, 0xd9, 0xe8);1575note_x87_push(p);1576}15771578void x87_fldl2e( struct x86_function *p )1579{1580DUMP();1581emit_2ub(p, 0xd9, 0xea);1582note_x87_push(p);1583}15841585void x87_fldln2( struct x86_function *p )1586{1587DUMP();1588emit_2ub(p, 0xd9, 0xed);1589note_x87_push(p);1590}15911592void x87_fwait( struct x86_function *p )1593{1594DUMP();1595emit_1ub(p, 0x9b);1596}15971598void x87_fnclex( struct x86_function *p )1599{1600DUMP();1601emit_2ub(p, 0xdb, 0xe2);1602}16031604void x87_fclex( struct x86_function *p )1605{1606x87_fwait(p);1607x87_fnclex(p);1608}16091610void x87_fcmovb( struct x86_function *p, struct x86_reg arg )1611{1612DUMP_R( arg );1613assert(arg.file == file_x87);1614emit_2ub(p, 0xda, 0xc0+arg.idx);1615}16161617void x87_fcmove( struct x86_function *p, struct x86_reg arg )1618{1619DUMP_R( arg );1620assert(arg.file == file_x87);1621emit_2ub(p, 0xda, 0xc8+arg.idx);1622}16231624void x87_fcmovbe( struct x86_function *p, struct x86_reg arg )1625{1626DUMP_R( arg );1627assert(arg.file == file_x87);1628emit_2ub(p, 0xda, 0xd0+arg.idx);1629}16301631void x87_fcmovnb( struct x86_function *p, struct x86_reg arg )1632{1633DUMP_R( arg );1634assert(arg.file == file_x87);1635emit_2ub(p, 0xdb, 0xc0+arg.idx);1636}16371638void x87_fcmovne( struct x86_function *p, struct x86_reg arg )1639{1640DUMP_R( arg );1641assert(arg.file == file_x87);1642emit_2ub(p, 0xdb, 0xc8+arg.idx);1643}16441645void x87_fcmovnbe( struct x86_function *p, struct x86_reg arg )1646{1647DUMP_R( arg );1648assert(arg.file == file_x87);1649emit_2ub(p, 0xdb, 0xd0+arg.idx);1650}1651165216531654static void x87_arith_op( struct x86_function *p, struct x86_reg dst, struct x86_reg arg,1655unsigned char dst0ub0,1656unsigned char dst0ub1,1657unsigned char arg0ub0,1658unsigned char arg0ub1,1659unsigned char argmem_noreg)1660{1661assert(dst.file == file_x87);16621663if (arg.file == file_x87) {1664if (dst.idx == 0)1665emit_2ub(p, dst0ub0, dst0ub1+arg.idx);1666else if (arg.idx == 0)1667emit_2ub(p, arg0ub0, arg0ub1+arg.idx);1668else1669assert(0);1670}1671else if (dst.idx == 0) {1672assert(arg.file == file_REG32);1673emit_1ub(p, 0xd8);1674emit_modrm_noreg(p, argmem_noreg, arg);1675}1676else1677assert(0);1678}16791680void x87_fmul( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1681{1682DUMP_RR( dst, src );1683x87_arith_op(p, dst, src,16840xd8, 0xc8,16850xdc, 0xc8,16864);1687}16881689void x87_fsub( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1690{1691DUMP_RR( dst, src );1692x87_arith_op(p, dst, src,16930xd8, 0xe0,16940xdc, 0xe8,16954);1696}16971698void x87_fsubr( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1699{1700DUMP_RR( dst, src );1701x87_arith_op(p, dst, src,17020xd8, 0xe8,17030xdc, 0xe0,17045);1705}17061707void x87_fadd( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1708{1709DUMP_RR( dst, src );1710x87_arith_op(p, dst, src,17110xd8, 0xc0,17120xdc, 0xc0,17130);1714}17151716void x87_fdiv( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1717{1718DUMP_RR( dst, src );1719x87_arith_op(p, dst, src,17200xd8, 0xf0,17210xdc, 0xf8,17226);1723}17241725void x87_fdivr( struct x86_function *p, struct x86_reg dst, struct x86_reg src )1726{1727DUMP_RR( dst, src );1728x87_arith_op(p, dst, src,17290xd8, 0xf8,17300xdc, 0xf0,17317);1732}17331734void x87_fmulp( struct x86_function *p, struct x86_reg dst )1735{1736DUMP_R( dst );1737assert(dst.file == file_x87);1738assert(dst.idx >= 1);1739emit_2ub(p, 0xde, 0xc8+dst.idx);1740note_x87_pop(p);1741}17421743void x87_fsubp( struct x86_function *p, struct x86_reg dst )1744{1745DUMP_R( dst );1746assert(dst.file == file_x87);1747assert(dst.idx >= 1);1748emit_2ub(p, 0xde, 0xe8+dst.idx);1749note_x87_pop(p);1750}17511752void x87_fsubrp( struct x86_function *p, struct x86_reg dst )1753{1754DUMP_R( dst );1755assert(dst.file == file_x87);1756assert(dst.idx >= 1);1757emit_2ub(p, 0xde, 0xe0+dst.idx);1758note_x87_pop(p);1759}17601761void x87_faddp( struct x86_function *p, struct x86_reg dst )1762{1763DUMP_R( dst );1764assert(dst.file == file_x87);1765assert(dst.idx >= 1);1766emit_2ub(p, 0xde, 0xc0+dst.idx);1767note_x87_pop(p);1768}17691770void x87_fdivp( struct x86_function *p, struct x86_reg dst )1771{1772DUMP_R( dst );1773assert(dst.file == file_x87);1774assert(dst.idx >= 1);1775emit_2ub(p, 0xde, 0xf8+dst.idx);1776note_x87_pop(p);1777}17781779void x87_fdivrp( struct x86_function *p, struct x86_reg dst )1780{1781DUMP_R( dst );1782assert(dst.file == file_x87);1783assert(dst.idx >= 1);1784emit_2ub(p, 0xde, 0xf0+dst.idx);1785note_x87_pop(p);1786}17871788void x87_ftst( struct x86_function *p )1789{1790DUMP();1791emit_2ub(p, 0xd9, 0xe4);1792}17931794void x87_fucom( struct x86_function *p, struct x86_reg arg )1795{1796DUMP_R( arg );1797assert(arg.file == file_x87);1798emit_2ub(p, 0xdd, 0xe0+arg.idx);1799}18001801void x87_fucomp( struct x86_function *p, struct x86_reg arg )1802{1803DUMP_R( arg );1804assert(arg.file == file_x87);1805emit_2ub(p, 0xdd, 0xe8+arg.idx);1806note_x87_pop(p);1807}18081809void x87_fucompp( struct x86_function *p )1810{1811DUMP();1812emit_2ub(p, 0xda, 0xe9);1813note_x87_pop(p); /* pop twice */1814note_x87_pop(p); /* pop twice */1815}18161817void x87_fxch( struct x86_function *p, struct x86_reg arg )1818{1819DUMP_R( arg );1820assert(arg.file == file_x87);1821emit_2ub(p, 0xd9, 0xc8+arg.idx);1822}18231824void x87_fabs( struct x86_function *p )1825{1826DUMP();1827emit_2ub(p, 0xd9, 0xe1);1828}18291830void x87_fchs( struct x86_function *p )1831{1832DUMP();1833emit_2ub(p, 0xd9, 0xe0);1834}18351836void x87_fcos( struct x86_function *p )1837{1838DUMP();1839emit_2ub(p, 0xd9, 0xff);1840}184118421843void x87_fprndint( struct x86_function *p )1844{1845DUMP();1846emit_2ub(p, 0xd9, 0xfc);1847}18481849void x87_fscale( struct x86_function *p )1850{1851DUMP();1852emit_2ub(p, 0xd9, 0xfd);1853}18541855void x87_fsin( struct x86_function *p )1856{1857DUMP();1858emit_2ub(p, 0xd9, 0xfe);1859}18601861void x87_fsincos( struct x86_function *p )1862{1863DUMP();1864emit_2ub(p, 0xd9, 0xfb);1865}18661867void x87_fsqrt( struct x86_function *p )1868{1869DUMP();1870emit_2ub(p, 0xd9, 0xfa);1871}18721873void x87_fxtract( struct x86_function *p )1874{1875DUMP();1876emit_2ub(p, 0xd9, 0xf4);1877}18781879/* st0 = (2^st0)-11880*1881* Restrictions: -1.0 <= st0 <= 1.01882*/1883void x87_f2xm1( struct x86_function *p )1884{1885DUMP();1886emit_2ub(p, 0xd9, 0xf0);1887}18881889/* st1 = st1 * log2(st0);1890* pop_stack;1891*/1892void x87_fyl2x( struct x86_function *p )1893{1894DUMP();1895emit_2ub(p, 0xd9, 0xf1);1896note_x87_pop(p);1897}18981899/* st1 = st1 * log2(st0 + 1.0);1900* pop_stack;1901*1902* A fast operation, with restrictions: -.29 < st0 < .291903*/1904void x87_fyl2xp1( struct x86_function *p )1905{1906DUMP();1907emit_2ub(p, 0xd9, 0xf9);1908note_x87_pop(p);1909}191019111912void x87_fld( struct x86_function *p, struct x86_reg arg )1913{1914DUMP_R( arg );1915if (arg.file == file_x87)1916emit_2ub(p, 0xd9, 0xc0 + arg.idx);1917else {1918emit_1ub(p, 0xd9);1919emit_modrm_noreg(p, 0, arg);1920}1921note_x87_push(p);1922}19231924void x87_fst( struct x86_function *p, struct x86_reg dst )1925{1926DUMP_R( dst );1927if (dst.file == file_x87)1928emit_2ub(p, 0xdd, 0xd0 + dst.idx);1929else {1930emit_1ub(p, 0xd9);1931emit_modrm_noreg(p, 2, dst);1932}1933}19341935void x87_fstp( struct x86_function *p, struct x86_reg dst )1936{1937DUMP_R( dst );1938if (dst.file == file_x87)1939emit_2ub(p, 0xdd, 0xd8 + dst.idx);1940else {1941emit_1ub(p, 0xd9);1942emit_modrm_noreg(p, 3, dst);1943}1944note_x87_pop(p);1945}19461947void x87_fpop( struct x86_function *p )1948{1949x87_fstp( p, x86_make_reg( file_x87, 0 ));1950}195119521953void x87_fcom( struct x86_function *p, struct x86_reg dst )1954{1955DUMP_R( dst );1956if (dst.file == file_x87)1957emit_2ub(p, 0xd8, 0xd0 + dst.idx);1958else {1959emit_1ub(p, 0xd8);1960emit_modrm_noreg(p, 2, dst);1961}1962}196319641965void x87_fcomp( struct x86_function *p, struct x86_reg dst )1966{1967DUMP_R( dst );1968if (dst.file == file_x87)1969emit_2ub(p, 0xd8, 0xd8 + dst.idx);1970else {1971emit_1ub(p, 0xd8);1972emit_modrm_noreg(p, 3, dst);1973}1974note_x87_pop(p);1975}19761977void x87_fcomi( struct x86_function *p, struct x86_reg arg )1978{1979DUMP_R( arg );1980emit_2ub(p, 0xdb, 0xf0+arg.idx);1981}19821983void x87_fcomip( struct x86_function *p, struct x86_reg arg )1984{1985DUMP_R( arg );1986emit_2ub(p, 0xdb, 0xf0+arg.idx);1987note_x87_pop(p);1988}198919901991void x87_fnstsw( struct x86_function *p, struct x86_reg dst )1992{1993DUMP_R( dst );1994assert(dst.file == file_REG32);19951996if (dst.idx == reg_AX &&1997dst.mod == mod_REG)1998emit_2ub(p, 0xdf, 0xe0);1999else {2000emit_1ub(p, 0xdd);2001emit_modrm_noreg(p, 7, dst);2002}2003}200420052006void x87_fnstcw( struct x86_function *p, struct x86_reg dst )2007{2008DUMP_R( dst );2009assert(dst.file == file_REG32);20102011emit_1ub(p, 0x9b); /* WAIT -- needed? */2012emit_1ub(p, 0xd9);2013emit_modrm_noreg(p, 7, dst);2014}20152016201720182019/***********************************************************************2020* MMX instructions2021*/20222023void mmx_emms( struct x86_function *p )2024{2025DUMP();2026assert(p->need_emms);2027emit_2ub(p, 0x0f, 0x77);2028p->need_emms = 0;2029}20302031void mmx_packssdw( struct x86_function *p,2032struct x86_reg dst,2033struct x86_reg src )2034{2035DUMP_RR( dst, src );2036assert(dst.file == file_MMX &&2037(src.file == file_MMX || src.mod != mod_REG));20382039p->need_emms = 1;20402041emit_2ub(p, X86_TWOB, 0x6b);2042emit_modrm( p, dst, src );2043}20442045void mmx_packuswb( struct x86_function *p,2046struct x86_reg dst,2047struct x86_reg src )2048{2049DUMP_RR( dst, src );2050assert(dst.file == file_MMX &&2051(src.file == file_MMX || src.mod != mod_REG));20522053p->need_emms = 1;20542055emit_2ub(p, X86_TWOB, 0x67);2056emit_modrm( p, dst, src );2057}20582059void mmx_movd( struct x86_function *p,2060struct x86_reg dst,2061struct x86_reg src )2062{2063DUMP_RR( dst, src );2064p->need_emms = 1;2065emit_1ub(p, X86_TWOB);2066emit_op_modrm( p, 0x6e, 0x7e, dst, src );2067}20682069void mmx_movq( struct x86_function *p,2070struct x86_reg dst,2071struct x86_reg src )2072{2073DUMP_RR( dst, src );2074p->need_emms = 1;2075emit_1ub(p, X86_TWOB);2076emit_op_modrm( p, 0x6f, 0x7f, dst, src );2077}207820792080/***********************************************************************2081* Helper functions2082*/208320842085void x86_cdecl_caller_push_regs( struct x86_function *p )2086{2087x86_push(p, x86_make_reg(file_REG32, reg_AX));2088x86_push(p, x86_make_reg(file_REG32, reg_CX));2089x86_push(p, x86_make_reg(file_REG32, reg_DX));2090}20912092void x86_cdecl_caller_pop_regs( struct x86_function *p )2093{2094x86_pop(p, x86_make_reg(file_REG32, reg_DX));2095x86_pop(p, x86_make_reg(file_REG32, reg_CX));2096x86_pop(p, x86_make_reg(file_REG32, reg_AX));2097}209820992100struct x86_reg x86_fn_arg( struct x86_function *p,2101unsigned arg )2102{2103switch(x86_target(p))2104{2105case X86_64_WIN64_ABI:2106/* Microsoft uses a different calling convention than the rest of the world */2107switch(arg)2108{2109case 1:2110return x86_make_reg(file_REG32, reg_CX);2111case 2:2112return x86_make_reg(file_REG32, reg_DX);2113case 3:2114return x86_make_reg(file_REG32, reg_R8);2115case 4:2116return x86_make_reg(file_REG32, reg_R9);2117default:2118/* Win64 allocates stack slots as if it pushed the first 4 arguments too */2119return x86_make_disp(x86_make_reg(file_REG32, reg_SP),2120p->stack_offset + arg * 8);2121}2122case X86_64_STD_ABI:2123switch(arg)2124{2125case 1:2126return x86_make_reg(file_REG32, reg_DI);2127case 2:2128return x86_make_reg(file_REG32, reg_SI);2129case 3:2130return x86_make_reg(file_REG32, reg_DX);2131case 4:2132return x86_make_reg(file_REG32, reg_CX);2133case 5:2134return x86_make_reg(file_REG32, reg_R8);2135case 6:2136return x86_make_reg(file_REG32, reg_R9);2137default:2138return x86_make_disp(x86_make_reg(file_REG32, reg_SP),2139p->stack_offset + (arg - 6) * 8); /* ??? */2140}2141case X86_32:2142return x86_make_disp(x86_make_reg(file_REG32, reg_SP),2143p->stack_offset + arg * 4); /* ??? */2144default:2145assert(0 && "Unexpected x86 target ABI in x86_fn_arg");2146return x86_make_reg(file_REG32, reg_CX); /* not used / silence warning */2147}2148}21492150static void x86_init_func_common( struct x86_function *p )2151{2152util_cpu_detect();2153p->caps = 0;2154if(util_get_cpu_caps()->has_mmx)2155p->caps |= X86_MMX;2156if(util_get_cpu_caps()->has_mmx2)2157p->caps |= X86_MMX2;2158if(util_get_cpu_caps()->has_sse)2159p->caps |= X86_SSE;2160if(util_get_cpu_caps()->has_sse2)2161p->caps |= X86_SSE2;2162if(util_get_cpu_caps()->has_sse3)2163p->caps |= X86_SSE3;2164if(util_get_cpu_caps()->has_sse4_1)2165p->caps |= X86_SSE4_1;2166p->csr = p->store;2167#if defined(PIPE_ARCH_X86)2168emit_1i(p, 0xfb1e0ff3);2169#else2170emit_1i(p, 0xfa1e0ff3);2171#endif2172DUMP_START();2173}21742175void x86_init_func( struct x86_function *p )2176{2177p->size = 0;2178p->store = NULL;2179x86_init_func_common(p);2180}21812182void x86_init_func_size( struct x86_function *p, unsigned code_size )2183{2184p->size = code_size;2185p->store = rtasm_exec_malloc(code_size);2186if (p->store == NULL) {2187p->store = p->error_overflow;2188}2189x86_init_func_common(p);2190}21912192void x86_release_func( struct x86_function *p )2193{2194if (p->store && p->store != p->error_overflow)2195rtasm_exec_free(p->store);21962197p->store = NULL;2198p->csr = NULL;2199p->size = 0;2200}220122022203static inline x86_func2204voidptr_to_x86_func(void *v)2205{2206union {2207void *v;2208x86_func f;2209} u;2210STATIC_ASSERT(sizeof(u.v) == sizeof(u.f));2211u.v = v;2212return u.f;2213}221422152216x86_func x86_get_func( struct x86_function *p )2217{2218DUMP_END();2219if (DISASSEM && p->store)2220debug_printf("disassemble %p %p\n", p->store, p->csr);22212222if (p->store == p->error_overflow)2223return voidptr_to_x86_func(NULL);2224else2225return voidptr_to_x86_func(p->store);2226}22272228#else22292230void x86sse_dummy( void );22312232void x86sse_dummy( void )2233{2234}22352236#endif223722382239