Revert r229944: EH: Prune unreachable resume instructions during Dwarf EH preparation

[oota-llvm.git] / test / CodeGen / X86 / dwarf-eh-prepare.ll

diff --git a/test/CodeGen/X86/dwarf-eh-prepare.ll b/test/CodeGen/X86/dwarf-eh-prepare.ll
index 25572d868da0d96f1d56eee956e9f00e3db1bfad..a3a70da866c3f565f0e430b01496c725ad12a8a6 100644 (file)
--- a/test/CodeGen/X86/dwarf-eh-prepare.ll
+++ b/test/CodeGen/X86/dwarf-eh-prepare.ll
@@ -7,13 +7,12 @@
 @int_typeinfo = global i8 0
 
 declare void @might_throw()
-declare void @cleanup()
 
-define i32 @simple_cleanup_catch() {
+define i32 @simple_catch() {
   invoke void @might_throw()
           to label %cont unwind label %lpad
 
-; CHECK-LABEL: define i32 @simple_cleanup_catch()
+; CHECK: define i32 @simple_catch()
 ; CHECK: invoke void @might_throw()
 
 cont:
@@ -23,18 +22,15 @@ cont:
 
 lpad:
   %ehvals = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
-      cleanup
       catch i8* @int_typeinfo
   %ehptr = extractvalue { i8*, i32 } %ehvals, 0
   %ehsel = extractvalue { i8*, i32 } %ehvals, 1
-  call void @cleanup()
   %int_sel = call i32 @llvm.eh.typeid.for(i8* @int_typeinfo)
   %int_match = icmp eq i32 %ehsel, %int_sel
   br i1 %int_match, label %catch_int, label %eh.resume
 
 ; CHECK: lpad:
 ; CHECK: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
-; CHECK: call void @cleanup()
 ; CHECK: call i32 @llvm.eh.typeid.for
 ; CHECK: br i1
 
@@ -45,114 +41,11 @@ catch_int:
 ; CHECK: ret i32 1
 
 eh.resume:
-  %tmp_ehvals = insertvalue { i8*, i32 } undef, i8* %ehptr, 0
-  %new_ehvals = insertvalue { i8*, i32 } %tmp_ehvals, i32 %ehsel, 1
-  resume { i8*, i32 } %new_ehvals
+  resume { i8*, i32 } %ehvals
 
 ; CHECK: eh.resume:
-; CHECK-NEXT: call void @_Unwind_Resume(i8* %ehptr)
+; CHECK: call void @_Unwind_Resume(i8* %{{.*}})
 }
 
-
-define i32 @catch_no_resume() {
-  invoke void @might_throw()
-          to label %cont unwind label %lpad
-
-cont:
-  ret i32 0
-
-lpad:
-  %ehvals = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
-      catch i8* @int_typeinfo
-  %ehptr = extractvalue { i8*, i32 } %ehvals, 0
-  %ehsel = extractvalue { i8*, i32 } %ehvals, 1
-  %int_sel = call i32 @llvm.eh.typeid.for(i8* @int_typeinfo)
-  %int_match = icmp eq i32 %ehsel, %int_sel
-  br i1 %int_match, label %catch_int, label %eh.resume
-
-catch_int:
-  ret i32 1
-
-eh.resume:
-  %tmp_ehvals = insertvalue { i8*, i32 } undef, i8* %ehptr, 0
-  %new_ehvals = insertvalue { i8*, i32 } %tmp_ehvals, i32 %ehsel, 1
-  resume { i8*, i32 } %new_ehvals
-}
-
-; Check that we can prune the unreachable resume instruction.
-
-; CHECK-LABEL: define i32 @catch_no_resume() {
-; CHECK: invoke void @might_throw()
-; CHECK: ret i32 0
-; CHECK: lpad:
-; CHECK: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
-; CHECK-NOT: br i1
-; CHECK: ret i32 1
-; CHECK-NOT: call void @_Unwind_Resume
-; CHECK: {{^[}]}}
-
-
-define i32 @catch_cleanup_merge() {
-  invoke void @might_throw()
-          to label %inner_invoke unwind label %outer_lpad
-inner_invoke:
-  invoke void @might_throw()
-          to label %cont unwind label %inner_lpad
-cont:
-  ret i32 0
-
-outer_lpad:
-  %ehvals1 = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
-      catch i8* @int_typeinfo
-  br label %catch.dispatch
-
-inner_lpad:
-  %ehvals2 = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
-      cleanup
-      catch i8* @int_typeinfo
-  call void @cleanup()
-  br label %catch.dispatch
-
-catch.dispatch:
-  %ehvals = phi { i8*, i32 } [ %ehvals1, %outer_lpad ], [ %ehvals2, %inner_lpad ]
-  %ehptr = extractvalue { i8*, i32 } %ehvals, 0
-  %ehsel = extractvalue { i8*, i32 } %ehvals, 1
-  %int_sel = call i32 @llvm.eh.typeid.for(i8* @int_typeinfo)
-  %int_match = icmp eq i32 %ehsel, %int_sel
-  br i1 %int_match, label %catch_int, label %eh.resume
-
-catch_int:
-  ret i32 1
-
-eh.resume:
-  %tmp_ehvals = insertvalue { i8*, i32 } undef, i8* %ehptr, 0
-  %new_ehvals = insertvalue { i8*, i32 } %tmp_ehvals, i32 %ehsel, 1
-  resume { i8*, i32 } %new_ehvals
-}
-
-; We can't prune this merge because one landingpad is a cleanup pad.
-
-; CHECK-LABEL: define i32 @catch_cleanup_merge()
-; CHECK: invoke void @might_throw()
-; CHECK: invoke void @might_throw()
-; CHECK: ret i32 0
-;
-; CHECK: outer_lpad:
-; CHECK: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
-; CHECK: br label %catch.dispatch
-;
-; CHECK: inner_lpad:
-; CHECK: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
-; CHECK: call void @cleanup()
-; CHECK: br label %catch.dispatch
-;
-; CHECK: catch.dispatch:
-; CHECK: call i32 @llvm.eh.typeid.for
-; CHECK: br i1
-; CHECK: catch_int:
-; CHECK: ret i32 1
-; CHECK: eh.resume:
-; CHECK-NEXT: call void @_Unwind_Resume(i8* %ehptr)
-
 declare i32 @__gxx_personality_v0(...)
 declare i32 @llvm.eh.typeid.for(i8*)