190 Commits

Author SHA1 Message Date
dcode
e36722f2e6 unify mem/ref interface 2019-03-27 17:21:52 +01:00
dcode
a3095478a3 Merge branch 'master' into runtime 2019-03-27 16:10:59 +01:00
dcode
f7ad5f85ca fixes 2019-03-27 15:05:45 +01:00
dcode
bb1609c9ea baseline 2019-03-27 14:43:35 +01:00
dcode
3146f8f9e0 use gc interface directly, document 2019-03-26 23:35:08 +01:00
dcode
7c0dc66849 guard, info on never null, more general array rt 2019-03-22 15:43:07 +01:00
dcode
3fc9f550ad more general gc hooks? 2019-03-21 10:44:14 +01:00
dcode
81039c4167 FixedArray experimentation 2019-03-19 15:43:05 +01:00
dcode
74789c9c1e aliased makeCallInline, unmanaged rt alloc 2019-03-19 14:40:37 +01:00
Daniel Wirtz
fd99589527
Fix enum initialization (#545) 2019-03-18 04:54:44 +01:00
dcode
edb2299f13 fixes 2019-03-17 12:25:54 +01:00
dcode
2d76da9465 alias locals when inlining a tail call 2019-03-17 00:11:16 +01:00
dcode
05a35f42f6 more 2019-03-16 11:24:13 +01:00
dcode
b8a08da7a5 more static array 2019-03-16 07:26:33 +01:00
dcode
058dc8d4fa static array stuff 2019-03-15 13:13:48 +01:00
dcode
968b0321a0 decisions 2019-03-15 09:26:31 +01:00
dcode
6163a73ab5 take a step back 2019-03-14 04:33:58 +01:00
dcode
6f70826e45 hmm 2019-03-13 09:05:02 +01:00
dcode
707f2dae9a more 2019-03-13 03:47:35 +01:00
dcode
d9a5681489 arraybufferview 2019-03-11 07:45:47 +01:00
dcode
cb77760562 unsafe, stub 2019-03-10 21:38:15 +01:00
dcode
0ad9d560e0 integrate 2019-03-09 00:40:03 +01:00
Daniel Wirtz
e1f1a3b49c
Implement v128 instructions (#508) 2019-02-28 17:36:22 +01:00
Daniel Wirtz
e8b0767143
Infer function expressions in matching contexts (#514)
* legalizes omitting types on function expressions within function type contexts
* legalizes omitting any number of arguments
2019-02-27 21:45:36 +01:00
Max Graey
65c799c925 Speedup some compiler routines (#441) 2019-02-22 14:03:33 +01:00
dcode
cc5522d6cc Legalize external decorator for generic functions 2019-02-22 08:25:41 +01:00
Daniel Wirtz
0c64f21250
Rework resolver (#489)
* Rework IR and resolver to use nested lookup tables
* Integrate types into IR
* Make components prefer IR, slimmed down AST
* Implement `export *`
* Add `@lazy` annotation and remove `--noTreeShaking`
* Add `@start` annotation and remove magic `main`
* Related refactoring, cleanup and docs
2019-02-21 00:11:22 +01:00
Daniel Wirtz
2f1a6c44ce
Add SIMD prerequisites (#469) 2019-02-07 15:26:26 +01:00
Daniel Wirtz
f551bc78e1
Implement bulk memory operations (#467) 2019-02-07 11:40:23 +01:00
Daniel Wirtz
831054dfd3
Rework inlining logic (#463) 2019-02-06 23:42:43 +01:00
Max Graey
4829f3a3e4 Add ArrayBuffer.isView and rework Array.isArray (#431) 2019-02-03 10:41:04 +01:00
Daniel Wirtz
2131c51932
Rework constructor handling (#446) 2019-02-02 16:03:21 +01:00
Daniel Wirtz
75328f3feb
Implement calls to 'super()' (#445) 2019-01-31 10:35:49 +01:00
Daniel Wirtz
f714afab3c
Implement explicit this type (#373)
* Add backing classes for basic types (I32...)
* Move standard numeric constants to backing classes
2019-01-09 12:45:29 +01:00
Daniel Wirtz
ebae7cbd73
Implement optional type parameters (#360)
* Add a NATIVE<T> macro type to simplify use of a native WebAssembly type
* Add default type parameters for internal helpers for explicit loads and stores
* Unify loadUnsafe/loadUnsafeWithOffset etc. into one
* Renamed loadUnsafe etc. into just LOAD, like a macro
* Implement parsing of index signatures, but ignore them, for properly linting code
* Refactor TypedArray<T> to use macros
2018-12-07 14:33:32 +01:00
dcodeIO
aedc821c09 Process backlog once more after Transform#afterParse, see #356 2018-12-03 17:22:01 +01:00
dcodeIO
4c35dd6f7c Fix partial function prototypes not sharing their instances
This also made it necessary to extend the internal per-function instances map by one level for the respective class instance key so functions on differnt class instances with the same own type arguments don't collide.
2018-12-01 19:46:10 +01:00
dcodeIO
0e33806cf6 Add a way to ensure that lazy globals are resolved, fixes #355
This only affects static fields that currently must have a type annotation, while it wouldn't work if there wasn't an annotated type, like on normal globals, which aren't compiled lazily, though. Must be revisted if requirements on type annotations on fields ever become relaxed.
2018-12-01 13:31:37 +01:00
Daniel Wirtz
c30c62e383
Cast to bool by comparing to zero (#343) 2018-11-23 15:20:52 +01:00
dcodeIO
4498b28442 Use outer-most identifier when resolving queued exports, fixes #248 2018-09-09 03:51:29 +02:00
dcodeIO
631478c7c9 Rework static memory segment creation; Fix stdlib gc hooks not marking own fields; Align everything to 8 bytes that might be touched by GC 2018-08-04 00:36:59 +02:00
Daniel Wirtz
dc0f271fc2
Initial GC integration (#196) 2018-08-02 18:23:02 +02:00
dcodeIO
41ad2f8a70 Add a more convenient tracing utility for debugging; Fix basic GC test 2018-07-20 16:49:27 +02:00
dcodeIO
66cc359849 Emit an error when trying to inline a mutable variable 2018-07-19 16:38:09 +02:00
dcodeIO
26e46f6f86 Reintroduce builtin decorator so these can appear anywhere in stdlib again
Avoids wrapping an undocumented function within 'memory.size' for example.
2018-07-19 02:10:04 +02:00
dcodeIO
a1b75b69b7 Rename memory instructions; Rework constant handling 2018-07-18 23:49:32 +02:00
dcodeIO
cd14b296ce Refactor resolve infrastructure to its own file
This has become a little clumsy over time. Doesn't hurt to have it in its own place to get a grasp of it more easily.
2018-07-13 00:22:22 +02:00
dcodeIO
27dbbd1d75 Support a bit more interface syntax when parsing, see #160 2018-07-10 00:34:40 +02:00
dcodeIO
c4ebc8c291 Fix missing dependency in asc, see #157; Downgrade ts-node to v6 2018-07-04 21:47:58 +02:00
dcodeIO
82da2d1f6d Add compiler hints 2018-06-29 00:14:42 +02:00