388         assert!(!dt.dominates(v2_def, block0, &cur.func.layout));  in unreachable_node()
389         assert!(!dt.dominates(block0, v2_def, &cur.func.layout));  in unreachable_node()
391         assert!(dt.dominates(block0, block0, &cur.func.layout));  in unreachable_node()
392         assert!(!dt.dominates(block0, block1, &cur.func.layout));  in unreachable_node()
393         assert!(dt.dominates(block0, block2, &cur.func.layout));  in unreachable_node()
394         assert!(!dt.dominates(block1, block0, &cur.func.layout));  in unreachable_node()
395         assert!(dt.dominates(block1, block1, &cur.func.layout));  in unreachable_node()
396         assert!(!dt.dominates(block1, block2, &cur.func.layout));  in unreachable_node()
397         assert!(!dt.dominates(block2, block0, &cur.func.layout));  in unreachable_node()
398         assert!(!dt.dominates(block2, block1, &cur.func.layout));  in unreachable_node()
399         assert!(dt.dominates(block2, block2, &cur.func.layout));  in unreachable_node()
453         assert!(dt.dominates(  in non_zero_entry_block()
458         assert!(!dt.dominates(br_block1_block0_block2, jmp_block3_block1, &cur.func.layout));  in non_zero_entry_block()
459         assert!(dt.dominates(jmp_block3_block1, br_block1_block0_block2, &cur.func.layout));  in non_zero_entry_block()
502         assert!(dt.dominates(block0, block0, &cur.func.layout));  in backwards_layout()
503         assert!(dt.dominates(block0, jmp02, &cur.func.layout));  in backwards_layout()
504         assert!(dt.dominates(block0, block1, &cur.func.layout));  in backwards_layout()
505         assert!(dt.dominates(block0, trap, &cur.func.layout));  in backwards_layout()
506         assert!(dt.dominates(block0, block2, &cur.func.layout));  in backwards_layout()
507         assert!(dt.dominates(block0, jmp21, &cur.func.layout));  in backwards_layout()
509         assert!(!dt.dominates(jmp02, block0, &cur.func.layout));  in backwards_layout()
510         assert!(dt.dominates(jmp02, jmp02, &cur.func.layout));  in backwards_layout()
511         assert!(dt.dominates(jmp02, block1, &cur.func.layout));  in backwards_layout()
512         assert!(dt.dominates(jmp02, trap, &cur.func.layout));  in backwards_layout()
513         assert!(dt.dominates(jmp02, block2, &cur.func.layout));  in backwards_layout()
514         assert!(dt.dominates(jmp02, jmp21, &cur.func.layout));  in backwards_layout()
516         assert!(!dt.dominates(block1, block0, &cur.func.layout));  in backwards_layout()
517         assert!(!dt.dominates(block1, jmp02, &cur.func.layout));  in backwards_layout()
518         assert!(dt.dominates(block1, block1, &cur.func.layout));  in backwards_layout()
519         assert!(dt.dominates(block1, trap, &cur.func.layout));  in backwards_layout()
520         assert!(!dt.dominates(block1, block2, &cur.func.layout));  in backwards_layout()
521         assert!(!dt.dominates(block1, jmp21, &cur.func.layout));  in backwards_layout()
523         assert!(!dt.dominates(trap, block0, &cur.func.layout));  in backwards_layout()
524         assert!(!dt.dominates(trap, jmp02, &cur.func.layout));  in backwards_layout()
525         assert!(!dt.dominates(trap, block1, &cur.func.layout));  in backwards_layout()
526         assert!(dt.dominates(trap, trap, &cur.func.layout));  in backwards_layout()
527         assert!(!dt.dominates(trap, block2, &cur.func.layout));  in backwards_layout()
528         assert!(!dt.dominates(trap, jmp21, &cur.func.layout));  in backwards_layout()
530         assert!(!dt.dominates(block2, block0, &cur.func.layout));  in backwards_layout()
531         assert!(!dt.dominates(block2, jmp02, &cur.func.layout));  in backwards_layout()
532         assert!(dt.dominates(block2, block1, &cur.func.layout));  in backwards_layout()
533         assert!(dt.dominates(block2, trap, &cur.func.layout));  in backwards_layout()
534         assert!(dt.dominates(block2, block2, &cur.func.layout));  in backwards_layout()
535         assert!(dt.dominates(block2, jmp21, &cur.func.layout));  in backwards_layout()
537         assert!(!dt.dominates(jmp21, block0, &cur.func.layout));  in backwards_layout()
538         assert!(!dt.dominates(jmp21, jmp02, &cur.func.layout));  in backwards_layout()
539         assert!(dt.dominates(jmp21, block1, &cur.func.layout));  in backwards_layout()
540         assert!(dt.dominates(jmp21, trap, &cur.func.layout));  in backwards_layout()
541         assert!(!dt.dominates(jmp21, block2, &cur.func.layout));  in backwards_layout()
542         assert!(dt.dominates(jmp21, jmp21, &cur.func.layout));  in backwards_layout()
565         assert!(dt.dominates(v1_def, v2_def, &cur.func.layout));  in insts_same_block()
566         assert!(dt.dominates(v2_def, v3_def, &cur.func.layout));  in insts_same_block()
567         assert!(dt.dominates(v1_def, v3_def, &cur.func.layout));  in insts_same_block()
569         assert!(!dt.dominates(v2_def, v1_def, &cur.func.layout));  in insts_same_block()
570         assert!(!dt.dominates(v3_def, v2_def, &cur.func.layout));  in insts_same_block()
571         assert!(!dt.dominates(v3_def, v1_def, &cur.func.layout));  in insts_same_block()
573         assert!(dt.dominates(v2_def, v2_def, &cur.func.layout));  in insts_same_block()
574         assert!(dt.dominates(block0, block0, &cur.func.layout));  in insts_same_block()
576         assert!(dt.dominates(block0, v1_def, &cur.func.layout));  in insts_same_block()
577         assert!(dt.dominates(block0, v2_def, &cur.func.layout));  in insts_same_block()
578         assert!(dt.dominates(block0, v3_def, &cur.func.layout));  in insts_same_block()
580         assert!(!dt.dominates(v1_def, block0, &cur.func.layout));  in insts_same_block()
581         assert!(!dt.dominates(v2_def, block0, &cur.func.layout));  in insts_same_block()
582         assert!(!dt.dominates(v3_def, block0, &cur.func.layout));  in insts_same_block()