# -*- tcl -*- me_cpu.test
# ### ### ### ######### ######### #########

# ### ### ### ######### ######### #########
## Cpu creation.

test me-cpu-new-${impl}-1.0 {new, wrong args} -body {
    grammar::me::cpu cpu
} -result {Error in constructor: wrong # args: should be "::grammar::me::cpu::Snit_constructor type selfns win self code_"} \
  -returnCodes error

test me-cpu-new-${impl}-1.1 {new, wrong args} -body {
    grammar::me::cpu cpu a b
} -result {Error in constructor: wrong # args: should be "::grammar::me::cpu::Snit_constructor type selfns win self code_"} \
  -returnCodes error

test me-cpu-run-${impl}-2.0 run -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu run
} -cleanup {
    cpu destroy
} -returnCodes error -result {No instructions to execute}

set n -1
foreach {cmd cargs expected} $asm_table {
    set asm [list [linsert $cargs 0 branchlabel $cmd]]
    incr n

    test me-cpu-new-${impl}-3.$n "new, $cmd, code" -body {
	grammar::me::cpu cpu \
		[canon_code [grammar::me::cpu::core::asm $asm]]
	cpu code
    } -cleanup {
	cpu destroy
    } -result $expected

    test me-cpu-new-${impl}-4.$n "new, $cmd, state" -body {
	grammar::me::cpu cpu \
		[canon_code [grammar::me::cpu::core::asm $asm]]
	cpusubst [cpustate cpu] cd {}
    } -cleanup {
	cpu destroy
    } -result {cd {} pc 0 ht 0 eo 0 tc {} at -1 cc {} ok 0 sv {} er {} ls {} as {} ms {} es {} rs {} nc {}}
}

set n -1
foreach {insns expected} $badmach_table {
    incr n

    test me-cpu-new-${impl}-5.$n "new error" -body {
	grammar::me::cpu cpu $insns
    } -result "Error in constructor: $expected" -returnCodes error
}

# ### ### ### ######### ######### #########
## CPU manipulation - Add tokens I

test me-cpu-put-${impl}-1.0 {put, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu put
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitWrongNumArgs cpu ::grammar::me::cpu::Snit_methodput {tok lex line col} 0]

test me-cpu-put-${impl}-1.1 {put, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu put a
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitWrongNumArgs cpu ::grammar::me::cpu::Snit_methodput {tok lex line col} 1]

test me-cpu-put-${impl}-1.2 {put, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu put a b
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitWrongNumArgs cpu ::grammar::me::cpu::Snit_methodput {tok lex line col} 2]

test me-cpu-put-${impl}-1.3 {put, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu put a b c
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitWrongNumArgs cpu ::grammar::me::cpu::Snit_methodput {tok lex line col} 3]

test me-cpu-put-${impl}-1.4 {put, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu put a b c d e
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitTooManyArgs cpu ::grammar::me::cpu::Snit_methodput {tok lex line col}]

test me-cpu-put-${impl}-2.0 put -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    set base [cpustate cpu]
} -body {
    cpu put ID  ident 1 0
    cpu put NUM 12345 1 5
    cpudelta $base [cpustate cpu]
} -cleanup {
    cpu destroy
    unset base
} -result {tc {{ID ident 1 0} {NUM 12345 1 5}}}

test me-cpu-put-${impl}-3.0 {put after eof} -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu eof
} -body {
    cpu put ID ident 1 0
} -returnCodes error -cleanup {
    cpu destroy
} -result {Cannot add input data after eof}


# ### ### ### ######### ######### #########
## CPU manipulation - Add tokens II

test me-cpu-putstring-${impl}-1.0 {putstring, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu putstring
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitWrongNumArgs cpu ::grammar::me::cpu::Snit_methodputstring {str lvar cvar} 0]

test me-cpu-putstring-${impl}-1.1 {putstring, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu putstring a
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitWrongNumArgs cpu ::grammar::me::cpu::Snit_methodputstring {str lvar cvar} 1]

test me-cpu-putstring-${impl}-1.2 {putstring, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu putstring a b
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitWrongNumArgs cpu ::grammar::me::cpu::Snit_methodputstring {str lvar cvar} 2]

test me-cpu-putstring-${impl}-1.3 {putstring, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu putstring a b c d
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitTooManyArgs cpu ::grammar::me::cpu::Snit_methodputstring {str lvar cvar}]

test me-cpu-putstring-${impl}-2.0 put -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    set base [cpustate cpu]
    set l 0
    set c 0
} -body {
    cpu putstring ID l c
    list $l $c [cpudelta $base [cpustate cpu]]
} -cleanup {
    cpu destroy
    unset base
} -result {0 2 {tc {{I {} 0 0} {D {} 0 1}}}}

test me-cpu-putstring-${impl}-3.0 {put after eof} -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu eof
    set l 0
    set c 0
} -body {
    cpu putstring ID l c
} -returnCodes error -cleanup {
    cpu destroy
} -result {Cannot add input data after eof}

# ### ### ### ######### ######### #########
## State manipulation - Set eof

test me-cpu-eof-${impl}-1.0 {eof, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu eof x
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitTooManyArgs cpu ::grammar::me::cpu::Snit_methodeof {}]

test me-cpu-eof-${impl}-2.0 eof -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    set base [cpustate cpu]
} -body {
    cpu eof
    cpudelta $base [cpustate cpu]
} -cleanup {
    cpu destroy
} -result {eo 1}

# ### ### ### ######### ######### #########
## State accessors - line/col retrieval

test me-cpu-lc-${impl}-1.0 {lc, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu lc
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitWrongNumArgs cpu ::grammar::me::cpu::Snit_methodlc {location} 0]

test me-cpu-lc-${impl}-1.1 {lc, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu lc a b
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitTooManyArgs cpu ::grammar::me::cpu::Snit_methodlc {location}]

test me-cpu-lc-${impl}-2.0 lc -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu lc 0
} -cleanup {
    cpu destroy
} -result {1 5}

test me-cpu-lc-${impl}-3.0 {lc, bad index} -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu lc -1
} -returnCodes error -cleanup {
    cpu destroy
} -result {Illegal location -1}

test me-cpu-lc-${impl}-3.1 {lc, bad index} -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu lc 1
} -returnCodes error -cleanup {
    cpu destroy
} -result {Illegal location 1}

test me-cpu-lc-${impl}-3.2 {lc, bad index} -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
} -body {
    cpu lc 0
} -returnCodes error -cleanup {
    cpu destroy
} -result {Illegal location 0}

# ### ### ### ######### ######### #########
## State accessors - Token retrieval

test me-cpu-tok-${impl}-1.0 {tok, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu tok a b c
} -returnCodes error -cleanup {
    cpu destroy
} -result {wrong # args: should be "grammar::me::cpu::core::tok state ?from ?to??"}

test me-cpu-tok-${impl}-2.0 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
} -body {
    cpu tok
} -cleanup {
    cpu destroy
} -result {}

test me-cpu-tok-${impl}-2.1 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu tok
} -cleanup {
    cpu destroy
} -result {{NUM 12345 1 5}}

test me-cpu-tok-${impl}-2.2 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put ID  lalal 0 0
    cpu put NUM 12345 1 5
} -body {
    cpu tok
} -cleanup {
    cpu destroy
} -result {{ID lalal 0 0} {NUM 12345 1 5}}

test me-cpu-tok-${impl}-3.0 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
} -body {
    cpu tok 0
} -cleanup {
    cpu destroy
} -result {Illegal location 0} -returnCodes error

test me-cpu-tok-${impl}-3.1 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu tok -1
} -cleanup {
    cpu destroy
} -result {Illegal location -1} -returnCodes error

test me-cpu-tok-${impl}-3.2 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu tok 1
} -cleanup {
    cpu destroy
} -result {Illegal location 1} -returnCodes error

test me-cpu-tok-${impl}-3.3 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu tok 0
} -cleanup {
    cpu destroy
} -result {{NUM 12345 1 5}}

test me-cpu-tok-${impl}-3.4 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put ID  lalal 0 0
    cpu put NUM 12345 1 5
} -body {
    cpu tok 0
} -cleanup {
    cpu destroy
} -result {{ID lalal 0 0}}

test me-cpu-tok-${impl}-4.0 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu tok -1 0
} -cleanup {
    cpu destroy
} -result {Illegal start location -1} -returnCodes error

test me-cpu-tok-${impl}-4.1 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu tok 1 0
} -cleanup {
    cpu destroy
} -result {Illegal start location 1} -returnCodes error

test me-cpu-tok-${impl}-4.2 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu tok 0 -1
} -cleanup {
    cpu destroy
} -result {Illegal end location -1} -returnCodes error

test me-cpu-tok-${impl}-4.3 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put NUM 12345 1 5
} -body {
    cpu tok 0 1
} -cleanup {
    cpu destroy
} -result {Illegal end location 1} -returnCodes error

test me-cpu-tok-${impl}-4.4 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put ID  lalal 0 0
    cpu put NUM 12345 1 5
} -body {
    cpu tok 1 0
} -cleanup {
    cpu destroy
} -result {Illegal empty location range 1 .. 0} -returnCodes error

test me-cpu-tok-${impl}-4.5 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put ID  lalal 0 0
    cpu put NUM 12345 1 5
} -body {
    cpu tok 0 1
} -cleanup {
    cpu destroy
} -result {{ID lalal 0 0} {NUM 12345 1 5}}

test me-cpu-tok-${impl}-4.6 tok -setup {
    grammar::me::cpu cpu [canon_code [grammar::me::cpu::core::asm {}]]
    cpu put ID  lalal 0 0
    cpu put ID  lalal 0 0
} -body {
    cpu tok 0 0
} -cleanup {
    cpu destroy
} -result {{ID lalal 0 0}}

# ### ### ### ######### ######### #########
## Checking the instruction semantics

test me-cpu-run-${impl}-1.0 {run, wrong args} -setup {
    grammar::me::cpu cpu {{} {} {}}
} -body {
    cpu run a b
} -returnCodes error -cleanup {
    cpu destroy
} -result [snitTooManyArgs cpu ::grammar::me::cpu::Snit_methodrun {?n?}]

set n -1
foreach {description input eof stepsSetup steps code expectedDelta} $semantics {
    incr n

    if 0 {
	puts ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
	puts $description
	puts "INPUT $input"
	puts "EOF   $eof"
	puts "CODE  $stepsSetup $steps $code"
	puts $expectedDelta
    }

    test me-cpu-run-${impl}-2.$n "run $description" -setup {
	grammar::me::cpu cpu $code
	foreach token $input {
	    eval [linsert $token 0 cpu put]
	    # cpu put {*}$token
	}
	if {$eof}        {cpu eof}
	if {$stepsSetup} {cpu run $stepsSetup}
	set save [cpustate cpu]
    } -body {
	cpu run $steps
	cpudelta $save [cpustate cpu]
    } -cleanup {
	cpu destroy
    } -result $expectedDelta
}

return