tree 3514cb48520ecd6cf4bb93129bed5cd97f24cb43
parent 926d8e99aa69151a271180299df68963688010d8
author Roland Levillain <rpl@google.com> 1410875296 +0100
committer Roland Levillain <rpl@google.com> 1410974386 +0100

Add CFG and SSA form checkers in the optimizing compiler.

Checks performed on control-flow graphs:
- Ensure that the predecessors and successors of a basic block are
  consistent within a control-flow graph.
- Ensure basic blocks end with a branch instruction.
- Detect phi functions listed in non-phi instruction lists and vice
  versa.
- Ensure a block's instructions (and phi functions) are associated
  with this very block.

Checks performed on SSA form graphs:
- Ensure an instruction dominates all its uses.
- Ensure there are no critical edges.

Change-Id: I1c12b4a61ecf608682152c897980ababa7eca847