about summary refs log tree commit diff stats
path: root/051scenario_test.mu
blob: 0d6f04a66466911d17bc285e6fbec260c5c47406 (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
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
# tests for 'scenario' in previous layer

scenario first_scenario_in_mu [
  run [
    10:num <- add 2, 2
  ]
  memory-should-contain [
    10 <- 4
  ]
]

scenario scenario_with_comment_in_mu [
  run [
    # comment
    10:num <- add 2, 2
  ]
  memory-should-contain [
    10 <- 4
  ]
]

scenario scenario_with_multiple_comments_in_mu [
  run [
    # comment1
    # comment2
    10:num <- add 2, 2
  ]
  memory-should-contain [
    10 <- 4
  ]
]

scenario check_text_in_memory [
  run [
    10:num <- copy 3
    11:char <- copy 97  # 'a'
    12:char <- copy 98  # 'b'
    13:char <- copy 99  # 'c'
  ]
  memory-should-contain [
    10:array:character <- [abc]
  ]
]

scenario check_trace [
  run [
    10:num <- add 2, 2
  ]
  trace-should-contain [
    mem: storing 4 in location 10
  ]
]

scenario check_trace_negative [
  run [
    10:num <- add 2, 2
  ]
  trace-should-not-contain [
    mem: storing 3 in location 10
  ]
]

scenario check_trace_instruction [
  run [
    trace 1, [foo], [aaa]
  ]
  trace-should-contain [
    foo: aaa
  ]
]
if (is_jump_target(inst.label)) { if (!contains_key(offset, inst.label)) { put(offset, inst.label, i); } else { raise << maybe(get(Recipe, r).name) << "duplicate label '" << inst.label << "'" << end(); // have all jumps skip some random but noticeable and deterministic amount of code put(offset, inst.label, 9999); } } } for (int i = 0; i < SIZE(get(Recipe, r).steps); ++i) { instruction& inst = get(Recipe, r).steps.at(i); if (inst.name == "jump") { if (inst.ingredients.empty()) { raise << maybe(get(Recipe, r).name) << "'" << to_original_string(inst) << "' expects an ingredient but got 0\n" << end(); return; } replace_offset(inst.ingredients.at(0), offset, i, r); } if (inst.name == "jump-if" || inst.name == "jump-unless") { if (SIZE(inst.ingredients) < 2) { raise << maybe(get(Recipe, r).name) << "'" << to_original_string(inst) << "' expects 2 ingredients but got " << SIZE(inst.ingredients) << '\n' << end(); return; } replace_offset(inst.ingredients.at(1), offset, i, r); } if ((inst.name == "loop" || inst.name == "break") && SIZE(inst.ingredients) >= 1) { replace_offset(inst.ingredients.at(0), offset, i, r); } if ((inst.name == "loop-if" || inst.name == "loop-unless" || inst.name == "break-if" || inst.name == "break-unless") && SIZE(inst.ingredients) >= 2) { replace_offset(inst.ingredients.at(1), offset, i, r); } } } void replace_offset(reagent& x, /*const*/ map<string, int>& offset, const int current_offset, const recipe_ordinal r) { if (!is_literal(x)) { raise << maybe(get(Recipe, r).name) << "jump target must be offset or label but is '" << x.original_string << "'\n" << end(); x.set_value(0); // no jump by default return; } if (x.initialized) return; if (is_integer(x.name)) return; // non-labels will be handled like other number operands if (!is_jump_target(x.name)) { raise << maybe(get(Recipe, r).name) << "can't jump to label '" << x.name << "'\n" << end(); x.set_value(0); // no jump by default return; } if (!contains_key(offset, x.name)) { raise << maybe(get(Recipe, r).name) << "can't find label '" << x.name << "'\n" << end(); x.set_value(0); // no jump by default return; } x.set_value(get(offset, x.name) - current_offset); } :(scenario break_to_label) def main [ { { break +target:label 1:num <- copy 0 } } +target ] -mem: storing 0 in location 1 :(scenario jump_if_to_label) def main [ { { jump-if 1, +target:label 1:num <- copy 0 } } +target ] -mem: storing 0 in location 1 :(scenario loop_unless_to_label) def main [ { { loop-unless 0, +target:label # loop/break with a label don't care about braces 1:num <- copy 0 } } +target ] -mem: storing 0 in location 1 :(scenario jump_runs_code_after_label) def main [ # first a few lines of padding to exercise the offset computation 1:num <- copy 0 2:num <- copy 0 3:num <- copy 0 jump +target:label 4:num <- copy 0 +target 5:num <- copy 0 ] +mem: storing 0 in location 5 -mem: storing 0 in location 4 :(scenario jump_fails_without_target) % Hide_errors = true; def main [ jump ] +error: main: 'jump' expects an ingredient but got 0 :(scenario jump_fails_without_target_2) % Hide_errors = true; def main [ jump-if 1/true ] +error: main: 'jump-if 1/true' expects 2 ingredients but got 1 :(scenario recipe_fails_on_duplicate_jump_target) % Hide_errors = true; def main [ +label 1:num <- copy 0 +label 2:num <- copy 0 ] +error: main: duplicate label '+label' :(scenario jump_ignores_nontarget_label) % Hide_errors = true; def main [ # first a few lines of padding to exercise the offset computation 1:num <- copy 0 2:num <- copy 0 3:num <- copy 0 jump $target:label 4:num <- copy 0 $target 5:num <- copy 0 ] +error: main: can't jump to label '$target'