stack_operations.py revision 5081
15081Sgblack@eecs.umich.edu# Copyright (c) 2007 The Hewlett-Packard Development Company 25081Sgblack@eecs.umich.edu# All rights reserved. 35081Sgblack@eecs.umich.edu# 45081Sgblack@eecs.umich.edu# Redistribution and use of this software in source and binary forms, 55081Sgblack@eecs.umich.edu# with or without modification, are permitted provided that the 65081Sgblack@eecs.umich.edu# following conditions are met: 75081Sgblack@eecs.umich.edu# 85081Sgblack@eecs.umich.edu# The software must be used only for Non-Commercial Use which means any 95081Sgblack@eecs.umich.edu# use which is NOT directed to receiving any direct monetary 105081Sgblack@eecs.umich.edu# compensation for, or commercial advantage from such use. Illustrative 115081Sgblack@eecs.umich.edu# examples of non-commercial use are academic research, personal study, 125081Sgblack@eecs.umich.edu# teaching, education and corporate research & development. 135081Sgblack@eecs.umich.edu# Illustrative examples of commercial use are distributing products for 145081Sgblack@eecs.umich.edu# commercial advantage and providing services using the software for 155081Sgblack@eecs.umich.edu# commercial advantage. 165081Sgblack@eecs.umich.edu# 175081Sgblack@eecs.umich.edu# If you wish to use this software or functionality therein that may be 185081Sgblack@eecs.umich.edu# covered by patents for commercial use, please contact: 195081Sgblack@eecs.umich.edu# Director of Intellectual Property Licensing 205081Sgblack@eecs.umich.edu# Office of Strategy and Technology 215081Sgblack@eecs.umich.edu# Hewlett-Packard Company 225081Sgblack@eecs.umich.edu# 1501 Page Mill Road 235081Sgblack@eecs.umich.edu# Palo Alto, California 94304 245081Sgblack@eecs.umich.edu# 255081Sgblack@eecs.umich.edu# Redistributions of source code must retain the above copyright notice, 265081Sgblack@eecs.umich.edu# this list of conditions and the following disclaimer. Redistributions 275081Sgblack@eecs.umich.edu# in binary form must reproduce the above copyright notice, this list of 285081Sgblack@eecs.umich.edu# conditions and the following disclaimer in the documentation and/or 295081Sgblack@eecs.umich.edu# other materials provided with the distribution. Neither the name of 305081Sgblack@eecs.umich.edu# the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its 315081Sgblack@eecs.umich.edu# contributors may be used to endorse or promote products derived from 325081Sgblack@eecs.umich.edu# this software without specific prior written permission. No right of 335081Sgblack@eecs.umich.edu# sublicense is granted herewith. Derivatives of the software and 345081Sgblack@eecs.umich.edu# output created using the software may be prepared, but only for 355081Sgblack@eecs.umich.edu# Non-Commercial Uses. Derivatives of the software may be shared with 365081Sgblack@eecs.umich.edu# others provided: (i) the others agree to abide by the list of 375081Sgblack@eecs.umich.edu# conditions herein which includes the Non-Commercial Use restrictions; 385081Sgblack@eecs.umich.edu# and (ii) such Derivatives of the software include the above copyright 395081Sgblack@eecs.umich.edu# notice to acknowledge the contribution from this software where 405081Sgblack@eecs.umich.edu# applicable, this list of conditions and the disclaimer below. 415081Sgblack@eecs.umich.edu# 425081Sgblack@eecs.umich.edu# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 435081Sgblack@eecs.umich.edu# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 445081Sgblack@eecs.umich.edu# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 455081Sgblack@eecs.umich.edu# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 465081Sgblack@eecs.umich.edu# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 475081Sgblack@eecs.umich.edu# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 485081Sgblack@eecs.umich.edu# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 495081Sgblack@eecs.umich.edu# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 505081Sgblack@eecs.umich.edu# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 515081Sgblack@eecs.umich.edu# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 525081Sgblack@eecs.umich.edu# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 535081Sgblack@eecs.umich.edu# 545081Sgblack@eecs.umich.edu# Authors: Gabe Black 555081Sgblack@eecs.umich.edu 565081Sgblack@eecs.umich.edumicrocode = ''' 575081Sgblack@eecs.umich.edudef macroop POP_R { 585081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 595081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 605081Sgblack@eecs.umich.edu 615081Sgblack@eecs.umich.edu ld reg, ss, [1, t0, rsp] 625081Sgblack@eecs.umich.edu addi rsp, rsp, dsz 635081Sgblack@eecs.umich.edu}; 645081Sgblack@eecs.umich.edu 655081Sgblack@eecs.umich.edudef macroop POP_M { 665081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 675081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 685081Sgblack@eecs.umich.edu 695081Sgblack@eecs.umich.edu ld t1, ss, [1, t0, rsp] 705081Sgblack@eecs.umich.edu addi rsp, rsp, dsz 715081Sgblack@eecs.umich.edu st t1, seg, sib, disp 725081Sgblack@eecs.umich.edu}; 735081Sgblack@eecs.umich.edu 745081Sgblack@eecs.umich.edudef macroop POP_P { 755081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 765081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 775081Sgblack@eecs.umich.edu 785081Sgblack@eecs.umich.edu rdip t7 795081Sgblack@eecs.umich.edu ld t1, ss, [1, t0, rsp] 805081Sgblack@eecs.umich.edu addi rsp, rsp, dsz 815081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 825081Sgblack@eecs.umich.edu}; 835081Sgblack@eecs.umich.edu 845081Sgblack@eecs.umich.edudef macroop PUSH_R { 855081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 865081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 875081Sgblack@eecs.umich.edu 885081Sgblack@eecs.umich.edu # This needs to work slightly differently from the other versions of push 895081Sgblack@eecs.umich.edu # because the -original- version of the stack pointer is what gets pushed 905081Sgblack@eecs.umich.edu st reg, ss, [1, t0, rsp], "-env.dataSize" 915081Sgblack@eecs.umich.edu subi rsp, rsp, dsz 925081Sgblack@eecs.umich.edu}; 935081Sgblack@eecs.umich.edu 945081Sgblack@eecs.umich.edudef macroop PUSH_I { 955081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 965081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 975081Sgblack@eecs.umich.edu 985081Sgblack@eecs.umich.edu limm t1, imm 995081Sgblack@eecs.umich.edu subi rsp, rsp, dsz 1005081Sgblack@eecs.umich.edu st t1, ss, [1, t0, rsp] 1015081Sgblack@eecs.umich.edu}; 1025081Sgblack@eecs.umich.edu 1035081Sgblack@eecs.umich.edudef macroop PUSH_M { 1045081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 1055081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 1065081Sgblack@eecs.umich.edu 1075081Sgblack@eecs.umich.edu ld t1, seg, sib, disp 1085081Sgblack@eecs.umich.edu subi rsp, rsp, dsz 1095081Sgblack@eecs.umich.edu st t1, ss, [1, t0, rsp] 1105081Sgblack@eecs.umich.edu}; 1115081Sgblack@eecs.umich.edu 1125081Sgblack@eecs.umich.edudef macroop PUSH_P { 1135081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 1145081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 1155081Sgblack@eecs.umich.edu 1165081Sgblack@eecs.umich.edu rdip t7 1175081Sgblack@eecs.umich.edu ld t1, seg, riprel, disp 1185081Sgblack@eecs.umich.edu subi rsp, rsp, dsz 1195081Sgblack@eecs.umich.edu st t1, ss, [1, t0, rsp] 1205081Sgblack@eecs.umich.edu}; 1215081Sgblack@eecs.umich.edu 1225081Sgblack@eecs.umich.edudef macroop PUSHA { 1235081Sgblack@eecs.umich.edu st rax, ss, [1, t0, rsp], "-0 * env.dataSize" 1245081Sgblack@eecs.umich.edu st rcx, ss, [1, t0, rsp], "-1 * env.dataSize" 1255081Sgblack@eecs.umich.edu st rdx, ss, [1, t0, rsp], "-2 * env.dataSize" 1265081Sgblack@eecs.umich.edu st rbx, ss, [1, t0, rsp], "-3 * env.dataSize" 1275081Sgblack@eecs.umich.edu st rsp, ss, [1, t0, rsp], "-4 * env.dataSize" 1285081Sgblack@eecs.umich.edu st rbp, ss, [1, t0, rsp], "-5 * env.dataSize" 1295081Sgblack@eecs.umich.edu st rsi, ss, [1, t0, rsp], "-6 * env.dataSize" 1305081Sgblack@eecs.umich.edu st rdi, ss, [1, t0, rsp], "-7 * env.dataSize" 1315081Sgblack@eecs.umich.edu subi rsp, rsp, "8 * env.dataSize" 1325081Sgblack@eecs.umich.edu}; 1335081Sgblack@eecs.umich.edu 1345081Sgblack@eecs.umich.edudef macroop POPA { 1355081Sgblack@eecs.umich.edu ld rdi, ss, [1, t0, rsp], "0 * env.dataSize" 1365081Sgblack@eecs.umich.edu ld rsi, ss, [1, t0, rsp], "1 * env.dataSize" 1375081Sgblack@eecs.umich.edu ld rbp, ss, [1, t0, rsp], "2 * env.dataSize" 1385081Sgblack@eecs.umich.edu ld rbx, ss, [1, t0, rsp], "4 * env.dataSize" 1395081Sgblack@eecs.umich.edu ld rdx, ss, [1, t0, rsp], "5 * env.dataSize" 1405081Sgblack@eecs.umich.edu ld rcx, ss, [1, t0, rsp], "6 * env.dataSize" 1415081Sgblack@eecs.umich.edu ld rax, ss, [1, t0, rsp], "7 * env.dataSize" 1425081Sgblack@eecs.umich.edu addi rsp, rsp, "8 * env.dataSize" 1435081Sgblack@eecs.umich.edu}; 1445081Sgblack@eecs.umich.edu 1455081Sgblack@eecs.umich.edudef macroop LEAVE { 1465081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 1475081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 1485081Sgblack@eecs.umich.edu 1495081Sgblack@eecs.umich.edu mov rsp, rsp, rbp 1505081Sgblack@eecs.umich.edu ld rbp, ss, [1, t0, rsp] 1515081Sgblack@eecs.umich.edu addi rsp, rsp, dsz 1525081Sgblack@eecs.umich.edu}; 1535081Sgblack@eecs.umich.edu''' 1545081Sgblack@eecs.umich.edu#let {{ 1555081Sgblack@eecs.umich.edu# class ENTER(Inst): 1565081Sgblack@eecs.umich.edu# "GenFault ${new UnimpInstFault}" 1575081Sgblack@eecs.umich.edu#}}; 158