about summary refs log tree commit diff stats
path: root/subx.md
Commit message (Collapse)AuthorAgeFilesLines
* start throwing error on duplicate labelKartik K. Agaram2021-08-221-4/+0
| | | | | | | | | | One less error that's only in the bootstrap phase. On the other hand, for simplicity I got rid of the ability to override the Entry label. One less special case, but we're also going further from the ability to run subsets of layers. We haven't really been exercising it for a long time, though (commit 7842, March 2021 when we made baremetal the default).
* .Kartik K. Agaram2021-08-011-13/+16
|
* .Kartik Agaram2021-03-291-4/+4
|
* typo; thanks waterhouseKartik K. Agaram2021-03-211-1/+1
| | | | https://news.ycombinator.com/item?id=26525349#26529192
* 6885 - starting on floating-point instructionsKartik Agaram2020-09-271-5/+8
| | | | | | | | | I spent some time deciding on the instructions. x87 is a stack ISA, so not a good fit for the rest of SubX. So we use SSE instead. They operate on 32-bit floats, which seems like a good fit. SSE has a bunch of instructions for operating on up to 4 floats at once. We'll ignore all that and just focus on so-called scalar instructions.
* 6640Kartik Agaram2020-07-121-13/+13
| | | | Re-sync markdown files with mu-normie fork.
* 6618 - new docsKartik Agaram2020-07-061-0/+162
akkartik/mu/commit/html/018constant.cc.html?h=hlt&id=ac07e589b3e912c704c2011d543f18b16712ff15'>ac07e589 ^
5fe060d5 ^
































e4ac3c9e ^
5fe060d5 ^





e4ac3c9e ^
5fe060d5 ^











e4ac3c9e ^
5fe060d5 ^
















e4ac3c9e ^
5fe060d5 ^








e4ac3c9e ^
5fe060d5 ^









e4ac3c9e ^
5fe060d5 ^








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




                                                                                          
                                         


                                                                                                               
                                                 

                       

                                                                                                 
                    
                                     

                             
                             





                                                                           
































                                                                                 
                                                                                                                                 





                                                                                                                                                                                   
                                                                                                                                                                                                                                                                                                                                                 











                                                                                                                                                                                                                              
                                                                                                                                                                                                                                   
















                                                                                                                                                                                                                               
                                                                                                                                                                                                                                    








                                                                                                                                                                                                                    
                                                                                                                                                                                                                                                                                                                                                  









                                                                                                                                                                                                                              
                                                                                                                                                                                                                                   








                                                                                                                                                                                                                    
<!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 - 018constant.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-light">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.LineNr { }
.Constant { color: #008787; }
.muRecipe { color: #ff8700; }
.Delimiter { color: #c000c0; }
.Special { color: #d70000; }
.Identifier { color: #af5f00; }
.Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; }
.Comment { color: #005faf; }
.traceContains { color: #005f00; }
-->
</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();'>
<a href='https://github.com/akkartik/mu/blob/master/018constant.cc'>https://github.com/akkartik/mu/blob/master/018constant.cc</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr"> 1 </span><span class="Comment">//: A few literal constants.</span>
<span id="L2" class="LineNr"> 2 </span>
<span id="L3" class="LineNr"> 3 </span><span class="Delimiter">:(scenarios load)</span>  <span class="Comment">// use 'load' instead of 'run' in all scenarios in this layer</span>
<span id="L4" class="LineNr"> 4 </span>
<span id="L5" class="LineNr"> 5 </span><span class="Delimiter">:(before &quot;End Mu Types Initialization&quot;)</span>
<span id="L6" class="LineNr"> 6 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> <span class="Constant">&quot;literal-boolean&quot;</span><span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L7" class="LineNr"> 7 </span>
<span id="L8" class="LineNr"> 8 </span><span class="Comment">//: 'true'</span>
<span id="L9" class="LineNr"> 9 </span>
<span id="L10" class="LineNr">10 </span><span class="Delimiter">:(scenario true)</span>
<span id="L11" class="LineNr">11 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L12" class="LineNr">12 </span>  <span class="Constant">1</span>:boolean<span class="Special"> &lt;- </span>copy<span class="Constant"> true</span>
<span id="L13" class="LineNr">13 </span>]
<span id="L14" class="LineNr">14 </span><span class="traceContains">+parse:   ingredient: {true: &quot;literal-boolean&quot;}</span>
<span id="L15" class="LineNr">15 </span>
<span id="L16" class="LineNr">16 </span><span class="Delimiter">:(before &quot;End Parsing reagent&quot;)</span>
<span id="L17" class="LineNr">17 </span><span class="Normal">if</span> <span class="Delimiter">(</span>name == <span class="Constant">&quot;true&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L18" class="LineNr">18 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>type != <span class="Constant">NULL</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L19" class="LineNr">19 </span>    <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;'true' is a literal and can't take a type\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L20" class="LineNr">20 </span>    <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L21" class="LineNr">21 </span>  <span class="Delimiter">}</span>
<span id="L22" class="LineNr">22 </span>  type = <span class="Normal">new</span> type_tree<span class="Delimiter">(</span><span class="Constant">&quot;literal-boolean&quot;</span><span class="Delimiter">);</span>
<span id="L23" class="LineNr">23 </span>  <a href='010vm.cc.html#L67'>set_value</a><span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L24" class="LineNr">24 </span><span class="Delimiter">}</span>
<span id="L25" class="LineNr">25 </span>
<span id="L26" class="LineNr">26 </span><span class="Comment">//: 'false'</span>
<span id="L27" class="LineNr">27 </span>
<span id="L28" class="LineNr">28 </span><span class="Delimiter">:(scenario false)</span>
<span id="L29" class="LineNr">29 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L30" class="LineNr">30 </span>  <span class="Constant">1</span>:boolean<span class="Special"> &lt;- </span>copy<span class="Constant"> false</span>
<span id="L31" class="LineNr">31 </span>]
<span id="L32" class="LineNr">32 </span><span class="traceContains">+parse:   ingredient: {false: &quot;literal-boolean&quot;}</span>
<span id="L33" class="LineNr">33 </span>
<span id="L34" class="LineNr">34 </span><span class="Delimiter">:(before &quot;End Parsing reagent&quot;)</span>
<span id="L35" class="LineNr">35 </span><span class="Normal">if</span> <span class="Delimiter">(</span>name == <span class="Constant">&quot;false&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L36" class="LineNr">36 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>type != <span class="Constant">NULL</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L37" class="LineNr">37 </span>    <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;'false' is a literal and can't take a type\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L38" class="LineNr">38 </span>    <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L39" class="LineNr">39 </span>  <span class="Delimiter">}</span>
<span id="L40" class="LineNr">40 </span>  type = <span class="Normal">new</span> type_tree<span class="Delimiter">(</span><span class="Constant">&quot;literal-boolean&quot;</span><span class="Delimiter">);</span>
<span id="L41" class="LineNr">41 </span>  <a href='010vm.cc.html#L67'>set_value</a><span class="Delimiter">(</span><span class="Constant">0</span><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">//: 'null'</span>
<span id="L45" class="LineNr">45 </span>
<span id="L46" class="LineNr">46 </span><span class="Delimiter">:(before &quot;End Mu Types Initialization&quot;)</span>
<span id="L47" class="LineNr">47 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Type_ordinal</span><span class="Delimiter">,</span> <span class="Constant">&quot;literal-address&quot;</span><span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L48" class="LineNr">48 </span>
<span id="L49" class="LineNr">49 </span><span class="Delimiter">:(scenario null)</span>
<span id="L50" class="LineNr">50 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L51" class="LineNr">51 </span>  <span class="Constant">1</span>:<a href='043space.cc.html#L101'>address</a>:number<span class="Special"> &lt;- </span>copy<span class="Constant"> null</span>
<span id="L52" class="LineNr">52 </span>]
<span id="L53" class="LineNr">53 </span><span class="traceContains">+parse:   ingredient: {null: &quot;literal-address&quot;}</span>
<span id="L54" class="LineNr">54 </span>
<span id="L55" class="LineNr">55 </span><span class="Delimiter">:(before &quot;End Parsing reagent&quot;)</span>
<span id="L56" class="LineNr">56 </span><span class="Normal">if</span> <span class="Delimiter">(</span>name == <span class="Constant">&quot;null&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L57" class="LineNr">57 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>type != <span class="Constant">NULL</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L58" class="LineNr">58 </span>    <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;'null' is a literal and can't take a type\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L59" class="LineNr">59 </span>    <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L60" class="LineNr">60 </span>  <span class="Delimiter">}</span>
<span id="L61" class="LineNr">61 </span>  type = <span class="Normal">new</span> type_tree<span class="Delimiter">(</span><span class="Constant">&quot;literal-address&quot;</span><span class="Delimiter">);</span>
<span id="L62" class="LineNr">62 </span>  <a href='010vm.cc.html#L67'>set_value</a><span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L63" class="LineNr">63 </span><span class="Delimiter">}</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->