about summary refs log tree commit diff stats
path: root/vimrc.vim
blob: 5587637e6c5f53f7ef5ada2e25880c8430f8cd6e (plain) (blame)
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
" Highlighting literate directives in C++ sources.
function! HighlightTangledFile()
  " Tangled comments only make sense in the sources and are stripped out of
  " the generated .cc file. They're highlighted same as regular comments.
  syntax match tangledComment /\/\/:.*/ | highlight link tangledComment Comment
  syntax match tangledSalientComment /\/\/::.*/ | highlight link tangledSalientComment SalientComment
  set comments-=://
  set comments-=n://
  set comments+=n://:,n://

  " Inside tangle scenarios.
  syntax region tangleDirective start=+:(+ skip=+".*"+ end=+)+
  highlight link tangleDirective Delimiter
  syntax match traceContains /^+.*/
  highlight traceContains ctermfg=darkgreen
  syntax match traceAbsent /^-.*/
  highlight traceAbsent ctermfg=darkred
  syntax match tangleScenarioSetup /^\s*% .*/ | highlight link tangleScenarioSetup SpecialChar

  " Our C++ files can have Mu code in scenarios, so highlight Mu comments like
  " regular comments.
  syntax match muComment /# .*$/
  syntax match muComment /#: .*$/
  highlight link muComment Comment
  syntax match muSalientComment /##.*$/ | highlight link muSalientComment SalientComment
  syntax match muCommentedCode /#? .*$/ | highlight link muCommentedCode CommentedCode
  set comments+=n:#
  " Some other bare-bones Mu highlighting.
  syntax match muLiteral %[^ ]\+:literal/[^ ,]*\|[^ ]\+:literal\>%
  syntax match muLiteral %[^ ]\+:label/[^ ,]*\|[^ ]\+:label\>%
  syntax match muLiteral %[^ ]\+:type/[^ ,]*\|[^ ]\+:type\>%
  syntax match muLiteral %[^ ]\+:offset/[^ ,]*\|[^ ]\+:offset\>%
  syntax match muLiteral %[^ ]\+:variant/[^ ,]*\|[^ ]\+:variant\>%
  highlight link muLiteral Constant
  syntax match muAssign " <- \|\<raw\>" | highlight link muAssign SpecialChar
  syntax match muGlobal %[^ ]\+:global/[^ ,]*\|[^ ]\+:global\>% | highlight link muGlobal SpecialChar
  " common keywords
  syntax match muRecipe "^recipe\>\|^recipe!\>\|^def\>\|^def!\>\|^before\>\|^after\>\| -> " | highlight muRecipe ctermfg=208
  syntax match muScenario "^scenario\>" | highlight muScenario ctermfg=34
  syntax match muPendingScenario "^pending-scenario\>" | highlight link muPendingScenario SpecialChar
  syntax match muData "^type\>\|^container\>\|^exclusive-container\>" | highlight muData ctermfg=226
endfunction
augroup LocalVimrc
  autocmd BufRead,BufNewFile *.mu set ft=mu
  autocmd BufRead,BufNewFile *.cc call HighlightTangledFile()
augroup END

" Scenarios considered:
"   opening or starting vim with a new or existing file without an extension (should interpret as C++)
"   opening or starting vim with a new or existing file with a .mu extension
"   starting vim or opening a buffer without a file name (ok to do nothing)
"   opening a second file in a new or existing window (shouldn't mess up existing highlighting)
"   reloading an existing file (shouldn't mess up existing highlighting)
s="p">: #005faf; text-decoration: underline; } .subxComment { color: #005faf; } .LineNr { } .SpecialChar { color: #d70000; } .Constant { color: #008787; } --> </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; } var 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/main/linux/mu-init.subx'>https://github.com/akkartik/mu/blob/main/linux/mu-init.subx</a> <pre id='vimCodeElement'> <span id="L1" class="LineNr"> 1 </span><span class="subxComment"># Initialize the minimal runtime for Mu programs.</span> <span id="L2" class="LineNr"> 2 </span><span class="subxComment">#</span> <span id="L3" class="LineNr"> 3 </span><span class="subxComment"># See translate_mu for how this file is used.</span> <span id="L4" class="LineNr"> 4 </span><span class="subxComment">#</span> <span id="L5" class="LineNr"> 5 </span><span class="subxComment"># Mu programs start at a function called 'main' with this signature:</span> <span id="L6" class="LineNr"> 6 </span><span class="subxComment"># fn main args: (addr array addr array byte) -&gt; _/ebx: int</span> <span id="L7" class="LineNr"> 7 </span><span class="subxComment"># If your program doesn't need commandline arguments you can drop it:</span> <span id="L8" class="LineNr"> 8 </span><span class="subxComment"># fn main -&gt; _/ebx: int</span> <span id="L9" class="LineNr"> 9 </span><span class="subxComment">#</span> <span id="L10" class="LineNr">10 </span><span class="subxComment"># Notice that the output must be in ebx, so that the exit() syscall can pick</span> <span id="L11" class="LineNr">11 </span><span class="subxComment"># it up.</span> <span id="L12" class="LineNr">12 </span> <span id="L13" class="LineNr">13 </span>== code <span id="L14" class="LineNr">14 </span> <span id="L15" class="LineNr">15 </span><span class="SpecialChar">Entry</span>: <span id="L16" class="LineNr">16 </span> <span class="subxComment"># we don't use ebp in Entry; just initialize it</span> <span id="L17" class="LineNr">17 </span> bd/copy-to-ebp 0/imm32 <span id="L18" class="LineNr">18 </span> <span class="subxH1Comment"># - save argc and argv</span> <span id="L19" class="LineNr">19 </span> <span class="subxComment"># var argc-and-argv/esi</span> <span id="L20" class="LineNr">20 </span> 89/&lt;- %esi 4/r32/esp <span id="L21" class="LineNr">21 </span><span class="Constant">$Entry:initialize-heap</span>: <span id="L22" class="LineNr">22 </span> <span class="subxH1Comment"># - initialize the heap</span> <span id="L23" class="LineNr">23 </span> (<a href='104new-segment.subx.html#L40'>new-segment</a> *<span class="SpecialChar"><a href='120allocate.subx.html#L34'>Heap-size</a></span> <span class="SpecialChar"><a href='120allocate.subx.html#L27'>Heap</a></span>) <span id="L24" class="LineNr">24 </span><span class="Constant">$Entry:initialize-args</span>: <span id="L25" class="LineNr">25 </span> <span class="subxH1Comment"># - convert argv from null-terminated 'kernel' strings to length-prefixed Mu strings</span> <span id="L26" class="LineNr">26 </span> <span class="subxComment"># var argc/edx: int</span> <span id="L27" class="LineNr">27 </span> 8b/-&gt; *esi 2/r32/edx <span id="L28" class="LineNr">28 </span> <span class="subxComment"># argc is in words; convert it to bytes</span> <span id="L29" class="LineNr">29 </span> c1/shift 4/subop/left %edx 2/imm8 <span id="L30" class="LineNr">30 </span> <span class="subxComment"># var tmp/ebx: handle</span> <span id="L31" class="LineNr">31 </span> 68/push 0/imm32 <span id="L32" class="LineNr">32 </span> 68/push 0/imm32 <span id="L33" class="LineNr">33 </span> 89/&lt;- %ebx 4/r32/esp <span id="L34" class="LineNr">34 </span> <span class="subxComment"># var args/edi: (addr array (addr array byte))</span> <span id="L35" class="LineNr">35 </span> (<a href='120allocate.subx.html#L584'>allocate-array</a> <span class="SpecialChar"><a href='120allocate.subx.html#L27'>Heap</a></span> %edx %ebx) <span id="L36" class="LineNr">36 </span> (<a href='120allocate.subx.html#L258'>lookup</a> *ebx *(ebx+4)) <span class="subxComment"># =&gt; eax</span> <span id="L37" class="LineNr">37 </span> 89/&lt;- %edi 0/r32/eax <span id="L38" class="LineNr">38 </span> <span class="subxComment"># var curr/ecx: (addr kernel-string) = argv</span> <span id="L39" class="LineNr">39 </span> 8d/copy-address *(esi+4) 1/r32/ecx <span id="L40" class="LineNr">40 </span> <span class="subxComment"># var max/edx: (addr kernel-string) = argv+4+argc</span> <span id="L41" class="LineNr">41 </span> 8d/copy-address *(ecx+edx) 2/r32/edx <span id="L42" class="LineNr">42 </span> <span class="subxComment"># var dest/esi: (addr (addr array byte)) = args+4</span> <span id="L43" class="LineNr">43 </span> 8d/copy-address *(edi+4) 6/r32/esi <span id="L44" class="LineNr">44 </span> { <span id="L45" class="LineNr">45 </span> <span class="subxComment"># if (curr &gt;= max) break</span> <span id="L46" class="LineNr">46 </span> 39/compare %ecx 2/r32/edx <span id="L47" class="LineNr">47 </span> 73/jump-if-addr&gt;= <span class="Constant">break</span>/disp8 <span id="L48" class="LineNr">48 </span> <span class="subxComment"># *dest = kernel-string-to-string(*curr)</span> <span id="L49" class="LineNr">49 </span> (<a href='303kernel-string.subx.html#L7'>kernel-string-to-string</a> <span class="SpecialChar"><a href='120allocate.subx.html#L27'>Heap</a></span> *ecx %ebx) <span id="L50" class="LineNr">50 </span> (<a href='120allocate.subx.html#L258'>lookup</a> *ebx *(ebx+4)) <span class="subxComment"># =&gt; eax</span> <span id="L51" class="LineNr">51 </span> 89/&lt;- *esi 0/r32/eax <span id="L52" class="LineNr">52 </span> <span class="subxComment"># curr += 4</span> <span id="L53" class="LineNr">53 </span> 81 0/subop/add %ecx 4/imm32 <span id="L54" class="LineNr">54 </span> <span class="subxComment"># dest += 4</span> <span id="L55" class="LineNr">55 </span> 81 0/subop/add %esi 4/imm32 <span id="L56" class="LineNr">56 </span> <span class="subxComment">#</span> <span id="L57" class="LineNr">57 </span> eb/jump <span class="Constant">loop</span>/disp8 <span id="L58" class="LineNr">58 </span> } <span id="L59" class="LineNr">59 </span> <span class="subxH1Comment"># - run Mu program</span> <span id="L60" class="LineNr">60 </span> (main %edi) <span class="subxComment"># =&gt; ebx</span> <span id="L61" class="LineNr">61 </span> <span class="subxH1Comment"># - exit</span> <span id="L62" class="LineNr">62 </span> (<a href='000init.subx.html#L18'>syscall_exit</a>) </pre> </body> </html> <!-- vim: set foldmethod=manual : -->