about summary refs log blame commit diff stats
path: root/html/021arithmetic.cc.html
blob: 32705c171c2c584b0a7dc982bba9a91225f7b5a1 (plain) (tree) 
672e3e50 ^




generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-09-23 12:17:31 +0000
me the previous revision' href='/akkartik/mu/blame/html/021arithmetic.cc.html?h=hlt&id=64586540eccbc0880341782d329b419ab9d002de'>^ 
672e3e50 ^






65361948 ^








672e3e50 ^





65361948 ^

672e3e50 ^




65361948 ^

672e3e50 ^




65361948 ^



672e3e50 ^






65361948 ^

672e3e50 ^


65361948 ^






672e3e50 ^






65361948 ^







672e3e50 ^





65361948 ^

672e3e50 ^




65361948 ^

672e3e50 ^




65361948 ^



672e3e50 ^






65361948 ^

672e3e50 ^


65361948 ^






672e3e50 ^






65361948 ^








672e3e50 ^





65361948 ^

672e3e50 ^




65361948 ^

672e3e50 ^




65361948 ^



672e3e50 ^






65361948 ^

672e3e50 ^


65361948 ^








672e3e50 ^






65361948 ^






672e3e50 ^





65361948 ^

672e3e50 ^




65361948 ^

672e3e50 ^

65361948 ^

672e3e50 ^




65361948 ^



672e3e50 ^






65361948 ^

672e3e50 ^

65361948 ^

672e3e50 ^

65361948 ^







672e3e50 ^




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
204
205

206
207
208
209
210
211

212

213
214

215
216
217
218
219
220
221
222

223
224
225
226
227
228

229
230
231
232
233
234

235
236
237
238
239

240

241
242
243
244

245

246

247

248
249
250
251

252
253
254

255
256
257
258
259
260

261

262

263

264

265
266
267
268
269
270
271

272
273
274
275




                                                                                          
                                              


































                                                                                                  






                                                                                                                                                                                                                                                                                                          




                                                                       
                                                                                                                                                                                                 



                                                           
                                                       



                                                                 


                                                                                                                                                                                             





                                                           
                                                       

                                                                 





                                                                                                                                                                                                                                                                       





                                                                                                            







                                                                                                                                                                                                                                                                                                                                      




                                                                       
                                                                                                                                                                                                    



                                                           
                                                       



                                                                


                                                                                                                                                                                                  





                                                           
                                                       

                                                                  





                                                                                                                                                                                                                                                                            





                                                                                                            






                                                                                                                                                                                                                                                                                                          




                                                                       
                                                                                                                                                                                                    



                                                           
                                                       



                                                                


                                                                                                                                                                                                  





                                                           
                                                       

                                                                 





                                                                                                                                                                                                                                                                            





                                                                                                        







                                                                                                                                                                                                                                                                                                                                      




                                                                       
                                                                                                                                                                                                  



                                                           
                                                       



                                                                


                                                                                                                                                                                                





                                                           
                                                       

                                                                







                                                                                                                                                                                                                                                                           





                                                                                                                                      





                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              




                                                                        
                                                                                                                                                                                                                                                                                        



                                                           
                                                       
                                                                
                                                       



                                                                


                                                                                                                                                                                                                                                                                      





                                                           
                                                       
                                                                
                                                       
                                                                






                                                                                                                                                                                                  



                                     
<!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>~/Desktop/s/mu/021arithmetic.cc</title>
<meta name="Generator" content="Vim/7.4">
<meta name="plugin-version" content="vim7.4_v1">
<meta name="syntax" content="cpp">
<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #d0d0d0; background-color: #000000; }
body { font-family: monospace; color: #d0d0d0; background-color: #000000; }
* { font-size: 1em; }
.Constant { color: #008080; }
.Comment { color: #8080ff; }
.Delimiter { color: #c000c0; }
.Special { color: #ff6060; }
.Identifier { color: #008080; }
.traceContains { color: #008000; }
-->
</style>

<script type='text/javascript'>
<!--

-->
</script>
</head>
<body>
<pre id='vimCodeElement'>
<span class="Comment">//: Arithmetic primitives</span>

<span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
ADD<span class="Delimiter">,</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
Recipe_number[<span class="Constant">&quot;add&quot;</span>] = ADD<span class="Delimiter">;</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
case ADD: <span class="Delimiter">{</span>
  double result = <span class="Constant">0</span><span class="Delimiter">;</span>
  for <span class="Delimiter">(</span>index_t i = <span class="Constant">0</span><span class="Delimiter">;</span> i &lt; ingredients<span class="Delimiter">.</span>size<span class="Delimiter">();</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
    assert<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>size<span class="Delimiter">()</span> == <span class="Constant">1</span><span class="Delimiter">);</span>  <span class="Comment">// scalar</span>
    result += ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
  <span class="Delimiter">}</span>
  products<span class="Delimiter">.</span>resize<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span>
  products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>push_back<span class="Delimiter">(</span>result<span class="Delimiter">);</span>
  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span class="Delimiter">}</span>

<span class="Delimiter">:(scenario add_literal)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>add <span class="Constant">23</span>:literal<span class="Delimiter">,</span> <span class="Constant">34</span>:literal
]
<span class="traceContains">+run: instruction main/0</span>
<span class="traceContains">+run: ingredient 0 is 23</span>
<span class="traceContains">+run: ingredient 1 is 34</span>
<span class="traceContains">+run: product 0 is 1</span>
<span class="traceContains">+mem: storing 57 in location 1</span>

<span class="Delimiter">:(scenario add)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">23</span>:literal
  <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>:literal
  <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:number<span class="Delimiter">,</span> <span class="Constant">2</span>:number
]
<span class="traceContains">+run: instruction main/2</span>
<span class="traceContains">+run: ingredient 0 is 1</span>
<span class="traceContains">+mem: location 1 is 23</span>
<span class="traceContains">+run: ingredient 1 is 2</span>
<span class="traceContains">+mem: location 2 is 34</span>
<span class="traceContains">+run: product 0 is 3</span>
<span class="traceContains">+mem: storing 57 in location 3</span>

<span class="Delimiter">:(scenario add_multiple)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>add <span class="Constant">3</span>:literal<span class="Delimiter">,</span> <span class="Constant">4</span>:literal<span class="Delimiter">,</span> <span class="Constant">5</span>:literal
]
<span class="traceContains">+mem: storing 12 in location 1</span>

<span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
SUBTRACT<span class="Delimiter">,</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
Recipe_number[<span class="Constant">&quot;subtract&quot;</span>] = SUBTRACT<span class="Delimiter">;</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
case SUBTRACT: <span class="Delimiter">{</span>
  assert<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>size<span class="Delimiter">()</span> == <span class="Constant">1</span><span class="Delimiter">);</span>  <span class="Comment">// scalar</span>
  double result = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
  for <span class="Delimiter">(</span>index_t i = <span class="Constant">1</span><span class="Delimiter">;</span> i &lt; ingredients<span class="Delimiter">.</span>size<span class="Delimiter">();</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
    assert<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>size<span class="Delimiter">()</span> == <span class="Constant">1</span><span class="Delimiter">);</span>  <span class="Comment">// scalar</span>
    result -= ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
  <span class="Delimiter">}</span>
  products<span class="Delimiter">.</span>resize<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span>
  products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>push_back<span class="Delimiter">(</span>result<span class="Delimiter">);</span>
  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span class="Delimiter">}</span>

<span class="Delimiter">:(scenario subtract_literal)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>subtract <span class="Constant">5</span>:literal<span class="Delimiter">,</span> <span class="Constant">2</span>:literal
]
<span class="traceContains">+run: instruction main/0</span>
<span class="traceContains">+run: ingredient 0 is 5</span>
<span class="traceContains">+run: ingredient 1 is 2</span>
<span class="traceContains">+run: product 0 is 1</span>
<span class="traceContains">+mem: storing 3 in location 1</span>

<span class="Delimiter">:(scenario subtract)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">23</span>:literal
  <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>:literal
  <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>subtract <span class="Constant">1</span>:number<span class="Delimiter">,</span> <span class="Constant">2</span>:number
]
<span class="traceContains">+run: instruction main/2</span>
<span class="traceContains">+run: ingredient 0 is 1</span>
<span class="traceContains">+mem: location 1 is 23</span>
<span class="traceContains">+run: ingredient 1 is 2</span>
<span class="traceContains">+mem: location 2 is 34</span>
<span class="traceContains">+run: product 0 is 3</span>
<span class="traceContains">+mem: storing -11 in location 3</span>

<span class="Delimiter">:(scenario subtract_multiple)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>subtract <span class="Constant">6</span>:literal<span class="Delimiter">,</span> <span class="Constant">3</span>:literal<span class="Delimiter">,</span> <span class="Constant">2</span>:literal
]
<span class="traceContains">+mem: storing 1 in location 1</span>

<span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
MULTIPLY<span class="Delimiter">,</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
Recipe_number[<span class="Constant">&quot;multiply&quot;</span>] = MULTIPLY<span class="Delimiter">;</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
case MULTIPLY: <span class="Delimiter">{</span>
  double result = <span class="Constant">1</span><span class="Delimiter">;</span>
  for <span class="Delimiter">(</span>index_t i = <span class="Constant">0</span><span class="Delimiter">;</span> i &lt; ingredients<span class="Delimiter">.</span>size<span class="Delimiter">();</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
    assert<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>size<span class="Delimiter">()</span> == <span class="Constant">1</span><span class="Delimiter">);</span>  <span class="Comment">// scalar</span>
    result *= ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
  <span class="Delimiter">}</span>
  products<span class="Delimiter">.</span>resize<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span>
  products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>push_back<span class="Delimiter">(</span>result<span class="Delimiter">);</span>
  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span class="Delimiter">}</span>

<span class="Delimiter">:(scenario multiply_literal)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>multiply <span class="Constant">2</span>:literal<span class="Delimiter">,</span> <span class="Constant">3</span>:literal
]
<span class="traceContains">+run: instruction main/0</span>
<span class="traceContains">+run: ingredient 0 is 2</span>
<span class="traceContains">+run: ingredient 1 is 3</span>
<span class="traceContains">+run: product 0 is 1</span>
<span class="traceContains">+mem: storing 6 in location 1</span>

<span class="Delimiter">:(scenario multiply)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">4</span>:literal
  <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">6</span>:literal
  <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>multiply <span class="Constant">1</span>:number<span class="Delimiter">,</span> <span class="Constant">2</span>:number
]
<span class="traceContains">+run: instruction main/2</span>
<span class="traceContains">+run: ingredient 0 is 1</span>
<span class="traceContains">+mem: location 1 is 4</span>
<span class="traceContains">+run: ingredient 1 is 2</span>
<span class="traceContains">+mem: location 2 is 6</span>
<span class="traceContains">+run: product 0 is 3</span>
<span class="traceContains">+mem: storing 24 in location 3</span>

<span class="Delimiter">:(scenario multiply_multiple)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>multiply <span class="Constant">2</span>:literal<span class="Delimiter">,</span> <span class="Constant">3</span>:literal<span class="Delimiter">,</span> <span class="Constant">4</span>:literal
]
<span class="traceContains">+mem: storing 24 in location 1</span>

<span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
DIVIDE<span class="Delimiter">,</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
Recipe_number[<span class="Constant">&quot;divide&quot;</span>] = DIVIDE<span class="Delimiter">;</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
case DIVIDE: <span class="Delimiter">{</span>
  assert<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>size<span class="Delimiter">()</span> == <span class="Constant">1</span><span class="Delimiter">);</span>  <span class="Comment">// scalar</span>
  double result = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
  for <span class="Delimiter">(</span>index_t i = <span class="Constant">1</span><span class="Delimiter">;</span> i &lt; ingredients<span class="Delimiter">.</span>size<span class="Delimiter">();</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
    assert<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>size<span class="Delimiter">()</span> == <span class="Constant">1</span><span class="Delimiter">);</span>  <span class="Comment">// scalar</span>
    result /= ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
  <span class="Delimiter">}</span>
  products<span class="Delimiter">.</span>resize<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span>
  products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>push_back<span class="Delimiter">(</span>result<span class="Delimiter">);</span>
  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span class="Delimiter">}</span>

<span class="Delimiter">:(scenario divide_literal)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>divide <span class="Constant">8</span>:literal<span class="Delimiter">,</span> <span class="Constant">2</span>:literal
]
<span class="traceContains">+run: instruction main/0</span>
<span class="traceContains">+run: ingredient 0 is 8</span>
<span class="traceContains">+run: ingredient 1 is 2</span>
<span class="traceContains">+run: product 0 is 1</span>
<span class="traceContains">+mem: storing 4 in location 1</span>

<span class="Delimiter">:(scenario divide)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">27</span>:literal
  <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">3</span>:literal
  <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>divide <span class="Constant">1</span>:number<span class="Delimiter">,</span> <span class="Constant">2</span>:number
]
<span class="traceContains">+run: instruction main/2</span>
<span class="traceContains">+run: ingredient 0 is 1</span>
<span class="traceContains">+mem: location 1 is 27</span>
<span class="traceContains">+run: ingredient 1 is 2</span>
<span class="traceContains">+mem: location 2 is 3</span>
<span class="traceContains">+run: product 0 is 3</span>
<span class="traceContains">+mem: storing 9 in location 3</span>

<span class="Delimiter">:(scenario divide_multiple)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>divide <span class="Constant">12</span>:literal<span class="Delimiter">,</span> <span class="Constant">3</span>:literal<span class="Delimiter">,</span> <span class="Constant">2</span>:literal
]
<span class="traceContains">+mem: storing 2 in location 1</span>

<span class="Comment">//: Integer division</span>

<span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
DIVIDE_WITH_REMAINDER<span class="Delimiter">,</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
Recipe_number[<span class="Constant">&quot;divide-with-remainder&quot;</span>] = DIVIDE_WITH_REMAINDER<span class="Delimiter">;</span>
<span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
case DIVIDE_WITH_REMAINDER: <span class="Delimiter">{</span>
  long long int quotient = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)</span> / ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
  long long int remainder = static_cast&lt;long long int&gt;<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">))</span> % static_cast&lt;long long int&gt;<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span>
  products<span class="Delimiter">.</span>resize<span class="Delimiter">(</span><span class="Constant">2</span><span class="Delimiter">);</span>
  <span class="Comment">// very large integers will lose precision</span>
  products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>push_back<span class="Delimiter">(</span>quotient<span class="Delimiter">);</span>
  products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>push_back<span class="Delimiter">(</span>remainder<span class="Delimiter">);</span>
  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span class="Delimiter">}</span>

<span class="Delimiter">:(scenario divide_with_remainder_literal)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Delimiter">,</span> <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>divide-with-remainder <span class="Constant">9</span>:literal<span class="Delimiter">,</span> <span class="Constant">2</span>:literal
]
<span class="traceContains">+run: instruction main/0</span>
<span class="traceContains">+run: ingredient 0 is 9</span>
<span class="traceContains">+run: ingredient 1 is 2</span>
<span class="traceContains">+run: product 0 is 1</span>
<span class="traceContains">+mem: storing 4 in location 1</span>
<span class="traceContains">+run: product 1 is 2</span>
<span class="traceContains">+mem: storing 1 in location 2</span>

<span class="Delimiter">:(scenario divide_with_remainder)</span>
recipe main [
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">27</span>:literal
  <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">11</span>:literal
  <span class="Constant">3</span>:number<span class="Delimiter">,</span> <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>divide-with-remainder <span class="Constant">1</span>:number<span class="Delimiter">,</span> <span class="Constant">2</span>:number
]
<span class="traceContains">+run: instruction main/2</span>
<span class="traceContains">+run: ingredient 0 is 1</span>
<span class="traceContains">+mem: location 1 is 27</span>
<span class="traceContains">+run: ingredient 1 is 2</span>
<span class="traceContains">+mem: location 2 is 11</span>
<span class="traceContains">+run: product 0 is 3</span>
<span class="traceContains">+mem: storing 2 in location 3</span>
<span class="traceContains">+run: product 1 is 4</span>
<span class="traceContains">+mem: storing 5 in location 4</span>

<span class="Delimiter">:(scenario divide_with_decimal_point)</span>
recipe main [
  <span class="Comment"># todo: literal floats?</span>
  <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>divide <span class="Constant">5</span>:literal<span class="Delimiter">,</span> <span class="Constant">2</span>:literal
]
<span class="traceContains">+mem: storing 2.5 in location 1</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-09-23 12:17:36 +0000