forked from argotorg/fe
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathconstructor.rs.html
More file actions
154 lines (146 loc) · 11.4 KB
/
Copy pathconstructor.rs.html
File metadata and controls
154 lines (146 loc) · 11.4 KB
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
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Source of the Rust file `compiler/src/yul/constructor.rs`."><meta name="keywords" content="rust, rustlang, rust-lang"><title>constructor.rs - source</title><link rel="stylesheet" type="text/css" href="../../../normalize.css"><link rel="stylesheet" type="text/css" href="../../../rustdoc.css" id="mainThemeStyle"><link rel="stylesheet" type="text/css" href="../../../light.css" id="themeStyle"><link rel="stylesheet" type="text/css" href="../../../dark.css" disabled ><link rel="stylesheet" type="text/css" href="../../../ayu.css" disabled ><script src="../../../storage.js"></script><noscript><link rel="stylesheet" href="../../../noscript.css"></noscript><link rel="icon" type="image/svg+xml" href="../../../favicon.svg">
<link rel="alternate icon" type="image/png" href="../../../favicon-16x16.png">
<link rel="alternate icon" type="image/png" href="../../../favicon-32x32.png"><style type="text/css">#crate-search{background-image:url("../../../down-arrow.svg");}</style></head><body class="rustdoc source"><!--[if lte IE 8]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="sidebar"><div class="sidebar-menu">☰</div><a href='../../../fe_compiler/index.html'><div class='logo-container rust-logo'><img src='../../../rust-logo.png' alt='logo'></div></a></nav><div class="theme-picker"><button id="theme-picker" aria-label="Pick another theme!"><img src="../../../brush.svg" width="18" alt="Pick another theme!"></button><div id="theme-choices"></div></div><script src="../../../theme.js"></script><nav class="sub"><form class="search-form"><div class="search-container"><div><select id="crate-search"><option value="All crates">All crates</option></select><input class="search-input" name="search" disabled autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"></div><span class="help-button">?</span>
<a id="settings-menu" href="../../../settings.html"><img src="../../../wheel.svg" width="18" alt="Change settings"></a></div></form></nav><section id="main" class="content"><pre class="line-numbers"><span id="1"> 1</span>
<span id="2"> 2</span>
<span id="3"> 3</span>
<span id="4"> 4</span>
<span id="5"> 5</span>
<span id="6"> 6</span>
<span id="7"> 7</span>
<span id="8"> 8</span>
<span id="9"> 9</span>
<span id="10">10</span>
<span id="11">11</span>
<span id="12">12</span>
<span id="13">13</span>
<span id="14">14</span>
<span id="15">15</span>
<span id="16">16</span>
<span id="17">17</span>
<span id="18">18</span>
<span id="19">19</span>
<span id="20">20</span>
<span id="21">21</span>
<span id="22">22</span>
<span id="23">23</span>
<span id="24">24</span>
<span id="25">25</span>
<span id="26">26</span>
<span id="27">27</span>
<span id="28">28</span>
<span id="29">29</span>
<span id="30">30</span>
<span id="31">31</span>
<span id="32">32</span>
<span id="33">33</span>
<span id="34">34</span>
<span id="35">35</span>
<span id="36">36</span>
<span id="37">37</span>
<span id="38">38</span>
<span id="39">39</span>
<span id="40">40</span>
<span id="41">41</span>
<span id="42">42</span>
<span id="43">43</span>
<span id="44">44</span>
<span id="45">45</span>
<span id="46">46</span>
<span id="47">47</span>
<span id="48">48</span>
<span id="49">49</span>
<span id="50">50</span>
<span id="51">51</span>
<span id="52">52</span>
<span id="53">53</span>
<span id="54">54</span>
<span id="55">55</span>
<span id="56">56</span>
<span id="57">57</span>
<span id="58">58</span>
<span id="59">59</span>
<span id="60">60</span>
<span id="61">61</span>
<span id="62">62</span>
<span id="63">63</span>
<span id="64">64</span>
<span id="65">65</span>
<span id="66">66</span>
<span id="67">67</span>
<span id="68">68</span>
<span id="69">69</span>
<span id="70">70</span>
<span id="71">71</span>
<span id="72">72</span>
<span id="73">73</span>
<span id="74">74</span>
</pre><div class="example-wrap"><pre class="rust ">
<span class="kw">use</span> <span class="kw">crate</span>::<span class="ident">yul</span>::{
<span class="ident">operations</span>,
<span class="ident">runtime</span>,
};
<span class="kw">use</span> <span class="ident">fe_semantics</span>::<span class="ident">namespace</span>::<span class="ident">types</span>::{
<span class="ident">AbiEncoding</span>,
<span class="ident">FixedSize</span>,
};
<span class="kw">use</span> <span class="ident">yultsur</span>::<span class="kw-2">*</span>;
<span class="doccomment">/// Builds a contract constructor.</span>
<span class="doccomment">///</span>
<span class="doccomment">/// Takes an optional init function and its parameter types.</span>
<span class="kw">pub</span> <span class="kw">fn</span> <span class="ident">build</span>(<span class="ident">init</span>: <span class="prelude-ty">Option</span><span class="op"><</span>(<span class="ident">yul</span>::<span class="ident">Statement</span>, <span class="ident">Vec</span><span class="op"><</span><span class="ident">FixedSize</span><span class="op">></span>)<span class="op">></span>) <span class="op">-</span><span class="op">></span> <span class="ident">yul</span>::<span class="ident">Code</span> {
<span class="comment">// statements that return the contract code</span>
<span class="kw">let</span> <span class="ident">deploy_stmts</span> <span class="op">=</span> <span class="macro">statements</span><span class="macro">!</span> {
(<span class="kw">let</span> <span class="ident">size</span> :<span class="op">=</span> <span class="ident">datasize</span>(<span class="string">"runtime"</span>))
(<span class="ident">datacopy</span>(<span class="number">0</span>, (<span class="ident">dataoffset</span>(<span class="string">"runtime"</span>)), <span class="ident">size</span>))
(<span class="kw">return</span>(<span class="number">0</span>, <span class="ident">size</span>))
};
<span class="kw">let</span> <span class="ident">block</span> <span class="op">=</span> <span class="kw">if</span> <span class="kw">let</span> <span class="prelude-val">Some</span>((<span class="ident">init</span>, <span class="ident">params</span>)) <span class="op">=</span> <span class="ident">init</span> {
<span class="comment">// build a constructor with an init function</span>
<span class="comment">// map the init params to decode expressions</span>
<span class="kw">let</span> <span class="kw-2">mut</span> <span class="ident">offset</span> <span class="op">=</span> <span class="number">0</span>;
<span class="kw">let</span> <span class="kw-2">mut</span> <span class="ident">decoded_params</span> <span class="op">=</span> <span class="macro">vec</span><span class="macro">!</span>[];
<span class="kw">for</span> <span class="ident">param</span> <span class="kw">in</span> <span class="ident">params</span>.<span class="ident">iter</span>() {
<span class="kw">let</span> <span class="ident">offset_expr</span> <span class="op">=</span> <span class="macro">literal_expression</span><span class="macro">!</span> { (<span class="ident">offset</span>) };
<span class="ident">decoded_params</span>.<span class="ident">push</span>(<span class="ident">operations</span>::<span class="ident">decode_mem</span>(
<span class="ident">param</span>.<span class="ident">to_owned</span>(),
<span class="macro">expression</span><span class="macro">!</span> { <span class="ident">add</span>(<span class="ident">mem_start</span>, [<span class="ident">offset_expr</span>]) },
));
<span class="ident">offset</span> <span class="op">+</span><span class="op">=</span> <span class="ident">param</span>.<span class="ident">abi_size</span>();
}
<span class="comment">// The final value of `offset` is equal to the total size of the ABI encoded</span>
<span class="comment">// parameters. We reuse this to copy the parameters from code to memory.</span>
<span class="kw">let</span> <span class="ident">params_size</span> <span class="op">=</span> <span class="macro">literal_expression</span><span class="macro">!</span> { (<span class="ident">offset</span>) };
<span class="comment">// the standard runtime functions need to be made available in the constructor</span>
<span class="kw">let</span> <span class="ident">runtime_functions</span> <span class="op">=</span> <span class="ident">runtime</span>::<span class="ident">functions</span>::<span class="ident">std</span>();
<span class="comment">// Build a constructor that runs a user defined init function. Parameters for</span>
<span class="comment">// init functions are appended to the end of the initialization code.</span>
<span class="comment">//</span>
<span class="comment">// The start of the init parameters in code is stored in `code_start`. The</span>
<span class="comment">// parameters are immediately copied from this location into memory at</span>
<span class="comment">// `mem_start`. From there, parameters are decoded and passed into the</span>
<span class="comment">// init function.</span>
<span class="macro">block</span><span class="macro">!</span> {
(<span class="kw">let</span> <span class="ident">code_start</span> :<span class="op">=</span> <span class="ident">datasize</span>(<span class="string">"Contract"</span>))
(<span class="kw">let</span> <span class="ident">mem_start</span> :<span class="op">=</span> <span class="ident">alloc</span>([<span class="ident">params_size</span>.<span class="ident">clone</span>()]))
(<span class="ident">codecopy</span>(<span class="ident">mem_start</span>, <span class="ident">code_start</span>, [<span class="ident">params_size</span>]))
[<span class="ident">init</span>]
(<span class="ident">__init__</span>([<span class="ident">decoded_params</span>...]))
[<span class="ident">runtime_functions</span>...]
[<span class="ident">deploy_stmts</span>...]
}
} <span class="kw">else</span> {
<span class="comment">// build a constructor without an init function</span>
<span class="macro">block</span><span class="macro">!</span> { [<span class="ident">deploy_stmts</span>...] }
};
<span class="ident">yul</span>::<span class="ident">Code</span> { <span class="ident">block</span> }
}
<span class="attribute">#[<span class="ident">test</span>]</span>
<span class="kw">fn</span> <span class="ident">test_constructor_without_func</span>() {
<span class="macro">assert_eq</span><span class="macro">!</span>(
<span class="ident">build</span>(<span class="prelude-val">None</span>).<span class="ident">to_string</span>(),
<span class="string">r#"code { let size := datasize("runtime") datacopy(0, dataoffset("runtime"), size) return(0, size) }"#</span>,
)
}
</pre></div>
</section><section id="search" class="content hidden"></section><section class="footer"></section><script>window.rootPath = "../../../";window.currentCrate = "fe_compiler";</script><script src="../../../main.js"></script><script src="../../../source-script.js"></script><script src="../../../source-files.js"></script><script defer src="../../../search-index.js"></script></body></html>