apps/subx-params.subx


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# Various knobs for translating SubX programs using SubX.

== data

# largest segment that can be translated
Segment-size:
  0x200000/imm32/2MB

# maximum size of input textual stream (spanning all segments)
Input-size:
  0x400000/imm32/4MB

# number of labels we can translate to addresses
Max-labels:
  0x60000/imm32/24K-labels/192KB

# capacity of trace-stream
Trace-size:
  0x200000/imm32/2MB
# tests for 'scenario' in previous layer

scenario first_scenario_in_mu [
  run [
    1:number <- add 2:literal, 2:literal
  ]
  memory-should-contain [
    1 <- 4
  ]
]

scenario scenario_with_comment_in_mu [
  run [
    # comment
    1:number <- add 2:literal, 2:literal
  ]
  memory-should-contain [
    1 <- 4
  ]
]

scenario scenario_with_multiple_comments_in_mu [
  run [
    # comment1
    # comment2
    1:number <- add 2:literal, 2:literal
  ]
  memory-should-contain [
    1 <- 4
  ]
]

scenario check_string_in_memory [
  run [
    1:number <- copy 3:literal
    2:character <- copy 97:literal  # 'a'
    3:character <- copy 98:literal  # 'b'
    4:character <- copy 99:literal  # 'c'
  ]
  memory-should-contain [
    1:string <- [abc]
  ]
]

scenario check_trace [
  run [
    1:number <- add 2:literal, 2:literal
  ]
  trace-should-contain [
    mem: storing 4 in location 1
  ]
]

scenario check_trace_negative [
  run [
    1:number <- add 2:literal, 2:literal
  ]
  trace-should-not-contain [
    mem: storing 5 in location 1
  ]
]

scenario check_trace_instruction [
  run [
    trace [foo], [aaa]
  ]
  trace-should-contain [
    foo: aaa
  ]
]