1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - subx/034compute_segment_address.cc</title>
<meta name="Generator" content="Vim/8.0">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="cpp">
<meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
a { color:#eeeeee; text-decoration: none; }
a:hover { text-decoration: underline; }
* { font-size: 12pt; font-size: 1em; }
.cSpecial { color: #008000; }
.traceContains { color: #008000; }
.LineNr { color: #444444; }
.Constant { color: #00a0a0; }
.Delimiter { color: #800080; }
.Identifier { color: #c0a020; }
.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
.Comment { color: #9090ff; }
.Comment a { color:#0000ee; text-decoration:underline; }
.PreProc { color: #800080; }
-->
</style>
<script type='text/javascript'>
<!--
/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
var lineNum;
lineNum = window.location.hash;
lineNum = lineNum.substr(1); /* strip off '#' */
if (lineNum.indexOf('L') == -1) {
lineNum = 'L'+lineNum;
}
lineElem = document.getElementById(lineNum);
/* Always jump to new location even if the line was hidden inside a fold, or
* we corrected the raw number to a line ID.
*/
if (lineElem) {
lineElem.scrollIntoView(true);
}
return true;
}
if ('onhashchange' in window) {
window.onhashchange = JumpToLine;
}
-->
</script>
</head>
<body onload='JumpToLine();'>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr"> 1 </span><span class="Comment">//: Start allowing us to not specify precise addresses for the start of each</span>
<span id="L2" class="LineNr"> 2 </span><span class="Comment">//: segment.</span>
<span id="L3" class="LineNr"> 3 </span><span class="Comment">//: This gives up a measure of control in placing code and data.</span>
<span id="L4" class="LineNr"> 4 </span>
<span id="L5" class="LineNr"> 5 </span><span class="Delimiter">:(scenario segment_name)</span>
<span id="L6" class="LineNr"> 6 </span>== <a href='031check_operands.cc.html#L11'>code</a>
<span id="L7" class="LineNr"> 7 </span><span class="PreProc">0</span><span class="Constant">5</span>/add-to-EAX <span class="Constant">0x0d0c0b0a</span>/imm32
<span id="L8" class="LineNr"> 8 </span><span class="Comment"># code starts at 0x08048000 + p_offset, which is 0x54 for a single-segment binary</span>
<span id="L9" class="LineNr"> 9 </span><span class="traceContains">+load: 0x09000054 -> 05</span>
<span id="L10" class="LineNr"> 10 </span><span class="traceContains">+load: 0x09000055 -> 0a</span>
<span id="L11" class="LineNr"> 11 </span><span class="traceContains">+load: 0x09000056 -> 0b</span>
<span id="L12" class="LineNr"> 12 </span><span class="traceContains">+load: 0x09000057 -> 0c</span>
<span id="L13" class="LineNr"> 13 </span><span class="traceContains">+load: 0x09000058 -> 0d</span>
<span id="L14" class="LineNr"> 14 </span><span class="traceContains">+run: add imm32 0x0d0c0b0a to reg EAX</span>
<span id="L15" class="LineNr"> 15 </span><span class="traceContains">+run: storing 0x0d0c0b0a</span>
<span id="L16" class="LineNr"> 16 </span>
<span id="L17" class="LineNr"> 17 </span><span class="Comment">//: Update the parser to handle non-numeric segment name.</span>
<span id="L18" class="LineNr"> 18 </span><span class="Comment">//:</span>
<span id="L19" class="LineNr"> 19 </span><span class="Comment">//: We'll also support repeated segments with non-numeric names.</span>
<span id="L20" class="LineNr"> 20 </span><span class="Comment">//: When we encounter a new reference to an existing segment we'll *prepend*</span>
<span id="L21" class="LineNr"> 21 </span><span class="Comment">//: the new data to existing data for the segment.</span>
<span id="L22" class="LineNr"> 22 </span>
<span id="L23" class="LineNr"> 23 </span><span class="Delimiter">:(before "End Globals")</span>
<span id="L24" class="LineNr"> 24 </span>map<<span class="Comment">/*</span><span class="Comment">name</span><span class="Comment">*/</span>string<span class="Delimiter">,</span> <span class="Normal">int</span>> Segment_index<span class="Delimiter">;</span>
<span id="L25" class="LineNr"> 25 </span><span class="Normal">bool</span> Currently_parsing_named_segment =<span class="Constant"> false</span><span class="Delimiter">;</span> <span class="Comment">// global to permit cross-layer communication</span>
<span id="L26" class="LineNr"> 26 </span><span class="Normal">int</span> Currently_parsing_segment_index = -<span class="Constant">1</span><span class="Delimiter">;</span> <span class="Comment">// global to permit cross-layer communication</span>
<span id="L27" class="LineNr"> 27 </span><span class="Delimiter">:(before "End Reset")</span>
<span id="L28" class="LineNr"> 28 </span>Segment_index<span class="Delimiter">.</span>clear<span class="Delimiter">();</span>
<span id="L29" class="LineNr"> 29 </span>Currently_parsing_named_segment =<span class="Constant"> false</span><span class="Delimiter">;</span>
<span id="L30" class="LineNr"> 30 </span>Currently_parsing_segment_index = -<span class="Constant">1</span><span class="Delimiter">;</span>
<span id="L31" class="LineNr"> 31 </span>
<span id="L32" class="LineNr"> 32 </span><span class="Delimiter">:(before "End Segment Parsing Special-cases(segment_title)")</span>
<span id="L33" class="LineNr"> 33 </span><span class="Normal">if</span> <span class="Delimiter">(</span>!starts_with<span class="Delimiter">(</span>segment_title<span class="Delimiter">,</span> <span class="Constant">"0x"</span><span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L34" class="LineNr"> 34 </span> Currently_parsing_named_segment =<span class="Constant"> true</span><span class="Delimiter">;</span>
<span id="L35" class="LineNr"> 35 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span>Segment_index<span class="Delimiter">,</span> segment_title<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L36" class="LineNr"> 36 </span> trace<span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">"parse"</span><span class="Delimiter">)</span> << <span class="Constant">"new segment '"</span> << segment_title << <span class="Constant">"'"</span> << end<span class="Delimiter">();</span>
<span id="L37" class="LineNr"> 37 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>segment_title == <span class="Constant">"code"</span><span class="Delimiter">)</span>
<span id="L38" class="LineNr"> 38 </span> put<span class="Delimiter">(</span>Segment_index<span class="Delimiter">,</span> segment_title<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L39" class="LineNr"> 39 </span> <span class="Normal">else</span> <span class="Normal">if</span> <span class="Delimiter">(</span>segment_title == <span class="Constant">"data"</span><span class="Delimiter">)</span>
<span id="L40" class="LineNr"> 40 </span> put<span class="Delimiter">(</span>Segment_index<span class="Delimiter">,</span> segment_title<span class="Delimiter">,</span> <span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L41" class="LineNr"> 41 </span> <span class="Normal">else</span>
<span id="L42" class="LineNr"> 42 </span> put<span class="Delimiter">(</span>Segment_index<span class="Delimiter">,</span> segment_title<span class="Delimiter">,</span> max<span class="Delimiter">(</span><span class="Constant">2</span><span class="Delimiter">,</span> SIZE<span class="Delimiter">(</span>out<span class="Delimiter">.</span>segments<span class="Delimiter">)));</span>
<span id="L43" class="LineNr"> 43 </span> out<span class="Delimiter">.</span>segments<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>segment<span class="Delimiter">());</span>
<span id="L44" class="LineNr"> 44 </span> <span class="Delimiter">}</span>
<span id="L45" class="LineNr"> 45 </span> <span class="Normal">else</span> <span class="Delimiter">{</span>
<span id="L46" class="LineNr"> 46 </span> trace<span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">"parse"</span><span class="Delimiter">)</span> << <span class="Constant">"prepending to segment '"</span> << segment_title << <span class="Constant">"'"</span> << end<span class="Delimiter">();</span>
<span id="L47" class="LineNr"> 47 </span> <span class="Delimiter">}</span>
<span id="L48" class="LineNr"> 48 </span> Currently_parsing_segment_index = get<span class="Delimiter">(</span>Segment_index<span class="Delimiter">,</span> segment_title<span class="Delimiter">);</span>
<span id="L49" class="LineNr"> 49 </span><span class="Delimiter">}</span>
<span id="L50" class="LineNr"> 50 </span>
<span id="L51" class="LineNr"> 51 </span><span class="Delimiter">:(before "End flush(p, lines) Special-cases")</span>
<span id="L52" class="LineNr"> 52 </span><span class="Normal">if</span> <span class="Delimiter">(</span>Currently_parsing_named_segment<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L53" class="LineNr"> 53 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>p<span class="Delimiter">.</span>segments<span class="Delimiter">.</span>empty<span class="Delimiter">()</span> || Currently_parsing_segment_index < <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L54" class="LineNr"> 54 </span> raise << <span class="Constant">"input does not start with a '==' section header</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span>
<span id="L55" class="LineNr"> 55 </span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L56" class="LineNr"> 56 </span> <span class="Delimiter">}</span>
<span id="L57" class="LineNr"> 57 </span> trace<span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">"parse"</span><span class="Delimiter">)</span> << <span class="Constant">"flushing to segment"</span> << end<span class="Delimiter">();</span>
<span id="L58" class="LineNr"> 58 </span> vector<line>& curr_segment_data = p<span class="Delimiter">.</span>segments<span class="Delimiter">.</span>at<span class="Delimiter">(</span>Currently_parsing_segment_index<span class="Delimiter">).</span>lines<span class="Delimiter">;</span>
<span id="L59" class="LineNr"> 59 </span> curr_segment_data<span class="Delimiter">.</span>insert<span class="Delimiter">(</span>curr_segment_data<span class="Delimiter">.</span>begin<span class="Delimiter">(),</span> lines<span class="Delimiter">.</span>begin<span class="Delimiter">(),</span> lines<span class="Delimiter">.</span>end<span class="Delimiter">());</span>
<span id="L60" class="LineNr"> 60 </span> lines<span class="Delimiter">.</span>clear<span class="Delimiter">();</span>
<span id="L61" class="LineNr"> 61 </span> Currently_parsing_named_segment =<span class="Constant"> false</span><span class="Delimiter">;</span>
<span id="L62" class="LineNr"> 62 </span> Currently_parsing_segment_index = -<span class="Constant">1</span><span class="Delimiter">;</span>
<span id="L63" class="LineNr"> 63 </span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L64" class="LineNr"> 64 </span><span class="Delimiter">}</span>
<span id="L65" class="LineNr"> 65 </span>
<span id="L66" class="LineNr"> 66 </span><span class="Delimiter">:(scenario repeated_segment_merges_data)</span>
<span id="L67" class="LineNr"> 67 </span>== <a href='031check_operands.cc.html#L11'>code</a>
<span id="L68" class="LineNr"> 68 </span><span class="PreProc">0</span><span class="Constant">5</span>/add-to-EAX <span class="Constant">0x0d0c0b0a</span>/imm32
<span id="L69" class="LineNr"> 69 </span>== <a href='031check_operands.cc.html#L11'>code</a>
<span id="L70" class="LineNr"> 70 </span>2d/subtract-from-EAX <span class="Constant">0xddccbbaa</span>/imm32
<span id="L71" class="LineNr"> 71 </span><span class="traceContains">+parse: new segment 'code'</span>
<span id="L72" class="LineNr"> 72 </span><span class="traceContains">+parse: prepending to segment 'code'</span>
<span id="L73" class="LineNr"> 73 </span><span class="traceContains">+load: 0x09000054 -> 2d</span>
<span id="L74" class="LineNr"> 74 </span><span class="traceContains">+load: 0x09000055 -> aa</span>
<span id="L75" class="LineNr"> 75 </span><span class="traceContains">+load: 0x09000056 -> bb</span>
<span id="L76" class="LineNr"> 76 </span><span class="traceContains">+load: 0x09000057 -> cc</span>
<span id="L77" class="LineNr"> 77 </span><span class="traceContains">+load: 0x09000058 -> dd</span>
<span id="L78" class="LineNr"> 78 </span><span class="traceContains">+load: 0x09000059 -> 05</span>
<span id="L79" class="LineNr"> 79 </span><span class="traceContains">+load: 0x0900005a -> 0a</span>
<span id="L80" class="LineNr"> 80 </span><span class="traceContains">+load: 0x0900005b -> 0b</span>
<span id="L81" class="LineNr"> 81 </span><span class="traceContains">+load: 0x0900005c -> 0c</span>
<span id="L82" class="LineNr"> 82 </span><span class="traceContains">+load: 0x0900005d -> 0d</span>
<span id="L83" class="LineNr"> 83 </span>
<span id="L84" class="LineNr"> 84 </span><span class="Comment">//: compute segment address</span>
<span id="L85" class="LineNr"> 85 </span>
<span id="L86" class="LineNr"> 86 </span><span class="Delimiter">:(before "End Level-2 Transforms")</span>
<span id="L87" class="LineNr"> 87 </span>Transform<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>compute_segment_starts<span class="Delimiter">);</span>
<span id="L88" class="LineNr"> 88 </span>
<span id="L89" class="LineNr"> 89 </span><span class="Delimiter">:(code)</span>
<span id="L90" class="LineNr"> 90 </span><span class="Normal">void</span> compute_segment_starts<span class="Delimiter">(</span>program& p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L91" class="LineNr"> 91 </span> trace<span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">"transform"</span><span class="Delimiter">)</span> << <span class="Constant">"-- compute segment addresses"</span> << end<span class="Delimiter">();</span>
<span id="L92" class="LineNr"> 92 </span> <span class="Normal">uint32_t</span> p_offset = <span class="Comment">/*</span><span class="Comment">size of ehdr</span><span class="Comment">*/</span><span class="Constant">0x34</span> + SIZE<span class="Delimiter">(</span>p<span class="Delimiter">.</span>segments<span class="Delimiter">)</span>*<span class="Constant">0x20</span><span class="Comment">/*</span><span class="Comment">size of each phdr</span><span class="Comment">*/</span><span class="Delimiter">;</span>
<span id="L93" class="LineNr"> 93 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">size_t</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i < p<span class="Delimiter">.</span>segments<span class="Delimiter">.</span>size<span class="Delimiter">();</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L94" class="LineNr"> 94 </span> segment& curr = p<span class="Delimiter">.</span>segments<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L95" class="LineNr"> 95 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">.</span>start == <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L96" class="LineNr"> 96 </span> curr<span class="Delimiter">.</span>start = CODE_SEGMENT + i*SPACE_FOR_SEGMENT + p_offset<span class="Delimiter">;</span>
<span id="L97" class="LineNr"> 97 </span> trace<span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">"transform"</span><span class="Delimiter">)</span> << <span class="Constant">"segment "</span> << i << <span class="Constant">" begins at address 0x"</span> << HEXWORD << curr<span class="Delimiter">.</span>start << end<span class="Delimiter">();</span>
<span id="L98" class="LineNr"> 98 </span> <span class="Delimiter">}</span>
<span id="L99" class="LineNr"> 99 </span> p_offset += size_of<span class="Delimiter">(</span>curr<span class="Delimiter">);</span>
<span id="L100" class="LineNr">100 </span> assert<span class="Delimiter">(</span>p_offset < INITIAL_SEGMENT_SIZE<span class="Delimiter">);</span> <span class="Comment">// for now we get less and less available space in each successive segment</span>
<span id="L101" class="LineNr">101 </span> <span class="Delimiter">}</span>
<span id="L102" class="LineNr">102 </span><span class="Delimiter">}</span>
<span id="L103" class="LineNr">103 </span>
<span id="L104" class="LineNr">104 </span><span class="Normal">uint32_t</span> size_of<span class="Delimiter">(</span><span class="Normal">const</span> segment& s<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L105" class="LineNr">105 </span> <span class="Normal">uint32_t</span> sum = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L106" class="LineNr">106 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i < SIZE<span class="Delimiter">(</span>s<span class="Delimiter">.</span>lines<span class="Delimiter">);</span> ++i<span class="Delimiter">)</span>
<span id="L107" class="LineNr">107 </span> sum += num_bytes<span class="Delimiter">(</span>s<span class="Delimiter">.</span>lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span>
<span id="L108" class="LineNr">108 </span> <span class="Identifier">return</span> sum<span class="Delimiter">;</span>
<span id="L109" class="LineNr">109 </span><span class="Delimiter">}</span>
<span id="L110" class="LineNr">110 </span>
<span id="L111" class="LineNr">111 </span><span class="Comment">// Assumes all bitfields are packed.</span>
<span id="L112" class="LineNr">112 </span><span class="Normal">uint32_t</span> num_bytes<span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L113" class="LineNr">113 </span> <span class="Normal">uint32_t</span> sum = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L114" class="LineNr">114 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i < SIZE<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>words<span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L115" class="LineNr">115 </span> <span class="Normal">const</span> word& curr = inst<span class="Delimiter">.</span>words<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L116" class="LineNr">116 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>has_operand_metadata<span class="Delimiter">(</span>curr<span class="Delimiter">,</span> <span class="Constant">"disp32"</span><span class="Delimiter">)</span> || has_operand_metadata<span class="Delimiter">(</span>curr<span class="Delimiter">,</span> <span class="Constant">"imm32"</span><span class="Delimiter">))</span> <span class="Comment">// only multi-byte operands</span>
<span id="L117" class="LineNr">117 </span> sum += <span class="Constant">4</span><span class="Delimiter">;</span>
<span id="L118" class="LineNr">118 </span> <span class="Comment">// End num_bytes(curr) Special-cases</span>
<span id="L119" class="LineNr">119 </span> <span class="Normal">else</span>
<span id="L120" class="LineNr">120 </span> sum++<span class="Delimiter">;</span>
<span id="L121" class="LineNr">121 </span> <span class="Delimiter">}</span>
<span id="L122" class="LineNr">122 </span> <span class="Identifier">return</span> sum<span class="Delimiter">;</span>
<span id="L123" class="LineNr">123 </span><span class="Delimiter">}</span>
<span id="L124" class="LineNr">124 </span>
<span id="L125" class="LineNr">125 </span><span class="Comment">//: Dependencies:</span>
<span id="L126" class="LineNr">126 </span><span class="Comment">//: - We'd like to compute segment addresses before setting up global variables,</span>
<span id="L127" class="LineNr">127 </span><span class="Comment">//: because computing addresses for global variables requires knowing where</span>
<span id="L128" class="LineNr">128 </span><span class="Comment">//: the data segment starts.</span>
<span id="L129" class="LineNr">129 </span><span class="Comment">//: - We'd like to finish expanding labels before computing segment addresses,</span>
<span id="L130" class="LineNr">130 </span><span class="Comment">//: because it would make computing the sizes of segments more self-contained</span>
<span id="L131" class="LineNr">131 </span><span class="Comment">//: (num_bytes).</span>
<span id="L132" class="LineNr">132 </span><span class="Comment">//:</span>
<span id="L133" class="LineNr">133 </span><span class="Comment">//: Decision: compute segment addresses before expanding labels, by being</span>
<span id="L134" class="LineNr">134 </span><span class="Comment">//: aware in this layer of certain operand types that will eventually occupy</span>
<span id="L135" class="LineNr">135 </span><span class="Comment">//: multiple bytes.</span>
<span id="L136" class="LineNr">136 </span><span class="Comment">//:</span>
<span id="L137" class="LineNr">137 </span><span class="Comment">//: The layer to expand labels later hooks into num_bytes() to teach this</span>
<span id="L138" class="LineNr">138 </span><span class="Comment">//: layer that labels occupy zero space in the binary.</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
|