mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
allaun
aeb87d86c8
Fixes applied to Rust, Julia, and R AVM ISA ports: 1. Division rounding: use floor division (matching Lean Int.ediv) 2. Clamp range: symmetric [-2147483647, 2147483647] for Q16_16, [-32767, 32767] for Q0_16 (preserves negation involution) 3. V6 sign-decomposition comparison for ltQ16 4. Stack depth limit: maxStackDepth = 1024 with StackOverflow error 5. Added AVM-specific constants and helpers to each port All three ports now match the Lean reference specification.
70 lines
1.5 KiB
R
70 lines
1.5 KiB
R
source("/home/allaun/SilverSight/r/AVMIsa/avm.r")
|
|
|
|
# Test 1: add Q16
|
|
prog <- list(
|
|
instr_push_q16(5 * 65536),
|
|
instr_push_q16(3 * 65536),
|
|
instr_prim(PRIM_ADD_Q16),
|
|
instr_halt()
|
|
)
|
|
s <- new_state(0)
|
|
s <- run(s, prog, 100)
|
|
stopifnot(s$halted)
|
|
stopifnot(length(s$stack) == 1)
|
|
stopifnot(s$stack[[1]]$val == 8 * 65536)
|
|
cat("PASS: add Q16\n")
|
|
|
|
# Test 2: jump_if
|
|
prog <- list(
|
|
instr_push_bool(TRUE),
|
|
instr_jump_if(4),
|
|
instr_push_q16(0),
|
|
instr_halt(),
|
|
instr_push_q16(65536),
|
|
instr_halt()
|
|
)
|
|
s <- new_state(0)
|
|
s <- run(s, prog, 100)
|
|
stopifnot(s$halted)
|
|
stopifnot(length(s$stack) == 1)
|
|
stopifnot(s$stack[[1]]$val == 65536)
|
|
cat("PASS: jump_if\n")
|
|
|
|
# Test 3: store/load
|
|
prog <- list(
|
|
instr_push_q16(42 * 65536),
|
|
instr_store(0),
|
|
instr_load(0),
|
|
instr_halt()
|
|
)
|
|
s <- new_state(1)
|
|
s <- run(s, prog, 100)
|
|
stopifnot(length(s$stack) == 1)
|
|
stopifnot(s$stack[[1]]$val == 42 * 65536)
|
|
cat("PASS: store/load\n")
|
|
|
|
# Test 4: type error
|
|
prog <- list(
|
|
instr_push_bool(TRUE),
|
|
instr_push_q16(65536),
|
|
instr_prim(PRIM_ADD_Q16),
|
|
instr_halt()
|
|
)
|
|
s <- new_state(0)
|
|
result <- tryCatch(run(s, prog, 100), error = function(e) e)
|
|
stopifnot(inherits(result, "error"))
|
|
cat("PASS: type error\n")
|
|
|
|
# Test 5: division by zero
|
|
prog <- list(
|
|
instr_push_q16(65536),
|
|
instr_push_q16(0),
|
|
instr_prim(PRIM_DIV_Q16),
|
|
instr_halt()
|
|
)
|
|
s <- new_state(0)
|
|
result <- tryCatch(run(s, prog, 100), error = function(e) e)
|
|
stopifnot(inherits(result, "error"))
|
|
cat("PASS: division by zero\n")
|
|
|
|
cat("\nAll R AVM tests passed!\n")
|