765         assert_eq!(midpoint(0, 1), None);  in test_midpoint()
766         assert_eq!(midpoint(0, 2), Some(1));  in test_midpoint()
767         assert_eq!(midpoint(0, 3), Some(1));  in test_midpoint()
768         assert_eq!(midpoint(0, 4), Some(2));  in test_midpoint()
769         assert_eq!(midpoint(1, 4), Some(2));  in test_midpoint()
770         assert_eq!(midpoint(2, 4), Some(3));  in test_midpoint()
771         assert_eq!(midpoint(3, 4), None);  in test_midpoint()
772         assert_eq!(midpoint(3, 4), None);  in test_midpoint()
826                 assert_eq!(block_iter.next(), Some(block));  in verify()
831                     assert_eq!(layout.inst_block(inst), Some(block));  in verify()
832                     assert_eq!(inst_iter.next(), Some(inst));  in verify()
836                 assert_eq!(inst_iter.next(), None);  in verify()
838             assert_eq!(block_iter.next(), None);  in verify()
844             assert_eq!(cur.prev_block(), Some(block));  in verify()
846                 assert_eq!(cur.prev_inst(), Some(inst));  in verify()
848             assert_eq!(cur.prev_inst(), None);  in verify()
850         assert_eq!(cur.prev_block(), None);  in verify()
872         assert_eq!(v, [e1]);  in append_block()
879         assert_eq!(v, [e1, e2]);  in append_block()
886         assert_eq!(v, [e1, e2, e0]);  in append_block()
894             assert_eq!(v, [e1, e2, e0]);  in append_block()
899         assert_eq!(cur.position(), CursorPosition::Nowhere);  in append_block()
900         assert_eq!(cur.next_inst(), None);  in append_block()
901         assert_eq!(cur.position(), CursorPosition::Nowhere);  in append_block()
902         assert_eq!(cur.prev_inst(), None);  in append_block()
903         assert_eq!(cur.position(), CursorPosition::Nowhere);  in append_block()
905         assert_eq!(cur.next_block(), Some(e1));  in append_block()
906         assert_eq!(cur.position(), CursorPosition::Before(e1));  in append_block()
907         assert_eq!(cur.next_inst(), None);  in append_block()
908         assert_eq!(cur.position(), CursorPosition::After(e1));  in append_block()
909         assert_eq!(cur.next_inst(), None);  in append_block()
910         assert_eq!(cur.position(), CursorPosition::After(e1));  in append_block()
911         assert_eq!(cur.next_block(), Some(e2));  in append_block()
912         assert_eq!(cur.prev_inst(), None);  in append_block()
913         assert_eq!(cur.position(), CursorPosition::Before(e2));  in append_block()
914         assert_eq!(cur.next_block(), Some(e0));  in append_block()
915         assert_eq!(cur.next_block(), None);  in append_block()
916         assert_eq!(cur.position(), CursorPosition::Nowhere);  in append_block()
919         assert_eq!(cur.prev_block(), Some(e0));  in append_block()
920         assert_eq!(cur.position(), CursorPosition::After(e0));  in append_block()
921         assert_eq!(cur.prev_block(), Some(e2));  in append_block()
922         assert_eq!(cur.prev_block(), Some(e1));  in append_block()
923         assert_eq!(cur.prev_block(), None);  in append_block()
924         assert_eq!(cur.position(), CursorPosition::Nowhere);  in append_block()
940             assert_eq!(v, []);  in insert_block()
984         assert_eq!(v, []);  in append_inst()
990         assert_eq!(layout.inst_block(i0), None);  in append_inst()
991         assert_eq!(layout.inst_block(i1), None);  in append_inst()
992         assert_eq!(layout.inst_block(i2), None);  in append_inst()
995         assert_eq!(layout.inst_block(i0), None);  in append_inst()
996         assert_eq!(layout.inst_block(i1), Some(e1));  in append_inst()
997         assert_eq!(layout.inst_block(i2), None);  in append_inst()
999         assert_eq!(v, [i1]);  in append_inst()
1002         assert_eq!(layout.inst_block(i0), None);  in append_inst()
1003         assert_eq!(layout.inst_block(i1), Some(e1));  in append_inst()
1004         assert_eq!(layout.inst_block(i2), Some(e1));  in append_inst()
1006         assert_eq!(v, [i1, i2]);  in append_inst()
1010         assert_eq!(v, [i2, i1]);  in append_inst()
1017         assert_eq!(cur.position(), CursorPosition::Before(e1));  in append_inst()
1018         assert_eq!(cur.prev_inst(), None);  in append_inst()
1019         assert_eq!(cur.position(), CursorPosition::Before(e1));  in append_inst()
1020         assert_eq!(cur.next_inst(), Some(i1));  in append_inst()
1021         assert_eq!(cur.position(), CursorPosition::At(i1));  in append_inst()
1022         assert_eq!(cur.next_inst(), Some(i2));  in append_inst()
1023         assert_eq!(cur.next_inst(), Some(i0));  in append_inst()
1024         assert_eq!(cur.prev_inst(), Some(i2));  in append_inst()
1025         assert_eq!(cur.position(), CursorPosition::At(i2));  in append_inst()
1026         assert_eq!(cur.next_inst(), Some(i0));  in append_inst()
1027         assert_eq!(cur.position(), CursorPosition::At(i0));  in append_inst()
1028         assert_eq!(cur.next_inst(), None);  in append_inst()
1029         assert_eq!(cur.position(), CursorPosition::After(e1));  in append_inst()
1030         assert_eq!(cur.next_inst(), None);  in append_inst()
1031         assert_eq!(cur.position(), CursorPosition::After(e1));  in append_inst()
1032         assert_eq!(cur.prev_inst(), Some(i0));  in append_inst()
1033         assert_eq!(cur.prev_inst(), Some(i2));  in append_inst()
1034         assert_eq!(cur.prev_inst(), Some(i1));  in append_inst()
1035         assert_eq!(cur.prev_inst(), None);  in append_inst()
1036         assert_eq!(cur.position(), CursorPosition::Before(e1));  in append_inst()
1040         assert_eq!(cur.remove_inst(), i2);  in append_inst()
1042         assert_eq!(cur.layout.inst_block(i2), None);  in append_inst()
1043         assert_eq!(cur.remove_inst(), i0);  in append_inst()
1045         assert_eq!(cur.layout.inst_block(i0), None);  in append_inst()
1046         assert_eq!(cur.position(), CursorPosition::After(e1));  in append_inst()
1049         assert_eq!(cur.layout.inst_block(i1), None);  in append_inst()
1059         assert_eq!(v, []);  in insert_inst()
1065         assert_eq!(layout.inst_block(i0), None);  in insert_inst()
1066         assert_eq!(layout.inst_block(i1), None);  in insert_inst()
1067         assert_eq!(layout.inst_block(i2), None);  in insert_inst()
1070         assert_eq!(layout.inst_block(i0), None);  in insert_inst()
1071         assert_eq!(layout.inst_block(i1), Some(e1));  in insert_inst()
1072         assert_eq!(layout.inst_block(i2), None);  in insert_inst()
1074         assert_eq!(v, [i1]);  in insert_inst()
1077         assert_eq!(layout.inst_block(i0), None);  in insert_inst()
1078         assert_eq!(layout.inst_block(i1), Some(e1));  in insert_inst()
1079         assert_eq!(layout.inst_block(i2), Some(e1));  in insert_inst()
1081         assert_eq!(v, [i2, i1]);  in insert_inst()
1094         assert_eq!(layout.entry_block(), None);  in multiple_blocks()
1096         assert_eq!(layout.entry_block(), Some(e0));  in multiple_blocks()
1098         assert_eq!(layout.entry_block(), Some(e0));  in multiple_blocks()
1112         assert_eq!(v0, [i0, i1]);  in multiple_blocks()
1113         assert_eq!(v1, [i2, i3]);  in multiple_blocks()
1131         assert_eq!(layout.inst_block(i0), Some(e0));  in split_block()
1133         assert_eq!(layout.inst_block(i0), Some(e1));  in split_block()
1137             assert_eq!(cur.next_block(), Some(e0));  in split_block()
1138             assert_eq!(cur.next_inst(), None);  in split_block()
1139             assert_eq!(cur.next_block(), Some(e1));  in split_block()
1140             assert_eq!(cur.next_inst(), Some(i0));  in split_block()
1141             assert_eq!(cur.next_inst(), None);  in split_block()
1142             assert_eq!(cur.next_block(), None);  in split_block()
1145             assert_eq!(cur.prev_block(), Some(e1));  in split_block()
1146             assert_eq!(cur.prev_inst(), Some(i0));  in split_block()
1147             assert_eq!(cur.prev_inst(), None);  in split_block()
1148             assert_eq!(cur.prev_block(), Some(e0));  in split_block()
1149             assert_eq!(cur.prev_inst(), None);  in split_block()
1150             assert_eq!(cur.prev_block(), None);  in split_block()
1158         assert_eq!(layout.inst_block(i0), Some(e1));  in split_block()
1159         assert_eq!(layout.inst_block(i1), Some(e0));  in split_block()
1160         assert_eq!(layout.inst_block(i2), Some(e2));  in split_block()
1161         assert_eq!(layout.inst_block(i3), Some(e2));  in split_block()
1165             assert_eq!(cur.next_block(), Some(e0));  in split_block()
1166             assert_eq!(cur.next_inst(), Some(i1));  in split_block()
1167             assert_eq!(cur.next_inst(), None);  in split_block()
1168             assert_eq!(cur.next_block(), Some(e2));  in split_block()
1169             assert_eq!(cur.next_inst(), Some(i2));  in split_block()
1170             assert_eq!(cur.next_inst(), Some(i3));  in split_block()
1171             assert_eq!(cur.next_inst(), None);  in split_block()
1172             assert_eq!(cur.next_block(), Some(e1));  in split_block()
1173             assert_eq!(cur.next_inst(), Some(i0));  in split_block()
1174             assert_eq!(cur.next_inst(), None);  in split_block()
1175             assert_eq!(cur.next_block(), None);  in split_block()
1177             assert_eq!(cur.prev_block(), Some(e1));  in split_block()
1178             assert_eq!(cur.prev_inst(), Some(i0));  in split_block()
1179             assert_eq!(cur.prev_inst(), None);  in split_block()
1180             assert_eq!(cur.prev_block(), Some(e2));  in split_block()
1181             assert_eq!(cur.prev_inst(), Some(i3));  in split_block()
1182             assert_eq!(cur.prev_inst(), Some(i2));  in split_block()
1183             assert_eq!(cur.prev_inst(), None);  in split_block()
1184             assert_eq!(cur.prev_block(), Some(e0));  in split_block()
1185             assert_eq!(cur.prev_inst(), Some(i1));  in split_block()
1186             assert_eq!(cur.prev_inst(), None);  in split_block()
1187             assert_eq!(cur.prev_block(), None);  in split_block()
1191         assert_eq!(layout.pp_cmp(e2, e2), Ordering::Equal);  in split_block()
1192         assert_eq!(layout.pp_cmp(e2, i2), Ordering::Less);  in split_block()
1193         assert_eq!(layout.pp_cmp(i3, i2), Ordering::Greater)  in split_block()