1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- begin guest_amd64_defs.h ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Valgrind, a dynamic binary instrumentation 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown framework. 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 10b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov Copyright (C) 2004-2011 OpenWorks LLP 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown info@open-works.net 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02110-1301, USA. 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Neither the names of the U.S. Department of Energy nor the 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown University of California nor the names of its contributors may be 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown used to endorse or promote products derived from this software 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown without prior written permission. 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Only to be used within the guest-amd64 directory. */ 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#ifndef __VEX_GUEST_AMD64_DEFS_H 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define __VEX_GUEST_AMD64_DEFS_H 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------*/ 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- amd64 to IR conversion ---*/ 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------*/ 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Convert one amd64 insn to IR. See the type DisOneInstrFn in 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown bb_to_IR.h. */ 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownDisResult disInstr_AMD64 ( IRSB* irbb, 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool put_IP, 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool (*resteerOkFn) ( void*, Addr64 ), 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool resteerCisOk, 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown void* callback_opaque, 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UChar* guest_code, 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Long delta, 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Addr64 guest_IP, 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexArch guest_arch, 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexArchInfo* archinfo, 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexAbiInfo* abiinfo, 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool host_bigendian ); 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Used by the optimiser to specialise calls to helpers. */ 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownIRExpr* guest_amd64_spechelper ( HChar* function_name, 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRExpr** args, 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRStmt** precedingStmts, 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int n_precedingStmts ); 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Describes to the optimiser which part of the guest state require 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown precise memory exceptions. This is logically part of the guest 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown state description. */ 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool guest_amd64_state_requires_precise_mem_exns ( Int, Int ); 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownVexGuestLayout amd64guest_layout; 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------*/ 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- amd64 guest helpers ---*/ 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------*/ 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* --- CLEAN HELPERS --- */ 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_rflags_all ( 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong cc_op, 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong cc_dep1, ULong cc_dep2, ULong cc_ndep 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_rflags_c ( 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong cc_op, 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong cc_dep1, ULong cc_dep2, ULong cc_ndep 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_condition ( 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong/*AMD64Condcode*/ cond, 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong cc_op, 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong cc_dep1, ULong cc_dep2, ULong cc_ndep 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_FXAM ( ULong tag, ULong dbl ); 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_RCR ( 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong arg, ULong rot_amt, ULong rflags_in, Long sz 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_RCL ( 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong arg, ULong rot_amt, ULong rflags_in, Long sz 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_pclmul(ULong s1, ULong s2, ULong which); 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_check_fldcw ( ULong fpucw ); 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_create_fpucw ( ULong fpround ); 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_check_ldmxcsr ( ULong mxcsr ); 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_create_mxcsr ( ULong sseround ); 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern VexEmWarn amd64g_dirtyhelper_FLDENV ( VexGuestAMD64State*, HWord ); 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern void amd64g_dirtyhelper_FSTENV ( VexGuestAMD64State*, HWord ); 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Translate a guest virtual_addr into a guest linear address by 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown consulting the supplied LDT/GDT structures. Their representation 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown must be as specified in pub/libvex_guest_amd64.h. To indicate a 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown translation failure, 1<<32 is returned. On success, the lower 32 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown bits of the returned result indicate the linear address. 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//extern 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//ULong amd64g_use_seg_selector ( HWord ldt, HWord gdt, 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// UInt seg_selector, UInt virtual_addr ); 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_mmx_pmaddwd ( ULong, ULong ); 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_mmx_psadbw ( ULong, ULong ); 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_mmx_pmovmskb ( ULong ); 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_calculate_sse_pmovmskb ( ULong w64hi, ULong w64lo ); 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 140f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Rootextern ULong amd64g_calc_crc32b ( ULong crcIn, ULong b ); 141f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Rootextern ULong amd64g_calc_crc32w ( ULong crcIn, ULong w ); 142f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Rootextern ULong amd64g_calc_crc32l ( ULong crcIn, ULong l ); 143f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Rootextern ULong amd64g_calc_crc32q ( ULong crcIn, ULong q ); 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* --- DIRTY HELPERS --- */ 146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 147ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_dirtyhelper_loadF80le ( ULong/*addr*/ ); 148ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 149ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern void amd64g_dirtyhelper_storeF80le ( ULong/*addr*/, ULong/*data*/ ); 150ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 151ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern void amd64g_dirtyhelper_CPUID_baseline ( VexGuestAMD64State* st ); 152ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern void amd64g_dirtyhelper_CPUID_sse3_and_cx16 ( VexGuestAMD64State* st ); 153ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern void amd64g_dirtyhelper_CPUID_sse42_and_cx16 ( VexGuestAMD64State* st ); 154ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern void amd64g_dirtyhelper_FINIT ( VexGuestAMD64State* ); 156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 157f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Rootextern void amd64g_dirtyhelper_FXSAVE ( VexGuestAMD64State*, HWord ); 158f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Rootextern VexEmWarn amd64g_dirtyhelper_FXRSTOR ( VexGuestAMD64State*, HWord ); 159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 160ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_dirtyhelper_RDTSC ( void ); 161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_dirtyhelper_IN ( ULong portno, ULong sz/*1,2 or 4*/ ); 163ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern void amd64g_dirtyhelper_OUT ( ULong portno, ULong data, 164ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong sz/*1,2 or 4*/ ); 165ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 166ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern void amd64g_dirtyhelper_SxDT ( void* address, 167ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong op /* 0 or 1 */ ); 168ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 169ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Helps with PCMP{I,E}STR{I,M}. 170ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 171ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CALLED FROM GENERATED CODE: DIRTY HELPER(s). (But not really, 172ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown actually it could be a clean helper, but for the fact that we can't 173ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown pass by value 2 x V128 to a clean helper, nor have one returned.) 174ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Reads guest state, writes to guest state for the xSTRM cases, no 175ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown accesses of memory, is a pure function. 176ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 177ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown opc_and_imm contains (4th byte of opcode << 8) | the-imm8-byte so 178ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the callee knows which I/E and I/M variant it is dealing with and 179ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown what the specific operation is. 4th byte of opcode is in the range 180ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 0x60 to 0x63: 181ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown istri 66 0F 3A 63 182ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown istrm 66 0F 3A 62 183ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown estri 66 0F 3A 61 184ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown estrm 66 0F 3A 60 185ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 186ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown gstOffL and gstOffR are the guest state offsets for the two XMM 187ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown register inputs. We never have to deal with the memory case since 188ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown that is handled by pre-loading the relevant value into the fake 189ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown XMM16 register. 190ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 191ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown For ESTRx variants, edxIN and eaxIN hold the values of those two 192ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown registers. 193ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 194ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown In all cases, the bottom 16 bits of the result contain the new 195ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown OSZACP %rflags values. For xSTRI variants, bits[31:16] of the 196ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown result hold the new %ecx value. For xSTRM variants, the helper 197ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown writes the result directly to the guest XMM0. 198ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 199ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Declarable side effects: in all cases, reads guest state at 200ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown [gstOffL, +16) and [gstOffR, +16). For xSTRM variants, also writes 201ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown guest_XMM0. 202ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 203ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Is expected to be called with opc_and_imm combinations which have 204ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown actually been validated, and will assert if otherwise. The front 205ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown end should ensure we're only called with verified values. 206ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 207ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong amd64g_dirtyhelper_PCMPxSTRx ( 208ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexGuestAMD64State*, 209ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown HWord opc4_and_imm, 210ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown HWord gstOffL, HWord gstOffR, 211ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown HWord edxIN, HWord eaxIN 212ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 213ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 214ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 215ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//extern void amd64g_dirtyhelper_CPUID_sse0 ( VexGuestAMD64State* ); 216ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//extern void amd64g_dirtyhelper_CPUID_sse1 ( VexGuestAMD64State* ); 217ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//extern void amd64g_dirtyhelper_CPUID_sse2 ( VexGuestAMD64State* ); 218ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 219ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//extern void amd64g_dirtyhelper_FSAVE ( VexGuestAMD64State*, HWord ); 220ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 221ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//extern VexEmWarn 222ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// amd64g_dirtyhelper_FRSTOR ( VexGuestAMD64State*, HWord ); 223ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 224ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//extern void amd64g_dirtyhelper_FSTENV ( VexGuestAMD64State*, HWord ); 225ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 226ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//extern VexEmWarn 227ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// amd64g_dirtyhelper_FLDENV ( VexGuestAMD64State*, HWord ); 228ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 229ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 230ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 231ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------*/ 232ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Condition code stuff ---*/ 233ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------*/ 234ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 235ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* rflags masks */ 236ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_SHIFT_O 11 237ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_SHIFT_S 7 238ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_SHIFT_Z 6 239ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_SHIFT_A 4 240ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_SHIFT_C 0 241ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_SHIFT_P 2 242ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 243ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_MASK_O (1ULL << AMD64G_CC_SHIFT_O) 244ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_MASK_S (1ULL << AMD64G_CC_SHIFT_S) 245ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_MASK_Z (1ULL << AMD64G_CC_SHIFT_Z) 246ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_MASK_A (1ULL << AMD64G_CC_SHIFT_A) 247ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_MASK_C (1ULL << AMD64G_CC_SHIFT_C) 248ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_CC_MASK_P (1ULL << AMD64G_CC_SHIFT_P) 249ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 250ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* FPU flag masks */ 251ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_FC_SHIFT_C3 14 252ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_FC_SHIFT_C2 10 253ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_FC_SHIFT_C1 9 254ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_FC_SHIFT_C0 8 255ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 256ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_FC_MASK_C3 (1ULL << AMD64G_FC_SHIFT_C3) 257ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_FC_MASK_C2 (1ULL << AMD64G_FC_SHIFT_C2) 258ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_FC_MASK_C1 (1ULL << AMD64G_FC_SHIFT_C1) 259ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define AMD64G_FC_MASK_C0 (1ULL << AMD64G_FC_SHIFT_C0) 260ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 261ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 262ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* %RFLAGS thunk descriptors. A four-word thunk is used to record 263ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown details of the most recent flag-setting operation, so the flags can 264ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown be computed later if needed. It is possible to do this a little 265ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown more efficiently using a 3-word thunk, but that makes it impossible 266ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown to describe the flag data dependencies sufficiently accurately for 267ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Memcheck. Hence 4 words are used, with minimal loss of efficiency. 268ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 269ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The four words are: 270ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 271ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_OP, which describes the operation. 272ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 273ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_DEP1 and CC_DEP2. These are arguments to the operation. 274ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown We want Memcheck to believe that the resulting flags are 275ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown data-dependent on both CC_DEP1 and CC_DEP2, hence the 276ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown name DEP. 277ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 278ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_NDEP. This is a 3rd argument to the operation which is 279ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown sometimes needed. We arrange things so that Memcheck does 280ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown not believe the resulting flags are data-dependent on CC_NDEP 281ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ("not dependent"). 282ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 283ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown To make Memcheck believe that (the definedness of) the encoded 284ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown flags depends only on (the definedness of) CC_DEP1 and CC_DEP2 285ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown requires two things: 286ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 287ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (1) In the guest state layout info (amd64guest_layout), CC_OP and 288ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_NDEP are marked as always defined. 289ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 290ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (2) When passing the thunk components to an evaluation function 291ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (calculate_condition, calculate_eflags, calculate_eflags_c) the 292ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRCallee's mcx_mask must be set so as to exclude from 293ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown consideration all passed args except CC_DEP1 and CC_DEP2. 294ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 295ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Strictly speaking only (2) is necessary for correctness. However, 296ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (1) helps efficiency in that since (2) means we never ask about the 297ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown definedness of CC_OP or CC_NDEP, we may as well not even bother to 298ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown track their definedness. 299ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 300ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown When building the thunk, it is always necessary to write words into 301ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_DEP1 and CC_DEP2, even if those args are not used given the 302ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_OP field (eg, CC_DEP2 is not used if CC_OP is CC_LOGIC1/2/4). 303ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This is important because otherwise Memcheck could give false 304ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown positives as it does not understand the relationship between the 305ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_OP field and CC_DEP1 and CC_DEP2, and so believes that the 306ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown definedness of the stored flags always depends on both CC_DEP1 and 307ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_DEP2. 308ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 309ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown However, it is only necessary to set CC_NDEP when the CC_OP value 310ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown requires it, because Memcheck ignores CC_NDEP, and the evaluation 311ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown functions do understand the CC_OP fields and will only examine 312ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CC_NDEP for suitable values of CC_OP. 313ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 314ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown A summary of the field usages is: 315ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 316ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Operation DEP1 DEP2 NDEP 317ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 318ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 319ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown add/sub/mul first arg second arg unused 320ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 321ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown adc/sbb first arg (second arg) 322ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown XOR old_carry old_carry 323ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 324ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown and/or/xor result zero unused 325ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 326ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown inc/dec result zero old_carry 327ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 328ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown shl/shr/sar result subshifted- unused 329ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown result 330ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 331ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown rol/ror result zero old_flags 332ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 333ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown copy old_flags zero unused. 334ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 335ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 336ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Therefore Memcheck will believe the following: 337ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 338ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * add/sub/mul -- definedness of result flags depends on definedness 339ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown of both args. 340ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 341ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * adc/sbb -- definedness of result flags depends on definedness of 342ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown both args and definedness of the old C flag. Because only two 343ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DEP fields are available, the old C flag is XOR'd into the second 344ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown arg so that Memcheck sees the data dependency on it. That means 345ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the NDEP field must contain a second copy of the old C flag 346ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown so that the evaluation functions can correctly recover the second 347ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown arg. 348ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 349ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * and/or/xor are straightforward -- definedness of result flags 350ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown depends on definedness of result value. 351ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 352ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * inc/dec -- definedness of result flags depends only on 353ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown definedness of result. This isn't really true -- it also depends 354ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown on the old C flag. However, we don't want Memcheck to see that, 355ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown and so the old C flag must be passed in NDEP and not in DEP2. 356ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown It's inconceivable that a compiler would generate code that puts 357ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the C flag in an undefined state, then does an inc/dec, which 358ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown leaves C unchanged, and then makes a conditional jump/move based 359ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown on C. So our fiction seems a good approximation. 360ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 361ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * shl/shr/sar -- straightforward, again, definedness of result 362ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown flags depends on definedness of result value. The subshifted 363ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown value (value shifted one less) is also needed, but its 364ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown definedness is the same as the definedness of the shifted value. 365ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 366ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * rol/ror -- these only set O and C, and leave A Z C P alone. 367ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown However it seems prudent (as per inc/dec) to say the definedness 368ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown of all resulting flags depends on the definedness of the result, 369ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hence the old flags must go in as NDEP and not DEP2. 370ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 371ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * rcl/rcr are too difficult to do in-line, and so are done by a 372ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown helper function. They are not part of this scheme. The helper 373ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown function takes the value to be rotated, the rotate amount and the 374ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown old flags, and returns the new flags and the rotated value. 375ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Since the helper's mcx_mask does not have any set bits, Memcheck 376ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown will lazily propagate undefinedness from any of the 3 args into 377ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown both results (flags and actual value). 378ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 379ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownenum { 380ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_COPY=0, /* DEP1 = current flags, DEP2 = 0, NDEP = unused */ 381ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* just copy DEP1 to output */ 382ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 383ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ADDB, /* 1 */ 384ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ADDW, /* 2 DEP1 = argL, DEP2 = argR, NDEP = unused */ 385ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ADDL, /* 3 */ 386ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ADDQ, /* 4 */ 387ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 388ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SUBB, /* 5 */ 389ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SUBW, /* 6 DEP1 = argL, DEP2 = argR, NDEP = unused */ 390ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SUBL, /* 7 */ 391ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SUBQ, /* 8 */ 392ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 393ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ADCB, /* 9 */ 394ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ADCW, /* 10 DEP1 = argL, DEP2 = argR ^ oldCarry, NDEP = oldCarry */ 395ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ADCL, /* 11 */ 396ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ADCQ, /* 12 */ 397ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 398ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SBBB, /* 13 */ 399ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SBBW, /* 14 DEP1 = argL, DEP2 = argR ^ oldCarry, NDEP = oldCarry */ 400ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SBBL, /* 15 */ 401ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SBBQ, /* 16 */ 402ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 403ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_LOGICB, /* 17 */ 404ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_LOGICW, /* 18 DEP1 = result, DEP2 = 0, NDEP = unused */ 405ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_LOGICL, /* 19 */ 406ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_LOGICQ, /* 20 */ 407ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 408ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_INCB, /* 21 */ 409ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_INCW, /* 22 DEP1 = result, DEP2 = 0, NDEP = oldCarry (0 or 1) */ 410ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_INCL, /* 23 */ 411ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_INCQ, /* 24 */ 412ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 413ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_DECB, /* 25 */ 414ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_DECW, /* 26 DEP1 = result, DEP2 = 0, NDEP = oldCarry (0 or 1) */ 415ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_DECL, /* 27 */ 416ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_DECQ, /* 28 */ 417ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 418ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SHLB, /* 29 DEP1 = res, DEP2 = res', NDEP = unused */ 419ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SHLW, /* 30 where res' is like res but shifted one bit less */ 420ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SHLL, /* 31 */ 421ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SHLQ, /* 32 */ 422ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 423ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SHRB, /* 33 DEP1 = res, DEP2 = res', NDEP = unused */ 424ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SHRW, /* 34 where res' is like res but shifted one bit less */ 425ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SHRL, /* 35 */ 426ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SHRQ, /* 36 */ 427ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 428ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ROLB, /* 37 */ 429ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ROLW, /* 38 DEP1 = res, DEP2 = 0, NDEP = old flags */ 430ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ROLL, /* 39 */ 431ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_ROLQ, /* 40 */ 432ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 433ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_RORB, /* 41 */ 434ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_RORW, /* 42 DEP1 = res, DEP2 = 0, NDEP = old flags */ 435ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_RORL, /* 43 */ 436ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_RORQ, /* 44 */ 437ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 438ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_UMULB, /* 45 */ 439ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_UMULW, /* 46 DEP1 = argL, DEP2 = argR, NDEP = unused */ 440ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_UMULL, /* 47 */ 441ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_UMULQ, /* 48 */ 442ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 443ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SMULB, /* 49 */ 444ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SMULW, /* 50 DEP1 = argL, DEP2 = argR, NDEP = unused */ 445ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SMULL, /* 51 */ 446ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_SMULQ, /* 52 */ 447ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 448ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64G_CC_OP_NUMBER 449ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}; 450ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 451ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Browntypedef 452ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown enum { 453ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondO = 0, /* overflow */ 454ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondNO = 1, /* no overflow */ 455ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 456ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondB = 2, /* below */ 457ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondNB = 3, /* not below */ 458ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 459ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondZ = 4, /* zero */ 460ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondNZ = 5, /* not zero */ 461ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 462ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondBE = 6, /* below or equal */ 463ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondNBE = 7, /* not below or equal */ 464ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 465ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondS = 8, /* negative */ 466ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondNS = 9, /* not negative */ 467ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 468ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondP = 10, /* parity even */ 469ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondNP = 11, /* not parity even */ 470ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 471ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondL = 12, /* jump less */ 472ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondNL = 13, /* not less */ 473ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 474ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondLE = 14, /* less or equal */ 475ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondNLE = 15, /* not less or equal */ 476ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 477ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64CondAlways = 16 /* HACK */ 478ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 479ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown AMD64Condcode; 480ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 481ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif /* ndef __VEX_GUEST_AMD64_DEFS_H */ 482ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 483ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 484ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end guest_amd64_defs.h ---*/ 485ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 486