about summary refs log blame commit diff stats
path: root/cpp/.traces/or
blob: 17582d993771959dd7a2599c081d5e7c34cb5260 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
                       

                                                                               
                       
                                                                               
                                                                            
                       


                                                                               



                          
                         

                            
                         

                            
                         





                            
parse/0: instruction: 1
parse/0:   ingredient: {name: "1", value: 0, type: 0, properties: [1: literal]}
parse/0:   product: {name: "1", value: 0, type: 1, properties: [1: integer]}
parse/0: instruction: 1
parse/0:   ingredient: {name: "0", value: 0, type: 0, properties: [0: literal]}
parse/0:   product: {name: "2", value: 0, type: 1, properties: [2: integer]}
parse/0: instruction: 8
parse/0:   ingredient: {name: "1", value: 0, type: 1, properties: [1: integer]}
parse/0:   ingredient: {name: "2", value: 0, type: 1, properties: [2: integer]}
parse/0:   product: {name: "3", value: 0, type: 1, properties: [3: integer]}
after-brace/0: recipe main
after-brace/0: copy ...
after-brace/0: copy ...
after-brace/0: or ...
run/0: instruction main/0
run/0: ingredient 0 is 1
mem/0: storing in location 1
run/0: instruction main/1
run/0: ingredient 0 is 0
mem/0: storing in location 2
run/0: instruction main/2
run/0: ingredient 0 is 1
mem/0: location 1 is 1
run/0: ingredient 1 is 2
mem/0: location 2 is 0
run/0: product 0 is 1
mem/0: storing in location 3
subx?h=main&id=6030d7e2e56d445ca67c6a0e8c9cf33e46bc673c'>6030d7e2 ^
9d27e966 ^
6030d7e2 ^


9d27e966 ^
03d50cc8 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
04be5eb2 ^
9d27e966 ^
6030d7e2 ^
5a9795bb ^
6030d7e2 ^
6ff9ce26 ^
9d27e966 ^
ee9a9237 ^
6030d7e2 ^


9d27e966 ^
6030d7e2 ^
9d27e966 ^
dd9ba09a ^
6030d7e2 ^

dd9ba09a ^
6030d7e2 ^

ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^

dd9ba09a ^
6030d7e2 ^
04be5eb2 ^
ee9a9237 ^
6030d7e2 ^



6ff9ce26 ^
03d50cc8 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
00439520 ^
ee9a9237 ^
6030d7e2 ^


ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^


d48cfd0f ^
ee9a9237 ^
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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

                                                                     
                                   

                                                            


                  
 
                                            
                                    
                  
            
                                                              
 
       


                                                                                                                                                 
 





                                                                           
              
                                                                                                                                                                       
                                                                  
                
                                                                                                                                                                    
                                               
                         
                   
                         
                                                                                                                                                                     
              
                                        
                      
                                                                                                                                                                  
                    
                               
                                         
                   


                                                                                                                                                                                      
                                     
          
                   
                    
              
                             
                      
                                                                                                                                                                  
          
                        
                                                                                                                                                                       
                                
                         
 
                                
              


                                                                                                                                                                       
                         
                           
                        
                                                                                                                                                                        

                                       
                                                                                                                                                                            

                                                                                                                                                                         
                   
               
              
                             
                      

                                                                                                                                                                  
                                                                                                                                                                                  
                              
               
              



                                                                                                                                                                       
 
               
                  
                   
                    
              
                             
                      
                                                                                                                                                                  
                                     
                   


                                       
              
                                    
                      


                                                                                                                                                                  
 
                            
## compute the factorial of 5, and return the result in the exit code
#
# To run (from the subx directory):
#   $ ./subx translate apps/factorial.subx -o apps/factorial
#   $ ./subx run apps/factorial
# Expected result:
#   $ echo $?
#   120
#
# You can also run the automated test suite:
#   $ ./subx run apps/factorial test
# Expected output:
#   ........
# Every '.' indicates a passing test. Failing tests get a 'F'.

== code
#   instruction                     effective address                                                   register    displacement    immediate
# . op          subop               mod             rm32          base        index         scale       r32
# . 1-3 bytes   3 bits              2 bits          3 bits        3 bits      3 bits        2 bits      2 bits      0/1/2/4 bytes   0/1/2/4 bytes

Entry:  # run tests if necessary, compute `factorial(5)` if not

#?     # for debugging: run a single test; don't bother setting status code
#?     e8/call test-get-num-reads-single-digit/disp32
#?     eb/jump  $main:end/disp8

    # . prolog
    89/copy                         3/mod/direct    5/rm32/EBP    .           .             .           4/r32/ESP   .               .                 # copy ESP to EBP
    # - if argc > 1 and argv[1] == "test", then return run_tests()
    # . argc > 1
    81          7/subop/compare     1/mod/*+disp8   5/rm32/EBP    .           .             .           .           0/disp8         1/imm32           # compare *EBP
    7e/jump-if-lesser-or-equal  $run-main/disp8
    # . argv[1] == "test"
    # . . push args
    68/push  "test"/imm32
    ff          6/subop/push        1/mod/*+disp8   5/rm32/EBP    .           .             .           .           8/disp8         .                 # push *(EBP+8)
    # . . call
    e8/call  kernel-string-equal?/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               8/imm32           # add to ESP
    # . check result
    3d/compare-EAX-and  1/imm32
    75/jump-if-not-equal  $run-main/disp8
    # . run-tests()
    e8/call  run-tests/disp32
    8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/EAX   Num-test-failures/disp32          # copy *Num-test-failures to EAX
    eb/jump  $main:end/disp8  # where EAX will get copied to EBX
    # - otherwise return factorial(5)
$run-main:
    # . . push args
    68/push  5/imm32
    # . . call
    e8/call  factorial/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               4/imm32           # add to ESP
$main:end:
    # syscall(exit, EAX)
    89/copy                         3/mod/direct    3/rm32/EBX    .           .             .           0/r32/EAX   .               .                 # copy EAX to EBX
    b8/copy-to-EAX  1/imm32/exit
    cd/syscall  0x80/imm8

factorial:  # n : int -> int/EAX
    # . prolog
    55/push-EBP
    89/copy                         3/mod/direct    5/rm32/EBP    .           .             .           4/r32/ESP   .               .                 # copy ESP to EBP
    53/push-EBX
    # EAX = 1 (base case)
    b8/copy-to-EAX  1/imm32
    # if (n <= 1) return
    81          7/subop/compare     1/mod/*+disp8   5/rm32/EBP    .           .             .           .           8/disp8         1/imm32           # compare *(EBP+8)
    7e/jump-if-<=  $factorial:end/disp8
    # EBX = n-1
    8b/copy                         1/mod/*+disp8   5/rm32/EBP    .           .                         3/r32/EBX   8/disp8         .                 # copy *(EBP+8) to EBX
    81          5/subop/subtract    3/mod/direct    3/rm32/EBX    .           .             .           .           .               1/imm32           # subtract from EBX
    # EAX = factorial(n-1)
    # . . push args
    53/push-EBX
    # . . call
    e8/call  factorial/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               4/imm32           # add to ESP
    # return n * factorial(n-1)
    f7          4/subop/multiply    1/mod/*+disp8   5/rm32/EBP    .           .                                     8/disp8         .                 # multiply *(EBP+8) into EAX
    # TODO: check for overflow
$factorial:end:
    # . epilog
    5b/pop-to-EBX
    89/copy                         3/mod/direct    4/rm32/ESP    .           .             .           5/r32/EBP   .               .                 # copy EBP to ESP
    5d/pop-to-EBP
    c3/return

test-factorial:
    # factorial(5)
    # . . push args
    68/push  5/imm32
    # . . call
    e8/call  factorial/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               4/imm32           # add to ESP
    # check-ints-equal(EAX, 120, msg)
    # . . push args
    68/push  "F - test-factorial"/imm32
    68/push  0x78/imm32/expected-120
    50/push-EAX
    # . . call
    e8/call  check-ints-equal/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/ESP    .           .             .           .           .               0xc/imm32         # add to ESP
    # end
    c3/return

# . . vim:nowrap:textwidth=0