pub fn plan(
blocks: &[BasicBlock],
names: &HashMap<BlockId, String>,
) -> Option<Plan>Expand description
Recovers the structured form of a graph, or answers None.
names is the C label each block stands at, where it stands at one, which
is what the loops are named after. None means the state
machine has to be used: a function whose shapes would nest
deeper than rustc parses, or — which has not been observed, and is checked
for rather than trusted — one whose shapes would not account for every block
or would leave a jump with nothing to break to.