about summary refs log tree commit diff stats
path: root/html/http-client.mu.html
blob: 67538363817d8046e5532559e8920186ce2c80f6 (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
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
<!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 - http-client.mu</title>
<meta name="Generator" content="Vim/8.0">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="none">
<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; }
.muControl { color: #804000; }
.muRecipe { color: #ff8700; }
.LineNr { }
.Delimiter { color: #c000c0; }
.Constant { color: #008787; }
.Special { color: #ff6060; }
.Comment { color: #005faf; }
-->
</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/http-client.mu'>https://github.com/akkartik/mu/blob/master/http-client.mu</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr"> 1 </span><span class="Comment"># example program: reading a URL over HTTP</span>
<span id="L2" class="LineNr"> 2 </span>
<span id="L3" class="LineNr"> 3 </span><span class="muRecipe">def</span> <a href='http-client.mu.html#L3'>main</a> [
<span id="L4" class="LineNr"> 4 </span>  <span class="Constant">local-scope</span>
<span id="L5" class="LineNr"> 5 </span>  $print <span class="Constant">[aaa]</span> <span class="Constant">10/newline</span>
<span id="L6" class="LineNr"> 6 </span>  google:&amp;:<a href='075channel.mu.html#L36'>source</a>:char <span class="Special">&lt;-</span> <a href='092socket.mu.html#L69'>start-reading-from-network</a><span class="Constant"> null/real-resources,</span> <span class="Constant">[google.com/]</span>
<span id="L7" class="LineNr"> 7 </span>  $print <span class="Constant">[bbb]</span> <span class="Constant">10/newline</span>
<span id="L8" class="LineNr"> 8 </span>  n:num <span class="Special">&lt;-</span> copy<span class="Constant"> 0</span>
<span id="L9" class="LineNr"> 9 </span>  buf:&amp;:<a href='061text.mu.html#L120'>buffer</a>:char <span class="Special">&lt;-</span> <a href='061text.mu.html#L125'>new-buffer</a><span class="Constant"> 30</span>
<span id="L10" class="LineNr">10 </span>  <span class="Delimiter">{</span>
<span id="L11" class="LineNr">11 </span>    c:char, done?:bool <span class="Special">&lt;-</span> read google
<span id="L12" class="LineNr">12 </span>    <span class="muControl">break-if</span> done?
<span id="L13" class="LineNr">13 </span>    n <span class="Special">&lt;-</span> add n,<span class="Constant"> 1</span>
<span id="L14" class="LineNr">14 </span>    buf <span class="Special">&lt;-</span> append buf, c
<span id="L15" class="LineNr">15 </span>    <span class="Delimiter">{</span>
<span id="L16" class="LineNr">16 </span>      _, a:num <span class="Special">&lt;-</span> divide-with-remainder n,<span class="Constant"> 100</span>
<span id="L17" class="LineNr">17 </span>      <span class="muControl">break-if</span> a
<span id="L18" class="LineNr">18 </span>      $print n <span class="Constant">10/newline</span>
<span id="L19" class="LineNr">19 </span>    <span class="Delimiter">}</span>
<span id="L20" class="LineNr">20 </span>   <span class="muControl"> loop</span>
<span id="L21" class="LineNr">21 </span>  <span class="Delimiter">}</span>
<span id="L22" class="LineNr">22 </span>  result:text <span class="Special">&lt;-</span> <a href='061text.mu.html#L338'>buffer-to-array</a> buf
<span id="L23" class="LineNr">23 </span>  open-console
<span id="L24" class="LineNr">24 </span>  <a href='081print.mu.html#L46'>clear-screen</a><span class="Constant"> null/screen</span>  <span class="Comment"># non-scrolling app</span>
<span id="L25" class="LineNr">25 </span>  len:num <span class="Special">&lt;-</span> length *result
<span id="L26" class="LineNr">26 </span>  print<span class="Constant"> null/real-screen,</span> result
<span id="L27" class="LineNr">27 </span>  wait-for-some-interaction
<span id="L28" class="LineNr">28 </span>  close-console
<span id="L29" class="LineNr">29 </span>]
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
xit #? cd/syscall 0x80/imm8 #? #? push-n-zero-bytes: # n: int #? $push-n-zero-bytes:prologue: #? 89/<- *Push-n-zero-bytes-ebp 5/r32/ebp # spill ebp without affecting stack #? 89/<- %ebp 4/r32/esp #? $push-n-zero-bytes:copy-ra: #? $dump-stack1: #? # -- esp = ebp #? 50/push-eax #? $dump-stack2: #? # -- esp+8 = ebp+4 #? # -- esp+4 = ebp #? 8b/-> *(esp+4) 0/r32/eax #? $dump-stack3: #? 2b/subtract *(ebp+4) 4/r32/esp #? $dump-stack4: #? # -- esp+4+n = ebp #? 89/<- *(esp+4) 0/r32/eax #? $dump-stack5: #? 58/pop-to-eax #? # -- esp+n = ebp #? $push-n-zero-bytes:bulk-cleaning: #? $dump-stack6: #? 89/<- *Push-n-zero-bytes-esp 4/r32/esp #? 81 0/subop/add *Push-n-zero-bytes-esp 4/imm32 #? $dump-stack7: #? (zero-out *Push-n-zero-bytes-esp *(ebp+4)) # n #? $push-n-zero-bytes:epilogue: #? $dump-stack8: #? 8b/-> *Push-n-zero-bytes-ebp 5/r32/ebp # restore spill #? c3/return #? #? zero-out: # start: (addr byte), len: int #? # pseudocode: #? # curr/esi = start #? # i/ecx = 0 #? # while true #? # if (i >= len) break #? # *curr = 0 #? # ++curr #? # ++i #? # #? # . prologue #? 55/push-ebp #? 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp #? # . save registers #? 50/push-eax #? 51/push-ecx #? 52/push-edx #? 56/push-esi #? # curr/esi = start #? 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi #? # var i/ecx: int = 0 #? 31/xor 3/mod/direct 1/rm32/ecx . . . 1/r32/ecx . . # clear ecx #? # edx = len #? 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 2/r32/edx 0xc/disp8 . # copy *(ebp+12) to edx #? $zero-out:loop: #? # if (i >= len) break #? 39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx #? 7d/jump-if->= $zero-out:end/disp8 #? # *curr = 0 #? c6 0/subop/copy 0/mod/direct 6/rm32/esi . . . . . 0/imm8 # copy byte to *esi #? # ++curr #? 46/increment-esi #? # ++i #? 41/increment-ecx #? eb/jump $zero-out:loop/disp8 #? $zero-out:end: #? # . restore registers #? 5e/pop-to-esi #? 5a/pop-to-edx #? 59/pop-to-ecx #? 58/pop-to-eax #? # . epilogue #? 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp #? 5d/pop-to-ebp #? c3/return #? #? == data #? Push-n-zero-bytes-ebp: # (addr int) #? 0/imm32 #? Push-n-zero-bytes-esp: # (addr int) #? 0/imm32 #? == code # stack at dump-stack0: # 0 a: bdffffb0: 00000000 00000000 00000000 00000000 # 0 a: bdffffc0: 00000000 00000000 00000000 00000000 # 0 a: bdffffd0: 00000000 00000000 00000000 00000000 # 0 a: bdffffe0: 00000000 00000000 00000000 00000000 # 0 a: bdfffff0: 00000000 [fcfdfeff] 00000001 bf000000 # desired state after push-n-zero-bytes: # 0 a: bdffff90: 00000000 00000000 00000000 00000000 # 0 a: bdffffa0: 00000000 00000000 00000000 00000000 # 0 a: bdffffb0: 00000000 00000000 00000000 bdffffec # 0 a: bdffffc0: 0900012a bdffffd0 00000020 090000d1 # 0 a: bdffffd0: [rrrrrrrr] 00000000 00000000 00000000 # 0 a: bdffffe0: 00000000 00000000 00000000 00000000 # 0 a: bdfffff0: 00000000 fcfdfeff 00000001 bf000000 # actual state: # 0 a: bdffff90: 00000000 00000000 00000000 00000000 # 0 a: bdffffa0: 00000000 00000000 00000000 00000000 # 0 a: bdffffb0: 00000000 00000000 00000000 bdffffec # 0 a: bdffffc0: 09000124 bdffffd0 00000020 090000d1 # 0 a: bdffffd0: [00000000] 00000000 00000000 00000000 # 0 a: bdffffe0: 00000000 00000000 00000000 00000000 # 0 a: bdfffff0: 00000020 fcfdfeff 00000001 bf000000 # Ok, just one diff, at bdfffff0 ## 9: Entry: # . prologue 89/<- %ebp 4/r32/esp # 68/push 0xfcfdfeff/imm32 b8/copy-to-eax 0x34353637/imm32 $dump-stack0: (push-n-zero-bytes 0x20) $dump-stack9: 68/push 0x20/imm32 $dump-stacka: b8/copy-to-eax 1/imm32/exit cd/syscall 0x80/imm8 push-n-zero-bytes: # n: int $push-n-zero-bytes:prologue: 89/<- *Push-n-zero-bytes-ebp 5/r32/ebp # spill ebp without affecting stack 89/<- %ebp 4/r32/esp $push-n-zero-bytes:copy-ra: $dump-stack1: # -- esp = ebp 50/push-eax $dump-stack2: # -- esp+8 = ebp+4 # -- esp+4 = ebp 8b/-> *(esp+4) 0/r32/eax $dump-stack3: 2b/subtract *(ebp+4) 4/r32/esp $dump-stack4: # -- esp+4+n = ebp 89/<- *(esp+4) 0/r32/eax $dump-stack5: 58/pop-to-eax # -- esp+n = ebp $push-n-zero-bytes:bulk-cleaning: $dump-stack6: 89/<- *Push-n-zero-bytes-esp 4/r32/esp 81 0/subop/add *Push-n-zero-bytes-esp 4/imm32 $dump-stack7: 81 0/subop/add *(ebp+4) 4/imm32 (zero-out *Push-n-zero-bytes-esp *(ebp+4)) # n $push-n-zero-bytes:epilogue: $dump-stack8: 8b/-> *Push-n-zero-bytes-ebp 5/r32/ebp # restore spill c3/return zero-out: # start: (addr byte), len: int # pseudocode: # curr/esi = start # i/ecx = 0 # while true # if (i >= len) break # *curr = 0 # ++curr # ++i # # . prologue 55/push-ebp 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp # . save registers 50/push-eax 51/push-ecx 52/push-edx 56/push-esi # curr/esi = start 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi # var i/ecx: int = 0 31/xor 3/mod/direct 1/rm32/ecx . . . 1/r32/ecx . . # clear ecx # edx = len 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 2/r32/edx 0xc/disp8 . # copy *(ebp+12) to edx $zero-out:loop: # if (i >= len) break 39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx 7d/jump-if->= $zero-out:end/disp8 # *curr = 0 c6 0/subop/copy 0/mod/direct 6/rm32/esi . . . . . 0/imm8 # copy byte to *esi # ++curr 46/increment-esi # ++i 41/increment-ecx eb/jump $zero-out:loop/disp8 $zero-out:end: # . restore registers 5e/pop-to-esi 5a/pop-to-edx 59/pop-to-ecx 58/pop-to-eax # . epilogue 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp 5d/pop-to-ebp c3/return == data Push-n-zero-bytes-ebp: # (addr int) 0/imm32 Push-n-zero-bytes-esp: # (addr int) 0/imm32 == code # stack at dump-stack0: # 0 a: bdffffb0: 00000000 00000000 00000000 00000000 # 0 a: bdffffc0: 00000000 00000000 00000000 00000000 # 0 a: bdffffd0: 00000000 00000000 00000000 00000000 # 0 a: bdffffe0: 00000000 00000000 00000000 00000000 # 0 a: bdfffff0: 00000000 [fcfdfeff] 00000001 bf000000 # desired state after push-n-zero-bytes: # 0 a: bdffff90: 00000000 00000000 00000000 00000000 # 0 a: bdffffa0: 00000000 00000000 00000000 00000000 # 0 a: bdffffb0: 00000000 00000000 00000000 bdffffec # 0 a: bdffffc0: 0900012a bdffffd0 00000020 090000d1 # 0 a: bdffffd0: [xxxxxxxx] 00000000 00000000 00000000 # 0 a: bdffffe0: 00000000 00000000 00000000 00000000 # 0 a: bdfffff0: 00000000 fcfdfeff 00000001 bf000000 # actual state: # 0 a: bdffff90: 00000000 00000000 00000000 00000000 # 0 a: bdffffa0: 00000000 00000000 00000000 00000000 # 0 a: bdffffb0: 00000000 00000000 00000000 bdffffec # 0 a: bdffffc0: 0900012f bdffffd0 00000024 090000d1 # 0 a: bdffffd0: [00000000] 00000000 00000000 00000000 # 0 a: bdffffe0: 00000000 00000000 00000000 00000000 # 0 a: bdfffff0: 00000000 fcfdfeff 00000001 bf000000