T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,903 Commits 2 Branches 0 Tags
b6166444951a3451f92ffc50925eca03f8eb9300
Commit Graph

1903 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Dan Gohman
b616644495 Document that cretonne-module is an optional part of Cretonne. 2018-07-07 13:37:40 -07:00
Amanieu d'Antras
5c7aeb46dd Make InstructionData comparable and hashable (#388) 
* Don't implement Eq and Hash for EntityList

* Generate eq and hash methods for InstructionData

* Use the eq() and hash() methods of InstructionData in simple_gvn
 2018-07-06 12:09:20 -07:00
bjorn3
4f352fa6f1 s/uextend/sextend/ for sload* (#390) 2018-07-06 12:05:01 -07:00
Benjamin Bouvier
1987d4dba9 Reject with a plain text error when no ISA is defined with the wasm command; (#391) 
And restructure code a bit to make it easier to understand.
 2018-07-06 12:04:00 -07:00
Amanieu d'Antras
c6badde836 Update wabt to 0.4 (#389) 
This fixes compilation on system with GCC 8.
 2018-07-05 19:17:53 -07:00
bjorn3
5db45d26cc Legalize several i8 insts (#380) 
* Legalize several i8 insts

* X86: implement regmove.{i8,i16}

* Legalize bnot

* Remove comments

* Nicer type param binding in legalize.py

* Legalize sdiv_imm.i8

* Hopefully fix mypy error

* Add missing trailing newlines

* Fix tests
 2018-07-04 06:31:00 -07:00
Grégoire Geis
dd72b54eef Now diagnosing missing vmctx arguments (fixes #376) (#384) 
* Now diagnosing missing vmctx arguments (fixes #376).

* Added filetest for fix of #376.

* Respect formatting rules in verifier/mod.rs.

* Added parameters for each use of vmctx in test files.

* Added comments on additions on vmctx verifications.
 2018-07-03 20:59:32 -07:00
Grégoire Geis
e5014e0fff Made Capstone an optional dependency (fixes #382) (#383) 
* Made Capstone an optional dependency (fixes #382).

* Introduced feature 'disas' for disassembly (related to #382).

* Made 'disas' a default feature in cretonne-tools.

* Fixed errors in src/compile.rs introduced by get_disassembler changes.

- Moves `use` statements before the function declaration.
- Returns an error if the disassembler cannot be found created.
 2018-07-03 20:54:54 -07:00
Dan Gohman
ff5660624d Clarify wording in a comment. 2018-07-02 22:44:50 -07:00
Dan Gohman
4930ef8ba8 Remove srclocs from a regalloc testcase. 
These aren't relevant to the testcase.
 2018-07-02 22:44:30 -07:00
Dan Gohman
632bbf2008 Permit {s,u}{div,rem}_imm instructions to be potentially trapping. 
The documentation for these instructions suggests that immediate values
which could lead to trapping should be invalid.

While it seems nice to have these instructions be always non-trapping,
it's also nice to say that the `_imm` forms of instructions are
interchangeable with the corresponding non-`_imm` forms accompanied
by `iconst` instructions.
 2018-07-02 22:44:25 -07:00
Dan Gohman
112ae6df56 Bump version to 0.13.0 2018-07-02 15:48:18 -07:00
Dan Gohman
b0cce6daec Update the documentation for the new adjust_sp_* instruction names. 
`adjust_sp_imm` has been split into `adjust_sp_up_imm` and
`adjust_sp_down_imm`, and `adjust_sp_down` has been added.
 2018-07-02 15:43:15 -07:00
Dan Gohman
d2d8b56ddb Fix test-no_std.sh to handle the case where topdir is ".". 
Instead of using "cd $topdir" to get back to the top, use popd.
 2018-07-02 15:17:14 -07:00
Dan Gohman
b17d1617ca Update to hashmap_core 0.1.8. 2018-07-02 15:09:30 -07:00
Dan Gohman
276ba8b97d Support systems which don't have a "python" command. (#386) 
Add support for finding an appropriate python command on systems which
don't have "python". Try "python3" and "python2.7".

Fixed #381.
 2018-07-02 13:02:00 -07:00
Dan Gohman
1074e2c755 Tidy up trailing whitespace. 2018-07-02 08:05:14 -07:00
Dan Gohman
7a55a107ae Say "Global Variable" when referring to the WebAssembly concept. 
This helps avoid confusion between wasm global variables and cretonne
global values.
 2018-07-02 08:05:01 -07:00
Dan Gohman
8f3c49bc6c Update more references to "global variables". 
This continues the transition to "global values", which aren't
implicitly dereferenced.
 2018-06-28 12:52:51 -07:00
Dan Gohman
99b9b96eee Pop and fill don't trigger StackOverflow. (#365) 2018-06-28 12:47:13 -07:00
Caroline Cullen
7bed3426a7 Adds decoration to the verifier errors. (#375) 
* Adds decoration to the verifier errors.

example:

function %bad(i32) fast {
ebb0(v0: i32):
    brnz.i32 v0, ebb1
    return
    ^~~~~~

verifier inst1: Internal return not allowed with return_at_end=1

ebb1:
    trapz.i32 v0, user6
    return
}

Fixes #68
 2018-06-28 10:17:27 -07:00
Dan Gohman
c5aad1eb5f Add support for macho relocations. (#378) 
This requires splitting X86PCRel4 into two separate relocations, to
distinguish the case where the instruction is a call, as Mach-O uses a
different relocation in that case.

This also makes it explicit that only x86-64 relocations are supported
currently.
 2018-06-28 10:15:10 -07:00
Dan Gohman
cc94adca3b Update to the rustfmt in rust 1.27, which is now stable. (#377) 2018-06-26 13:06:16 -07:00
Dan Gohman
7d2b44289c Implement stack_addr, stack_load, stack_store for x86-64. (#370) 2018-06-26 06:15:21 -07:00
Bruce Mitchener
fbd637e142 Update to raw-cpuid 4.0. (#369) 2018-06-22 12:13:00 -07:00
Dan Gohman
979162522e Keep a comment in sync with the code. 2018-06-21 16:24:33 -07:00
Dan Gohman
593e2bae6c Add timers for branch relaxation and instruction shrinking. 2018-06-21 16:18:34 -07:00
Dan Gohman
d209137149 Rename TargetIsa's emit_function to emit_function_to_memory. 
This reflects the fact that it takes a concrete `MemoryCodeSink` rather than
a `CodeSink` trait object.
 2018-06-21 15:50:29 -07:00
Dan Gohman
603bb4ac02 Remove an obsolete comment. 2018-06-21 15:45:24 -07:00
Dan Gohman
2b04099604 Fix a typo in a comment. 2018-06-19 14:16:42 -07:00
Dan Gohman
47a96641f9 Rename the memflags operand name from Flags to MemFlags. 
This reduces confusion with other kinds of flags.
 2018-06-19 14:12:52 -07:00
Dan Gohman
0349270b58 Bump version to 0.12.0 2018-06-16 07:50:27 -07:00
Lachlan Sneff
b3c3ca331b Removed implicit indirection when computing heap base. (#363) 
Fix expected legalized heap_addr
 2018-06-16 07:31:52 -07:00
Lachlan Sneff
f97ad59991 Fix breaking change 2018-06-15 18:33:30 -07:00
Lachlan Sneff
38ab82bcc0 Made changes for review 2018-06-15 18:33:30 -07:00
Lachlan Sneff
3686fc2fc7 Fix typos caused by find-and-replace 2018-06-15 18:33:30 -07:00
Lachlan Sneff
5c320a0d30 Change GlobalVar to GlobalValue 2018-06-15 18:33:30 -07:00
Dan Gohman
49cc693d64 Update to hashmap_core 0.1.7. 2018-06-15 10:35:13 -07:00
Dan Gohman
dfc7065252 Bump version to 0.11.0 2018-06-15 08:46:25 -07:00
Dan Gohman
c506f4cf6b Use WasmError::Unsupported rather than panic for unsupported extensions. 2018-06-15 08:38:40 -07:00
Dan Gohman
1cab2f2d73 Remove an unneeded comment. 2018-06-13 07:41:39 -07:00
Dan Gohman
9542cab5ed Bump version to 0.10.0 2018-06-12 12:29:59 -07:00
Sergey Pepyakin
a8923e2185 Add 64-bit versions. 2018-06-12 11:54:23 -07:00
Sergey Pepyakin
399860e2aa Encode bnot on x86. 2018-06-12 11:54:23 -07:00
Dan Gohman
a7813c4448 Update to target-lexicon 0.0.2. 
This fixes compilation on rust 1.22.1.
 2018-06-12 06:36:07 -07:00
Dan Gohman
1b55a2d005 Rename more Error and Result types. 2018-06-12 05:02:25 -07:00
Dan Gohman
43bd3cb2a3 Introduce a ModuleResult alias for Result<T, ModuleError>. 
This follows the pattern used by cretonne-codegen, cretonne-wasm, and
others.
 2018-06-12 05:02:25 -07:00
Dan Gohman
6971ae1c26 Export CodegenError and CodegenResult at the top level. 
Make cretonne-codegen's `result` module private, and instead just export
`CodegenError` and `CodegenResult` at the top level of the
cretonne-codegen crate. This makes them more consistent with Result and
Error types in other cretonne crates.
 2018-06-12 05:02:25 -07:00
Dan Gohman
8a26a50475 Rename CtonError and CtonResult to CodegenError and CodegenResult. 2018-06-12 05:02:25 -07:00
Dan Gohman
02e34d1bf7 Make CtonError parameterized on the result type. 
This makes it more consistent with other custom `Result` types.
 2018-06-12 05:02:25 -07:00