Angus Holder 892ad25b1b Type checking and Dominator Tree integrity checks in Verifier (#66) ...

* Verify that a recomputed dominator tree is identical to the existing one.
* The verifier now typechecks instruction results and arguments.
* The verifier now typechecks instruction results and arguments.
* The verifier now typechecks instruction results and arguments.
* Added `inst_{fixed,variable}_args` accessor functions.
* Improved error messages in verifier.
* Type check return statements against the function signature.

2017-03-29 13:14:42 -07:00

..

binemit

Generate binemit::emit_inst() functions.

2017-03-28 14:44:36 -07:00

ir

Type checking and Dominator Tree integrity checks in Verifier (#66)

2017-03-29 13:14:42 -07:00

isa

Generate binemit::emit_inst() functions.

2017-03-28 14:44:36 -07:00

legalizer

Type checking and Dominator Tree integrity checks in Verifier (#66)

2017-03-29 13:14:42 -07:00

regalloc

Add dfg.inst_args(_mut) methods.

2017-03-23 15:07:22 -07:00

abi.rs

Strip the _lohi suffix from the isplit instructions.

2017-03-21 13:22:50 -07:00

btree.rs

[B-tree] Initial comment to describe the design choices.

2017-03-10 12:48:32 -08:00

constant_hash.rs

Speling.

2017-02-03 12:49:40 -08:00

context.rs

Add a ControlFlowGraph argument to legalize_function.

2017-03-21 16:00:28 -07:00

dbg.rs

Add a primitive debug tracing facility.

2017-03-15 11:32:01 -07:00

dominator_tree.rs

Rename the 'cfg' module to 'flowgraph'.

2017-03-21 15:33:23 -07:00

entity_list.rs

Expanded instruction integrity checking in the verifier, now verifying result types and entity references.

2017-03-14 09:12:33 -07:00

entity_map.rs

Speling.

2017-02-03 12:49:40 -08:00

flowgraph.rs

Rename the 'cfg' module to 'flowgraph'.

2017-03-21 15:33:23 -07:00

lib.rs

Start the binemit module.

2017-03-23 15:18:11 -07:00

packed_option.rs

Use PackedOption<Inst> in the dominator tree.

2017-01-19 19:44:16 -08:00

partition_slice.rs

Upgrade to rustfmt 0.8.0.

2017-03-14 10:48:05 -07:00

predicates.rs

Speling.

2017-02-03 12:49:40 -08:00

ref_slice.rs

Add a ref_slice module.

2016-11-04 12:32:09 -07:00

settings.rs

Fixes error on propagating a Result<()> with the ? operator

2017-02-26 07:50:55 -08:00

sparse_map.rs

Add a contains_key method to SparseMap.

2017-02-14 16:05:54 -08:00

verifier.rs

Type checking and Dominator Tree integrity checks in Verifier (#66)

2017-03-29 13:14:42 -07:00

write.rs

Add dfg.inst_args(_mut) methods.

2017-03-23 15:07:22 -07:00