+define void @test3(i1 %a, i1 %b, i1 %c) personality i32 (...)* @__CxxFrameHandler3 {
+entry:
+ %.frame = alloca i8, align 4
+ %bc = bitcast i8* %.frame to i32*
+ br i1 %a, label %try.success.or.caught, label %forbody
+
+catch.object.Throwable: ; preds = %catch.dispatch
+ %cp = catchpad within %cs [i8* null, i32 64, i8* null]
+ unreachable
+
+try.success.or.caught: ; preds = %forcond.backedge, %0
+ ret void
+
+postinvoke: ; preds = %forbody
+ br i1 %b, label %else, label %forcond.backedge
+
+forcond.backedge: ; preds = %else, %postinvoke
+ br i1 %c, label %try.success.or.caught, label %forbody
+
+catch.dispatch: ; preds = %else, %forbody
+ %cs = catchswitch within none [label %catch.object.Throwable] unwind to caller
+
+forbody: ; preds = %forcond.backedge, %0
+ store i32 1, i32* %bc, align 4
+ invoke void @may_throw()
+ to label %postinvoke unwind label %catch.dispatch
+
+else: ; preds = %postinvoke
+ invoke void @may_throw()
+ to label %forcond.backedge unwind label %catch.dispatch
+}
+
+; CHECK-LABEL: define void @test3(
+; CHECK: catchswitch within none
+; CHECK: store i32 1, i32* %bc, align 4
+