diff options
| -rw-r--r-- | apps/mu.subx | 370 |
1 files changed, 1 insertions, 369 deletions
diff --git a/apps/mu.subx b/apps/mu.subx index 113fce7e..9ed65a06 100644 --- a/apps/mu.subx +++ b/apps/mu.subx @@ -425,18 +425,6 @@ test-convert-empty-input: c3/return test-convert-function-skeleton: - # empty function decl => function prologue and epilogue - # fn foo { - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -472,28 +460,6 @@ test-convert-function-skeleton: c3/return test-convert-multiple-function-skeletons: - # multiple functions correctly organized into a linked list - # fn foo { - # } - # fn bar { - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return - # bar: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -540,18 +506,6 @@ test-convert-multiple-function-skeletons: c3/return test-convert-function-with-arg: - # function with one arg - # fn foo n : int { - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -587,22 +541,6 @@ test-convert-function-with-arg: c3/return test-convert-function-with-arg-and-body: - # function with one arg and one instruction in the body - # fn foo n : int { - # increment n - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # ff 0/subop/increment *(ebp+8) - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -642,22 +580,6 @@ test-convert-function-with-arg-and-body: c3/return test-convert-function-distinguishes-args: - # function with two args refers to second one in body - # fn foo a: int, b: int { - # increment b - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # ff 0/subop/increment *(ebp+0xc) - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -697,24 +619,6 @@ test-convert-function-distinguishes-args: c3/return test-convert-function-returns-result: - # function writes to output - # fn foo a: int, b: int -> result/eax: int { - # result <- copy a - # result <- increment - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # 89/-> *(ebp+8) 0/r32/eax - # 40/increment-eax - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -756,24 +660,6 @@ test-convert-function-returns-result: c3/return test-convert-function-literal-arg: - # function writes to output - # fn foo a: int, b: int -> result/eax: int { - # result <- copy a - # result <- add 1 - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # 89/-> *(ebp+8) 0/r32/eax - # 05/add-to-eax 1/imm32 - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -815,24 +701,6 @@ test-convert-function-literal-arg: c3/return test-convert-function-literal-arg-2: - # function writes to output - # fn foo a: int, b: int -> result/ebx: int { - # result <- copy a - # result <- add 1 - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # 89/-> *(ebp+8) 3/r32/ebx - # 81 0/subop/add %ebx 1/imm32 - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -874,39 +742,6 @@ test-convert-function-literal-arg-2: c3/return test-convert-function-call-with-literal-arg: - # function writes to output - # fn main -> result/ebx: int { - # result <- do-add 3 4 - # } - # - # fn do-add a: int, b: int -> result/ebx: int { - # result <- copy a - # result <- add b - # } - # => - # main: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # (do-add 3 4) - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return - # do-add: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # 8b/-> *(ebp+8) 3/r32/ebx - # 03/add-to 3/r32/ebx *(ebp+0xc) - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -962,25 +797,6 @@ test-convert-function-call-with-literal-arg: c3/return test-convert-function-with-local-var-in-mem: - # empty function decl => function prologue and epilogue - # fn foo { - # var x: int - # increment x - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # 68/push 0/imm32 - # ff 0/subop/increment *(ebp-4) - # 81 0/subop/add %esp 4/imm32 - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1023,26 +839,6 @@ test-convert-function-with-local-var-in-mem: c3/return test-convert-function-with-local-var-in-reg: - # empty function decl => function prologue and epilogue - # fn foo { - # var x/ecx: int <- copy 3 - # x <- increment - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # ff 6/subop/push %ecx - # b9/copy-to-ecx 3/imm32 - # 41/increment-ecx - # 8f 0/subop/pop %ecx - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1086,29 +882,6 @@ test-convert-function-with-local-var-in-reg: c3/return test-convert-function-with-local-var-in-block: - # empty function decl => function prologue and epilogue - # fn foo { - # { - # var x: int - # increment x - # } - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # { - # 68/push 0/imm32 - # ff 0/subop/increment *(ebp-4) - # 81 0/subop/add %esp 4/imm32 - # } - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1155,31 +928,6 @@ test-convert-function-with-local-var-in-block: c3/return test-convert-function-with-local-var-in-named-block: - # empty function decl => function prologue and epilogue - # fn foo { - # $bar: { - # var x: int - # increment x - # } - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # { - # $bar:loop: - # 68/push 0/imm32 - # ff 0/subop/increment *(ebp-4) - # 81 0/subop/add %esp 4/imm32 - # } - # $bar:break: - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1228,32 +976,6 @@ test-convert-function-with-local-var-in-named-block: c3/return test-convert-function-with-branches-in-block: - # empty function decl => function prologue and epilogue - # fn foo x: int { - # { - # break-if->= - # loop-if-addr< - # increment x - # loop - # } - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # { - # 0f 8d/jump-if->= break/disp32 - # 0f 82/jump-if-addr< loop/disp32 - # ff 0/subop/increment *(ebp+8) - # e9/jump loop/disp32 - # } - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1303,34 +1025,6 @@ test-convert-function-with-branches-in-block: c3/return test-convert-function-with-branches-in-named-block: - # empty function decl => function prologue and epilogue - # fn foo x: int { - # $bar: { - # break-if->= $bar - # loop-if-addr< $bar - # increment x - # loop - # } - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # { - # $bar:loop: - # 0f 8d/jump-if->= $bar:break/disp32 - # 0f 82/jump-if-addr< $bar:loop/disp32 - # ff 0/subop/increment *(ebp+8) - # e9/jump loop/disp32 - # } - # $bar:break: - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1382,33 +1076,6 @@ test-convert-function-with-branches-in-named-block: c3/return test-convert-function-with-var-in-nested-block: - # empty function decl => function prologue and epilogue - # fn foo { - # { - # { - # var x: int - # increment x - # } - # } - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # { - # { - # 68/push 0/imm32 - # ff 0/subop/increment *(ebp-4) - # 81 0/subop/add %esp 4/imm32 - # } - # } - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1459,36 +1126,6 @@ test-convert-function-with-var-in-nested-block: c3/return test-convert-function-with-multiple-vars-in-nested-blocks: - # empty function decl => function prologue and epilogue - # fn foo { - # { - # var x/eax: int <- copy 0 - # { - # var y: int - # x <- add y - # } - # } - # } - # => - # foo: - # # . prologue - # 55/push-ebp - # 89/<- %ebp 4/r32/esp - # { - # { - # ff 6/subop/push %eax - # { - # 68/push 0/imm32 - # ff 0/subop/increment *(ebp-8) # eax has been spilled above - # 81 0/subop/add %esp 4/imm32 - # } - # 8f 0/subop/pop %eax - # } - # } - # # . epilogue - # 89/<- %esp 5/r32/ebp - # 5d/pop-to-ebp - # c3/return # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1882,7 +1519,6 @@ $populate-mu-function-header:error3: # never gets here test-function-header-with-arg: - # 'foo n : int {' # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1916,7 +1552,6 @@ test-function-header-with-arg: c3/return test-function-header-with-multiple-args: - # 'fn foo a: int, b: int, c: int {' # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -1969,7 +1604,6 @@ $test-function-header-with-multiple-args:inout2: c3/return test-function-with-multiple-args-and-outputs: - # fn foo a: int, b: int, c: int -> x: int, y: int { # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -3967,7 +3601,6 @@ $find-in-function-outputs:end: c3/return test-parse-mu-stmt: - # 'increment n' # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -4004,7 +3637,6 @@ test-parse-mu-stmt: c3/return test-parse-mu-stmt-with-comma: - # 'increment n' # . prologue 55/push-ebp 89/<- %ebp 4/r32/esp @@ -7106,7 +6738,7 @@ test-emit-subx-statement-select-primitive-2: c3/return test-increment-register: - # Select the right primitive between overloads. + # Select the right register between overloads. # foo <- increment # => # 50/increment-eax |