porffor 0.2.0-623cdf0 → 0.2.0-6aff0fa
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +69 -44
- package/asur/README.md +2 -0
- package/asur/index.js +978 -0
- package/compiler/2c.js +11 -11
- package/compiler/builtins/base64.ts +153 -0
- package/compiler/builtins/porffor.d.ts +23 -0
- package/compiler/builtins.js +65 -192
- package/compiler/codeGen.js +206 -110
- package/compiler/generated_builtins.js +15 -0
- package/compiler/index.js +9 -20
- package/compiler/log.js +4 -1
- package/compiler/opt.js +39 -26
- package/compiler/parse.js +4 -2
- package/compiler/precompile.js +129 -0
- package/compiler/prefs.js +26 -0
- package/compiler/prototype.js +11 -10
- package/compiler/sections.js +7 -6
- package/compiler/wasmSpec.js +14 -7
- package/compiler/wrap.js +12 -4
- package/package.json +1 -1
- package/porf +2 -0
- package/rhemyn/compile.js +2 -1
- package/runner/index.js +12 -2
- package/runner/profiler.js +83 -0
- package/compiler/builtins/base64.js +0 -92
- package/filesize.cmd +0 -2
- package/runner/profile.js +0 -46
- package/runner/results.json +0 -1
package/README.md
CHANGED
@@ -10,6 +10,65 @@ Porffor is a very unique JS engine, due many wildly different approaches. It is
|
|
10
10
|
|
11
11
|
Porffor is primarily built from scratch, the only thing that is not is the parser (using [Acorn](https://github.com/acornjs/acorn)). Binaryen/etc is not used, we make final wasm binaries ourself. You could imagine it as compiling a language which is a sub (some things unsupported) and super (new/custom apis) set of javascript. Not based on any particular spec version, focusing on function/working over spec compliance.
|
12
12
|
|
13
|
+
## Usage
|
14
|
+
Expect nothing to work! Only very limited JS is currently supported. See files in `bench` for examples.
|
15
|
+
|
16
|
+
### Setup
|
17
|
+
1. Clone this repo (`git clone https://github.com/CanadaHonk/porffor.git`)
|
18
|
+
2. `npm install` - for parser(s)
|
19
|
+
|
20
|
+
### Running a file
|
21
|
+
The repos comes with easy alias files for Unix and Windows, which you can use like so:
|
22
|
+
- Unix: `./porf path/to/script.js`
|
23
|
+
- Windows: `.\porf path/to/script.js`
|
24
|
+
|
25
|
+
Please note that further examples below will just use `./porf`, you need to use `.\porf` on Windows. You can also swap out `node` in the alias to use another runtime like Deno (`deno run -A`) or Bun (`bun ...`), or just use it yourself (eg `node runner/index.js ...`, `bun runner/index.js ...`). Node and Bun should work great, Deno support is WIP.
|
26
|
+
|
27
|
+
### Trying a REPL
|
28
|
+
**`./porf`**. Just run it with no script file argument.
|
29
|
+
|
30
|
+
### Compiling to native binaries
|
31
|
+
> [!WARNING]
|
32
|
+
> Compiling to native binaries uses [2c](#2c), Porffor's own Wasm -> C compiler, which is experimental.
|
33
|
+
|
34
|
+
**`./porf native path/to/script.js out(.exe)`**. You can specify the compiler with `-compiler=clang/zig/gcc`, and which opt level to use with `-cO=O3` (`Ofast` by default). Output binaries are also stripped by default.
|
35
|
+
|
36
|
+
### Compiling to C
|
37
|
+
> [!WARNING]
|
38
|
+
> Compiling to C uses [2c](#2c), Porffor's own Wasm -> C compiler, which is experimental.
|
39
|
+
|
40
|
+
**`./porf c path/to/script.js (out.c)`**. When not including an output file, it will be printed to stdout instead.
|
41
|
+
|
42
|
+
### Compiling to a Wasm binary
|
43
|
+
**`./porf compile path/to/script.js out.wasm`**. Currently it does not use an import standard like WASI, so it is mostly unusable.
|
44
|
+
|
45
|
+
### Options
|
46
|
+
- `-target=wasm|c|native` (default: `wasm`) to set target output (native compiles c output to binary, see args below)
|
47
|
+
- `-target=c|native` only:
|
48
|
+
- `-o=out.c|out.exe|out` to set file to output c or binary
|
49
|
+
- `-target=native` only:
|
50
|
+
- `-compiler=clang` to set compiler binary (path/name) to use to compile
|
51
|
+
- `-cO=O3` to set compiler opt argument
|
52
|
+
- `-parser=acorn|@babel/parser|meriyah|hermes-parser` (default: `acorn`) to set which parser to use
|
53
|
+
- `-parse-types` to enable parsing type annotations/typescript. if `-parser` is unset, changes default to `@babel/parser`. does not type check
|
54
|
+
- `-opt-types` to perform optimizations using type annotations as compiler hints. does not type check
|
55
|
+
- `-valtype=i32|i64|f64` (default: `f64`) to set valtype
|
56
|
+
- `-O0` to disable opt
|
57
|
+
- `-O1` (default) to enable basic opt (simplify insts, treeshake wasm imports)
|
58
|
+
- `-O2` to enable advanced opt (inlining). unstable
|
59
|
+
- `-O3` to enable advanceder opt (precompute const math). unstable
|
60
|
+
- `-no-run` to not run wasm output, just compile
|
61
|
+
- `-opt-log` to log some opts
|
62
|
+
- `-code-log` to log some codegen (you probably want `-funcs`)
|
63
|
+
- `-regex-log` to log some regex
|
64
|
+
- `-funcs` to log funcs
|
65
|
+
- `-ast-log` to log AST
|
66
|
+
- `-opt-funcs` to log funcs after opt
|
67
|
+
- `-sections` to log sections as hex
|
68
|
+
- `-opt-no-inline` to not inline any funcs
|
69
|
+
- `-tail-call` to enable tail calls (experimental + not widely implemented)
|
70
|
+
- `-compile-hints` to enable V8 compilation hints (experimental + doesn't seem to do much?)
|
71
|
+
|
13
72
|
## Limitations
|
14
73
|
- No full object support yet
|
15
74
|
- Little built-ins/prototype
|
@@ -18,10 +77,15 @@ Porffor is primarily built from scratch, the only thing that is not is the parse
|
|
18
77
|
- Literal callees only in calls (eg `print()` works, `a = print; a()` does not)
|
19
78
|
- No `eval()` etc (since it is AOT)
|
20
79
|
|
21
|
-
##
|
80
|
+
## Sub-engines
|
81
|
+
|
82
|
+
### Asur
|
83
|
+
Asur is Porffor's own Wasm engine; it is an intentionally simple interpreter written in JS. It is very WIP. See [its readme](asur/README.md) for more details.
|
84
|
+
|
85
|
+
### Rhemyn
|
22
86
|
Rhemyn is Porffor's own regex engine; it compiles literal regex to Wasm bytecode AOT (remind you of anything?). It is quite basic and WIP. See [its readme](rhemyn/README.md) for more details.
|
23
87
|
|
24
|
-
|
88
|
+
### 2c
|
25
89
|
2c is Porffor's own Wasm -> C compiler, using generated Wasm bytecode and internal info to generate specific and efficient/fast C code. Little boilerplate/preluded code or required external files, just for CLI binaries (not like wasm2c very much).
|
26
90
|
|
27
91
|
## Supported
|
@@ -147,9 +211,7 @@ No particular order and no guarentees, just what could happen soon™
|
|
147
211
|
- Self hosted testing?
|
148
212
|
|
149
213
|
## Performance
|
150
|
-
*For the
|
151
|
-
|
152
|
-

|
214
|
+
*For the features it supports most of the time*, Porffor is *blazingly fast* compared to most interpreters and common engines running without JIT. For those with JIT, it is usually slower by default, but can catch up with compiler arguments and typed input, even more so when compiling to native binaries.
|
153
215
|
|
154
216
|
## Optimizations
|
155
217
|
Mostly for reducing size. I do not really care about compiler perf/time as long as it is reasonable. We do not use/rely on external opt tools (`wasm-opt`, etc), instead doing optimization inside the compiler itself creating even smaller code sizes than `wasm-opt` itself can produce as we have more internal information.
|
@@ -211,48 +273,11 @@ Porffor can run Test262 via some hacks/transforms which remove unsupported featu
|
|
211
273
|
## Usecases
|
212
274
|
Basically none right now (other than giving people headaches). Potential ideas:
|
213
275
|
- Safety. As Porffor is written in JS, a memory-safe language\*, and compiles JS to Wasm, a fully sandboxed environment\*, it is quite safe. (\* These rely on the underlying implementations being secure. You could also run Wasm, or even Porffor itself, with an interpreter instead of a JIT for bonus security points too.)
|
214
|
-
- Compiling JS to native binaries. This is still very early
|
276
|
+
- Compiling JS to native binaries. This is still very early!
|
215
277
|
- More in future probably?
|
216
278
|
|
217
|
-
## Usage
|
218
|
-
Basically nothing will work :). See files in `test` and `bench` for examples.
|
219
|
-
|
220
|
-
1. Clone repo
|
221
|
-
2. `npm install`
|
222
|
-
3. `node test` to run tests (some will fail)
|
223
|
-
4. `node runner path/to/code.js` to run a file (or `node runner` to use wip repl)
|
224
|
-
|
225
|
-
You can also use Deno (`deno run -A ...` instead of `node ...`), or Bun (`bun ...` instead of `node ...`).
|
226
|
-
|
227
|
-
### Options
|
228
|
-
- `-target=wasm|c|native` (default: `wasm`) to set target output (native compiles c output to binary, see args below)
|
229
|
-
- `-target=c|native` only:
|
230
|
-
- `-o=out.c|out.exe|out` to set file to output c or binary
|
231
|
-
- `-target=native` only:
|
232
|
-
- `-compiler=clang` to set compiler binary (path/name) to use to compile
|
233
|
-
- `-cO=O3` to set compiler opt argument
|
234
|
-
- `-parser=acorn|@babel/parser|meriyah|hermes-parser` (default: `acorn`) to set which parser to use
|
235
|
-
- `-parse-types` to enable parsing type annotations/typescript. if `-parser` is unset, changes default to `@babel/parser`. does not type check
|
236
|
-
- `-opt-types` to perform optimizations using type annotations as compiler hints. does not type check
|
237
|
-
- `-valtype=i32|i64|f64` (default: `f64`) to set valtype
|
238
|
-
- `-O0` to disable opt
|
239
|
-
- `-O1` (default) to enable basic opt (simplify insts, treeshake wasm imports)
|
240
|
-
- `-O2` to enable advanced opt (inlining). unstable
|
241
|
-
- `-O3` to enable advanceder opt (precompute const math). unstable
|
242
|
-
- `-no-run` to not run wasm output, just compile
|
243
|
-
- `-opt-log` to log some opts
|
244
|
-
- `-code-log` to log some codegen (you probably want `-funcs`)
|
245
|
-
- `-regex-log` to log some regex
|
246
|
-
- `-funcs` to log funcs
|
247
|
-
- `-ast-log` to log AST
|
248
|
-
- `-opt-funcs` to log funcs after opt
|
249
|
-
- `-sections` to log sections as hex
|
250
|
-
- `-opt-no-inline` to not inline any funcs
|
251
|
-
- `-tail-call` to enable tail calls (experimental + not widely implemented)
|
252
|
-
- `-compile-hints` to enable V8 compilation hints (experimental + doesn't seem to do much?)
|
253
|
-
|
254
279
|
## VSCode extension
|
255
|
-
There is a vscode extension in `
|
280
|
+
There is a vscode extension in `vscode-ext` which tweaks JS syntax highlighting to be nicer with porffor features (eg highlighting wasm inside of inline asm).
|
256
281
|
|
257
282
|
## Isn't this the same as AssemblyScript/other Wasm langs?
|
258
283
|
No. they are not alike at all internally and have very different goals/ideals:
|
package/asur/README.md
ADDED