354         let block2 = func.dfg.make_block();  in unreachable_node()  localVariable
360         cur.ins().brif(v0, block2, &[], trap_block, &[]);  in unreachable_node()
370         cur.insert_block(block2);  in unreachable_node()
385         assert_eq!(dt.cfg_postorder(), &[block2, trap_block, block0]);  in unreachable_node()
393         assert!(dt.dominates(block0, block2, &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()
407         let block2 = func.dfg.make_block();  in non_zero_entry_block()  localVariable
417         let br_block1_block0_block2 = cur.ins().brif(cond, block0, &[], block2, &[]);  in non_zero_entry_block()
419         cur.insert_block(block2);  in non_zero_entry_block()
445         assert_eq!(dt.cfg_postorder(), &[block0, block2, block1, block3]);  in non_zero_entry_block()
450         assert_eq!(dt.idom(block2).unwrap(), block1);  in non_zero_entry_block()
481         let block2 = func.dfg.make_block();  in backwards_layout()  localVariable
486         let jmp02 = cur.ins().jump(block2, &[]);  in backwards_layout()
491         cur.insert_block(block2);  in backwards_layout()
499         assert_eq!(dt.idom(block1), Some(block2));  in backwards_layout()
500         assert_eq!(dt.idom(block2), Some(block0));  in backwards_layout()
506         assert!(dt.dominates(block0, block2, &cur.func.layout));  in backwards_layout()
513         assert!(dt.dominates(jmp02, block2, &cur.func.layout));  in backwards_layout()
520         assert!(!dt.dominates(block1, block2, &cur.func.layout));  in backwards_layout()
527         assert!(!dt.dominates(trap, block2, &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()
541         assert!(!dt.dominates(jmp21, block2, &cur.func.layout));  in backwards_layout()