Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -triple x86_64-pc-win32 -fms-extensions -emit-llvm -o - | FileCheck %s |
Reid Kleckner | 98592d9 | 2013-09-16 21:46:30 +0000 | [diff] [blame] | 2 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 3 | // FIXME: Perform this outlining automatically CodeGen. |
| 4 | void try_body(int numerator, int denominator, int *myres) { |
| 5 | *myres = numerator / denominator; |
| 6 | } |
| 7 | // CHECK-LABEL: define void @try_body(i32 %numerator, i32 %denominator, i32* %myres) |
| 8 | // CHECK: sdiv i32 |
| 9 | // CHECK: store i32 %{{.*}}, i32* |
| 10 | // CHECK: ret void |
Reid Kleckner | 98592d9 | 2013-09-16 21:46:30 +0000 | [diff] [blame] | 11 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 12 | int safe_div(int numerator, int denominator, int *res) { |
Reid Kleckner | 98592d9 | 2013-09-16 21:46:30 +0000 | [diff] [blame] | 13 | int myres = 0; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 14 | int success = 1; |
Reid Kleckner | 98592d9 | 2013-09-16 21:46:30 +0000 | [diff] [blame] | 15 | __try { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 16 | try_body(numerator, denominator, &myres); |
Reid Kleckner | 98592d9 | 2013-09-16 21:46:30 +0000 | [diff] [blame] | 17 | } __except (1) { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 18 | success = -42; |
Reid Kleckner | 98592d9 | 2013-09-16 21:46:30 +0000 | [diff] [blame] | 19 | } |
| 20 | *res = myres; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 21 | return success; |
Reid Kleckner | 98592d9 | 2013-09-16 21:46:30 +0000 | [diff] [blame] | 22 | } |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 23 | // CHECK-LABEL: define i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res) |
| 24 | // CHECK: invoke void @try_body(i32 %{{.*}}, i32 %{{.*}}, i32* %{{.*}}) #[[NOINLINE:[0-9]+]] |
| 25 | // CHECK: to label %{{.*}} unwind label %[[lpad:[^ ]*]] |
| 26 | // |
| 27 | // CHECK: [[lpad]] |
| 28 | // CHECK: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) |
| 29 | // CHECK-NEXT: catch i8* null |
| 30 | // CHECK-NOT: br i1 |
| 31 | // CHECK: br label %[[except:[^ ]*]] |
| 32 | // CHECK: [[except]] |
| 33 | // CHECK-NEXT: store i32 -42, i32* %[[success:[^ ]*]] |
| 34 | // |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 35 | // CHECK: %[[res:[^ ]*]] = load i32, i32* %[[success]] |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 36 | // CHECK: ret i32 %[[res]] |
| 37 | |
| 38 | void j(void); |
| 39 | |
| 40 | // FIXME: Implement local variable captures in filter expressions. |
| 41 | int filter_expr_capture(void) { |
| 42 | int r = 42; |
| 43 | __try { |
| 44 | j(); |
| 45 | } __except(/*r =*/ -1) { |
| 46 | r = 13; |
| 47 | } |
| 48 | return r; |
| 49 | } |
| 50 | |
| 51 | // CHECK-LABEL: define i32 @filter_expr_capture() |
| 52 | // FIXMECHECK: %[[captures]] = call i8* @llvm.frameallocate(i32 4) |
| 53 | // CHECK: store i32 42, i32* %[[r:[^ ,]*]] |
| 54 | // CHECK: invoke void @j() #[[NOINLINE]] |
| 55 | // |
| 56 | // CHECK: landingpad |
| 57 | // CHECK-NEXT: catch i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@filter_expr_capture@@" to i8*) |
| 58 | // CHECK: store i32 13, i32* %[[r]] |
| 59 | // |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 60 | // CHECK: %[[rv:[^ ]*]] = load i32, i32* %[[r]] |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 61 | // CHECK: ret i32 %[[rv]] |
| 62 | |
| 63 | // CHECK-LABEL: define internal i32 @"\01?filt$0@0@filter_expr_capture@@"(i8* %exception_pointers, i8* %frame_pointer) |
| 64 | // FIXMECHECK: %[[captures]] = call i8* @llvm.framerecover(i8* bitcast (i32 ()* @filter_expr_capture, i8* %frame_pointer) |
| 65 | // FIXMECHECK: store i32 -1, i32* %{{.*}} |
| 66 | // CHECK: ret i32 -1 |
| 67 | |
| 68 | int nested_try(void) { |
| 69 | int r = 42; |
| 70 | __try { |
| 71 | __try { |
| 72 | j(); |
| 73 | r = 0; |
| 74 | } __except(_exception_code() == 123) { |
| 75 | r = 123; |
| 76 | } |
| 77 | } __except(_exception_code() == 456) { |
| 78 | r = 456; |
| 79 | } |
| 80 | return r; |
| 81 | } |
| 82 | // CHECK-LABEL: define i32 @nested_try() |
| 83 | // CHECK: store i32 42, i32* %[[r:[^ ,]*]] |
| 84 | // CHECK: invoke void @j() #[[NOINLINE]] |
| 85 | // CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] |
| 86 | // |
| 87 | // CHECK: [[cont]] |
| 88 | // CHECK: store i32 0, i32* %[[r]] |
| 89 | // CHECK: br label %[[inner_try_cont:[^ ]*]] |
| 90 | // |
| 91 | // CHECK: [[lpad]] |
| 92 | // CHECK: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) |
| 93 | // CHECK: catch i8* bitcast (i32 (i8*, i8*)* @"\01?filt$1@0@nested_try@@" to i8*) |
| 94 | // CHECK: catch i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@nested_try@@" to i8*) |
| 95 | // CHECK: store i8* %{{.*}}, i8** %[[ehptr_slot:[^ ]*]] |
| 96 | // CHECK: store i32 %{{.*}}, i32* %[[sel_slot:[^ ]*]] |
| 97 | // |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 98 | // CHECK: load i32, i32* %[[sel_slot]] |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 99 | // CHECK: call i32 @llvm.eh.typeid.for(i8* bitcast (i32 (i8*, i8*)* @"\01?filt$1@0@nested_try@@" to i8*)) |
| 100 | // CHECK: icmp eq i32 |
| 101 | // CHECK: br i1 |
| 102 | // |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 103 | // CHECK: load i32, i32* %[[sel_slot]] |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 104 | // CHECK: call i32 @llvm.eh.typeid.for(i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@nested_try@@" to i8*)) |
| 105 | // CHECK: icmp eq i32 |
| 106 | // CHECK: br i1 |
| 107 | // |
| 108 | // CHECK: store i32 456, i32* %[[r]] |
| 109 | // CHECK: br label %[[outer_try_cont:[^ ]*]] |
| 110 | // |
| 111 | // CHECK: [[outer_try_cont]] |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 112 | // CHECK: %[[r_load:[^ ]*]] = load i32, i32* %[[r]] |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 113 | // CHECK: ret i32 %[[r_load]] |
| 114 | // |
| 115 | // CHECK: store i32 123, i32* %[[r]] |
| 116 | // CHECK: br label %[[inner_try_cont]] |
| 117 | // |
| 118 | // CHECK: [[inner_try_cont]] |
| 119 | // CHECK: br label %[[outer_try_cont]] |
| 120 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 121 | static unsigned g = 0; |
| 122 | void basic_finally(void) { |
| 123 | ++g; |
| 124 | __try { |
| 125 | j(); |
| 126 | } __finally { |
| 127 | --g; |
| 128 | } |
| 129 | } |
| 130 | // CHECK-LABEL: define void @basic_finally() |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 131 | // CHECK: load i32, i32* @g |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 132 | // CHECK: add i32 %{{.*}}, 1 |
| 133 | // CHECK: store i32 %{{.*}}, i32* @g |
| 134 | // |
| 135 | // CHECK: invoke void @j() |
| 136 | // CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] |
| 137 | // |
| 138 | // CHECK: [[cont]] |
Pirama Arumuga Nainar | 33337ca | 2015-05-06 11:48:57 -0700 | [diff] [blame] | 139 | // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.frameaddress(i32 0) |
| 140 | // CHECK: call void @"\01?fin$0@0@basic_finally@@"(i1 zeroext false, i8* %[[fp]]) |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 141 | // CHECK: ret void |
| 142 | // |
| 143 | // CHECK: [[lpad]] |
| 144 | // CHECK: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) |
| 145 | // CHECK-NEXT: cleanup |
Pirama Arumuga Nainar | 33337ca | 2015-05-06 11:48:57 -0700 | [diff] [blame] | 146 | // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.frameaddress(i32 0) |
| 147 | // CHECK: call void @"\01?fin$0@0@basic_finally@@"(i1 zeroext true, i8* %[[fp]]) |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 148 | // CHECK: resume |
| 149 | |
Pirama Arumuga Nainar | 33337ca | 2015-05-06 11:48:57 -0700 | [diff] [blame] | 150 | // CHECK: define internal void @"\01?fin$0@0@basic_finally@@"(i1 zeroext %abnormal_termination, i8* %frame_pointer) |
| 151 | // CHECK: load i32, i32* @g, align 4 |
| 152 | // CHECK: add i32 %{{.*}}, -1 |
| 153 | // CHECK: store i32 %{{.*}}, i32* @g, align 4 |
| 154 | // CHECK: ret void |
| 155 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 156 | int returns_int(void); |
| 157 | int except_return(void) { |
| 158 | __try { |
| 159 | return returns_int(); |
| 160 | } __except(1) { |
| 161 | return 42; |
| 162 | } |
| 163 | } |
| 164 | // CHECK-LABEL: define i32 @except_return() |
| 165 | // CHECK: %[[tmp:[^ ]*]] = invoke i32 @returns_int() |
| 166 | // CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] |
| 167 | // |
| 168 | // CHECK: [[cont]] |
| 169 | // CHECK: store i32 %[[tmp]], i32* %[[rv:[^ ]*]] |
| 170 | // CHECK: br label %[[retbb:[^ ]*]] |
| 171 | // |
| 172 | // CHECK: [[lpad]] |
| 173 | // CHECK: store i32 42, i32* %[[rv]] |
| 174 | // CHECK: br label %[[retbb]] |
| 175 | // |
| 176 | // CHECK: [[retbb]] |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 177 | // CHECK: %[[r:[^ ]*]] = load i32, i32* %[[rv]] |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 178 | // CHECK: ret i32 %[[r]] |
| 179 | |
| 180 | // CHECK: attributes #[[NOINLINE]] = { {{.*noinline.*}} } |