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

diff options

Diffstat (limited to 'tangle/000test.cc')

0 files changed, 0 insertions, 0 deletions

<!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/factorial4.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/factorial4.subx'>https://github.com/akkartik/mu/blob/main/linux/factorial4.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 # function calls 6 # control flow 7 # 8 # To run: 9 # $ ./translate_subx init.linux [01]*.subx factorial.subx -o factorial 10 # $ bootstrap/bootstrap run factorial 11 # Expected result: 12 # $ echo $? 13 # 120 14 # 15 # You can also run the automated test suite: 16 # $ bootstrap/bootstrap run factorial test 17 # Expected output: 18 # ........ 19 # Every '.' indicates a passing test. Failing tests get a 'F'. 20 # 21 # Compare factorial3.subx 22 23 == code 24 25 factorial: # n: int -> _/eax: int 26 # . prologue 27 55/push-ebp 28 89/<- %ebp 4/r32/esp 29 # save registers 30 51/push-ecx 31 # if (n <= 1) return 1 32 81 7/subop/compare *(ebp+8) 1/imm32 33 { 34 7f/jump-if-> break/disp8 35 b8/copy-to-eax 1/imm32 36 eb/jump $factorial:end/disp8 37 } 38 # n > 1; return n * factorial(n-1) 39 8b/-> *(ebp+8) 1/r32/ecx 40 49/decrement-ecx 41 (<a href='factorial4.subx.html#L25'>factorial</a> %ecx) # => eax 42 f7 4/subop/multiply-into-eax *(ebp+8) 43 # TODO: check for overflow 44 $factorial:end: 45 # restore registers 46 59/pop-to-ecx 47 # . epilogue 48 89/<- %esp 5/r32/ebp 49 5d/pop-to-ebp 50 c3/return 51 52 test-factorial: 53 (<a href='factorial4.subx.html#L25'>factorial</a> 5) 54 (<a href='102test.subx.html#L23'>check-ints-equal</a> %eax 0x78 "F - test-factorial") 55 c3/return 56 57 Entry: # run tests if necessary, compute `factorial(5)` if not 58 # . prologue 59 89/<- %ebp 4/r32/esp 60 61 # initialize heap (needed by tests elsewhere) 62 (<a href='104new-segment.subx.html#L40'>new-segment</a> *<a href='120allocate.subx.html#L34'>Heap-size</a> <a href='120allocate.subx.html#L27'>Heap</a>) 63 64 # if (argc <= 1) return factorial(5) 65 { 66 # if (argc > 1) break 67 81 7/subop/compare *ebp 1/imm32 68 7f/jump-if-> break/disp8 69 # ebx = factorial(5) 70 (<a href='factorial4.subx.html#L25'>factorial</a> 5) # => eax 71 89/<- %ebx 0/r32/eax 72 eb/jump $main:end/disp8 73 } 74 # otherwise if first arg is "test", then return run_tests() 75 { 76 # if (!kernel-string-equal?(argv[1], "test")) break 77 (<a href='103kernel-string-equal.subx.html#L31'>kernel-string-equal?</a> *(ebp+8) "test") # => eax 78 3d/compare-eax-and 0/imm32/false 79 74/jump-if-= break/disp8 80 # 81 (run-tests) 82 # exit(*Num-test-failures) 83 8b/-> *<a href='102test.subx.html#L89'>Num-test-failures</a> 3/r32/ebx 84 eb/jump $main:end/disp8 85 } 86 bb/copy-to-ebx 0/imm32 87 $main:end: 88 e8/call <a href='000init.subx.html#L18'>syscall_exit</a>/disp32 </pre> </body> </html>


context:
space:
mode: