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

about summary refs log tree commit diff stats

diff options

author	Kartik K. Agaram <vc@akkartik.com>	2017-10-11 01:47:00 -0700
committer	Kartik K. Agaram <vc@akkartik.com>	2017-10-11 01:47:00 -0700
commit	b53ee143f8facaecbf2f18ed0a6a1251166fff67 (patch)
tree	9283932561b6f7ecefaa3c0f8b5450b0462fd7f5 /subx/test_layers
parent	f8831a023d91556eb105edc27e7cbb61bde573ca (diff)
download	mu-b53ee143f8facaecbf2f18ed0a6a1251166fff67.tar.gz

4015

Diffstat (limited to 'subx/test_layers')

0 files changed, 0 insertions, 0 deletions

mu/blame/subx/051test.subx?h=main&id=4cb6970d9d96d0adca78212f5f9b584499e37bb0'>^

6030d7e2 ^

9d27e966 ^

6030d7e2 ^

9d27e966 ^

33352536 ^

6030d7e2 ^

33352536 ^

6030d7e2 ^

80b6f47e ^

57628c0e ^

7e7a8a6e ^

7a583220 ^

33352536 ^

ee9a9237 ^

33352536 ^

6030d7e2 ^

9d27e966 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

9d27e966 ^

6030d7e2 ^

9d27e966 ^

03d50cc8 ^

9d27e966 ^

ee9a9237 ^

33352536 ^

6030d7e2 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

9d27e966 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

03d50cc8 ^

6030d7e2 ^

03d50cc8 ^

ee9a9237 ^

33352536 ^

7a583220 ^

33352536 ^

6030d7e2 ^

57628c0e ^

e0ffdcd1 ^

f1eade72 ^

2a2a5b1e ^

9b16f190 ^

6030d7e2 ^

4224ec81 ^

e0ffdcd1 ^

2a2a5b1e ^

9b16f190 ^

15ae0717 ^

a9d473e2 ^

f1eade72 ^

2a2a5b1e ^

a9d473e2 ^

f1eade72 ^

2a2a5b1e ^

a9d473e2 ^

ee9a9237 ^

1
2

4
5
6

11
12
13

19
20

26
27

40
41

52
53

61
62

71
72
73

75
76

78
79
80

81
82

86
87

# Rudimentary test harness

== 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:  # manual test
    # check-ints-equal(34, 34)
    # . . push args
    68/push  "error in check-ints-equal"/imm32
    68/push  34/imm32
    68/push  34/imm32
    # . . call
    e8/call  check-ints-equal/disp32
    # . . discard args
    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
    # syscall(exit, 0)
    bb/copy-to-ebx  0/imm32
    b8/copy-to-eax  1/imm32/exit
    cd/syscall  0x80/imm8

# print msg to stderr if a != b, otherwise print "."
check-ints-equal:  # a : int, b : int, msg : (addr array byte)
    # . prologue
    55/push-ebp
    89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
    # . save registers
    50/push-eax
    51/push-ecx
    53/push-ebx
    # load first 2 args into eax and ebx
    8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           0/r32/eax   8/disp8         .                 # copy *(ebp+8) to eax
    8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           3/r32/ebx   0xc/disp8       .                 # copy *(ebp+12) to ebx
    # if (eax == ebx) success
    39/compare                      3/mod/direct    0/rm32/eax    .           .             .           3/r32/ebx   .               .                 # compare eax and ebx
    75/jump-if-unequal  $check-ints-equal:else/disp8
    # . _write(2/stderr, '.')
    # . . push args
    68/push  "."/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
    # . return
    eb/jump  $check-ints-equal:end/disp8
    # otherwise print error message
$check-ints-equal:else:
    # . _write(2/stderr, msg)
    # . . push args
    8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           1/r32/ecx   0x10/disp8      .                 # copy *(ebp+16) to ecx
    51/push-ecx
    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
    # . _write(2/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
    # increment Num-test-failures
    ff          0/subop/increment   0/mod/indirect  5/rm32/.disp32            .             .           .           Num-test-failures/disp32          # increment *Num-test-failures
$check-ints-equal:end:
    # . restore registers
    5b/pop-to-ebx
    59/pop-to-ecx
    58/pop-to-eax
    # . epilogue
    89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
    5d/pop-to-ebp
    c3/return

== data

# length-prefixed string containing just a single newline
# convenient to have when printing messages and so on
Newline:  # (array byte)
    # size : int
    1/imm32
    # data
    0a/newline

# every test failure increments this counter
Num-test-failures:  # int
    0/imm32

# length-prefixed string containing just a single space
Space:  # (array byte)
    # size : int
    1/imm32
    # data
    20/space

# length-prefixed string containing just a single slash
Slash:  # (array byte)
    # size : int
    1/imm32
    # data
    2f/slash

# . . vim:nowrap:textwidth=0


context:
space:
mode: