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

   1 // RUN: %clang_cc1 %s -triple x86_64-pc-win32 -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s
   2 // RUN: %clang_cc1 %s -triple i686-pc-win32 -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s
   3 // RUN: %clang_cc1 %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 ptr @llvm.localaddress()
  24 // CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]])
  25 // CHECK-NEXT: ret void
  26 //
  27 // CHECK: [[lpad]]
  28 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
  29 // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress()
  30 // CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 1, ptr 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 ptr @llvm.localaddress()
  64 // CHECK: call void @"?fin$0@0@label_in_finally@@"({{i8 noundef( zeroext)?}} 0, ptr 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 ptr @llvm.localaddress()
  92 // CHECK: call void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]])
  93 // CHECK: ret void
  94 //
  95 // CHECK: [[lpad]]
  96 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
  97 // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress()
  98 // CHECK: call void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 1, ptr 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]], ptr noundef %frame_pointer)
 102 // CHECK-SAME: [[finally_attrs]]
 103 // CHECK: %[[abnormal_zext:[^ ]*]] = zext i8 %[[abnormal]] to i32
 104 // CHECK: store i32 %[[abnormal_zext]], ptr @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: store i32 1, ptr %cleanup.dest.slot
 158 // CHECK: %cleanup.dest = load i32, ptr %cleanup.dest.slot
 159 // CHECK: icmp ne i32 %cleanup.dest
 160 // CHECK: call void @"?fin$0@0@finally_with_return@@"({{.*}})
 161 // CHECK: ret i32 42
 162
 163 // CHECK: define internal void @"?fin$0@0@finally_with_return@@"({{.*}})
 164 // CHECK-SAME: [[finally_attrs]]
 165 // CHECK-NOT: br i1
 166 // CHECK-NOT: br label
 167 // CHECK: ret void
 168
 169 int nested___finally___finally(void) {
 170   __try {
 171     __try {
 172     } __finally {
 173       return 1;
 174     }
 175   } __finally {
 176     // Intentionally no return here.
 177   }
 178   return 0;
 179 }
 180
 181 // CHECK-LABEL: define dso_local i32 @nested___finally___finally
 182 // CHECK: invoke void @"?fin$1@0@nested___finally___finally@@"({{.*}})
 183 // CHECK:          to label %[[outercont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
 184 //
 185 // CHECK: [[outercont]]
 186 // CHECK: call void @"?fin$0@0@nested___finally___finally@@"({{.*}})
 187 // CHECK-NEXT: ret i32 0
 188 //
 189 // CHECK: [[lpad]]
 190 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
 191 // CHECK: call void @"?fin$0@0@nested___finally___finally@@"({{.*}})
 192 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
 193
 194 // CHECK-LABEL: define internal void @"?fin$0@0@nested___finally___finally@@"({{.*}})
 195 // CHECK-SAME: [[finally_attrs]]
 196 // CHECK: ret void
 197
 198 // CHECK-LABEL: define internal void @"?fin$1@0@nested___finally___finally@@"({{.*}})
 199 // CHECK-SAME: [[finally_attrs]]
 200 // CHECK: unreachable
 201
 202 // FIXME: Our behavior seems suspiciously different.
 203
 204 int nested___finally___finally_with_eh_edge(void) {
 205   __try {
 206     __try {
 207       might_crash();
 208     } __finally {
 209       return 899;
 210     }
 211   } __finally {
 212     // Intentionally no return here.
 213   }
 214   return 912;
 215 }
 216 // CHECK-LABEL: define dso_local i32 @nested___finally___finally_with_eh_edge
 217 // CHECK: invoke void @might_crash()
 218 // CHECK-NEXT: to label %[[invokecont:[^ ]*]] unwind label %[[lpad1:[^ ]*]]
 219 //
 220 // [[invokecont]]
 221 // CHECK: invoke void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 222 // CHECK-NEXT:       to label %[[outercont:[^ ]*]] unwind label %[[lpad2:[^ ]*]]
 223 //
 224 // CHECK: [[outercont]]
 225 // CHECK: call void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 226 // CHECK-NEXT: ret i32 912
 227 //
 228 // CHECK: [[lpad1]]
 229 // CHECK-NEXT: %[[innerpad:[^ ]*]] = cleanuppad
 230 // CHECK: invoke void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 231 // CHECK-NEXT:    label %[[innercleanupretbb:[^ ]*]] unwind label %[[lpad2:[^ ]*]]
 232 //
 233 // CHECK: [[innercleanupretbb]]
 234 // CHECK-NEXT: cleanupret from %[[innerpad]] unwind label %[[lpad2]]
 235 //
 236 // CHECK: [[lpad2]]
 237 // CHECK-NEXT: %[[outerpad:[^ ]*]] = cleanuppad
 238 // CHECK: call void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 239 // CHECK-NEXT: cleanupret from %[[outerpad]] unwind to caller
 240
 241 // CHECK-LABEL: define internal void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 242 // CHECK-SAME: [[finally_attrs]]
 243 // CHECK: ret void
 244
 245 // CHECK-LABEL: define internal void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
 246 // CHECK-SAME: [[finally_attrs]]
 247 // CHECK: unreachable
 248
 249 void finally_within_finally(void) {
 250   __try {
 251     might_crash();
 252   } __finally {
 253     __try {
 254       might_crash();
 255     } __finally {
 256     }
 257   }
 258 }
 259
 260 // CHECK-LABEL: define dso_local void @finally_within_finally(
 261 // CHECK: invoke void @might_crash(
 262
 263 // CHECK: call void @"?fin$0@0@finally_within_finally@@"(
 264 // CHECK: call void @"?fin$0@0@finally_within_finally@@"({{.*}}) [ "funclet"(
 265
 266 // CHECK-LABEL: define internal void @"?fin$0@0@finally_within_finally@@"({{[^)]*}})
 267 // CHECK-SAME: [[finally_attrs]]
 268 // CHECK: invoke void @might_crash(
 269
 270 // CHECK: call void @"?fin$1@0@finally_within_finally@@"(
 271 // CHECK: call void @"?fin$1@0@finally_within_finally@@"({{.*}}) [ "funclet"(
 272
 273 // CHECK-LABEL: define internal void @"?fin$1@0@finally_within_finally@@"({{[^)]*}})
 274 // CHECK-SAME: [[finally_attrs]]
 275
 276 void cleanup_with_func(const char *);
 277 void finally_with_func(void) {
 278   __try {
 279     might_crash();
 280   } __finally {
 281     cleanup_with_func(__func__);
 282   }
 283 }
 284
 285 // CHECK-LABEL: define internal void @"?fin$0@0@finally_with_func@@"({{[^)]*}})
 286 // CHECK: call void @cleanup_with_func(ptr noundef @"??_C@_0BC@COAGBPGM@finally_with_func?$AA@")
 287
 288 // Look for the absence of noinline.  nounwind is expected; any further
 289 // attributes should be string attributes.
 290 // CHECK: attributes [[finally_attrs]] = { nounwind "{{.*}}" }