jump.py (6060:3d524dc980a8) jump.py (6344:b7104eda0795)
1# Copyright (c) 2007 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 = '''
57def macroop JMP_I
58{
59 # Make the default data size of jumps 64 bits in 64 bit mode
60 .adjust_env oszIn64Override
61
62 rdip t1
63 limm t2, imm
64 wrip t1, t2
65};
66
67def macroop JMP_R
68{
69 # Make the default data size of jumps 64 bits in 64 bit mode
70 .adjust_env oszIn64Override
71
72 wripi reg, 0
73};
74
75def macroop JMP_M
76{
77 # Make the default data size of jumps 64 bits in 64 bit mode
78 .adjust_env oszIn64Override
79
80 ld t1, seg, sib, disp
81 wripi t1, 0
82};
83
84def macroop JMP_P
85{
86 # Make the default data size of jumps 64 bits in 64 bit mode
87 .adjust_env oszIn64Override
88
89 rdip t7
90 ld t1, seg, riprel, disp
91 wripi t1, 0
92};
93
94def macroop JMP_FAR_M
95{
96 limm t1, 0, dataSize=8
97 limm t2, 0, dataSize=8
98 lea t1, seg, sib, disp, dataSize=asz
99 ld t2, seg, [1, t0, t1], dsz
100 ld t1, seg, [1, t0, t1]
101 br rom_label("jmpFarWork")
102};
103
104def macroop JMP_FAR_P
105{
106 limm t1, 0, dataSize=8
107 limm t2, 0, dataSize=8
108 rdip t7, dataSize=asz
109 lea t1, seg, riprel, disp, dataSize=asz
110 ld t2, seg, [1, t0, t1], dsz
111 ld t1, seg, [1, t0, t1]
112 br rom_label("jmpFarWork")
113};
114
115def macroop JMP_FAR_I
116{
117 # Put the whole far pointer into a register.
118 limm t2, imm, dataSize=8
119 # Figure out the width of the offset.
120 limm t3, dsz, dataSize=8
1# Copyright (c) 2007 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 = '''
57def macroop JMP_I
58{
59 # Make the default data size of jumps 64 bits in 64 bit mode
60 .adjust_env oszIn64Override
61
62 rdip t1
63 limm t2, imm
64 wrip t1, t2
65};
66
67def macroop JMP_R
68{
69 # Make the default data size of jumps 64 bits in 64 bit mode
70 .adjust_env oszIn64Override
71
72 wripi reg, 0
73};
74
75def macroop JMP_M
76{
77 # Make the default data size of jumps 64 bits in 64 bit mode
78 .adjust_env oszIn64Override
79
80 ld t1, seg, sib, disp
81 wripi t1, 0
82};
83
84def macroop JMP_P
85{
86 # Make the default data size of jumps 64 bits in 64 bit mode
87 .adjust_env oszIn64Override
88
89 rdip t7
90 ld t1, seg, riprel, disp
91 wripi t1, 0
92};
93
94def macroop JMP_FAR_M
95{
96 limm t1, 0, dataSize=8
97 limm t2, 0, dataSize=8
98 lea t1, seg, sib, disp, dataSize=asz
99 ld t2, seg, [1, t0, t1], dsz
100 ld t1, seg, [1, t0, t1]
101 br rom_label("jmpFarWork")
102};
103
104def macroop JMP_FAR_P
105{
106 limm t1, 0, dataSize=8
107 limm t2, 0, dataSize=8
108 rdip t7, dataSize=asz
109 lea t1, seg, riprel, disp, dataSize=asz
110 ld t2, seg, [1, t0, t1], dsz
111 ld t1, seg, [1, t0, t1]
112 br rom_label("jmpFarWork")
113};
114
115def macroop JMP_FAR_I
116{
117 # Put the whole far pointer into a register.
118 limm t2, imm, dataSize=8
119 # Figure out the width of the offset.
120 limm t3, dsz, dataSize=8
121 sll t3, t3, 3, dataSize=8
121 slli t3, t3, 3, dataSize=8
122 # Get the selector into t1.
123 sll t1, t2, t3, dataSize=8
124 mov t1, t0, t1, dataSize=2
125 # And get the offset into t2
126 mov t2, t0, t2
127 br rom_label("jmpFarWork")
128};
129
130def rom
131{
132 extern jmpFarWork:
133 # t1 has the offset and t2 has the new selector.
134 # This is intended to run in protected mode.
135 andi t0, t2, 0xFC, flags=(EZF,), dataSize=2
136 fault "new GeneralProtection(0)", flags=(CEZF,)
137 andi t3, t2, 0xF8, dataSize=8
138 andi t0, t2, 0x4, flags=(EZF,), dataSize=2
139 br rom_local_label("farJmpGlobalDescriptor"), flags=(CEZF,)
140 ld t4, tsl, [1, t0, t3], dataSize=8, addressSize=8, atCPL0=True
141 br rom_local_label("farJmpProcessDescriptor")
142farJmpGlobalDescriptor:
143 ld t4, tsg, [1, t0, t3], dataSize=8, addressSize=8, atCPL0=True
144farJmpProcessDescriptor:
145 rcri t0, t4, 13, flags=(ECF,), dataSize=2
146 br rom_local_label("farJmpSystemDescriptor"), flags=(nCECF,)
147 chks t2, t4, CSCheck, dataSize=8
148 wrdl cs, t4, t2
149 wrsel cs, t2
150 wrip t0, t1
151 eret
152
153farJmpSystemDescriptor:
154 panic "Far jumps to system descriptors aren't implemented"
155 eret
156};
157
158def macroop JMP_FAR_REAL_M
159{
160 lea t1, seg, sib, disp, dataSize=asz
161 ld t2, seg, [1, t0, t1], dsz
162 ld t1, seg, [1, t0, t1]
163 zexti t3, t1, 15, dataSize=8
164 slli t3, t3, 4, dataSize=8
165 wrsel cs, t1, dataSize=2
166 wrbase cs, t3
167 wrip t0, t2, dataSize=asz
168};
169
170def macroop JMP_FAR_REAL_P
171{
172 panic "Real mode far jump executed in 64 bit mode!"
173};
174
175def macroop JMP_FAR_REAL_I
176{
177 # Put the whole far pointer into a register.
178 limm t2, imm, dataSize=8
179 # Figure out the width of the offset.
180 limm t3, dsz, dataSize=8
122 # Get the selector into t1.
123 sll t1, t2, t3, dataSize=8
124 mov t1, t0, t1, dataSize=2
125 # And get the offset into t2
126 mov t2, t0, t2
127 br rom_label("jmpFarWork")
128};
129
130def rom
131{
132 extern jmpFarWork:
133 # t1 has the offset and t2 has the new selector.
134 # This is intended to run in protected mode.
135 andi t0, t2, 0xFC, flags=(EZF,), dataSize=2
136 fault "new GeneralProtection(0)", flags=(CEZF,)
137 andi t3, t2, 0xF8, dataSize=8
138 andi t0, t2, 0x4, flags=(EZF,), dataSize=2
139 br rom_local_label("farJmpGlobalDescriptor"), flags=(CEZF,)
140 ld t4, tsl, [1, t0, t3], dataSize=8, addressSize=8, atCPL0=True
141 br rom_local_label("farJmpProcessDescriptor")
142farJmpGlobalDescriptor:
143 ld t4, tsg, [1, t0, t3], dataSize=8, addressSize=8, atCPL0=True
144farJmpProcessDescriptor:
145 rcri t0, t4, 13, flags=(ECF,), dataSize=2
146 br rom_local_label("farJmpSystemDescriptor"), flags=(nCECF,)
147 chks t2, t4, CSCheck, dataSize=8
148 wrdl cs, t4, t2
149 wrsel cs, t2
150 wrip t0, t1
151 eret
152
153farJmpSystemDescriptor:
154 panic "Far jumps to system descriptors aren't implemented"
155 eret
156};
157
158def macroop JMP_FAR_REAL_M
159{
160 lea t1, seg, sib, disp, dataSize=asz
161 ld t2, seg, [1, t0, t1], dsz
162 ld t1, seg, [1, t0, t1]
163 zexti t3, t1, 15, dataSize=8
164 slli t3, t3, 4, dataSize=8
165 wrsel cs, t1, dataSize=2
166 wrbase cs, t3
167 wrip t0, t2, dataSize=asz
168};
169
170def macroop JMP_FAR_REAL_P
171{
172 panic "Real mode far jump executed in 64 bit mode!"
173};
174
175def macroop JMP_FAR_REAL_I
176{
177 # Put the whole far pointer into a register.
178 limm t2, imm, dataSize=8
179 # Figure out the width of the offset.
180 limm t3, dsz, dataSize=8
181 sll t3, t3, 3, dataSize=8
181 slli t3, t3, 3, dataSize=8
182 # Get the selector into t1.
183 sll t1, t2, t3, dataSize=8
184 mov t1, t0, t1, dataSize=2
185 # And get the offset into t2
186 mov t2, t0, t2
187 slli t3, t3, 4, dataSize=8
188 wrsel cs, t1, dataSize=2
189 wrbase cs, t3
190 wrip t0, t2, dataSize=asz
191};
192'''
182 # Get the selector into t1.
183 sll t1, t2, t3, dataSize=8
184 mov t1, t0, t1, dataSize=2
185 # And get the offset into t2
186 mov t2, t0, t2
187 slli t3, t3, 4, dataSize=8
188 wrsel cs, t1, dataSize=2
189 wrbase cs, t3
190 wrip t0, t2, dataSize=asz
191};
192'''