Miroirs/waforth
1
0
Fork 0
mirror of https://github.com/remko/waforth synced 2025-01-28 07:58:31 +01:00
Code Issues Projects Releases Packages Wiki Activity

Detect stack underflow after interpreting

Browse source
This commit is contained in:
Remko Tronçon 2022-05-03 21:52:21 +02:00
parent 85efb6262e
commit 674dce6514
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/waforth.wat
View file

@ -178,6 +178,8 @@
(data (i32.const 0x20084) "\0F" "not implemented") (data (i32.const 0x20084) "\0F" "not implemented")
(data (i32.const 0x20090) "\11" "ADDRESS-UNIT-BITS") (data (i32.const 0x20090) "\11" "ADDRESS-UNIT-BITS")
(data (i32.const 0x200A2) "\0F" "/COUNTED-STRING") (data (i32.const 0x200A2) "\0F" "/COUNTED-STRING")
(data (i32.const 0x200A2) "\0F" "/COUNTED-STRING")
(data (i32.const 0x200B2) "\11" "stack empty")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Built-in words ;; Built-in words
@ -2755,7 +2757,14 @@
(local.tee $tos (global.get $tos)) (local.tee $tos (global.get $tos))
(call $REFILL) (call $REFILL)
(drop (call $pop)) (drop (call $pop))
(if (i32.ge_s (local.tee $result (call $interpret)) (i32.const 0)) (local.set $result (call $interpret))
(global.set $tos)
;; Check for stack underflow
(if (i32.lt_s (global.get $tos) (i32.const 0x10000 (; = STACK_BASE ;)))
(drop (call $fail (global.get $tos) (i32.const 0x200B2 (; stack empty ;)))))
(if (i32.ge_s (local.get $result) (i32.const 0))
(then (then
;; Write ok ;; Write ok
(call $shell_emit (i32.const 111)) (call $shell_emit (i32.const 111))
@ -2768,7 +2777,6 @@
(call $shell_emit (i32.const 111)) (call $shell_emit (i32.const 111))
(call $shell_emit (i32.const 114)))) (call $shell_emit (i32.const 114))))
(call $shell_emit (i32.const 10)) (call $shell_emit (i32.const 10))
(global.set $tos)
(local.get $result)) (local.get $result))
;; Used for experiments ;; Used for experiments