Compare commits

..

72 Commits

Author SHA1 Message Date
67fc1d8d7b Remove race condition between assemble and prelude load prints 2026-03-18 15:17:08 +00:00
4000522b3a Remove obsolete assembly driver script 2026-03-18 15:08:57 +00:00
19ef69958d Update README 2026-03-18 15:04:32 +00:00
0a52388030 Update deploy manifest 2026-03-18 14:25:11 +00:00
6e8439eeaf Bump version number 2026-03-18 14:24:41 +00:00
eaa3242cc0 Update e2e tests 2026-03-18 14:24:25 +00:00
f77adffbef Update MIME types in server.scm 2026-03-18 14:24:05 +00:00
c91f46be88 Assemble kernel on client 2026-03-18 14:23:37 +00:00
6ee4adfea5 Translate kernel to Wasmasm 2026-03-18 10:41:09 +00:00
5dc0a7a601 Add temporary driver script 2026-03-18 10:35:14 +00:00
896a1ca563 Implement (limited) forward reference handling 2026-03-18 10:32:49 +00:00
37d56988ef Make a couple of tweaks to the kernel in preparation for porting 2026-03-18 10:30:26 +00:00
6c643f8402 Don't silently ignore trailing characters in numbers 2026-03-18 10:29:46 +00:00
7828b0f112 Yield newline token at end of comment 2026-03-15 21:39:14 +00:00
e7affbf8b7 Add .zero directive 2026-03-15 21:28:25 +00:00
02ee4c3c88 Support symbols in .at address field 2026-03-15 21:27:48 +00:00
c21b3c79c7 Fix names of atomic load and store opcodes 2026-03-15 20:04:49 +00:00
1318c3cc4e Add i64.const, i32.div_s and i32.rem_s opcodes 2026-03-15 20:04:27 +00:00
74a8f21379 Encode indices as unsigned LEB128 instead of signed 2026-03-15 20:04:06 +00:00
6784cd02b4 Encode section lengths with unsigned LEB128 2026-03-15 20:03:47 +00:00
3a103c46d1 Don't require ; to have space after in comments 2026-03-15 17:32:14 +00:00
8d4c53ca92 Allow implicit zero-init for globals 2026-03-15 14:26:22 +00:00
5e39024f6d Use unsigned shift in uleb128() 2026-03-15 14:15:40 +00:00
b85a4e8bc9 Encode data values in assembler, not parser 2026-03-15 14:15:34 +00:00
401e8e1fad Use unsigned right shift in Assembler.le() 2026-03-15 14:07:26 +00:00
d4c837216a Add f32 type 2026-03-15 13:58:33 +00:00
c93e9009da LEB128-encode index in action_symbol 2026-03-15 13:58:25 +00:00
0056610238 Add missing semicolon 2026-03-15 13:58:24 +00:00
9b4ff3e8f6 Use array flattening instead of spread operator in a few places 2026-03-15 13:58:23 +00:00
e9beacba3a De-duplicate consecutive locals of same type in wasm_section_code() 2026-03-15 13:58:23 +00:00
acf5b6e284 Handle failed def lookup in action_data() 2026-03-15 13:58:22 +00:00
72c5f64312 Handle global init value encoding in Assembler 2026-03-15 13:58:20 +00:00
7135eeba74 Restructure uleb128 2026-03-15 13:41:39 +00:00
7099ca34a3 Fix .word size 2026-03-15 13:41:05 +00:00
3ebb74c73c Check for null explicitly in token_top() 2026-03-15 13:40:43 +00:00
0dd2a925d8 Allow table elems to be labelled 2026-03-15 12:34:41 +00:00
2155d17731 Implement type, table and func symbol resolution 2026-03-15 12:28:29 +00:00
1452ffe615 Implement .table and .elem 2026-03-15 12:14:35 +00:00
46a571be93 Add error message for unhandled states and actions 2026-03-15 11:09:16 +00:00
d35b13fed0 Add .type directive 2026-03-15 11:05:37 +00:00
a3cfd405a9 Add some threads opcodes 2026-03-14 19:30:44 +00:00
671e7f60d2 Add a bunch of opcodes 2026-03-14 19:30:43 +00:00
580d5d2a4a Implement function type de-duplication 2026-03-14 19:23:02 +00:00
1105daaad0 Add support for extended opcodes 2026-03-14 19:23:00 +00:00
347dd8f534 Make all sections optional 2026-03-14 18:36:21 +00:00
f4433ce3a3 LEB128-encode addresses in data section 2026-03-14 18:35:33 +00:00
714973f052 LEB128-encode values from defs 2026-03-14 18:29:55 +00:00
4f878fdbab Add suport for block/loop/if/else 2026-03-14 18:26:12 +00:00
9fb3910a16 Allow defs to reference other defs 2026-03-14 15:04:25 +00:00
22dc1fc0ca Add support for labels 2026-03-14 14:52:44 +00:00
cc51b2d7be Fix data word size 2026-03-14 14:50:40 +00:00
902404cb10 Fix string interpolation in error messages 2026-03-14 14:01:09 +00:00
d4718f1106 Allow using defs in code 2026-03-14 13:59:42 +00:00
33f5a4be06 Fix bug in local lookup 2026-03-14 13:59:41 +00:00
e2429b2b03 Enable using defs in .byte and .word directives 2026-03-14 13:52:00 +00:00
2972030d0a Add .def support 2026-03-14 13:48:37 +00:00
2c3e5f46da Implement .align directive 2026-03-14 13:48:36 +00:00
93f3dd1f41 Implement .utf directive 2026-03-14 13:48:35 +00:00
cfa4fa7d4f Add .word directive 2026-03-14 13:48:34 +00:00
94cee7d258 Fix string interpolation in error messages 2026-03-14 13:48:33 +00:00
092d870a9c Implement .byte directive 2026-03-14 13:48:33 +00:00
6db71ee382 Add .at directive 2026-03-14 11:56:30 +00:00
5369a0969e Restructure copy implementation to avoid type-indexed block 2026-03-10 21:25:37 +00:00
118e6af896 Add support for globals (mutable only)
I'm planning on adding symbolic constants to the assembler, so I won't
really have much use for immutable globals.
2026-03-10 19:56:49 +00:00
1c4b9f850a Add support for imports (memory only) 2026-03-10 19:54:16 +00:00
672a453f6c Add string support to tokenizer 2026-03-10 17:53:58 +00:00
5a3084dd16 Implement .mem directive 2026-03-10 15:33:41 +00:00
77f6d57e1b Add support for locals 2026-03-10 00:37:05 +00:00
510a74aa04 Add base suffix for integers 2026-03-10 00:22:07 +00:00
75600d0568 Add symbol resolution (params only) 2026-03-10 00:22:06 +00:00
6a4877d52c Implement .param directive 2026-03-09 23:52:18 +00:00
554d918640 Create initial scaffolding for JS WASM assembler 2026-03-09 23:36:14 +00:00
10 changed files with 3603 additions and 2065 deletions

View File

@@ -1,31 +1,24 @@
# Wipforth # Wipforth
Wipforth is a simple Forth implementation that runs in the WebAssembly Wipforth is a Forth implementation that runs in the WebAssembly
virtual machine. It does I/O via memory-mapped peripherals, which are virtual machine. The system is bootstrapped from source on page load:
emulated in JavaScript. the only non-text file is the favicon :)
- For the Forth kernel, see [wipforth.wat](./wipforth.wat) I/O is done via memory-mapped peripherals, which are emulated in
- For the JavaScript emulator, see [emu.js](./emu.js) JavaScript.
- For the Forth prelude, which is loaded at start-up, see
[prelude.f](./prelude.f) - For the Forth kernel, see [wipforth.ws](./wipforth.ws)
- For the emulator, see [emu.js](./emu.js)
- For the assembler, see [asm.js](./asm.js)
- For the prelude (Forth code loaded right after the kernel boots),
see [prelude.f](./prelude.f)
- For a description of the peripherals, see the - For a description of the peripherals, see the
[Peripherals](#peripherals) section below. [Peripherals](#peripherals) section below.
## Building and Running Locally ## Building and Running Locally
You'll need: There's a [Guile](https://www.gnu.org/software/guile/) script in the
repo you can use for this:
- [WABT](https://github.com/WebAssembly/wabt)
- [Guile](https://www.gnu.org/software/guile/) (or bring your own HTTP
server -- see note below)
To run, first compile the WebAssembly module:
```
wat2wasm --enable-threads wipforth.wat
```
Then run the development server:
``` ```
guile server.scm guile server.scm
@@ -34,14 +27,20 @@ guile server.scm
You should then be able to open <http://localhost:8080> in a browser You should then be able to open <http://localhost:8080> in a browser
and use the system from there. and use the system from there.
**NOTE**: The server is very simple and just serves the files with the However, since everything is bootstrapped on the client, basically any
cross-origin isolation headers required for `SharedMemoryBuffer` use. HTTP server will do as long as it sets the appropriate response
You could use any HTTP server that sets these headers. headers for `SharedMemoryBuffer` use:
You should **definitely not** use the development server to serve the - `Cross-Origin-Opener-Policy: same-origin`
application on the open internet; I just hacked it together for - `Cross-Origin-Embedder-Policy: require-corp`
testing on localhost during development and it's probably hilariously
insecure. So, if you don't have Guile on your system you can use something else
like Python's `http.server`.
**NOTE**: You should **definitely not** use `server.scm` to serve the
application on the open internet or anything like that; I just hacked
it together for testing on localhost during development and it's
probably hilariously insecure.
## End-to-End Tests ## End-to-End Tests
@@ -62,16 +61,13 @@ Given that's all sorted, you should be able to run:
guile tests.scm guile tests.scm
``` ```
It will print a JUnit XML report to standard out, you can pretty-print It will print a JUnit XML report to standard out. You can
it with: pretty-print it with `xmllint` if you have it installed:
``` ```
guile tests.scm | xmllint --format - guile tests.scm | xmllint --format -
``` ```
Though, of course, this will require that you have `xmllint` on your
system.
## Peripherals ## Peripherals
### Terminal ### Terminal

1440
asm.js Normal file

File diff suppressed because it is too large Load Diff

29
boot.js
View File

@@ -1,7 +1,26 @@
import { Assembler } from './asm.js';
const assemble = (async () => {
const asm = new Assembler();
const resp = await fetch('wipforth.ws');
for await (const chunk of resp.body) {
asm.push(chunk);
}
return asm.wasm();
})();
self.onmessage = async (e) => { self.onmessage = async (e) => {
const exports = { emu: { mem: e.data } }; switch (e.data.type) {
const mod = await WebAssembly.instantiateStreaming( case "load":
fetch('wipforth.wasm'), exports) const exports = { emu: { mem: e.data.mem } };
mod.instance.exports.reset(); const wasm = await assemble;
console.log('System halt'); self.mod = await WebAssembly.instantiate(wasm, exports);
await self.postMessage('ready');
break;
case "boot":
self.mod.instance.exports.reset();
console.log('System halt');
break;
}
}; };

View File

@@ -3,4 +3,4 @@ emu.js
index.html index.html
prelude.f prelude.f
styles.css styles.css
wipforth.wasm wipforth.ws

12
emu.js
View File

@@ -11,6 +11,7 @@ const RXBUF_SIZE = 32;
const PERIPHS_SIZE = 81; const PERIPHS_SIZE = 81;
const POLL_INTERVAL_MS = 20; const POLL_INTERVAL_MS = 20;
const DOT_INTERVAL_MS = 120;
const COLS = 80; const COLS = 80;
const TAB_WIDTH = 8; const TAB_WIDTH = 8;
@@ -50,8 +51,15 @@ class Emulator {
document.addEventListener('keydown', (e) => this.handle_keydown(e)); document.addEventListener('keydown', (e) => this.handle_keydown(e));
window.addEventListener('resize', () => this.handle_resize()); window.addEventListener('resize', () => this.handle_resize());
this.worker = new Worker('boot.js'); this.print("Assembling kernel ");
this.worker.postMessage(this.mem); const dots = setInterval(() => this.print("."), DOT_INTERVAL_MS);
this.worker = new Worker('boot.js', { type: 'module' });
this.worker.postMessage({ type: "load", mem: this.mem });
this.worker.onmessage = (e) => {
clearInterval(dots);
this.print(" done\n");
this.worker.postMessage({ type: "boot" });
};
fetch('prelude.f') fetch('prelude.f')
.then(res => res.text()) .then(res => res.text())

View File

@@ -249,8 +249,8 @@ CHAR . EMIT
\ Version number \ Version number
0 CONSTANT VERSION-MAJOR 0 CONSTANT VERSION-MAJOR
1 CONSTANT VERSION-MINOR 2 CONSTANT VERSION-MINOR
0 CONSTANT VERSION-PATCH 1 CONSTANT VERSION-PATCH
: PRINT-VERSION : PRINT-VERSION
CHAR v EMIT VERSION-MAJOR . CHAR v EMIT VERSION-MAJOR .

View File

@@ -16,9 +16,8 @@
'(("html" . (text/html)) '(("html" . (text/html))
("css" . (text/css)) ("css" . (text/css))
("js" . (application/javascript)) ("js" . (application/javascript))
("wasm" . (application/wasm))
("f" . (text/plain)) ("f" . (text/plain))
("wat" . (text/plain)) ("ws" . (text/plain))
("png" . (image/png)))) ("png" . (image/png))))
(define (mime-type path) (define (mime-type path)

View File

@@ -21,11 +21,17 @@
(navigate client "http://localhost:8080") (navigate client "http://localhost:8080")
(sleep 5) (sleep 5)
(define-test kernel-assembles-successfully
(let* ((display (get-display client))
(line (first (lines display))))
(assert (string-match "Assembling kernel \\.+ done" line)
(format #f "Kernel assemble line: ~s" line))))
(define-test prelude-loads-successfully (define-test prelude-loads-successfully
(let* ((display (get-display client)) (let* ((display (get-display client))
(first-line (first (lines display)))) (line (second (lines display))))
(assert (string-match "Loading prelude \\.+ done" first-line) (assert (string-match "Loading prelude \\.+ done" line)
(format #f "Prelude load line: ~s" first-line)))) (format #f "Prelude load line: ~s" line))))
(define-test six-seven-times-dot-cr-yields-42 (define-test six-seven-times-dot-cr-yields-42
(input-line client "6 7 * . CR") (input-line client "6 7 * . CR")

File diff suppressed because it is too large Load Diff

2088
wipforth.ws Normal file

File diff suppressed because it is too large Load Diff