Matthew Jasper
531e98a0d8
Update mir opt tests
2018-09-24 23:33:13 +01:00
Rémy Rakic
e90c942477
Update mir-opt test suite
2018-09-18 14:36:37 +02:00
Ariel Ben-Yehuda
ff0b84df58
fix tests in wasm
2017-12-03 14:50:47 +02:00
Ariel Ben-Yehuda
9dc396747b
funnel all unwind paths through a single Resume block
...
This simplifies analysis and borrow-checking because liveness at the
resume point can always be simply propagated.
Later on, the "dead" Resumes are removed.
2017-12-03 02:47:44 +02:00
Eduard-Mihai Burtescu
919ed409b0
tests: update to include move annotations in MIR.
2017-11-28 04:18:32 +02:00
Mikhail Modin
7a6832de99
change MIR dump filenames from nodeN to DefPath
2017-11-09 12:00:17 +03:00
Christopher Vittal
426183c01b
Update README and tests for new infrastructure
2017-10-09 23:22:34 -04:00
Ralf Jung
09cbe588c3
more readable printing of validation operands
2017-07-31 15:59:29 -07:00
Ralf Jung
5e426e1068
optionally only emit basic validation for functions containing unsafe block / unsafe function
2017-07-31 15:46:36 -07:00
Ralf Jung
29ed317ecb
silence tidy
2017-07-30 01:11:59 -07:00
Ralf Jung
57958d1a04
Add tests for emitting validation statements
2017-07-30 01:11:59 -07:00
