move.py revision 5543:3af77710f397
16019Shines@cs.fsu.edu# Copyright (c) 2007-2008 The Hewlett-Packard Development Company 26019Shines@cs.fsu.edu# All rights reserved. 36019Shines@cs.fsu.edu# 46757SAli.Saidi@ARM.com# Redistribution and use of this software in source and binary forms, 56019Shines@cs.fsu.edu# with or without modification, are permitted provided that the 66019Shines@cs.fsu.edu# following conditions are met: 76019Shines@cs.fsu.edu# 86019Shines@cs.fsu.edu# The software must be used only for Non-Commercial Use which means any 96019Shines@cs.fsu.edu# use which is NOT directed to receiving any direct monetary 106019Shines@cs.fsu.edu# compensation for, or commercial advantage from such use. Illustrative 116019Shines@cs.fsu.edu# examples of non-commercial use are academic research, personal study, 126019Shines@cs.fsu.edu# teaching, education and corporate research & development. 136019Shines@cs.fsu.edu# Illustrative examples of commercial use are distributing products for 146019Shines@cs.fsu.edu# commercial advantage and providing services using the software for 156019Shines@cs.fsu.edu# commercial advantage. 166019Shines@cs.fsu.edu# 176019Shines@cs.fsu.edu# If you wish to use this software or functionality therein that may be 186019Shines@cs.fsu.edu# covered by patents for commercial use, please contact: 196019Shines@cs.fsu.edu# Director of Intellectual Property Licensing 206019Shines@cs.fsu.edu# Office of Strategy and Technology 216019Shines@cs.fsu.edu# Hewlett-Packard Company 226019Shines@cs.fsu.edu# 1501 Page Mill Road 236019Shines@cs.fsu.edu# Palo Alto, California 94304 246019Shines@cs.fsu.edu# 256019Shines@cs.fsu.edu# Redistributions of source code must retain the above copyright notice, 266019Shines@cs.fsu.edu# this list of conditions and the following disclaimer. Redistributions 276019Shines@cs.fsu.edu# in binary form must reproduce the above copyright notice, this list of 286019Shines@cs.fsu.edu# conditions and the following disclaimer in the documentation and/or 296019Shines@cs.fsu.edu# other materials provided with the distribution. Neither the name of 306019Shines@cs.fsu.edu# the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its 316757SAli.Saidi@ARM.com# contributors may be used to endorse or promote products derived from 326019Shines@cs.fsu.edu# this software without specific prior written permission. No right of 336019Shines@cs.fsu.edu# sublicense is granted herewith. Derivatives of the software and 346019Shines@cs.fsu.edu# output created using the software may be prepared, but only for 356019Shines@cs.fsu.edu# Non-Commercial Uses. Derivatives of the software may be shared with 366019Shines@cs.fsu.edu# others provided: (i) the others agree to abide by the list of 376019Shines@cs.fsu.edu# conditions herein which includes the Non-Commercial Use restrictions; 386019Shines@cs.fsu.edu# and (ii) such Derivatives of the software include the above copyright 396019Shines@cs.fsu.edu# notice to acknowledge the contribution from this software where 406253Sgblack@eecs.umich.edu# applicable, this list of conditions and the disclaimer below. 416253Sgblack@eecs.umich.edu# 426253Sgblack@eecs.umich.edu# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 436253Sgblack@eecs.umich.edu# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 446397Sgblack@eecs.umich.edu# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 456019Shines@cs.fsu.edu# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 466019Shines@cs.fsu.edu# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 476019Shines@cs.fsu.edu# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 486757SAli.Saidi@ARM.com# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 496019Shines@cs.fsu.edu# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 506397Sgblack@eecs.umich.edu# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 516019Shines@cs.fsu.edu# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 526397Sgblack@eecs.umich.edu# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 536019Shines@cs.fsu.edu# 546735Sgblack@eecs.umich.edu# Authors: Gabe Black 556019Shines@cs.fsu.edu 566757SAli.Saidi@ARM.commicrocode = ''' 576757SAli.Saidi@ARM.com 586757SAli.Saidi@ARM.com# 596757SAli.Saidi@ARM.com# Regular moves 606757SAli.Saidi@ARM.com# 616757SAli.Saidi@ARM.com 626019Shines@cs.fsu.edudef macroop MOV_R_MI { 636019Shines@cs.fsu.edu limm t1, imm, dataSize=asz 646019Shines@cs.fsu.edu ld reg, seg, [1, t0, t1] 656019Shines@cs.fsu.edu}; 666019Shines@cs.fsu.edu 676019Shines@cs.fsu.edudef macroop MOV_MI_R { 686019Shines@cs.fsu.edu limm t1, imm, dataSize=asz 696019Shines@cs.fsu.edu st reg, seg, [1, t0, t1] 706019Shines@cs.fsu.edu}; 716019Shines@cs.fsu.edu 726019Shines@cs.fsu.edudef macroop MOV_R_R { 736019Shines@cs.fsu.edu 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 bri t0, label("processDescriptor"), flags=(CEZF,) 244 andi t2, regm, 0xF8, dataSize=8 245 andi t0, regm, 0x4, flags=(EZF,), dataSize=2 246 bri t0, label("globalDescriptor"), flags=(CEZF,) 247 ld t3, tsl, [1, t0, t2], dataSize=8 248 bri t0, 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 bri t0, label("processDescriptor"), flags=(CEZF,) 261 andi t2, t1, 0xF8, dataSize=8 262 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 263 bri t0, label("globalDescriptor"), flags=(CEZF,) 264 ld t3, tsl, [1, t0, t2], dataSize=8 265 bri t0, 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 bri t0, label("processDescriptor"), flags=(CEZF,) 279 andi t2, t1, 0xF8, dataSize=8 280 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 281 bri t0, label("globalDescriptor"), flags=(CEZF,) 282 ld t3, tsl, [1, t0, t2], dataSize=8 283 bri t0, 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 bri t0, label("processDescriptor"), flags=(CEZF,) 295 andi t2, regm, 0xF8, dataSize=8 296 andi t0, regm, 0x4, flags=(EZF,), dataSize=2 297 bri t0, label("globalDescriptor"), flags=(CEZF,) 298 ld t3, tsl, [1, t0, t2], dataSize=8 299 bri t0, 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 bri t0, label("processDescriptor"), flags=(CEZF,) 312 andi t2, t1, 0xF8, dataSize=8 313 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 314 bri t0, label("globalDescriptor"), flags=(CEZF,) 315 ld t3, tsl, [1, t0, t2], dataSize=8 316 bri t0, 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 bri t0, label("processDescriptor"), flags=(CEZF,) 330 andi t2, t1, 0xF8, dataSize=8 331 andi t0, t1, 0x4, flags=(EZF,), dataSize=2 332 bri t0, label("globalDescriptor"), flags=(CEZF,) 333 ld t3, tsl, [1, t0, t2], dataSize=8 334 bri t0, 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