move.py revision 5661:443e6f925027
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_R_S { 203 rdsel reg, regm 204}; 205 206def macroop MOV_M_S { 207 rdsel t1, reg 208 st t1, seg, sib, disp, dataSize=2 209}; 210 211def macroop MOV_P_S { 212 rdip t7 213 rdsel t1, reg 214 st t1, seg, riprel, disp, dataSize=2 215}; 216 217def macroop MOV_REAL_S_R { 218 zext t2, regm, 15 219 slli t3, t2, 2, dataSize=8 220 wrsel reg, regm 221 wrbase reg, t3 222}; 223 224def macroop MOV_REAL_S_M { 225 ld t1, seg, sib, disp, dataSize=2 226 zext t2, t1, 15 227 slli t3, t2, 2, dataSize=8 228 wrsel reg, t1 229 wrbase reg, t3 230}; 231 232def macroop MOV_REAL_S_P { 233 rdip t7 234 ld t1, seg, riprel, disp, dataSize=2 235 zext t2, t1, 15 236 slli t3, t2, 2, dataSize=8 237 wrsel reg, t1 238 wrbase reg, t3 239}; 240 241def macroop MOV_S_R { 242 andi t0, regm, 0xFC, flags=(EZF,), dataSize=2 243 br label("processDescriptor"), flags=(CEZF,) 244 andi t2, regm, 0xF8, dataSize=8 245 andi t0, regm, 0x4, flags=(EZF,), dataSize=2 246 br label("globalDescriptor"), flags=(CEZF,) 247 ld t3, tsl, [1, t0, t2], dataSize=8 248 br label("processDescriptor") 249globalDescriptor: 250 ld t3, tsg, [1, t0, t2], dataSize=8 251processDescriptor: 252 chks regm, t3, dataSize=8 253 wrdl reg, t3, regm 254 wrsel reg, regm 255}; 256 257def macroop MOV_S_M { 258 ld t1, seg, sib, disp, dataSize=2 259 andi t0, t1, 0xFC, flags=(EZF,), dataSize=2 260 br label("processDescriptor"), flags=(CEZF,) 261 andi t2, t1, 0xF8, dataSize=8 262 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 263 br label("globalDescriptor"), flags=(CEZF,) 264 ld t3, tsl, [1, t0, t2], dataSize=8 265 br label("processDescriptor") 266globalDescriptor: 267 ld t3, tsg, [1, t0, t2], dataSize=8 268processDescriptor: 269 chks t1, t3, dataSize=8 270 wrdl reg, t3, t1 271 wrsel reg, t1 272}; 273 274def macroop MOV_S_P { 275 rdip t7 276 ld t1, seg, riprel, disp, dataSize=2 277 andi t0, t1, 0xFC, flags=(EZF,), dataSize=2 278 br label("processDescriptor"), flags=(CEZF,) 279 andi t2, t1, 0xF8, dataSize=8 280 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 281 br label("globalDescriptor"), flags=(CEZF,) 282 ld t3, tsl, [1, t0, t2], dataSize=8 283 br label("processDescriptor") 284globalDescriptor: 285 ld t3, tsg, [1, t0, t2], dataSize=8 286processDescriptor: 287 chks t1, t3, dataSize=8 288 wrdl reg, t3, t1 289 wrsel reg, t1 290}; 291 292def macroop MOVSS_S_R { 293 andi t0, regm, 0xFC, flags=(EZF,), dataSize=2 294 br label("processDescriptor"), flags=(CEZF,) 295 andi t2, regm, 0xF8, dataSize=8 296 andi t0, regm, 0x4, flags=(EZF,), dataSize=2 297 br label("globalDescriptor"), flags=(CEZF,) 298 ld t3, tsl, [1, t0, t2], dataSize=8 299 br label("processDescriptor") 300globalDescriptor: 301 ld t3, tsg, [1, t0, t2], dataSize=8 302processDescriptor: 303 chks regm, t3, SSCheck, dataSize=8 304 wrdl reg, t3, regm 305 wrsel reg, regm 306}; 307 308def macroop MOVSS_S_M { 309 ld t1, seg, sib, disp, dataSize=2 310 andi t0, t1, 0xFC, flags=(EZF,), dataSize=2 311 br label("processDescriptor"), flags=(CEZF,) 312 andi t2, t1, 0xF8, dataSize=8 313 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 314 br label("globalDescriptor"), flags=(CEZF,) 315 ld t3, tsl, [1, t0, t2], dataSize=8 316 br label("processDescriptor") 317globalDescriptor: 318 ld t3, tsg, [1, t0, t2], dataSize=8 319processDescriptor: 320 chks t1, t3, SSCheck, dataSize=8 321 wrdl reg, t3, t1 322 wrsel reg, t1 323}; 324 325def macroop MOVSS_S_P { 326 rdip t7 327 ld t1, seg, riprel, disp, dataSize=2 328 andi t0, t1, 0xFC, flags=(EZF,), dataSize=2 329 br label("processDescriptor"), flags=(CEZF,) 330 andi t2, t1, 0xF8, dataSize=8 331 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 332 br label("globalDescriptor"), flags=(CEZF,) 333 ld t3, tsl, [1, t0, t2], dataSize=8 334 br label("processDescriptor") 335globalDescriptor: 336 ld t3, tsg, [1, t0, t2], dataSize=8 337processDescriptor: 338 chks t1, t3, SSCheck, dataSize=8 339 wrdl reg, t3, t1 340 wrsel reg, t1 341}; 342''' 343#let {{ 344# class MOVD(Inst): 345# "GenFault ${new UnimpInstFault}" 346# class MOVNTI(Inst): 347# "GenFault ${new UnimpInstFault}" 348#}}; 349