51 Commits

Author	SHA1	Message	Date
George Karachalias	cfa6795ca1	Remove obsolete LinkingSection from wasm-toolkit (#550)	2020-04-12 22:55:58 +02:00
George Karachalias	7c80049f0f	Basic Haddock-compatible documentation in wasm-toolkit (#467)	2020-02-29 01:03:41 +01:00
Shao Cheng	33f6eafe5b	Apply ormolu on the last master commit (#325)	2019-10-14 16:56:53 +08:00
Shao Cheng	25fdd6e2de	Change Cmm function sigs to [] -> [] and implement tail call opcodes (#95)	2019-03-21 22:05:00 +08:00
Shao Cheng	6e117c7736	Make linker faster, combining work in #82 #83 (#84)	2019-03-06 01:56:34 +08:00
Shao Cheng	39bc9597fe	bytestring support & numerous bugfixes and impovements	2018-12-09 10:19:01 +08:00
Shao Cheng	8a76f3fb17	Update to ghc-8.7.20181027 (+13 squashed commit)	2018-10-29 16:38:28 +08:00
Shao Cheng	9c7500e6ba	Finish work for #34 (+8 squashed commit)	2018-10-24 22:24:27 +08:00
Shao Cheng	900e09a6d0	Default to wasm-toolkit backend for wasm binary code generation (+52 squashed commit)	2018-10-23 16:00:06 +08:00
Shao Cheng	7abce74ed3	Merge wasm-toolkit into asterius, since reusability is not present anyway and it'll be handy to share types	2018-04-18 13:38:49 +08:00
Shao Cheng	f94b8f8d1d	Check in LinkStart/link-fact. We're closer to MVP, but blocked on newCAF/CurrentNursery/CurrentTSO.	2018-04-15 01:29:39 +08:00
Shao Cheng	bafd6e4fcc	Begin implementing CmmUnsafeForeignCall. Calling function pointers still require some extra work	2018-04-14 16:34:28 +08:00
Shao Cheng	040efd3efd	Refactor symbol database; don't pull out the weeds pre-linking since unseen symbols may be referenced earlier	2018-04-14 13:09:08 +08:00
Shao Cheng	973aec0964	Separate types/analysis functions in different modules	2018-04-14 09:20:11 +08:00
Shao Cheng	8e9c094e9c	Fix collectUnresolvedLabels for AsteriusStatics	2018-04-12 06:03:53 +08:00
Shao Cheng	937a81f0bf	Simplified implementation of querying unresolved labels	2018-04-11 14:59:36 +08:00
Shao Cheng	36d30060ba	Implement relooperBlockUnresolvedLabels	2018-04-10 22:11:38 +08:00
Shao Cheng	1795e29549	Introduce lens dep, add Plated instance for Expression for further analysis	2018-04-10 20:40:01 +08:00
Shao Cheng	11e49743da	Implement MO_AtomicRMW/MO_Cmpxchg	2018-04-10 17:10:30 +08:00
Shao Cheng	edb3056ed2	Implement MO_AtomicRead/MO_AtomicWrite	2018-04-09 23:13:42 +08:00
Shao Cheng	f5955fd541	Don't propagate sizeOfValueType in CodeGen	2018-04-09 11:22:21 +08:00
Shao Cheng	d57af81843	Logic of marshalling from Cmm to Wasm is basically complete.	2018-04-08 22:20:21 +08:00
Shao Cheng	3cc35bec45	Mega WIP, check if chained marshal is working properly	2018-04-08 15:07:06 +08:00
Shao Cheng	411ad80431	Switch to NIR in asterius frontend plugin. Hold my beer	2018-04-07 22:20:19 +08:00
Shao Cheng	ff38a7c816	Preserve only NIR for now; investigate rogue labels on the top level of boot libs	2018-04-07 02:20:29 +08:00
Shao Cheng	1905e6f58a	NIR supports all non-atomic instructions by now.	2018-04-07 01:09:51 +08:00
Shao Cheng	f66b52e937	Write about word size in docs; add relooper support to NIR; test relooper in nir-test	2018-04-06 23:49:10 +08:00
Shao Cheng	032507141c	Update nir test suite to spit out chained blocks to binary file.	2018-04-06 02:14:17 +08:00
Shao Cheng	fbfc9d2df9	Update experiment results. binaryen doesn't scale, what a pity	2018-04-06 01:37:29 +08:00
Shao Cheng	7d3abcba8f	Add most unops/binops to NIR	2018-04-05 23:16:15 +08:00
Shao Cheng	84837ba0e8	Data instances for NIR, querying symbols will be easier	2018-04-04 23:36:00 +08:00
Shao Cheng	840d442cd6	Experimenting on a top-level FSM for control-flow. Not working yet	2018-04-03 19:30:07 +08:00
Shao Cheng	b0f11a01cd	Mortem infinitum	2018-04-02 19:50:04 +08:00
Shao Cheng	cfef819edc	Switch from Storable to Prim for implementing reinterpretCast	2018-04-02 14:07:46 +08:00
Shao Cheng	adb10869a4	Run initial stub, don't chase symbols for now	2018-03-31 23:00:32 +08:00
Shao Cheng	88d9180482	WIP marshalIR	2018-03-27 13:37:19 +08:00
Shao Cheng	62cfc7f24f	WIP, add peekSBS for serializing CmmLit	2018-03-27 11:14:36 +08:00
Shao Cheng	d7ecfcccc4	WIP, put static/function symbols in the same namespace for now since it's hard to distinguish in marshalIR	2018-03-27 10:49:44 +08:00
Shao Cheng	b9b05f7dd3	WIP marshalIR	2018-03-26 10:34:08 +08:00
Shao Cheng	ec59e39277	Remove witness dictionary for IRSpec	2018-03-26 00:49:48 +08:00
Shao Cheng	7dd798850b	Add IRSpecWitness. WITNESS ME	2018-03-26 00:21:39 +08:00
Shao Cheng	b64b7a9874	WIP sancheck	2018-03-25 19:02:31 +08:00
Shao Cheng	52c96b9ec7	WIP sancheck	2018-03-25 16:50:44 +08:00
Shao Cheng	76ae1c32ea	WIP sancheck	2018-03-25 00:05:53 +08:00
Shao Cheng	d33858709e	WIP	2018-03-24 21:31:37 +08:00
Shao Cheng	49596cbc9f	Wipe some rotten bits	2018-03-20 22:44:59 +08:00
Shao Cheng	8321ba301e	Refactor hbinaryen to binaryen for a more canonical package name	2018-03-19 01:39:35 +08:00
Shao Cheng	ba4e576e1a	Initiate a sketch for ghc-toolkit	2018-03-15 13:07:37 +08:00
Shao Cheng	550614ad11	Utilize new version of unliftio	2018-03-14 15:28:05 +08:00
Mathieu Boespflug	68058f3a69	Change copyright notices	2018-03-05 13:46:33 +01:00