Lines Matching defs:bb3
803 (* CHECK: Bb3
810 set_value_name "Bb3" bbv;
811 insist ("Bb3" = value_name bbv);
1234 let bb3 = append_block context "SwiBlock3" fn in
1235 ignore (build_unreachable (builder_at_end context bb3));
1236 let si = build_switch p1 bb3 1 (builder_at_end context bb1) in begin
1238 insist (switch_default_dest si = bb3);
1265 let bb3 = append_block context "IBRBlock3" fn in
1266 ignore (build_unreachable (builder_at_end context bb3));
1271 ignore (add_destination ibr bb3)