210     pub fn dominates<A, B>(&self, a: A, b: B, layout: &Layout) -> bool  in dominates()
221                     let block_b = layout  in dominates()
228                 let block_a: Block = layout  in dominates()
236                         let block_b = layout  in dominates()
240                             layout.pp_cmp(a, b) != Ordering::Greater  in dominates()
288         let block_capacity = func.layout.block_capacity();  in with_function()
345         if let Some(block) = func.layout.entry_block() {  in compute_spanning_tree()
591         assert!(!dt.dominates(v2_def, block0, &cur.func.layout));  in unreachable_node()
592         assert!(!dt.dominates(block0, v2_def, &cur.func.layout));  in unreachable_node()
650         assert_eq!(cur.func.layout.entry_block().unwrap(), block3);  in non_zero_entry_block()
659             &cur.func.layout  in non_zero_entry_block()
661         assert!(!dt.dominates(br_block1_block0_block2, jmp_block3_block1, &cur.func.layout));  in non_zero_entry_block()
662         assert!(dt.dominates(jmp_block3_block1, br_block1_block0_block2, &cur.func.layout));  in non_zero_entry_block()
686         assert_eq!(cur.func.layout.entry_block(), Some(block0));  in backwards_layout()
691         assert!(dt.dominates(block0, block0, &cur.func.layout));  in backwards_layout()
692         assert!(dt.dominates(block0, jmp02, &cur.func.layout));  in backwards_layout()
693         assert!(dt.dominates(block0, block1, &cur.func.layout));  in backwards_layout()
694         assert!(dt.dominates(block0, trap, &cur.func.layout));  in backwards_layout()
695         assert!(dt.dominates(block0, block2, &cur.func.layout));  in backwards_layout()
696         assert!(dt.dominates(block0, jmp21, &cur.func.layout));  in backwards_layout()
698         assert!(!dt.dominates(jmp02, block0, &cur.func.layout));  in backwards_layout()
699         assert!(dt.dominates(jmp02, jmp02, &cur.func.layout));  in backwards_layout()
700         assert!(dt.dominates(jmp02, block1, &cur.func.layout));  in backwards_layout()
701         assert!(dt.dominates(jmp02, trap, &cur.func.layout));  in backwards_layout()
702         assert!(dt.dominates(jmp02, block2, &cur.func.layout));  in backwards_layout()
703         assert!(dt.dominates(jmp02, jmp21, &cur.func.layout));  in backwards_layout()
705         assert!(!dt.dominates(block1, block0, &cur.func.layout));  in backwards_layout()
706         assert!(!dt.dominates(block1, jmp02, &cur.func.layout));  in backwards_layout()
707         assert!(dt.dominates(block1, block1, &cur.func.layout));  in backwards_layout()
708         assert!(dt.dominates(block1, trap, &cur.func.layout));  in backwards_layout()
709         assert!(!dt.dominates(block1, block2, &cur.func.layout));  in backwards_layout()
710         assert!(!dt.dominates(block1, jmp21, &cur.func.layout));  in backwards_layout()
712         assert!(!dt.dominates(trap, block0, &cur.func.layout));  in backwards_layout()
713         assert!(!dt.dominates(trap, jmp02, &cur.func.layout));  in backwards_layout()
714         assert!(!dt.dominates(trap, block1, &cur.func.layout));  in backwards_layout()
715         assert!(dt.dominates(trap, trap, &cur.func.layout));  in backwards_layout()
716         assert!(!dt.dominates(trap, block2, &cur.func.layout));  in backwards_layout()
717         assert!(!dt.dominates(trap, jmp21, &cur.func.layout));  in backwards_layout()
719         assert!(!dt.dominates(block2, block0, &cur.func.layout));  in backwards_layout()
720         assert!(!dt.dominates(block2, jmp02, &cur.func.layout));  in backwards_layout()
721         assert!(dt.dominates(block2, block1, &cur.func.layout));  in backwards_layout()
722         assert!(dt.dominates(block2, trap, &cur.func.layout));  in backwards_layout()
723         assert!(dt.dominates(block2, block2, &cur.func.layout));  in backwards_layout()
724         assert!(dt.dominates(block2, jmp21, &cur.func.layout));  in backwards_layout()
726         assert!(!dt.dominates(jmp21, block0, &cur.func.layout));  in backwards_layout()
727         assert!(!dt.dominates(jmp21, jmp02, &cur.func.layout));  in backwards_layout()
728         assert!(dt.dominates(jmp21, block1, &cur.func.layout));  in backwards_layout()
729         assert!(dt.dominates(jmp21, trap, &cur.func.layout));  in backwards_layout()
730         assert!(!dt.dominates(jmp21, block2, &cur.func.layout));  in backwards_layout()
731         assert!(dt.dominates(jmp21, jmp21, &cur.func.layout));  in backwards_layout()
754         assert!(dt.dominates(v1_def, v2_def, &cur.func.layout));  in insts_same_block()
755         assert!(dt.dominates(v2_def, v3_def, &cur.func.layout));  in insts_same_block()
756         assert!(dt.dominates(v1_def, v3_def, &cur.func.layout));  in insts_same_block()
758         assert!(!dt.dominates(v2_def, v1_def, &cur.func.layout));  in insts_same_block()
759         assert!(!dt.dominates(v3_def, v2_def, &cur.func.layout));  in insts_same_block()
760         assert!(!dt.dominates(v3_def, v1_def, &cur.func.layout));  in insts_same_block()
762         assert!(dt.dominates(v2_def, v2_def, &cur.func.layout));  in insts_same_block()
763         assert!(dt.dominates(block0, block0, &cur.func.layout));  in insts_same_block()
765         assert!(dt.dominates(block0, v1_def, &cur.func.layout));  in insts_same_block()
766         assert!(dt.dominates(block0, v2_def, &cur.func.layout));  in insts_same_block()
767         assert!(dt.dominates(block0, v3_def, &cur.func.layout));  in insts_same_block()
769         assert!(!dt.dominates(v1_def, block0, &cur.func.layout));  in insts_same_block()
770         assert!(!dt.dominates(v2_def, block0, &cur.func.layout));  in insts_same_block()
771         assert!(!dt.dominates(v3_def, block0, &cur.func.layout));  in insts_same_block()