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

blob: 2262293030d5a79ca039db8cfabaa3b428a0cacf (plain) (tree)

248e789e ^

a7291869 ^

248e789e ^

6cabcefe ^

248e789e ^

248e789e ^

6a49ea24 ^

248e789e ^

31338623 ^

248e789e ^

a7291869 ^

248e789e ^

6bb2e711 ^

248e789e ^

2f73654b ^

248e789e ^

248e789e ^

93535699 ^

b817d4bd ^

6bb2e711 ^

b817d4bd ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-26 03:42:03 +0000

n>"subxComment"># ++currb 112 47/increment-edi 113 eb/jump $string-starts-with?:loop/disp8 114 $string-starts-with?:true: 115 b8/copy-to-eax 1/imm32 116 eb/jump $string-starts-with?:end/disp8 117 $string-starts-with?:false: 118 b8/copy-to-eax 0/imm32 119 $string-starts-with?:end: 120 # . restore registers 121 5f/pop-to-edi 122 5e/pop-to-esi 123 5a/pop-to-edx 124 59/pop-to-ecx 125 # . epilogue 126 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp 127 5d/pop-to-ebp 128 c3/return 129 130 # - tests 131 132 test-compare-empty-with-empty-string: 133 # eax = string-equal?("", "") 134 # . . push args 135 68/push ""/imm32 136 68/push ""/imm32 137 # . . call 138 e8/call <a href='105string-equal.subx.html#L8'>string-equal?</a>/disp32 139 # . . discard args 140 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 141 # check-ints-equal(eax, 1, msg) 142 # . . push args 143 68/push "F - test-compare-empty-with-empty-string"/imm32 144 68/push 1/imm32/true 145 50/push-eax 146 # . . call 147 e8/call <a href='502test.mu.html#L2'>check-ints-equal</a>/disp32 148 # . . discard args 149 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 150 c3/return 151 152 test-compare-empty-with-non-empty-string: # also checks size-mismatch code path 153 # eax = string-equal?("", "Abc") 154 # . . push args 155 68/push "Abc"/imm32 156 68/push ""/imm32 157 # . . call 158 e8/call <a href='105string-equal.subx.html#L8'>string-equal?</a>/disp32 159 # . . discard args 160 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 161 # check-ints-equal(eax, 0, msg) 162 # . . push args 163 68/push "F - test-compare-empty-with-non-empty-string"/imm32 164 68/push 0/imm32/false 165 50/push-eax 166 # . . call 167 e8/call <a href='502test.mu.html#L2'>check-ints-equal</a>/disp32 168 # . . discard args 169 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 170 c3/return 171 172 test-compare-equal-strings: 173 # eax = string-equal?("Abc", "Abc") 174 # . . push args 175 68/push "Abc"/imm32 176 68/push "Abc"/imm32 177 # . . call 178 e8/call <a href='105string-equal.subx.html#L8'>string-equal?</a>/disp32 179 # . . discard args 180 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 181 # check-ints-equal(eax, 1, msg) 182 # . . push args 183 68/push "F - test-compare-equal-strings"/imm32 184 68/push 1/imm32/true 185 50/push-eax 186 # . . call 187 e8/call <a href='502test.mu.html#L2'>check-ints-equal</a>/disp32 188 # . . discard args 189 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 190 c3/return 191 192 test-compare-inequal-strings-equal-sizes: 193 # eax = string-equal?("Abc", "Adc") 194 # . . push args 195 68/push "Adc"/imm32 196 68/push "Abc"/imm32 197 # . . call 198 e8/call <a href='105string-equal.subx.html#L8'>string-equal?</a>/disp32 199 # . . discard args 200 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 201 # check-ints-equal(eax, 0, msg) 202 # . . push args 203 68/push "F - test-compare-inequal-strings-equal-sizes"/imm32 204 68/push 0/imm32/false 205 50/push-eax 206 # . . call 207 e8/call <a href='502test.mu.html#L2'>check-ints-equal</a>/disp32 208 # . . discard args 209 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 210 c3/return 211 212 # helper for later tests 213 check-strings-equal: # s: (addr array byte), expected: (addr array byte), msg: (addr array byte) 214 # . prologue 215 55/push-ebp 216 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp 217 # . save registers 218 50/push-eax 219 # var eax: boolean = string-equal?(s, expected) 220 # . . push args 221 ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12) 222 ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 8/disp8 . # push *(ebp+8) 223 # . . call 224 e8/call <a href='105string-equal.subx.html#L8'>string-equal?</a>/disp32 225 # . . discard args 226 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 227 # check-ints-equal(eax, 1, msg) 228 # . . push args 229 ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x10/disp8 . # push *(ebp+16) 230 68/push 1/imm32 231 50/push-eax 232 # . . call 233 e8/call <a href='502test.mu.html#L2'>check-ints-equal</a>/disp32 234 # . . discard args 235 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 236 $check-strings-equal:end: 237 # . restore registers 238 58/pop-to-eax 239 # . epilogue 240 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp 241 5d/pop-to-ebp 242 c3/return 243 244 # test the helper 245 test-check-strings-equal: 246 # check-strings-equal("Abc", "Abc") 247 # . . push args 248 68/push "Abc"/imm32 249 68/push "Abc"/imm32 250 # . . call 251 e8/call <a href='105string-equal.subx.html#L213'>check-strings-equal</a>/disp32 252 # . . discard args 253 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 254 c3/return 255 256 # . . vim:nowrap:textwidth=0 </pre> </body> </html>