summary refs log tree commit diff stats
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions
 

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-22 19:16:36 +0000


 


le='Blame the previous revision' href='/akkartik/mu/blame/apps/factorial.subx?h=hlt&id=d8dfb81806dcd609c203c83c5c340c72e102f6d4'>^

4c19dd39 ^


6ff9ce26 ^



3f8597bc ^

20d98754 ^

4c19dd39 ^

3f8597bc ^

20d98754 ^

3f8597bc ^

6ff9ce26 ^

a49bc413 ^

ee9a9237 ^



6ff9ce26 ^

8188bbbc ^

7a583220 ^

bf02a19d ^


56102844 ^

8a73e0d1 ^

56102844 ^


931b17da ^

56102844 ^



33352536 ^

8188bbbc ^

1639687b ^

bf02a19d ^

33352536 ^

6070c23e ^

bf02a19d ^


ee9a9237 ^

6030d7e2 ^

33352536 ^

ee9a9237 ^

71ee78f2 ^

ee9a9237 ^

33352536 ^

2a2a5b1e ^


6070c23e ^

bf02a19d ^

6030d7e2 ^

604c8315 ^

282681c7 ^


03d50cc8 ^

c0bde5f8 ^

604c8315 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

c0bde5f8 ^






1afc8828 ^

c0bde5f8 ^




1afc8828 ^

c0bde5f8 ^


















33352536 ^


282681c7 ^

7dac9ade ^

6ff9ce26 ^

71eb22a5 ^

7a583220 ^

33352536 ^



518429b1 ^

33352536 ^

33352536 ^

6030d7e2 ^

71eb22a5 ^

33352536 ^

3c1bc4fc ^

71eb22a5 ^

ee9a9237 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

6030d7e2 ^

33352536 ^

6030d7e2 ^

04be5eb2 ^

7a583220 ^

33352536 ^



6030d7e2 ^

6ff9ce26 ^

03d50cc8 ^

6030d7e2 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^


ee9a9237 ^

6030d7e2 ^


33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

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

113

114

115

116

117

118

119

120

121

122

123

124
125
126

127

128

129

130

131

132

133

134

135

136
137

138

139
140

141

142

143

144

145

146
147

148

149



                                                   
 
         

                                                                                    


                  
 
                                            
                                         
                  
            
                                                              
 
       


                                                                                                                                                 
 
                                                               
                

                                                                                                                                                                       
                     
                                     

                       
                                                                                                                                                                       


                               
                                                                                                                                                                  
 
                                                                  
                                  
                                                                                                                                                                    
                                  

                                                               
                   
                         
                                                                                                                                                                     
              
                                        
                      
                                                                                                                                                                  

                                       
                                 
                 
                             
                                       

                                                                                                                                                                                      
          
                                    
                        
                   
                    
              
                             
                      
                                                                                                                                                                  





                                                                                                                                                                         
                                      



                   
                                       

















                                                                                                                                                                  

                                                                                                                                                                       
          
                                
 
                               
                


                                                                                                                                                                       
                          
                           
                                                                                                                                                                        
                                       
                        
                                                                                                                                                                            
                    
                                   
                   
               
              
                             
                      
                                                                                                                                                                  
                               
                                                                                                                                                                                  
                              
               
                


                                                                                                                                                                       
             
 
               
                  
                   
                    
              
                             
                      

                                                                                                                                                                  
                   

                                       
               
              
                                    
                      
                                                                                                                                                                  

             
 
                            
## compute the factorial of 5, and print the result
#
# To run:
#   $ ./bootstrap translate init.linux 0*.subx apps/factorial.subx -o apps/factorial
#   $ ./bootstrap run apps/factorial
# Expected result:
#   $ echo $?
#   120
#
# You can also run the automated test suite:
#   $ ./bootstrap 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
    # . prologue
    89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp

    # initialize heap
    # . Heap = new-segment(Heap-size)
    # . . push args
    68/push  Heap/imm32
    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Heap-size/disp32                  # push *Heap-size
    # . . call
    e8/call  new-segment/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp

    # - if argc > 1 and argv[1] == "test", then return run_tests()
    # if (argc <= 1) goto run-main
    81          7/subop/compare     1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0/disp8         1/imm32           # compare *ebp
    7e/jump-if-<=  $run-main/disp8
    # if (!kernel-string-equal?(argv[1], "test")) goto run-main
    # . eax = kernel-string-equal?(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
    # . if (eax == false) goto run-main
    3d/compare-eax-and  0/imm32/false
    74/jump-if-=  $run-main/disp8
    # run-tests()
    e8/call  run-tests/disp32
    # syscall(exit, *Num-test-failures)
    8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           3/r32/ebx   Num-test-failures/disp32          # copy *Num-test-failures to ebx
    eb/jump  $main:end/disp8
$run-main:
    # - otherwise print factorial(5)
    # eax = 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
    # var buffer/ecx: (stream byte 10)  # number of decimal digits a 32-bit number can have
    81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xa/imm32         # subtract from esp
    68/push  0xa/imm32/decimal-digits-in-32bit-number
    68/push  0/imm32/read
    68/push  0/imm32/write
    89/copy                         3/mod/direct    1/rm32/ecx    .           .             .           4/r32/esp   .               .                 # copy esp to ecx
    # write-int32-decimal(buffer, eax)
    # . . push args
    50/push-eax
    51/push-ecx
    # . . call
    e8/call  write-int32-decimal/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
    # write-stream(stderr, buffer)
    # . . push args
    51/push-ecx
    68/push  2/imm32/stderr
    # . . call
    e8/call  write-stream/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
    # write(stderr, Newline)
    # . . push args
    68/push  Newline/imm32
    68/push  2/imm32/stderr
    # . . call
    e8/call  write/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
    # syscall(exit, eax)
    89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           0/r32/eax   .               .                 # copy eax to ebx
$main:end:
    e8/call  syscall_exit/disp32

factorial:  # n: int -> int/eax
    # . prologue
    55/push-ebp
    89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
    53/push-ebx
    # if (n <= 1) return 1
    b8/copy-to-eax  1/imm32
    81          7/subop/compare     1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         1/imm32           # compare *(ebp+8)
    7e/jump-if-<=  $factorial:end/disp8
    # var ebx: int = n-1
    8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         3/r32/ebx   8/disp8         .                 # copy *(ebp+8) to ebx
    4b/decrement-ebx
    # var eax: int = 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:
    # . epilogue
    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






 

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-22 19:16:38 +0000