move.py revision 5931:d42d507ccdb1
1# Copyright (c) 2007-2008 The Hewlett-Packard Development Company 2# All rights reserved. 3# 4# Redistribution and use of this software in source and binary forms, 5# with or without modification, are permitted provided that the 6# following conditions are met: 7# 8# The software must be used only for Non-Commercial Use which means any 9# use which is NOT directed to receiving any direct monetary 10# compensation for, or commercial advantage from such use. Illustrative 11# examples of non-commercial use are academic research, personal study, 12# teaching, education and corporate research & development. 13# Illustrative examples of commercial use are distributing products for 14# commercial advantage and providing services using the software for 15# commercial advantage. 16# 17# If you wish to use this software or functionality therein that may be 18# covered by patents for commercial use, please contact: 19# Director of Intellectual Property Licensing 20# Office of Strategy and Technology 21# Hewlett-Packard Company 22# 1501 Page Mill Road 23# Palo Alto, California 94304 24# 25# Redistributions of source code must retain the above copyright notice, 26# this list of conditions and the following disclaimer. Redistributions 27# in binary form must reproduce the above copyright notice, this list of 28# conditions and the following disclaimer in the documentation and/or 29# other materials provided with the distribution. Neither the name of 30# the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its 31# contributors may be used to endorse or promote products derived from 32# this software without specific prior written permission. No right of 33# sublicense is granted herewith. Derivatives of the software and 34# output created using the software may be prepared, but only for 35# Non-Commercial Uses. Derivatives of the software may be shared with 36# others provided: (i) the others agree to abide by the list of 37# conditions herein which includes the Non-Commercial Use restrictions; 38# and (ii) such Derivatives of the software include the above copyright 39# notice to acknowledge the contribution from this software where 40# applicable, this list of conditions and the disclaimer below. 41# 42# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 43# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 44# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 45# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 46# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 47# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 48# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 49# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 50# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 51# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 52# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 53# 54# Authors: Gabe Black 55 56microcode = ''' 57 58# 59# Regular moves 60# 61 62def macroop MOV_R_MI { 63 limm t1, imm, dataSize=asz 64 ld reg, seg, [1, t0, t1] 65}; 66 67def macroop MOV_MI_R { 68 limm t1, imm, dataSize=asz 69 st reg, seg, [1, t0, t1] 70}; 71 72def macroop MOV_R_R { 73 mov reg, reg, regm 74}; 75 76def macroop MOV_M_R { 77 st reg, seg, sib, disp 78}; 79 80def macroop MOV_P_R { 81 rdip t7 82 st reg, seg, riprel, disp 83}; 84 85def macroop MOV_R_M { 86 ld reg, seg, sib, disp 87}; 88 89def macroop MOV_R_P { 90 rdip t7 91 ld reg, seg, riprel, disp 92}; 93 94def macroop MOV_R_I { 95 limm reg, imm 96}; 97 98def macroop MOV_M_I { 99 limm t1, imm 100 st t1, seg, sib, disp 101}; 102 103def macroop MOV_P_I { 104 rdip t7 105 limm t1, imm 106 st t1, seg, riprel, disp 107}; 108 109# 110# Sign extending moves 111# 112 113def macroop MOVSXD_R_R { 114 sexti reg, regm, 31 115}; 116 117def macroop MOVSXD_R_M { 118 ld t1, seg, sib, disp, dataSize=4 119 sexti reg, t1, 31 120}; 121 122def macroop MOVSXD_R_P { 123 rdip t7 124 ld t1, seg, riprel, disp, dataSize=4 125 sexti reg, t1, 31 126}; 127 128def macroop MOVSX_B_R_R { 129 mov t1, t1, regm, dataSize=1 130 sexti reg, t1, 7 131}; 132 133def macroop MOVSX_B_R_M { 134 ld t1, seg, sib, disp, dataSize=1 135 sexti reg, t1, 7 136}; 137 138def macroop MOVSX_B_R_P { 139 rdip t7 140 ld t1, seg, riprel, disp, dataSize=1 141 sexti reg, t1, 7 142}; 143 144def macroop MOVSX_W_R_R { 145 sexti reg, regm, 15 146}; 147 148def macroop MOVSX_W_R_M { 149 ld reg, seg, sib, disp, dataSize=2 150 sexti reg, reg, 15 151}; 152 153def macroop MOVSX_W_R_P { 154 rdip t7 155 ld reg, seg, riprel, disp, dataSize=2 156 sexti reg, reg, 15 157}; 158 159# 160# Zero extending moves 161# 162 163def macroop MOVZX_B_R_R { 164 mov t1, t1, regm, dataSize=1 165 zexti reg, t1, 7 166}; 167 168def macroop MOVZX_B_R_M { 169 ld t1, seg, sib, disp, dataSize=1 170 zexti reg, t1, 7 171}; 172 173def macroop MOVZX_B_R_P { 174 rdip t7 175 ld t1, seg, riprel, disp, dataSize=1 176 zexti reg, t1, 7 177}; 178 179def macroop MOVZX_W_R_R { 180 zexti reg, regm, 15 181}; 182 183def macroop MOVZX_W_R_M { 184 ld t1, seg, sib, disp, dataSize=2 185 zexti reg, t1, 15 186}; 187 188def macroop MOVZX_W_R_P { 189 rdip t7 190 ld t1, seg, riprel, disp, dataSize=2 191 zexti reg, t1, 15 192}; 193 194def macroop MOV_C_R { 195 wrcr reg, regm 196}; 197 198def macroop MOV_R_C { 199 rdcr reg, regm 200}; 201 202def macroop MOV_D_R { 203 .adjust_env maxOsz 204 wrdr reg, regm 205}; 206 207def macroop MOV_R_D { 208 .adjust_env maxOsz 209 rddr reg, regm 210}; 211 212def macroop MOV_R_S { 213 rdsel reg, regm 214}; 215 216def macroop MOV_M_S { 217 rdsel t1, reg 218 st t1, seg, sib, disp, dataSize=2 219}; 220 221def macroop MOV_P_S { 222 rdip t7 223 rdsel t1, reg 224 st t1, seg, riprel, disp, dataSize=2 225}; 226 227def macroop MOV_REAL_S_R { 228 zexti t2, regm, 15, dataSize=8 229 slli t3, t2, 2, dataSize=8 230 wrsel reg, regm 231 wrbase reg, t3 232}; 233 234def macroop MOV_REAL_S_M { 235 ld t1, seg, sib, disp, dataSize=2 236 zexti t2, t1, 15, dataSize=8 237 slli t3, t2, 2, dataSize=8 238 wrsel reg, t1 239 wrbase reg, t3 240}; 241 242def macroop MOV_REAL_S_P { 243 panic "RIP relative addressing shouldn't happen in real mode" 244}; 245 246def macroop MOV_S_R { 247 andi t0, regm, 0xFC, flags=(EZF,), dataSize=2 248 br label("processDescriptor"), flags=(CEZF,) 249 andi t2, regm, 0xF8, dataSize=8 250 andi t0, regm, 0x4, flags=(EZF,), dataSize=2 251 br label("globalDescriptor"), flags=(CEZF,) 252 ld t3, tsl, [1, t0, t2], dataSize=8 253 br label("processDescriptor") 254globalDescriptor: 255 ld t3, tsg, [1, t0, t2], dataSize=8 256processDescriptor: 257 chks regm, t3, dataSize=8 258 wrdl reg, t3, regm 259 wrsel reg, regm 260}; 261 262def macroop MOV_S_M { 263 ld t1, seg, sib, disp, dataSize=2 264 andi t0, t1, 0xFC, flags=(EZF,), dataSize=2 265 br label("processDescriptor"), flags=(CEZF,) 266 andi t2, t1, 0xF8, dataSize=8 267 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 268 br label("globalDescriptor"), flags=(CEZF,) 269 ld t3, tsl, [1, t0, t2], dataSize=8 270 br label("processDescriptor") 271globalDescriptor: 272 ld t3, tsg, [1, t0, t2], dataSize=8 273processDescriptor: 274 chks t1, t3, dataSize=8 275 wrdl reg, t3, t1 276 wrsel reg, t1 277}; 278 279def macroop MOV_S_P { 280 rdip t7 281 ld t1, seg, riprel, disp, dataSize=2 282 andi t0, t1, 0xFC, flags=(EZF,), dataSize=2 283 br label("processDescriptor"), flags=(CEZF,) 284 andi t2, t1, 0xF8, dataSize=8 285 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 286 br label("globalDescriptor"), flags=(CEZF,) 287 ld t3, tsl, [1, t0, t2], dataSize=8 288 br label("processDescriptor") 289globalDescriptor: 290 ld t3, tsg, [1, t0, t2], dataSize=8 291processDescriptor: 292 chks t1, t3, dataSize=8 293 wrdl reg, t3, t1 294 wrsel reg, t1 295}; 296 297def macroop MOVSS_S_R { 298 andi t0, regm, 0xFC, flags=(EZF,), dataSize=2 299 br label("processDescriptor"), flags=(CEZF,) 300 andi t2, regm, 0xF8, dataSize=8 301 andi t0, regm, 0x4, flags=(EZF,), dataSize=2 302 br label("globalDescriptor"), flags=(CEZF,) 303 ld t3, tsl, [1, t0, t2], dataSize=8 304 br label("processDescriptor") 305globalDescriptor: 306 ld t3, tsg, [1, t0, t2], dataSize=8 307processDescriptor: 308 chks regm, t3, SSCheck, dataSize=8 309 wrdl reg, t3, regm 310 wrsel reg, regm 311}; 312 313def macroop MOVSS_S_M { 314 ld t1, seg, sib, disp, dataSize=2 315 andi t0, t1, 0xFC, flags=(EZF,), dataSize=2 316 br label("processDescriptor"), flags=(CEZF,) 317 andi t2, t1, 0xF8, dataSize=8 318 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 319 br label("globalDescriptor"), flags=(CEZF,) 320 ld t3, tsl, [1, t0, t2], dataSize=8 321 br label("processDescriptor") 322globalDescriptor: 323 ld t3, tsg, [1, t0, t2], dataSize=8 324processDescriptor: 325 chks t1, t3, SSCheck, dataSize=8 326 wrdl reg, t3, t1 327 wrsel reg, t1 328}; 329 330def macroop MOVSS_S_P { 331 rdip t7 332 ld t1, seg, riprel, disp, dataSize=2 333 andi t0, t1, 0xFC, flags=(EZF,), dataSize=2 334 br label("processDescriptor"), flags=(CEZF,) 335 andi t2, t1, 0xF8, dataSize=8 336 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 337 br label("globalDescriptor"), flags=(CEZF,) 338 ld t3, tsl, [1, t0, t2], dataSize=8 339 br label("processDescriptor") 340globalDescriptor: 341 ld t3, tsg, [1, t0, t2], dataSize=8 342processDescriptor: 343 chks t1, t3, SSCheck, dataSize=8 344 wrdl reg, t3, t1 345 wrsel reg, t1 346}; 347''' 348#let {{ 349# class MOVD(Inst): 350# "GenFault ${new UnimpInstFault}" 351# class MOVNTI(Inst): 352# "GenFault ${new UnimpInstFault}" 353#}}; 354