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
|
<!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; }
.traceContains { color: #008000; }
.LineNr { color: #444444; }
.Constant { color: #00a0a0; }
.Delimiter { color: #800080; }
.Special { color: #c00000; }
.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="Comment">//: segment address computation requires setting Mem_offset in test mode to what it'll be in run mode</span>
<span id="L6" class="LineNr"> 6 </span><span class="Delimiter">:(scenario segment_name)</span>
<span id="L7" class="LineNr"> 7 </span><span class="Special">% Mem_offset = CODE_START;</span>
<span id="L8" class="LineNr"> 8 </span>== <a href='031check_operands.cc.html#L14'>code</a>
<span id="L9" class="LineNr"> 9 </span><span class="PreProc">0</span><span class="Constant">5</span>/add <span class="Constant">0x0d0c0b0a</span>/imm32 <span class="Comment"># add 0x0d0c0b0a to EAX</span>
<span id="L10" class="LineNr">10 </span><span class="Comment"># code starts at 0x08048000 + p_offset, which is 0x54 for a single-segment binary</span>
<span id="L11" class="LineNr">11 </span><span class="traceContains">+load: 0x08048054 -> 05</span>
<span id="L12" class="LineNr">12 </span><span class="traceContains">+load: 0x08048055 -> 0a</span>
<span id="L13" class="LineNr">13 </span><span class="traceContains">+load: 0x08048056 -> 0b</span>
<span id="L14" class="LineNr">14 </span><span class="traceContains">+load: 0x08048057 -> 0c</span>
<span id="L15" class="LineNr">15 </span><span class="traceContains">+load: 0x08048058 -> 0d</span>
<span id="L16" class="LineNr">16 </span><span class="traceContains">+run: add imm32 0x0d0c0b0a to <a href='010---vm.cc.html#L23'>reg</a> <a href='010---vm.cc.html#L13'>EAX</a></span>
<span id="L17" class="LineNr">17 </span><span class="traceContains">+run: storing 0x0d0c0b0a</span>
<span id="L18" class="LineNr">18 </span>
<span id="L19" class="LineNr">19 </span><span class="Delimiter">:(before "End Level-2 Transforms")</span>
<span id="L20" class="LineNr">20 </span><a href='011run.cc.html#L194'>Transform</a><span class="Delimiter">.</span>push_back<span class="Delimiter">(</span><a href='034compute_segment_address.cc.html#L23'>compute_segment_starts</a><span class="Delimiter">);</span>
<span id="L21" class="LineNr">21 </span>
<span id="L22" class="LineNr">22 </span><span class="Delimiter">:(code)</span>
<span id="L23" class="LineNr">23 </span><span class="Normal">void</span> <a href='034compute_segment_address.cc.html#L23'>compute_segment_starts</a><span class="Delimiter">(</span>program& p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L24" class="LineNr">24 </span> <a href='003trace.cc.html#L196'>trace</a><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> << <a href='003trace.cc.html#L222'>end</a><span class="Delimiter">();</span>
<span id="L25" class="LineNr">25 </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> + <a href='001help.cc.html#L157'>SIZE</a><span class="Delimiter">(</span>p<span class="Delimiter">.</span><a href='011run.cc.html#L100'>segments</a><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="L26" class="LineNr">26 </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><a href='011run.cc.html#L100'>segments</a><span class="Delimiter">.</span>size<span class="Delimiter">();</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L27" class="LineNr">27 </span> segment& curr = p<span class="Delimiter">.</span><a href='011run.cc.html#L100'>segments</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L28" class="LineNr">28 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">.</span><a href='011run.cc.html#L108'>start</a> == <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L29" class="LineNr">29 </span> curr<span class="Delimiter">.</span><a href='011run.cc.html#L108'>start</a> = <a href='012elf.cc.html#L126'>CODE_START</a> + i*SEGMENT_SIZE + p_offset<span class="Delimiter">;</span>
<span id="L30" class="LineNr">30 </span> <a href='003trace.cc.html#L196'>trace</a><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> << <a href='010---vm.cc.html#L260'>HEXWORD</a> << curr<span class="Delimiter">.</span><a href='011run.cc.html#L108'>start</a> << <a href='003trace.cc.html#L222'>end</a><span class="Delimiter">();</span>
<span id="L31" class="LineNr">31 </span> <span class="Delimiter">}</span>
<span id="L32" class="LineNr">32 </span> p_offset += <a href='034compute_segment_address.cc.html#L37'>size_of</a><span class="Delimiter">(</span>curr<span class="Delimiter">);</span>
<span id="L33" class="LineNr">33 </span> assert<span class="Delimiter">(</span>p_offset < <a href='012elf.cc.html#L127'>SEGMENT_SIZE</a><span class="Delimiter">);</span> <span class="Comment">// for now we get less and less available space in each successive segment</span>
<span id="L34" class="LineNr">34 </span> <span class="Delimiter">}</span>
<span id="L35" class="LineNr">35 </span><span class="Delimiter">}</span>
<span id="L36" class="LineNr">36 </span>
<span id="L37" class="LineNr">37 </span><span class="Normal">uint32_t</span> <a href='034compute_segment_address.cc.html#L37'>size_of</a><span class="Delimiter">(</span><span class="Normal">const</span> segment& s<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L38" class="LineNr">38 </span> <span class="Normal">uint32_t</span> sum = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L39" class="LineNr">39 </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 < <a href='001help.cc.html#L157'>SIZE</a><span class="Delimiter">(</span>s<span class="Delimiter">.</span><a href='011run.cc.html#L109'>lines</a><span class="Delimiter">);</span> ++i<span class="Delimiter">)</span>
<span id="L40" class="LineNr">40 </span> sum += <a href='034compute_segment_address.cc.html#L45'>num_bytes</a><span class="Delimiter">(</span>s<span class="Delimiter">.</span><a href='011run.cc.html#L109'>lines</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span>
<span id="L41" class="LineNr">41 </span> <span class="Identifier">return</span> sum<span class="Delimiter">;</span>
<span id="L42" class="LineNr">42 </span><span class="Delimiter">}</span>
<span id="L43" class="LineNr">43 </span>
<span id="L44" class="LineNr">44 </span><span class="Comment">// Assumes all bitfields are packed.</span>
<span id="L45" class="LineNr">45 </span><span class="Normal">uint32_t</span> <a href='034compute_segment_address.cc.html#L45'>num_bytes</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L46" class="LineNr">46 </span> <span class="Normal">uint32_t</span> sum = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L47" class="LineNr">47 </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 < <a href='001help.cc.html#L157'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L48" class="LineNr">48 </span> <span class="Normal">const</span> word& curr = inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L49" class="LineNr">49 </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="L50" class="LineNr">50 </span> sum += <span class="Constant">4</span><span class="Delimiter">;</span>
<span id="L51" class="LineNr">51 </span> <span class="Comment">// End num_bytes(curr) Special-cases</span>
<span id="L52" class="LineNr">52 </span> <span class="Normal">else</span>
<span id="L53" class="LineNr">53 </span> sum++<span class="Delimiter">;</span>
<span id="L54" class="LineNr">54 </span> <span class="Delimiter">}</span>
<span id="L55" class="LineNr">55 </span> <span class="Identifier">return</span> sum<span class="Delimiter">;</span>
<span id="L56" class="LineNr">56 </span><span class="Delimiter">}</span>
<span id="L57" class="LineNr">57 </span>
<span id="L58" class="LineNr">58 </span><span class="Comment">//: Dependencies:</span>
<span id="L59" class="LineNr">59 </span><span class="Comment">//: - We'd like to compute segment addresses before setting up global variables,</span>
<span id="L60" class="LineNr">60 </span><span class="Comment">//: because computing addresses for global variables requires knowing where</span>
<span id="L61" class="LineNr">61 </span><span class="Comment">//: the data segment starts.</span>
<span id="L62" class="LineNr">62 </span><span class="Comment">//: - We'd like to finish expanding labels before computing segment addresses,</span>
<span id="L63" class="LineNr">63 </span><span class="Comment">//: because it would make computing the sizes of segments more self-contained</span>
<span id="L64" class="LineNr">64 </span><span class="Comment">//: (num_bytes).</span>
<span id="L65" class="LineNr">65 </span><span class="Comment">//:</span>
<span id="L66" class="LineNr">66 </span><span class="Comment">//: Decision: compute segment addresses before expanding labels, by being</span>
<span id="L67" class="LineNr">67 </span><span class="Comment">//: aware in this layer of certain operand types that will eventually occupy</span>
<span id="L68" class="LineNr">68 </span><span class="Comment">//: multiple bytes.</span>
<span id="L69" class="LineNr">69 </span><span class="Comment">//:</span>
<span id="L70" class="LineNr">70 </span><span class="Comment">//: The layer to expand labels later hooks into num_bytes() to teach this</span>
<span id="L71" class="LineNr">71 </span><span class="Comment">//: layer that labels occupy zero space in the binary.</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
|