clang/test/CodeGen/exceptions-seh-finally.c

   1 // RUN: %clang_cc1 -no-opaque-pointers %s -triple x86_64-pc-win32 -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s
   2 // RUN: %clang_cc1 -no-opaque-pointers %s -triple i686-pc-win32 -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s
   3 // RUN: %clang_cc1 -no-opaque-pointers %s -triple aarch64-windows -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s
   4 // NOTE: we're passing "-O1 -disable-llvm-passes" to avoid adding optnone and noinline everywhere.
   5
   6 void abort(void) __attribute__((noreturn));
   7 void might_crash(void);
   8 void cleanup(void);
   9 int check_condition(void);
  10 void basic_finally(void) {
  11   __try {
  12     might_crash();
  13   } __finally {
  14     cleanup();
  15   }
  16 }
  17
  18 // CHECK-LABEL: define dso_local void @basic_finally()
  19 // CHECK: invoke void @might_crash()
  20 // CHECK:     to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
  21 //
  22 // CHECK: [[invoke_cont]]
  23 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
  24 // CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 0, i8* noundef %[[fp]])
  25 // CHECK-NEXT: ret void
  26 //
  27 // CHECK: [[lpad]]
  28 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
  29 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
  30 // CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 1, i8* noundef %[[fp]])
  31 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
  32
  33 // CHECK: define internal void @"?fin$0@0@basic_finally@@"({{.*}})
  34 // CHECK-SAME: [[finally_attrs:#[0-9]+]]
  35 // CHECK: call void @cleanup()
  36
  37 // Mostly check that we don't double emit 'r' which would crash.
  38 void decl_in_finally(void) {
  39   __try {
  40     might_crash();
  41   } __finally {
  42     int r;
  43   }
  44 }
  45
  46 // Ditto, don't crash double emitting 'l'.
  47 void label_in_finally(void) {
  48   __try {
  49     might_crash();
  50   } __finally {
  51 l:
  52     cleanup();
  53     if (check_condition())
  54       goto l;
  55   }
  56 }
  57
  58 // CHECK-LABEL: define dso_local void @label_in_finally()
  59 // CHECK: invoke void @might_crash()
  60 // CHECK:     to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
  61 //
  62 // CHECK: [[invoke_cont]]
  63 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
  64 // CHECK: call void @"?fin$0@0@label_in_finally@@"({{i8 noundef( zeroext)?}} 0, i8* noundef %[[fp]])
  65 // CHECK: ret void
  66
  67 // CHECK: define internal void @"?fin$0@0@label_in_finally@@"({{.*}})
  68 // CHECK-SAME: [[finally_attrs]]
  69 // CHECK: br label %[[l:[^ ]*]]
  70 //
  71 // CHECK: [[l]]
  72 // CHECK: call void @cleanup()
  73 // CHECK: call i32 @check_condition()
  74 // CHECK: br i1 {{.*}}, label
  75 // CHECK: br label %[[l]]
  76
  77 int crashed;
  78 void use_abnormal_termination(void) {
  79   __try {
  80     might_crash();
  81   } __finally {
  82     crashed = __abnormal_termination();
  83   }
  84 }
  85
  86 // CHECK-LABEL: define dso_local void @use_abnormal_termination()
  87 // CHECK: invoke void @might_crash()
  88 // CHECK:     to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
  89 //
  90 // CHECK: [[invoke_cont]]
  91 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
  92 // CHECK: call void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 0, i8* noundef %[[fp]])
  93 // CHECK: ret void
  94 //
  95 // CHECK: [[lpad]]
  96 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
  97 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
  98 // CHECK: call void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 1, i8* noundef %[[fp]])
  99 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
 100
 101 // CHECK: define internal void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} %[[abnormal:abnormal_termination]], i8* noundef %frame_pointer)
 102 // CHECK-SAME: [[finally_attrs]]
 103 // CHECK: %[[abnormal_zext:[^ ]*]] = zext i8 %[[abnormal]] to i32
 104 // CHECK: store i32 %[[abnormal_zext]], i32* @crashed
 105 // CHECK-NEXT: ret void
 106
 107 void noreturn_noop_finally(void) {
 108   __try {
 109     __noop();
 110   } __finally {
 111     abort();
 112   }
 113 }
 114
 115 // CHECK-LABEL: define dso_local void @noreturn_noop_finally()
 116 // CHECK: call void @"?fin$0@0@noreturn_noop_finally@@"({{.*}})
 117 // CHECK: ret void
 118
 119 // CHECK: define internal void @"?fin$0@0@noreturn_noop_finally@@"({{.*}})
 120 // CHECK-SAME: [[finally_attrs]]
 121 // CHECK: call void @abort()
 122 // CHECK: unreachable
 123
 124 void noreturn_finally(void) {
 125   __try {
 126     might_crash();
 127   } __finally {
 128     abort();
 129   }
 130 }
 131
 132 // CHECK-LABEL: define dso_local void @noreturn_finally()
 133 // CHECK: invoke void @might_crash()
 134 // CHECK:     to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
 135 //
 136 // CHECK: [[cont]]
 137 // CHECK: call void @"?fin$0@0@noreturn_finally@@"({{.*}})
 138 // CHECK: ret void
 139 //
 140 // CHECK: [[lpad]]
 141 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
 142 // CHECK: call void @"?fin$0@0@noreturn_finally@@"({{.*}})
 143 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
 144
 145 // CHECK: define internal void @"?fin$0@0@noreturn_finally@@"({{.*}})
 146 // CHECK-SAME: [[finally_attrs]]
 147 // CHECK: call void @abort()
 148 // CHECK: unreachable
 149
 150 int finally_with_return(void) {
 151   __try {
 152     return 42;
 153   } __finally {
 154   }
 155 }
 156 // CHECK-LABEL: define dso_local i32 @finally_with_return()
 157 // CHECK: call void @"?fin$0@0@finally_with_return@@"({{.*}})
 158 // CHECK-NEXT: ret i32 42
 159
 160 // CHECK: define internal void @"?fin$0@0@finally_with_return@@"({{.*}})
 161 // CHECK-SAME: [[finally_attrs]]
 162 // CHECK-NOT: br i1
 163 // CHECK-NOT: br label
 164 // CHECK: ret void
 165
 166 int nested___finally___finally(void) {
 167   __try {
 168     __try {
 169     } __finally {
 170       return 1;
 171     }
 172   } __finally {
 173     // Intentionally no return here.
 174   }
 175   return 0;
 176 }
 177
 178 // CHECK-LABEL: define dso_local i32 @nested___finally___finally
 179 // CHECK: invoke void @"?fin$1@0@nested___finally___finally@@"({{.*}})
 180 // CHECK:          to label %[[outercont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
 181 //
 182 // CHECK: [[outercont]]
 183 // CHECK: call void @"?fin$0@0@nested___finally___finally@@"({{.*}})
 184 // CHECK-NEXT: ret i32 0
 185 //
 186 // CHECK: [[lpad]]
 187 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
 188 // CHECK: call void @"?fin$0@0@nested___finally___finally@@"({{.*}})
 189 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
 190
 191 // CHECK-LABEL: define internal void @"?fin$0@0@nested___finally___finally@@"({{.*}})
 192 // CHECK-SAME: [[finally_attrs]]
 193 // CHECK: ret void
 194
 195 // CHECK-LABEL: define internal void @"?fin$1@0@nested___finally___finally@@"({{.*}})
 196 // CHECK-SAME: [[finally_attrs]]
 197 // CHECK: unreachable
 198
 199 // FIXME: Our behavior seems suspiciously different.
 200
 201 int nested___finally___finally_with_eh_edge(void) {
 202   __try {
 203     __try {
 204       might_crash();
 205     } __finally {
 206       return 899;
 207     }
 208   } __finally {
 209     // Intentionally no return here.
 210   }
 211   return 912;
 212 }
 213 // CHECK-LABEL: define dso_local i32 @nested___finally___finally_with_eh_edge
 214 // CHECK: invoke void @might_crash()
 215 // CHECK-NEXT: to label %[[invokecont:[^ ]*]] unwind label %[[lpad1:[^ ]*]]
 216 //
 217 // [[invokecont]]
 218 // CHECK: invoke void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 219 // CHECK-NEXT:       to label %[[outercont:[^ ]*]] unwind label %[[lpad2:[^ ]*]]
 220 //
 221 // CHECK: [[outercont]]
 222 // CHECK: call void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 223 // CHECK-NEXT: ret i32 912
 224 //
 225 // CHECK: [[lpad1]]
 226 // CHECK-NEXT: %[[innerpad:[^ ]*]] = cleanuppad
 227 // CHECK: invoke void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 228 // CHECK-NEXT:    label %[[innercleanupretbb:[^ ]*]] unwind label %[[lpad2:[^ ]*]]
 229 //
 230 // CHECK: [[innercleanupretbb]]
 231 // CHECK-NEXT: cleanupret from %[[innerpad]] unwind label %[[lpad2]]
 232 //
 233 // CHECK: [[lpad2]]
 234 // CHECK-NEXT: %[[outerpad:[^ ]*]] = cleanuppad
 235 // CHECK: call void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 236 // CHECK-NEXT: cleanupret from %[[outerpad]] unwind to caller
 237
 238 // CHECK-LABEL: define internal void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 239 // CHECK-SAME: [[finally_attrs]]
 240 // CHECK: ret void
 241
 242 // CHECK-LABEL: define internal void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 243 // CHECK-SAME: [[finally_attrs]]
 244 // CHECK: unreachable
 245
 246 void finally_within_finally(void) {
 247   __try {
 248     might_crash();
 249   } __finally {
 250     __try {
 251       might_crash();
 252     } __finally {
 253     }
 254   }
 255 }
 256
 257 // CHECK-LABEL: define dso_local void @finally_within_finally(
 258 // CHECK: invoke void @might_crash(
 259
 260 // CHECK: call void @"?fin$0@0@finally_within_finally@@"(
 261 // CHECK: call void @"?fin$0@0@finally_within_finally@@"({{.*}}) [ "funclet"(
 262
 263 // CHECK-LABEL: define internal void @"?fin$0@0@finally_within_finally@@"({{[^)]*}})
 264 // CHECK-SAME: [[finally_attrs]]
 265 // CHECK: invoke void @might_crash(
 266
 267 // CHECK: call void @"?fin$1@0@finally_within_finally@@"(
 268 // CHECK: call void @"?fin$1@0@finally_within_finally@@"({{.*}}) [ "funclet"(
 269
 270 // CHECK-LABEL: define internal void @"?fin$1@0@finally_within_finally@@"({{[^)]*}})
 271 // CHECK-SAME: [[finally_attrs]]
 272
 273 void cleanup_with_func(const char *);
 274 void finally_with_func(void) {
 275   __try {
 276     might_crash();
 277   } __finally {
 278     cleanup_with_func(__func__);
 279   }
 280 }
 281
 282 // CHECK-LABEL: define internal void @"?fin$0@0@finally_with_func@@"({{[^)]*}})
 283 // CHECK: call void @cleanup_with_func(i8* noundef getelementptr inbounds ([18 x i8], [18 x i8]* @"??_C@_0BC@COAGBPGM@finally_with_func?$AA@", i{{32|64}} 0, i{{32|64}} 0))
 284
 285 // Look for the absence of noinline.  nounwind is expected; any further
 286 // attributes should be string attributes.
 287 // CHECK: attributes [[finally_attrs]] = { nounwind "{{.*}}" }