about summary refs log tree commit diff stats
path: root/linux/mu-init-test.subx
blob: 1b2d16832b1c896501affafb9ec1c24bead67407 (plain) (blame)
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
# Just a test stub for mu-init.subx
#
# Try it out like this:
#   $ ./translate_subx init.linux [0-9]*.subx mu-init.subx mu-init-test.subx
#   $ ./a.elf  # should run all tests

main:  # args: (addr array (addr array byte)) -> result/ebx: int
    # . prologue
    55/push-ebp
    89/<- %ebp 4/r32/esp
    # . save registers
    50/push-eax
    56/push-esi
    # esi = args
    8b/-> *(ebp+8) 6/r32/esi
    {
      # if (argc <= 1) break
      81 7/subop/compare *esi 4/imm32
      7e/jump-if-<= break/disp8
      # if (argv[1] != "test") break
      (string-equal? *(esi+8) "test")  # => eax
      3d/compare-eax-and 0/imm32
      74/jump-if-= break/disp8
      #
      (run-tests)
      # return *Num-test-failures
      8b/-> *Num-test-failures 3/r32/ebx
      eb/jump $main:end/disp8
    }
$main:end:
    # . restore registers
    5e/pop-to-esi
    58/pop-to-eax
    # . epilogue
    89/<- %esp 5/r32/ebp
    5d/pop-to-ebp
    c3/return
6bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
# To check our support for consoles in scenarios, rewrite tests from
# scenario_console.mu
# Tests for console interface.

scenario read-key-in-mu [
  assume-console [
    type [abc]
  ]
  run [
    1:character, console:address:shared:console, 2:boolean <- read-key console:address:shared:console
    3:character, console:address:shared:console, 4:boolean <- read-key console:address:shared:console
    5:character, console:address:shared:console, 6:boolean <- read-key console:address:shared:console
    7:character, console:address:shared:console, 8:boolean <- read-key console:address:shared:console
  ]
  memory-should-contain [
    1 <- 97  # 'a'
    2 <- 1
    3 <- 98  # 'b'
    4 <- 1
    5 <- 99  # 'c'
    6 <- 1
    7 <- 0  # eof
    8 <- 1
  ]
]