stack_operations.py (5239:0920dfb94514) stack_operations.py (5432:e1e42f18d376)
1# Copyright (c) 2007 The Hewlett-Packard Development Company
1# Copyright (c) 2007-2008 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

--- 43 unchanged lines hidden (view full) ---

53#
54# Authors: Gabe Black
55
56microcode = '''
57def macroop POP_R {
58 # Make the default data size of pops 64 bits in 64 bit mode
59 .adjust_env oszIn64Override
60
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

--- 43 unchanged lines hidden (view full) ---

53#
54# Authors: Gabe Black
55
56microcode = '''
57def macroop POP_R {
58 # Make the default data size of pops 64 bits in 64 bit mode
59 .adjust_env oszIn64Override
60
61 ld t1, ss, [1, t0, rsp]
62 addi rsp, rsp, dsz
61 ld t1, ss, [1, t0, rsp], dataSize=ssz
62 addi rsp, rsp, ssz, dataSize=asz
63 mov reg, reg, t1
64};
65
66def macroop POP_M {
67 # Make the default data size of pops 64 bits in 64 bit mode
68 .adjust_env oszIn64Override
69
63 mov reg, reg, t1
64};
65
66def macroop POP_M {
67 # Make the default data size of pops 64 bits in 64 bit mode
68 .adjust_env oszIn64Override
69
70 ld t1, ss, [1, t0, rsp]
71 cda seg, sib, disp
72 addi rsp, rsp, dsz
73 st t1, seg, sib, disp
70 ld t1, ss, [1, t0, rsp], dataSize=ssz
71 cda seg, sib, disp, dataSize=ssz
72 addi rsp, rsp, ssz, dataSize=asz
73 st t1, seg, sib, disp, dataSize=ssz
74};
75
76def macroop POP_P {
77 # Make the default data size of pops 64 bits in 64 bit mode
78 .adjust_env oszIn64Override
79
80 rdip t7
74};
75
76def macroop POP_P {
77 # Make the default data size of pops 64 bits in 64 bit mode
78 .adjust_env oszIn64Override
79
80 rdip t7
81 ld t1, ss, [1, t0, rsp]
82 cda seg, sib, disp
83 addi rsp, rsp, dsz
84 st t1, seg, riprel, disp
81 ld t1, ss, [1, t0, rsp], dataSize=ssz
82 cda seg, sib, disp, dataSize=ssz
83 addi rsp, rsp, ssz, dataSize=asz
84 st t1, seg, riprel, disp, dataSize=ssz
85};
86
87def macroop PUSH_R {
88 # Make the default data size of pops 64 bits in 64 bit mode
89 .adjust_env oszIn64Override
90
85};
86
87def macroop PUSH_R {
88 # Make the default data size of pops 64 bits in 64 bit mode
89 .adjust_env oszIn64Override
90
91 stupd reg, ss, [1, t0, rsp], "-env.dataSize"
91 stupd reg, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
92};
93
94def macroop PUSH_I {
95 # Make the default data size of pops 64 bits in 64 bit mode
96 .adjust_env oszIn64Override
97
98 limm t1, imm
92};
93
94def macroop PUSH_I {
95 # Make the default data size of pops 64 bits in 64 bit mode
96 .adjust_env oszIn64Override
97
98 limm t1, imm
99 stupd t1, ss, [1, t0, rsp], "-env.dataSize"
99 stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
100};
101
102def macroop PUSH_M {
103 # Make the default data size of pops 64 bits in 64 bit mode
104 .adjust_env oszIn64Override
105
100};
101
102def macroop PUSH_M {
103 # Make the default data size of pops 64 bits in 64 bit mode
104 .adjust_env oszIn64Override
105
106 ld t1, seg, sib, disp
107 stupd t1, ss, [1, t0, rsp], "-env.dataSize"
106 ld t1, seg, sib, disp, dataSize=ssz
107 stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
108};
109
110def macroop PUSH_P {
111 # Make the default data size of pops 64 bits in 64 bit mode
112 .adjust_env oszIn64Override
113
114 rdip t7
108};
109
110def macroop PUSH_P {
111 # Make the default data size of pops 64 bits in 64 bit mode
112 .adjust_env oszIn64Override
113
114 rdip t7
115 ld t1, seg, riprel, disp
116 stupd t1, ss, [1, t0, rsp], "-env.dataSize"
115 ld t1, seg, riprel, disp, dataSize=ssz
116 stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
117};
118
119def macroop PUSHA {
120 # Check all the stack addresses. We'll assume that if the beginning and
121 # end are ok, then the stuff in the middle should be as well.
117};
118
119def macroop PUSHA {
120 # Check all the stack addresses. We'll assume that if the beginning and
121 # end are ok, then the stuff in the middle should be as well.
122 cda ss, [1, t0, rsp], "-env.dataSize"
123 cda ss, [1, t0, rsp], "-8 * env.dataSize"
124 stupd rax, ss, [1, t0, rsp], "-env.dataSize"
125 stupd rcx, ss, [1, t0, rsp], "-env.dataSize"
126 stupd rdx, ss, [1, t0, rsp], "-env.dataSize"
127 stupd rbx, ss, [1, t0, rsp], "-env.dataSize"
128 stupd rsp, ss, [1, t0, rsp], "-env.dataSize"
129 stupd rbp, ss, [1, t0, rsp], "-env.dataSize"
130 stupd rsi, ss, [1, t0, rsp], "-env.dataSize"
131 stupd rdi, ss, [1, t0, rsp], "-env.dataSize"
122 cda ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
123 cda ss, [1, t0, rsp], "-8 * env.stackSize", dataSize=ssz
124 stupd rax, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
125 stupd rcx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
126 stupd rdx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
127 stupd rbx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
128 stupd rsp, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
129 stupd rbp, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
130 stupd rsi, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
131 stupd rdi, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
132};
133
134def macroop POPA {
135 # Check all the stack addresses. We'll assume that if the beginning and
136 # end are ok, then the stuff in the middle should be as well.
132};
133
134def macroop POPA {
135 # Check all the stack addresses. We'll assume that if the beginning and
136 # end are ok, then the stuff in the middle should be as well.
137 ld t1, ss, [1, t0, rsp], "0 * env.dataSize"
138 ld t2, ss, [1, t0, rsp], "7 * env.dataSize"
139 mov rdi, rdi, t1
140 ld rsi, ss, [1, t0, rsp], "1 * env.dataSize"
141 ld rbp, ss, [1, t0, rsp], "2 * env.dataSize"
142 ld rbx, ss, [1, t0, rsp], "4 * env.dataSize"
143 ld rdx, ss, [1, t0, rsp], "5 * env.dataSize"
144 ld rcx, ss, [1, t0, rsp], "6 * env.dataSize"
145 mov rax, rax, t2
146 addi rsp, rsp, "8 * env.dataSize"
137 ld t1, ss, [1, t0, rsp], "0 * env.stackSize", dataSize=ssz
138 ld t2, ss, [1, t0, rsp], "7 * env.stackSize", dataSize=ssz
139 mov rdi, rdi, t1, dataSize=ssz
140 ld rsi, ss, [1, t0, rsp], "1 * env.stackSize", dataSize=ssz
141 ld rbp, ss, [1, t0, rsp], "2 * env.stackSize", dataSize=ssz
142 ld rbx, ss, [1, t0, rsp], "4 * env.stackSize", dataSize=ssz
143 ld rdx, ss, [1, t0, rsp], "5 * env.stackSize", dataSize=ssz
144 ld rcx, ss, [1, t0, rsp], "6 * env.stackSize", dataSize=ssz
145 mov rax, rax, t2, dataSize=ssz
146 addi rsp, rsp, "8 * env.stackSize", dataSize=asz
147};
148
149def macroop LEAVE {
150 # Make the default data size of pops 64 bits in 64 bit mode
151 .adjust_env oszIn64Override
152
147};
148
149def macroop LEAVE {
150 # Make the default data size of pops 64 bits in 64 bit mode
151 .adjust_env oszIn64Override
152
153 mov t1, t1, rbp
154 ld rbp, ss, [1, t0, t1]
155 mov rsp, rsp, t1
156 addi rsp, rsp, dsz
153 mov t1, t1, rbp, dataSize=asz
154 ld rbp, ss, [1, t0, t1], dataSize=ssz
155 mov rsp, rsp, t1, dataSize=asz
156 addi rsp, rsp, ssz, dataSize=asz
157};
158
159def macroop ENTER_I_I {
160 # This needs to check all the addresses it writes to before it actually
161 # writes any values.
162
163 # Pull the different components out of the immediate
164 limm t1, imm
165 zexti t2, t1, 15, dataSize=2
166 srl t1, t1, 16
167 zexti t1, t1, 5
168 # t1 is now the masked nesting level, and t2 is the amount of storage.
169
170 # Push rbp.
157};
158
159def macroop ENTER_I_I {
160 # This needs to check all the addresses it writes to before it actually
161 # writes any values.
162
163 # Pull the different components out of the immediate
164 limm t1, imm
165 zexti t2, t1, 15, dataSize=2
166 srl t1, t1, 16
167 zexti t1, t1, 5
168 # t1 is now the masked nesting level, and t2 is the amount of storage.
169
170 # Push rbp.
171 stupd rbp, ss, [1, t0, rsp], "-env.dataSize"
171 stupd rbp, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
172
173 # Save the stack pointer for later
172
173 # Save the stack pointer for later
174 mov t6, t6, rsp
174 mov t6, t6, rsp, dataSize=asz
175
176 # If the nesting level is zero, skip all this stuff.
177 subi t0, t1, t0, flags=(EZF,), dataSize=2
178 bri t0, label("skipLoop"), flags=(CEZF,)
179
180 # If the level was 1, only push the saved rbp
181 subi t0, t1, 1, flags=(EZF,)
182 bri t0, label("bottomOfLoop"), flags=(CEZF,)
183
184 limm t4, "ULL(-1)", dataSize=8
185topOfLoop:
175
176 # If the nesting level is zero, skip all this stuff.
177 subi t0, t1, t0, flags=(EZF,), dataSize=2
178 bri t0, label("skipLoop"), flags=(CEZF,)
179
180 # If the level was 1, only push the saved rbp
181 subi t0, t1, 1, flags=(EZF,)
182 bri t0, label("bottomOfLoop"), flags=(CEZF,)
183
184 limm t4, "ULL(-1)", dataSize=8
185topOfLoop:
186 ld t5, ss, [dsz, t4, rbp]
187 stupd t5, ss, [1, t0, rsp], "-env.dataSize"
186 ld t5, ss, [ssz, t4, rbp], dataSize=ssz
187 stupd t5, ss, [1, t0, rsp], "-env.stackSize"
188
189 # If we're not done yet, loop
190 subi t4, t4, 1, dataSize=8
191 add t0, t4, t1, flags=(EZF,)
192 bri t0, label("topOfLoop"), flags=(nCEZF,)
193
194bottomOfLoop:
195 # Push the old rbp onto the stack
188
189 # If we're not done yet, loop
190 subi t4, t4, 1, dataSize=8
191 add t0, t4, t1, flags=(EZF,)
192 bri t0, label("topOfLoop"), flags=(nCEZF,)
193
194bottomOfLoop:
195 # Push the old rbp onto the stack
196 stupd t6, ss, [1, t0, rsp], "-env.dataSize"
196 stupd t6, ss, [1, t0, rsp], "-env.stackSize"
197
198skipLoop:
197
198skipLoop:
199 sub rsp, rsp, t2
200 mov rbp, rbp, t6
199 sub rsp, rsp, t2, dataSize=asz
200 mov rbp, rbp, t6, dataSize=asz
201};
202'''
201};
202'''