diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2015-02-27 01:58:08 +0000 |
|---|---|---|
| committer | Nico Weber <nicolasweber@gmx.de> | 2015-02-27 01:58:08 +0000 |
| commit | 497bf5587e11e2c271f1b4632b55e5a9258c91e9 (patch) | |
| tree | 6f2d16bb2f132a089ad7b682cf2b1432a7d81f55 | |
| parent | f81c2cc6ca4b728522e2d6755bfc3968167aff11 (diff) | |
| download | bcm5719-llvm-497bf5587e11e2c271f1b4632b55e5a9258c91e9.tar.gz bcm5719-llvm-497bf5587e11e2c271f1b4632b55e5a9258c91e9.zip | |
Add another __leave test.
llvm-svn: 230717
| -rw-r--r-- | clang/test/CodeGen/exceptions-seh-leave.c | 67 |
1 files changed, 65 insertions, 2 deletions
diff --git a/clang/test/CodeGen/exceptions-seh-leave.c b/clang/test/CodeGen/exceptions-seh-leave.c index 7901c8c2fbd..a92001275c4 100644 --- a/clang/test/CodeGen/exceptions-seh-leave.c +++ b/clang/test/CodeGen/exceptions-seh-leave.c @@ -125,8 +125,6 @@ int __leave_with___finally() { ////////////////////////////////////////////////////////////////////////////// // Mixed, nested cases. -// FIXME: Test with outer __finally once PR22553 is fixed. - int nested___except___finally() { int myres = 0; __try { @@ -237,3 +235,68 @@ int nested___except___except() { // CHECK: [[tryleave]] // CHECK-NEXT: br label %[[trycont4]] + +int nested___finally___except() { + int myres = 0; + __try { + __try { + g(); + } __except (1) { + g(); + __leave; // Refers to the outer __try, not the __except! + myres = 23; + return 0; + } + + myres = 51; + } __finally { + } + return 1; +} +// The order of basic blocks in the below doesn't matter. +// CHECK-LABEL: define i32 @nested___finally___except() + +// CHECK-LABEL: invoke void bitcast (void (...)* @g to void ()*)() +// CHECK-NEXT: to label %[[g1_cont:.*]] unwind label %[[g1_lpad:.*]] + +// CHECK: [[g1_cont]] +// CHECK-NEXT: br label %[[trycont:[^ ]*]] + +// CHECK: [[g1_lpad]] +// CHECK: br label %[[except]] + +// CHECK: [[except]] +// CHECK-NEXT: invoke void bitcast (void (...)* @g to void ()*)() +// CHECK-NEXT: to label %[[g2_cont:.*]] unwind label %[[g2_lpad:.*]] + +// CHECK: [[g2_cont]] +// CHECK-NEXT: br label %[[tryleave:[^ ]*]] +// CHECK-NOT: 23 + +// CHECK: [[g2_lpad]] +// CHECK: store i8 1, i8* %[[abnormal:[^ ]*]] +// CHECK-NEXT: br label %[[finally:[^ ]*]] + +// CHECK: [[trycont]] +// CHECK: store i32 51, i32* % +// CHECK-NEXT: br label %[[tryleave]] + +// CHECK: [[tryleave]] +// CHECK-NEXT: store i8 0, i8* %[[abnormal]] +// CHECK-NEXT: br label %[[finally:[^ ]*]] + +// CHECK: [[finally]] +// CHECK-NEXT: %[[abnormallocal:[^ ]*]] = load i8* %[[abnormal]] +// CHECK-NEXT: %[[reg:[^ ]*]] = icmp eq i8 %[[abnormallocal]], 0 +// CHECK-NEXT: br i1 %[[reg]], label %[[finallycont:[^ ]*]], label %[[finallyresume:[^ ]*]] + +// CHECK: [[finallycont]] +// CHECK-NEXT: ret i32 1 + +// CHECK: [[finallyresume]] +// CHECK-NEXT: br label %[[ehresume:[^ ]*]] + +// CHECK: [[ehresume]] +// CHECK: resume + +// FIXME: Test with nested __finally blocks. |
