stack_operations.py revision 5171
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] 705119Sgblack@eecs.umich.edu # Check stack address 715081Sgblack@eecs.umich.edu addi rsp, rsp, dsz 725081Sgblack@eecs.umich.edu st t1, seg, sib, disp 735081Sgblack@eecs.umich.edu}; 745081Sgblack@eecs.umich.edu 755081Sgblack@eecs.umich.edudef macroop POP_P { 765081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 775081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 785081Sgblack@eecs.umich.edu 795081Sgblack@eecs.umich.edu rdip t7 805081Sgblack@eecs.umich.edu ld t1, ss, [1, t0, rsp] 815119Sgblack@eecs.umich.edu # Check stack address 825081Sgblack@eecs.umich.edu addi rsp, rsp, dsz 835081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 845081Sgblack@eecs.umich.edu}; 855081Sgblack@eecs.umich.edu 865081Sgblack@eecs.umich.edudef macroop PUSH_R { 875081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 885081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 895081Sgblack@eecs.umich.edu 905081Sgblack@eecs.umich.edu # This needs to work slightly differently from the other versions of push 915081Sgblack@eecs.umich.edu # because the -original- version of the stack pointer is what gets pushed 925081Sgblack@eecs.umich.edu st reg, ss, [1, t0, rsp], "-env.dataSize" 935081Sgblack@eecs.umich.edu subi rsp, rsp, dsz 945081Sgblack@eecs.umich.edu}; 955081Sgblack@eecs.umich.edu 965081Sgblack@eecs.umich.edudef macroop PUSH_I { 975081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 985081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 995081Sgblack@eecs.umich.edu 1005081Sgblack@eecs.umich.edu limm t1, imm 1015119Sgblack@eecs.umich.edu st t1, ss, [1, t0, rsp], "-env.dataSize" 1025081Sgblack@eecs.umich.edu subi rsp, rsp, dsz 1035081Sgblack@eecs.umich.edu}; 1045081Sgblack@eecs.umich.edu 1055081Sgblack@eecs.umich.edudef macroop PUSH_M { 1065081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 1075081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 1085081Sgblack@eecs.umich.edu 1095081Sgblack@eecs.umich.edu ld t1, seg, sib, disp 1105119Sgblack@eecs.umich.edu st t1, ss, [1, t0, rsp], "-env.dataSize" 1115081Sgblack@eecs.umich.edu subi rsp, rsp, dsz 1125081Sgblack@eecs.umich.edu}; 1135081Sgblack@eecs.umich.edu 1145081Sgblack@eecs.umich.edudef macroop PUSH_P { 1155081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 1165081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 1175081Sgblack@eecs.umich.edu 1185081Sgblack@eecs.umich.edu rdip t7 1195081Sgblack@eecs.umich.edu ld t1, seg, riprel, disp 1205119Sgblack@eecs.umich.edu # Check stack address 1215081Sgblack@eecs.umich.edu subi rsp, rsp, dsz 1225081Sgblack@eecs.umich.edu st t1, ss, [1, t0, rsp] 1235081Sgblack@eecs.umich.edu}; 1245081Sgblack@eecs.umich.edu 1255081Sgblack@eecs.umich.edudef macroop PUSHA { 1265119Sgblack@eecs.umich.edu # Check all the stack addresses. 1275081Sgblack@eecs.umich.edu st rax, ss, [1, t0, rsp], "-0 * env.dataSize" 1285081Sgblack@eecs.umich.edu st rcx, ss, [1, t0, rsp], "-1 * env.dataSize" 1295081Sgblack@eecs.umich.edu st rdx, ss, [1, t0, rsp], "-2 * env.dataSize" 1305081Sgblack@eecs.umich.edu st rbx, ss, [1, t0, rsp], "-3 * env.dataSize" 1315081Sgblack@eecs.umich.edu st rsp, ss, [1, t0, rsp], "-4 * env.dataSize" 1325081Sgblack@eecs.umich.edu st rbp, ss, [1, t0, rsp], "-5 * env.dataSize" 1335081Sgblack@eecs.umich.edu st rsi, ss, [1, t0, rsp], "-6 * env.dataSize" 1345081Sgblack@eecs.umich.edu st rdi, ss, [1, t0, rsp], "-7 * env.dataSize" 1355081Sgblack@eecs.umich.edu subi rsp, rsp, "8 * env.dataSize" 1365081Sgblack@eecs.umich.edu}; 1375081Sgblack@eecs.umich.edu 1385081Sgblack@eecs.umich.edudef macroop POPA { 1395119Sgblack@eecs.umich.edu # Check all the stack addresses. 1405081Sgblack@eecs.umich.edu ld rdi, ss, [1, t0, rsp], "0 * env.dataSize" 1415081Sgblack@eecs.umich.edu ld rsi, ss, [1, t0, rsp], "1 * env.dataSize" 1425081Sgblack@eecs.umich.edu ld rbp, ss, [1, t0, rsp], "2 * env.dataSize" 1435081Sgblack@eecs.umich.edu ld rbx, ss, [1, t0, rsp], "4 * env.dataSize" 1445081Sgblack@eecs.umich.edu ld rdx, ss, [1, t0, rsp], "5 * env.dataSize" 1455081Sgblack@eecs.umich.edu ld rcx, ss, [1, t0, rsp], "6 * env.dataSize" 1465081Sgblack@eecs.umich.edu ld rax, ss, [1, t0, rsp], "7 * env.dataSize" 1475081Sgblack@eecs.umich.edu addi rsp, rsp, "8 * env.dataSize" 1485081Sgblack@eecs.umich.edu}; 1495081Sgblack@eecs.umich.edu 1505081Sgblack@eecs.umich.edudef macroop LEAVE { 1515081Sgblack@eecs.umich.edu # Make the default data size of pops 64 bits in 64 bit mode 1525081Sgblack@eecs.umich.edu .adjust_env oszIn64Override 1535081Sgblack@eecs.umich.edu 1545119Sgblack@eecs.umich.edu mov t1, t1, rbp 1555119Sgblack@eecs.umich.edu ld rbp, ss, [1, t0, t1] 1565119Sgblack@eecs.umich.edu mov rsp, rsp, t1 1575081Sgblack@eecs.umich.edu addi rsp, rsp, dsz 1585081Sgblack@eecs.umich.edu}; 1595171Sgblack@eecs.umich.edu 1605171Sgblack@eecs.umich.edudef macroop ENTER_I_I { 1615171Sgblack@eecs.umich.edu # This needs to check all the addresses it writes to before it actually 1625171Sgblack@eecs.umich.edu # writes any values. 1635171Sgblack@eecs.umich.edu 1645171Sgblack@eecs.umich.edu # Pull the different components out of the immediate 1655171Sgblack@eecs.umich.edu limm t1, imm 1665171Sgblack@eecs.umich.edu zext t2, t1, 16, dataSize=2 1675171Sgblack@eecs.umich.edu srl t1, t1, 16 1685171Sgblack@eecs.umich.edu zext t1, t1, 6 1695171Sgblack@eecs.umich.edu # t1 is now the masked nesting level, and t2 is the amount of storage. 1705171Sgblack@eecs.umich.edu 1715171Sgblack@eecs.umich.edu # Push rbp. 1725171Sgblack@eecs.umich.edu st rbp, ss, [1, t0, rsp], "-env.dataSize" 1735171Sgblack@eecs.umich.edu subi rsp, rsp, dsz 1745171Sgblack@eecs.umich.edu 1755171Sgblack@eecs.umich.edu # Save the stack pointer for later 1765171Sgblack@eecs.umich.edu mov t6, t6, rsp 1775171Sgblack@eecs.umich.edu 1785171Sgblack@eecs.umich.edu # If the nesting level is zero, skip all this stuff. 1795171Sgblack@eecs.umich.edu subi t0, t1, t0, flags=(EZF,), dataSize=2 1805171Sgblack@eecs.umich.edu bri t0, label("skipLoop"), flags=(CEZF,) 1815171Sgblack@eecs.umich.edu 1825171Sgblack@eecs.umich.edu # If the level was 1, only push the saved rbp 1835171Sgblack@eecs.umich.edu subi t0, t1, 1, flags=(EZF,) 1845171Sgblack@eecs.umich.edu bri t0, label("bottomOfLoop"), flags=(CEZF,) 1855171Sgblack@eecs.umich.edu 1865171Sgblack@eecs.umich.edu limm t4, "ULL(-1)", dataSize=8 1875171Sgblack@eecs.umich.edutopOfLoop: 1885171Sgblack@eecs.umich.edu ld t5, ss, [dsz, t4, rbp] 1895171Sgblack@eecs.umich.edu st t5, ss, [1, t0, rsp], "-env.dataSize" 1905171Sgblack@eecs.umich.edu subi rsp, rsp, dsz 1915171Sgblack@eecs.umich.edu 1925171Sgblack@eecs.umich.edu # If we're not done yet, loop 1935171Sgblack@eecs.umich.edu subi t4, t4, 1, dataSize=8 1945171Sgblack@eecs.umich.edu add t0, t4, t1, flags=(EZF,) 1955171Sgblack@eecs.umich.edu bri t0, label("topOfLoop"), flags=(nCEZF,) 1965171Sgblack@eecs.umich.edu 1975171Sgblack@eecs.umich.edubottomOfLoop: 1985171Sgblack@eecs.umich.edu # Push the old rbp onto the stack 1995171Sgblack@eecs.umich.edu st t6, ss, [1, t0, rsp], "-env.dataSize" 2005171Sgblack@eecs.umich.edu subi rsp, rsp, dsz 2015171Sgblack@eecs.umich.edu 2025171Sgblack@eecs.umich.eduskipLoop: 2035171Sgblack@eecs.umich.edu sub rsp, rsp, t2 2045171Sgblack@eecs.umich.edu mov rbp, rbp, t6 2055171Sgblack@eecs.umich.edu}; 2065081Sgblack@eecs.umich.edu''' 207