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()
594         assert!(dt.block_dominates(block0, block0));  in unreachable_node()
595         assert!(!dt.block_dominates(block0, block1));  in unreachable_node()
596         assert!(dt.block_dominates(block0, block2));  in unreachable_node()
597         assert!(!dt.block_dominates(block1, block0));  in unreachable_node()
598         assert!(dt.block_dominates(block1, block1));  in unreachable_node()
599         assert!(!dt.block_dominates(block1, block2));  in unreachable_node()
600         assert!(!dt.block_dominates(block2, block0));  in unreachable_node()
601         assert!(!dt.block_dominates(block2, block1));  in unreachable_node()
602         assert!(dt.block_dominates(block2, block2));  in unreachable_node()
656         assert!(dt.dominates(  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()
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()