factorial2.subx.html « linux « html - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: afb7aca511aaf2994d98fe92a51bfd0614758da9 (plain) (tree)

pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */

<!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 - linux/factorial2.subx</title> <meta name="Generator" content="Vim/8.1"> <meta name="plugin-version" content="vim8.1_v1"> <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-dark"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/main/linux/factorial2.subx'>https://github.com/akkartik/mu/blob/main/linux/factorial2.subx</a> <pre id='vimCodeElement'> 1 ## compute the factorial of 5, and return the result in the exit code 2 # 3 # Uses syntax sugar for: 4 # rm32 operands 5 # 6 # To run: 7 # $ ./translate_subx init.linux [01]*.subx factorial.subx -o factorial 8 # $ bootstrap/bootstrap run factorial 9 # Expected result: 10 # $ echo $? 11 # 120 12 # 13 # You can also run the automated test suite: 14 # $ bootstrap/bootstrap run factorial test 15 # Expected output: 16 # ........ 17 # Every '.' indicates a passing test. Failing tests get a 'F'. 18 # 19 # Compare factorial.subx 20 21 == code 22 23 factorial: # n: int -> _/eax: int 24 # . prologue 25 55/push-ebp 26 89/<- %ebp 4/r32/esp 27 # save registers 28 51/push-ecx 29 # if (n <= 1) return 1 30 b8/copy-to-eax 1/imm32 31 81 7/subop/compare *(ebp+8) 1/imm32 32 7e/jump-if-<= $factorial:end/disp8 33 # n > 1; return n * factorial(n-1) 34 8b/-> *(ebp+8) 1/r32/ecx 35 49/decrement-ecx 36 # var tmp/eax: int = factorial(n-1) 37 # . . push args 38 51/push-ecx 39 # . . call 40 e8/call <a href='factorial2.subx.html#L23'>factorial</a>/disp32 41 # . . discard args 42 81 0/subop/add %esp 4/imm32 43 # return n * tmp 44 f7 4/subop/multiply-into-eax *(ebp+8) 45 # TODO: check for overflow 46 $factorial:end: 47 # restore registers 48 59/pop-to-ecx 49 # . epilogue 50 89/<- %esp 5/r32/ebp 51 5d/pop-to-ebp 52 c3/return 53 54 test-factorial: 55 # factorial(5) 56 # . . push args 57 68/push 5/imm32 58 # . . call 59 e8/call <a href='factorial2.subx.html#L23'>factorial</a>/disp32 60 # . . discard args 61 81 0/subop/add %esp 4/imm32 62 # check-ints-equal(eax, 120, msg) 63 # . . push args 64 68/push "F - test-factorial"/imm32 65 68/push 0x78/imm32/expected-120 66 50/push-eax 67 # . . call 68 e8/call <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32 69 # . . discard args 70 81 0/subop/add %esp 0xc/imm32 71 # end 72 c3/return 73 74 Entry: # run tests if necessary, compute `factorial(5)` if not 75 # . prologue 76 89/<- %ebp 4/r32/esp 77 78 # initialize heap (needed by tests elsewhere) 79 # . Heap = new-segment(Heap-size) 80 # . . push args 81 68/push <a href='120allocate.subx.html#L27'>Heap</a>/imm32 82 ff 6/subop/push *<a href='120allocate.subx.html#L34'>Heap-size</a> 83 # . . call 84 e8/call <a href='104new-segment.subx.html#L40'>new-segment</a>/disp32 85 # . . discard args 86 81 0/subop/add %esp 8/imm32 87 88 # if (argc <= 1) return factorial(5) 89 81 7/subop/compare *ebp 1/imm32 90 7f/jump-if-> $main:run-tests/disp8 91 # . . push args 92 68/push 5/imm32 93 # . . call 94 e8/call <a href='factorial2.subx.html#L23'>factorial</a>/disp32 95 # . . discard args 96 81 0/subop/add %esp 4/imm32 97 # . 98 89/<- %ebx 0/r32/eax 99 eb/jump $main:end/disp8 100 $main:run-tests: 101 # otherwise if first arg is "test", then return run_tests() 102 # if (!kernel-string-equal?(argv[1], "test")) goto do-nothing 103 # . eax = kernel-string-equal?(argv[1], "test") 104 # . . push args 105 68/push "test"/imm32 106 ff 6/subop/push *(ebp+8) 107 # . . call 108 e8/call <a href='103kernel-string-equal.subx.html#L31'>kernel-string-equal?</a>/disp32 109 # . . discard args 110 81 0/subop/add %esp 8/imm32 111 # . if (eax == false) goto do-nothing 112 3d/compare-eax-and 0/imm32/false 113 74/jump-if-= $main:do-nothing/disp8 114 # run-tests() 115 e8/call run-tests/disp32 116 # exit(*Num-test-failures) 117 8b/-> *<a href='102test.subx.html#L89'>Num-test-failures</a> 3/r32/ebx 118 eb/jump $main:end/disp8 119 $main:do-nothing: 120 bb/copy-to-ebx 0/imm32 121 $main:end: 122 e8/call <a href='000init.subx.html#L18'>syscall_exit</a>/disp32 </pre> </body> </html>