jump.py revision 7931
15081Sgblack@eecs.umich.edu# Copyright (c) 2007 The Hewlett-Packard Development Company
25081Sgblack@eecs.umich.edu# All rights reserved.
35081Sgblack@eecs.umich.edu#
47087Snate@binkert.org# The license below extends only to copyright in the software and shall
57087Snate@binkert.org# not be construed as granting a license to any other intellectual
67087Snate@binkert.org# property including but not limited to intellectual property relating
77087Snate@binkert.org# to a hardware implementation of the functionality of the software
87087Snate@binkert.org# licensed hereunder.  You may use the software subject to the license
97087Snate@binkert.org# terms below provided that you ensure that this notice is replicated
107087Snate@binkert.org# unmodified and in its entirety in all distributions of the software,
117087Snate@binkert.org# modified or unmodified, in source code or in binary form.
125081Sgblack@eecs.umich.edu#
137087Snate@binkert.org# Redistribution and use in source and binary forms, with or without
147087Snate@binkert.org# modification, are permitted provided that the following conditions are
157087Snate@binkert.org# met: redistributions of source code must retain the above copyright
167087Snate@binkert.org# notice, this list of conditions and the following disclaimer;
177087Snate@binkert.org# redistributions in binary form must reproduce the above copyright
187087Snate@binkert.org# notice, this list of conditions and the following disclaimer in the
197087Snate@binkert.org# documentation and/or other materials provided with the distribution;
207087Snate@binkert.org# neither the name of the copyright holders nor the names of its
215081Sgblack@eecs.umich.edu# contributors may be used to endorse or promote products derived from
227087Snate@binkert.org# this software without specific prior written permission.
235081Sgblack@eecs.umich.edu#
245081Sgblack@eecs.umich.edu# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
255081Sgblack@eecs.umich.edu# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
265081Sgblack@eecs.umich.edu# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
275081Sgblack@eecs.umich.edu# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
285081Sgblack@eecs.umich.edu# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
295081Sgblack@eecs.umich.edu# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
305081Sgblack@eecs.umich.edu# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
315081Sgblack@eecs.umich.edu# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
325081Sgblack@eecs.umich.edu# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
335081Sgblack@eecs.umich.edu# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
345081Sgblack@eecs.umich.edu# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
355081Sgblack@eecs.umich.edu#
365081Sgblack@eecs.umich.edu# Authors: Gabe Black
375081Sgblack@eecs.umich.edu
385081Sgblack@eecs.umich.edumicrocode = '''
395081Sgblack@eecs.umich.edudef macroop JMP_I
405081Sgblack@eecs.umich.edu{
415081Sgblack@eecs.umich.edu    # Make the default data size of jumps 64 bits in 64 bit mode
425081Sgblack@eecs.umich.edu    .adjust_env oszIn64Override
435081Sgblack@eecs.umich.edu
445081Sgblack@eecs.umich.edu    rdip t1
455081Sgblack@eecs.umich.edu    limm t2, imm
465081Sgblack@eecs.umich.edu    wrip t1, t2
475081Sgblack@eecs.umich.edu};
485081Sgblack@eecs.umich.edu
495081Sgblack@eecs.umich.edudef macroop JMP_R
505081Sgblack@eecs.umich.edu{
515081Sgblack@eecs.umich.edu    # Make the default data size of jumps 64 bits in 64 bit mode
525081Sgblack@eecs.umich.edu    .adjust_env oszIn64Override
535081Sgblack@eecs.umich.edu
545081Sgblack@eecs.umich.edu    wripi reg, 0
555081Sgblack@eecs.umich.edu};
565081Sgblack@eecs.umich.edu
575081Sgblack@eecs.umich.edudef macroop JMP_M
585081Sgblack@eecs.umich.edu{
595081Sgblack@eecs.umich.edu    # Make the default data size of jumps 64 bits in 64 bit mode
605081Sgblack@eecs.umich.edu    .adjust_env oszIn64Override
615081Sgblack@eecs.umich.edu
625081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
635081Sgblack@eecs.umich.edu    wripi t1, 0
645081Sgblack@eecs.umich.edu};
655081Sgblack@eecs.umich.edu
665081Sgblack@eecs.umich.edudef macroop JMP_P
675081Sgblack@eecs.umich.edu{
685081Sgblack@eecs.umich.edu    # Make the default data size of jumps 64 bits in 64 bit mode
695081Sgblack@eecs.umich.edu    .adjust_env oszIn64Override
705081Sgblack@eecs.umich.edu
715081Sgblack@eecs.umich.edu    rdip t7
725081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
735081Sgblack@eecs.umich.edu    wripi t1, 0
745081Sgblack@eecs.umich.edu};
756060Sgblack@eecs.umich.edu
766060Sgblack@eecs.umich.edudef macroop JMP_FAR_M
776060Sgblack@eecs.umich.edu{
786060Sgblack@eecs.umich.edu    limm t1, 0, dataSize=8
796060Sgblack@eecs.umich.edu    limm t2, 0, dataSize=8
806060Sgblack@eecs.umich.edu    lea t1, seg, sib, disp, dataSize=asz
816060Sgblack@eecs.umich.edu    ld t2, seg, [1, t0, t1], dsz
826060Sgblack@eecs.umich.edu    ld t1, seg, [1, t0, t1]
836060Sgblack@eecs.umich.edu    br rom_label("jmpFarWork")
846060Sgblack@eecs.umich.edu};
856060Sgblack@eecs.umich.edu
866060Sgblack@eecs.umich.edudef macroop JMP_FAR_P
876060Sgblack@eecs.umich.edu{
886060Sgblack@eecs.umich.edu    limm t1, 0, dataSize=8
896060Sgblack@eecs.umich.edu    limm t2, 0, dataSize=8
906060Sgblack@eecs.umich.edu    rdip t7, dataSize=asz
916060Sgblack@eecs.umich.edu    lea t1, seg, riprel, disp, dataSize=asz
926060Sgblack@eecs.umich.edu    ld t2, seg, [1, t0, t1], dsz
936060Sgblack@eecs.umich.edu    ld t1, seg, [1, t0, t1]
946060Sgblack@eecs.umich.edu    br rom_label("jmpFarWork")
956060Sgblack@eecs.umich.edu};
966060Sgblack@eecs.umich.edu
976060Sgblack@eecs.umich.edudef macroop JMP_FAR_I
986060Sgblack@eecs.umich.edu{
996060Sgblack@eecs.umich.edu    # Put the whole far pointer into a register.
1006060Sgblack@eecs.umich.edu    limm t2, imm, dataSize=8
1016060Sgblack@eecs.umich.edu    # Figure out the width of the offset.
1026060Sgblack@eecs.umich.edu    limm t3, dsz, dataSize=8
1036344Sgblack@eecs.umich.edu    slli t3, t3, 3, dataSize=8
1047931Stharris@microsoft.com    # Get the offset into t1.
1057931Stharris@microsoft.com    mov t1, t0, t2
1067931Stharris@microsoft.com    # Get the selector into t2.
1077931Stharris@microsoft.com    srl t2, t2, t3, dataSize=8
1087931Stharris@microsoft.com    mov t2, t0, t2, dataSize=2
1096060Sgblack@eecs.umich.edu    br rom_label("jmpFarWork")
1106060Sgblack@eecs.umich.edu};
1116060Sgblack@eecs.umich.edu
1126060Sgblack@eecs.umich.edudef rom
1136060Sgblack@eecs.umich.edu{
1146060Sgblack@eecs.umich.edu    extern jmpFarWork:
1156060Sgblack@eecs.umich.edu    # t1 has the offset and t2 has the new selector.
1166060Sgblack@eecs.umich.edu    # This is intended to run in protected mode.
1176060Sgblack@eecs.umich.edu    andi t0, t2, 0xFC, flags=(EZF,), dataSize=2
1186060Sgblack@eecs.umich.edu    fault "new GeneralProtection(0)", flags=(CEZF,)
1196060Sgblack@eecs.umich.edu    andi t3, t2, 0xF8, dataSize=8
1206060Sgblack@eecs.umich.edu    andi t0, t2, 0x4, flags=(EZF,), dataSize=2
1216060Sgblack@eecs.umich.edu    br rom_local_label("farJmpGlobalDescriptor"), flags=(CEZF,)
1226060Sgblack@eecs.umich.edu    ld t4, tsl, [1, t0, t3], dataSize=8, addressSize=8, atCPL0=True
1236060Sgblack@eecs.umich.edu    br rom_local_label("farJmpProcessDescriptor")
1246060Sgblack@eecs.umich.edufarJmpGlobalDescriptor:
1256060Sgblack@eecs.umich.edu    ld t4, tsg, [1, t0, t3], dataSize=8, addressSize=8, atCPL0=True
1266060Sgblack@eecs.umich.edufarJmpProcessDescriptor:
1276060Sgblack@eecs.umich.edu    rcri t0, t4, 13, flags=(ECF,), dataSize=2
1286060Sgblack@eecs.umich.edu    br rom_local_label("farJmpSystemDescriptor"), flags=(nCECF,)
1296060Sgblack@eecs.umich.edu    chks t2, t4, CSCheck, dataSize=8
1306060Sgblack@eecs.umich.edu    wrdl cs, t4, t2
1316060Sgblack@eecs.umich.edu    wrsel cs, t2
1326060Sgblack@eecs.umich.edu    wrip t0, t1
1336060Sgblack@eecs.umich.edu    eret
1346060Sgblack@eecs.umich.edu
1356060Sgblack@eecs.umich.edufarJmpSystemDescriptor:
1366060Sgblack@eecs.umich.edu    panic "Far jumps to system descriptors aren't implemented"
1376060Sgblack@eecs.umich.edu    eret
1386060Sgblack@eecs.umich.edu};
1396060Sgblack@eecs.umich.edu
1406060Sgblack@eecs.umich.edudef macroop JMP_FAR_REAL_M
1416060Sgblack@eecs.umich.edu{
1426060Sgblack@eecs.umich.edu    lea t1, seg, sib, disp, dataSize=asz
1436060Sgblack@eecs.umich.edu    ld t2, seg, [1, t0, t1], dsz
1446060Sgblack@eecs.umich.edu    ld t1, seg, [1, t0, t1]
1456060Sgblack@eecs.umich.edu    zexti t3, t1, 15, dataSize=8
1466060Sgblack@eecs.umich.edu    slli t3, t3, 4, dataSize=8
1476060Sgblack@eecs.umich.edu    wrsel cs, t1, dataSize=2
1486060Sgblack@eecs.umich.edu    wrbase cs, t3
1496060Sgblack@eecs.umich.edu    wrip t0, t2, dataSize=asz
1506060Sgblack@eecs.umich.edu};
1516060Sgblack@eecs.umich.edu
1526060Sgblack@eecs.umich.edudef macroop JMP_FAR_REAL_P
1536060Sgblack@eecs.umich.edu{
1546060Sgblack@eecs.umich.edu    panic "Real mode far jump executed in 64 bit mode!"
1556060Sgblack@eecs.umich.edu};
1566060Sgblack@eecs.umich.edu
1576060Sgblack@eecs.umich.edudef macroop JMP_FAR_REAL_I
1586060Sgblack@eecs.umich.edu{
1596060Sgblack@eecs.umich.edu    # Put the whole far pointer into a register.
1606060Sgblack@eecs.umich.edu    limm t2, imm, dataSize=8
1616060Sgblack@eecs.umich.edu    # Figure out the width of the offset.
1626060Sgblack@eecs.umich.edu    limm t3, dsz, dataSize=8
1636344Sgblack@eecs.umich.edu    slli t3, t3, 3, dataSize=8
1646060Sgblack@eecs.umich.edu    # Get the selector into t1.
1656060Sgblack@eecs.umich.edu    sll t1, t2, t3, dataSize=8
1666060Sgblack@eecs.umich.edu    mov t1, t0, t1, dataSize=2
1676060Sgblack@eecs.umich.edu    # And get the offset into t2
1686060Sgblack@eecs.umich.edu    mov t2, t0, t2
1696060Sgblack@eecs.umich.edu    slli t3, t3, 4, dataSize=8
1706060Sgblack@eecs.umich.edu    wrsel cs, t1, dataSize=2
1716060Sgblack@eecs.umich.edu    wrbase cs, t3
1726060Sgblack@eecs.umich.edu    wrip t0, t2, dataSize=asz
1736060Sgblack@eecs.umich.edu};
1745081Sgblack@eecs.umich.edu'''
175