Miroirs/waforth
1
0
Fork 0
mirror of https://github.com/remko/waforth synced 2024-12-27 09:59:29 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Remove unreachable instructions

Browse source
This commit is contained in:
Remko Tronçon 2022-05-25 15:52:25 +02:00
parent 13a6a612df
commit 42eeb5b377
1 changed files with 7 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
src/waforth.wat
View file

@ -996,21 +996,20 @@
(local $bbtos i32) (local $bbtos i32)
(local.set $addr (i32.load (local.tee $bbtos (i32.sub (local.get $tos) (i32.const 8))))) (local.set $addr (i32.load (local.tee $bbtos (i32.sub (local.get $tos) (i32.const 8)))))
(local.set $len (i32.load (local.tee $btos (i32.sub (local.get $tos) (i32.const 4))))) (local.set $len (i32.load (local.tee $btos (i32.sub (local.get $tos) (i32.const 4)))))
(if (call $stringEqual (local.get $addr) (local.get $len) (i32.const 0x20091) (i32.const 0x11) (; "ADDRESS-UNIT-BITS" ;)) (if (result i32) (call $stringEqual (local.get $addr) (local.get $len) (i32.const 0x20091) (i32.const 0x11) (; "ADDRESS-UNIT-BITS" ;))
(then (then
(i32.store (local.get $bbtos) (i32.const 8)) (i32.store (local.get $bbtos) (i32.const 8))
(i32.store (local.get $btos) (i32.const -1)) (i32.store (local.get $btos) (i32.const -1))
(return (local.get $tos))) (local.get $tos))
(else (else
(if (call $stringEqual (local.get $addr) (local.get $len) (i32.const 0x200A3) (i32.const 0x0F) (; "/COUNTED-STRING" ;)) (if (result i32) (call $stringEqual (local.get $addr) (local.get $len) (i32.const 0x200A3) (i32.const 0x0F) (; "/COUNTED-STRING" ;))
(then (then
(i32.store (local.get $bbtos) (i32.const 255)) (i32.store (local.get $bbtos) (i32.const 255))
(i32.store (local.get $btos) (i32.const -1)) (i32.store (local.get $btos) (i32.const -1))
(return (local.get $tos))) (local.get $tos))
(else (else
(i32.store (local.get $bbtos) (i32.const 0)) (i32.store (local.get $bbtos) (i32.const 0))
(return (local.get $btos)))))) (local.get $btos))))))
(unreachable))
(data (i32.const 0x218ac) "\9c\18\02\00" "\0c" "ENVIRONMENT?000" "\a9\00\00\00") (data (i32.const 0x218ac) "\9c\18\02\00" "\0c" "ENVIRONMENT?000" "\a9\00\00\00")
(elem (i32.const 0xa9) $ENVIRONMENT?) (elem (i32.const 0xa9) $ENVIRONMENT?)
@ -2606,15 +2605,14 @@
(return (i32.const 0))) (return (i32.const 0)))
(local.set $end1 (i32.add (local.get $addr1) (local.get $len1))) (local.set $end1 (i32.add (local.get $addr1) (local.get $len1)))
(local.set $end2 (i32.add (local.get $addr2) (local.get $len2))) (local.set $end2 (i32.add (local.get $addr2) (local.get $len2)))
(loop $loop (loop $loop (result i32)
(if (i32.eq (local.get $addr1) (local.get $end1)) (if (i32.eq (local.get $addr1) (local.get $end1))
(return (i32.const 1))) (return (i32.const 1)))
(if (i32.ne (i32.load8_s (local.get $addr1)) (i32.load8_s (local.get $addr2))) (if (i32.ne (i32.load8_s (local.get $addr1)) (i32.load8_s (local.get $addr2)))
(return (i32.const 0))) (return (i32.const 0)))
(local.set $addr1 (i32.add (local.get $addr1) (i32.const 1))) (local.set $addr1 (i32.add (local.get $addr1) (i32.const 1)))
(local.set $addr2 (i32.add (local.get $addr2)(i32.const 1))) (local.set $addr2 (i32.add (local.get $addr2)(i32.const 1)))
(br $loop)) (br $loop)))
(unreachable))
(func $fail (param $tos i32) (param $str i32) (result i32) (func $fail (param $tos i32) (param $str i32) (result i32)
(call $type (call $type