diff options
Diffstat (limited to 'test/CodeGen/exceptions-seh-finally.c')
| -rw-r--r-- | test/CodeGen/exceptions-seh-finally.c | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/test/CodeGen/exceptions-seh-finally.c b/test/CodeGen/exceptions-seh-finally.c index f0ed22306401..0f2123ba32bb 100644 --- a/test/CodeGen/exceptions-seh-finally.c +++ b/test/CodeGen/exceptions-seh-finally.c @@ -29,6 +29,7 @@ void basic_finally(void) { // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller // CHECK: define internal void @"\01?fin$0@0@basic_finally@@"({{.*}}) +// CHECK-SAME: [[finally_attrs:#[0-9]+]] // CHECK: call void @cleanup() // Mostly check that we don't double emit 'r' which would crash. @@ -62,6 +63,7 @@ l: // CHECK: ret void // CHECK: define internal void @"\01?fin$0@0@label_in_finally@@"({{.*}}) +// CHECK-SAME: [[finally_attrs]] // CHECK: br label %[[l:[^ ]*]] // // CHECK: [[l]] @@ -95,6 +97,7 @@ void use_abnormal_termination(void) { // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller // CHECK: define internal void @"\01?fin$0@0@use_abnormal_termination@@"({{i8( zeroext)?}} %[[abnormal:abnormal_termination]], i8* %frame_pointer) +// CHECK-SAME: [[finally_attrs]] // CHECK: %[[abnormal_zext:[^ ]*]] = zext i8 %[[abnormal]] to i32 // CHECK: store i32 %[[abnormal_zext]], i32* @crashed // CHECK-NEXT: ret void @@ -112,6 +115,7 @@ void noreturn_noop_finally() { // CHECK: ret void // CHECK: define internal void @"\01?fin$0@0@noreturn_noop_finally@@"({{.*}}) +// CHECK-SAME: [[finally_attrs]] // CHECK: call void @abort() // CHECK: unreachable @@ -137,6 +141,7 @@ void noreturn_finally() { // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller // CHECK: define internal void @"\01?fin$0@0@noreturn_finally@@"({{.*}}) +// CHECK-SAME: [[finally_attrs]] // CHECK: call void @abort() // CHECK: unreachable @@ -151,6 +156,7 @@ int finally_with_return() { // CHECK-NEXT: ret i32 42 // CHECK: define internal void @"\01?fin$0@0@finally_with_return@@"({{.*}}) +// CHECK-SAME: [[finally_attrs]] // CHECK-NOT: br i1 // CHECK-NOT: br label // CHECK: ret void @@ -181,9 +187,11 @@ int nested___finally___finally() { // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller // CHECK-LABEL: define internal void @"\01?fin$0@0@nested___finally___finally@@"({{.*}}) +// CHECK-SAME: [[finally_attrs]] // CHECK: ret void // CHECK-LABEL: define internal void @"\01?fin$1@0@nested___finally___finally@@"({{.*}}) +// CHECK-SAME: [[finally_attrs]] // CHECK: unreachable // FIXME: Our behavior seems suspiciously different. @@ -226,7 +234,41 @@ int nested___finally___finally_with_eh_edge() { // CHECK-NEXT: cleanupret from %[[outerpad]] unwind to caller // CHECK-LABEL: define internal void @"\01?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}}) +// CHECK-SAME: [[finally_attrs]] // CHECK: ret void // CHECK-LABEL: define internal void @"\01?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}}) +// CHECK-SAME: [[finally_attrs]] // CHECK: unreachable + +void finally_within_finally() { + __try { + might_crash(); + } __finally { + __try { + might_crash(); + } __finally { + } + } +} + +// CHECK-LABEL: define void @finally_within_finally( +// CHECK: invoke void @might_crash( + +// CHECK: call void @"\01?fin$0@0@finally_within_finally@@"( +// CHECK: call void @"\01?fin$0@0@finally_within_finally@@"({{.*}}) [ "funclet"( + +// CHECK-LABEL: define internal void @"\01?fin$0@0@finally_within_finally@@"({{[^)]*}}) +// CHECK-SAME: [[finally_attrs]] +// CHECK: invoke void @might_crash( + +// CHECK: call void @"\01?fin$1@0@finally_within_finally@@"( +// CHECK: call void @"\01?fin$1@0@finally_within_finally@@"({{.*}}) [ "funclet"( + +// CHECK-LABEL: define internal void @"\01?fin$1@0@finally_within_finally@@"({{[^)]*}}) +// CHECK-SAME: [[finally_attrs]] + +// Look for the absence of noinline. Enum attributes come first, so check that +// a string attribute is the first to verify that no enum attributes are +// present. +// CHECK: attributes [[finally_attrs]] = { "{{.*}}" } |