Joe Howarth
7094d9f470
Prefix verifier errors with ; ( #585 )
...
* Prefix verifier errors with ;
extract arrow drawing code into helper
print ; at beginning of line followed by arrow and error body
2018-11-02 13:47:39 -07:00
Boris-Chengbiao Zhou
b288c6001a
Fix all clippy warnings ( #564 )
...
* Fix all clippy warnings
* Revert usage of inclusive ranges
* Remove redundant function argument
* Revert use of unavailable pointer methods
* Introduce ContiguousCaseRange
2018-10-22 21:52:35 -07:00
Muhammad Mominul Huque
d266b1a42d
Rename EntityMap to SecondaryMap ( #528 )
...
* Rename `EntityMap` to `SecondaryMap`
2018-09-26 12:03:44 -07:00
Kaz Wesley
7e571f4a49
Print value aliases at referrent definition ( #492 )
...
* Print value aliases at referrent definition
Closes #488 .
2018-09-04 15:02:46 -07:00
Grégoire Geis
8e74a4f8fc
Pretty printing preamble errors. ( #472 )
...
* Pretty printing preamble errors.
2018-08-27 09:38:44 -07:00
Grégoire Geis
e2badb0ad6
Improvements to error reporting ( #470 )
...
* Fixed error reporting.
* Fixed compile time error when wasm feature is disabled.
* Fixed valid instructions not being printed in print_function_error.
* Fixed errors print_function_error not writing valid instructions after end.
* Made multiple checks non-fatal.
* verify_global_values is no longer fatal.
* Slightly better formatting of errors in pretty_verifier_error.
2018-08-16 11:34:52 -07:00
Dan Gohman
932b4ef9f3
Fix a few declarations for the no_std build.
2018-08-14 12:48:47 -07:00
Grégoire Geis
dbc547091f
Verifier now accepts multiple errors ( fixes #387 ). ( #452 )
...
* Verifier now accepts multiple errors (fixes #387 ).
2018-08-14 10:55:10 -07:00
Dan Gohman
bc8e5f82c8
Add use declarations needed for no_std mode.
2018-08-01 14:10:54 -07:00
bjorn3
01729be8d7
Add comment support ( #379 )
...
* Add comment support
* Don't print empty comments
* Add nop instruction
* Add test and note
* Add FuncWriter trait
* Remove comment support
* Add write_preamble to FuncWriter
* Fix test
* Some changes
2018-08-01 11:21:05 -07:00
Benjamin Bouvier
3a550d185f
Enhance Verifier error reporting;
2018-07-31 08:02:14 -07:00
Aaron Power
cc7ba7e69a
Fixed remaning clippy warnings
2018-07-25 13:05:14 -07:00
Aaron Power
eed861c6e1
Implemented clippy improvements
2018-07-24 12:36:34 -07:00
Dan Gohman
f4dbd38a4c
Rename Cretonne to Cranelift!
2018-07-13 09:15:16 -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
8a26a50475
Rename CtonError and CtonResult to CodegenError and CodegenResult.
2018-06-12 05:02:25 -07:00
Dan Gohman
13f22065a2
Rename verifier's Result and Error.
...
This provides consistency with similar types in other parts of
Cretonne, and avoids shadowing `Result` from the standard prelude.
2018-06-12 05:02:25 -07:00
morenzg
a10a6a0df0
Merge branch 'master' into no_std
2018-04-17 16:56:33 -04:00
Dan Gohman
24fa169e1f
Rename the 'cretonne' crate to 'cretonne-codegen'.
...
This fixes the next part of #287 .
2018-04-17 09:46:56 -07:00
