3be7144892
Some cleanup
2019-03-04 17:37:05 -08:00
2969409ca7
Add hacky reinterpret instructions and pop used arguments off the value stack
2019-03-04 16:44:46 -08:00
25c0cef5f7
Up to 1242 passing spectests
2019-03-04 15:51:45 -08:00
7ef2c0dece
Fix execute after free issue with llvm (and presumably cranelift?)
2019-03-04 14:41:56 -08:00
039ebdcf75
Fix merge errors and update llvm to use the new runtime error type.
2019-03-04 13:10:28 -08:00
deea9e98a4
Add import names, whoops.
2019-03-04 10:19:38 -08:00
3f9dbca17f
List specific supported features for validator.
2019-03-03 22:47:34 -08:00
ab550f46fc
Fix bug resulting from comparing the memory base instead of the memory offset to the memory bounds.
2019-03-03 22:11:40 -08:00
ae3b2b2a42
Add bounds checking for memory accesses on dynamic memories
2019-03-03 21:56:30 -08:00
87c453a0ec
Add check for table bounds on call_indirect.
2019-03-03 21:38:35 -08:00
51cf9dde05
Move SSA value caches to the entry block.
...
The supporting framework around LLVM will make sure to only compute values once if they
are known to never change. Previously, these values were attempted to be reused from places where
the users may not dominate the creation of the value. To avoid that, they are always created
in the entry block now.
2019-03-03 21:13:37 -08:00
c07298e58e
Make capstone optional with a feature
2019-03-03 16:02:20 -06:00
aae256b407
Add tag to fix cast ptr lint error
2019-03-03 15:34:20 -06:00
97a70327d0
Fix compilation of test example
2019-03-03 15:13:20 -06:00
2c765c87c5
Update locals reading to use count
2019-03-03 12:55:29 -06:00
e362b56b07
Turns out we can just throw an exception from the signal handler
...
without any fancy tricks.
This has been tested on macos, hopefully it works on linux too.
2019-03-03 02:15:53 -08:00
9cfda6800f
Try to return an error from call_protected when an exception occurs.
...
Something breaks pretty drastically sometimes, not sure why.
2019-03-02 19:08:15 -08:00
caf2205936
Add a signal handler for macos and linux.
...
Implementation Notes:
- To avoid setjmp, longjmp, and the mess that those create, we instead set the interrupting
context of the signal handler to return into the `throw_trap` routine. To my surprise,
this actually works. The stack ends up getting unwound normally and the memory-oob error
is caught by the trampoline.
2019-03-02 17:00:05 -08:00
57bfa9b0a4
Remove multiple throwing functions, just use one.
2019-03-02 14:16:02 -08:00
9a90689b93
Add preliminary support for throwing and catching uncatchable exceptions.
...
Additional info:
- WebAssembly "traps" are uncatchable, but are still caught by the trampoline caller.
2019-03-02 12:57:35 -08:00
5760f6006a
Start implementing exception handling by adding frame descriptor entry processing.
...
- Soon, we should be able basic exceptions.
2019-03-02 10:56:02 -08:00
87ddf4f855
Add personality function.
...
- This is part of supporting exceptions in the future.
2019-03-02 10:20:18 -08:00
a6fc06c908
Fix more compiling issues
...
Specifically:
- Don't truncate the list of local parameters.
- If the default destination in a br_table instruction is a loop, don't pop any results.
2019-03-02 10:04:44 -08:00
362e5aa160
Fix issue caused by dangling instruction.
...
- Come on inkwell, I thought you were better than this.
2019-03-01 20:28:27 -08:00
f0ac76517a
Start running spectests
...
Additional info:
- Execution is turned off, this is just to make sure the backend can compile the entire specsuite.
- That being said, trampolines are implemented and protected call works (just doesn't protect).
2019-03-01 17:11:20 -08:00
3717c5720d
Get control flow (at least according to the llvm verifier) working.
...
Next up:
- Importing vm intrinsics.
2019-03-01 15:48:43 -08:00
51c9091fc5
Start work on generating trampolines
2019-02-28 18:26:47 -08:00
6a20676fa9
Actually unmap the code after it's done being used
2019-02-28 17:20:18 -08:00
359ac5abec
Connect part of the llvm backend to the runtime
2019-02-28 13:18:00 -08:00
d4ae5cdd40
Get function addresses from llvm-compiled code
2019-02-28 12:31:39 -08:00
5d77769381
Hopefully finish the memory manager implementation for llvm RuntimeDyLd
2019-02-27 17:21:20 -08:00
4f833876e0
Start work on object loader using llvm's RuntimeDyld api.
2019-02-25 18:08:06 -08:00
2a913f5663
Implement table, partial call_indirect
2019-02-22 17:34:55 -08:00
108973dabe
Start producing object files with llvm
2019-02-15 16:02:20 -08:00
73b4f7d337
Implement memory and global operations
2019-02-14 18:08:20 -08:00
8827830aba
implement load* and store* instructions
2019-02-14 15:13:58 -08:00
2572a0259b
Get control flow working (fingers crossed)
2019-02-12 18:02:00 -08:00
5ee19e55a5
Add some branching instructions
2019-02-11 19:34:04 -08:00
327e3a4a1a
Implement many wasm instructions
2019-02-09 15:53:40 -08:00
