clang/test/CodeGenCXX/wasm-eh.cpp

   1 // REQUIRES: webassembly-registered-target
   2 // RUN: %clang_cc1 %s -triple wasm32-unknown-unknown -fms-extensions -fexceptions -fcxx-exceptions -mllvm -wasm-enable-eh -exception-model=wasm -target-feature +exception-handling -emit-llvm -o - -std=c++11 | FileCheck %s
   3 // RUN: %clang_cc1 %s -triple wasm64-unknown-unknown -fms-extensions -fexceptions -fcxx-exceptions -mllvm -wasm-enable-eh -exception-model=wasm -target-feature +exception-handling -emit-llvm -o - -std=c++11 | FileCheck %s
   4
   5 void may_throw();
   6 void dont_throw() noexcept;
   7
   8 struct Cleanup {
   9   ~Cleanup() { dont_throw(); }
  10 };
  11
  12 // Multiple catch clauses w/o catch-all
  13 void test0() {
  14   try {
  15     may_throw();
  16   } catch (int) {
  17     dont_throw();
  18   } catch (double) {
  19     dont_throw();
  20   }
  21 }
  22
  23 // CHECK-LABEL: define void @_Z5test0v() {{.*}} personality ptr @__gxx_wasm_personality_v0
  24
  25 // CHECK:   %[[INT_ALLOCA:.*]] = alloca i32
  26 // CHECK:   invoke void @_Z9may_throwv()
  27 // CHECK-NEXT:           to label %[[NORMAL_BB:.*]] unwind label %[[CATCHDISPATCH_BB:.*]]
  28
  29 // CHECK: [[CATCHDISPATCH_BB]]:
  30 // CHECK-NEXT:   %[[CATCHSWITCH:.*]] = catchswitch within none [label %[[CATCHSTART_BB:.*]]] unwind to caller
  31
  32 // CHECK: [[CATCHSTART_BB]]:
  33 // CHECK-NEXT:   %[[CATCHPAD:.*]] = catchpad within %[[CATCHSWITCH]] [ptr @_ZTIi, ptr @_ZTId]
  34 // CHECK-NEXT:   %[[EXN:.*]] = call ptr @llvm.wasm.get.exception(token %[[CATCHPAD]])
  35 // CHECK-NEXT:   store ptr %[[EXN]], ptr %exn.slot
  36 // CHECK-NEXT:   %[[SELECTOR:.*]] = call i32 @llvm.wasm.get.ehselector(token %[[CATCHPAD]])
  37 // CHECK-NEXT:   %[[TYPEID:.*]] = call i32 @llvm.eh.typeid.for(ptr @_ZTIi) #8
  38 // CHECK-NEXT:   %[[MATCHES:.*]] = icmp eq i32 %[[SELECTOR]], %[[TYPEID]]
  39 // CHECK-NEXT:   br i1 %[[MATCHES]], label %[[CATCH_INT_BB:.*]], label %[[CATCH_FALLTHROUGH_BB:.*]]
  40
  41 // CHECK: [[CATCH_INT_BB]]:
  42 // CHECK-NEXT:   %[[EXN:.*]] = load ptr, ptr %exn.slot
  43 // CHECK-NEXT:   %[[ADDR:.*]] = call ptr @__cxa_begin_catch(ptr %[[EXN]]) {{.*}} [ "funclet"(token %[[CATCHPAD]]) ]
  44 // CHECK-NEXT:   %[[INT_VAL:.*]] = load i32, ptr %[[ADDR]]
  45 // CHECK-NEXT:   store i32 %[[INT_VAL]], ptr %[[INT_ALLOCA]]
  46 // CHECK-NEXT:   call void @_Z10dont_throwv() {{.*}} [ "funclet"(token %[[CATCHPAD]]) ]
  47 // CHECK-NEXT:   call void @__cxa_end_catch() {{.*}} [ "funclet"(token %[[CATCHPAD]]) ]
  48 // CHECK-NEXT:   catchret from %[[CATCHPAD]] to label %[[CATCHRET_DEST_BB0:.*]]
  49
  50 // CHECK: [[CATCHRET_DEST_BB0]]:
  51 // CHECK-NEXT:   br label %[[TRY_CONT_BB:.*]]
  52
  53 // CHECK: [[CATCH_FALLTHROUGH_BB]]
  54 // CHECK-NEXT:   %[[TYPEID:.*]] = call i32 @llvm.eh.typeid.for(ptr @_ZTId) #8
  55 // CHECK-NEXT:   %[[MATCHES:.*]] = icmp eq i32 %[[SELECTOR]], %[[TYPEID]]
  56 // CHECK-NEXT:   br i1 %[[MATCHES]], label %[[CATCH_FLOAT_BB:.*]], label %[[RETHROW_BB:.*]]
  57
  58 // CHECK: [[CATCH_FLOAT_BB]]:
  59 // CHECK:   catchret from %[[CATCHPAD]] to label %[[CATCHRET_DEST_BB1:.*]]
  60
  61 // CHECK: [[CATCHRET_DEST_BB1]]:
  62 // CHECK-NEXT:   br label %[[TRY_CONT_BB]]
  63
  64 // CHECK: [[RETHROW_BB]]:
  65 // CHECK-NEXT:   call void @llvm.wasm.rethrow() {{.*}} [ "funclet"(token %[[CATCHPAD]]) ]
  66 // CHECK-NEXT:   unreachable
  67
  68 // Single catch-all
  69 void test1() {
  70   try {
  71     may_throw();
  72   } catch (...) {
  73     dont_throw();
  74   }
  75 }
  76
  77 // CATCH-LABEL: @_Z5test1v()
  78
  79 // CHECK:   %[[CATCHSWITCH:.*]] = catchswitch within none [label %[[CATCHSTART_BB:.*]]] unwind to caller
  80
  81 // CHECK: [[CATCHSTART_BB]]:
  82 // CHECK-NEXT:   %[[CATCHPAD:.*]] = catchpad within %[[CATCHSWITCH]] [ptr null]
  83 // CHECK:   br label %[[CATCH_ALL_BB:.*]]
  84
  85 // CHECK: [[CATCH_ALL_BB]]:
  86 // CHECK:   catchret from %[[CATCHPAD]] to label
  87
  88 // Multiple catch clauses w/ catch-all
  89 void test2() {
  90   try {
  91     may_throw();
  92   } catch (int) {
  93     dont_throw();
  94   } catch (...) {
  95     dont_throw();
  96   }
  97 }
  98
  99 // CHECK-LABEL: @_Z5test2v()
 100
 101 // CHECK:   %[[CATCHSWITCH:.*]] = catchswitch within none [label %[[CATCHSTART_BB:.*]]] unwind to caller
 102
 103 // CHECK: [[CATCHSTART_BB]]:
 104 // CHECK-NEXT:   %[[CATCHPAD:.*]] = catchpad within %[[CATCHSWITCH]] [ptr @_ZTIi, ptr null]
 105 // CHECK:   br i1 %{{.*}}, label %[[CATCH_INT_BB:.*]], label %[[CATCH_ALL_BB:.*]]
 106
 107 // CHECK: [[CATCH_INT_BB]]:
 108 // CHECK:   catchret from %[[CATCHPAD]] to label
 109
 110 // CHECK: [[CATCH_ALL_BB]]:
 111 // CHECK:   catchret from %[[CATCHPAD]] to label
 112
 113 // Cleanup
 114 void test3() {
 115   Cleanup c;
 116   may_throw();
 117 }
 118
 119 // CHECK-LABEL: @_Z5test3v()
 120
 121 // CHECK:   invoke void @_Z9may_throwv()
 122 // CHECK-NEXT:           to label {{.*}} unwind label %[[EHCLEANUP_BB:.*]]
 123
 124 // CHECK: [[EHCLEANUP_BB]]:
 125 // CHECK-NEXT:   %[[CLEANUPPAD:.*]] = cleanuppad within none []
 126 // CHECK-NEXT:   call noundef ptr @_ZN7CleanupD1Ev(ptr {{[^,]*}} %{{.*}}) {{.*}} [ "funclet"(token %[[CLEANUPPAD]]) ]
 127 // CHECK-NEXT:   cleanupret from %[[CLEANUPPAD]] unwind to caller
 128
 129 // Possibly throwing function call within a catch
 130 void test4() {
 131   try {
 132     may_throw();
 133   } catch (int) {
 134     may_throw();
 135   }
 136 }
 137
 138 // CHECK-LABEL: @_Z5test4v()
 139
 140 // CHECK:   %[[CATCHSWITCH]] = catchswitch within none [label %[[CATCHSTART_BB]]] unwind to caller
 141
 142 // CHECK: [[CATCHSTART_BB]]:
 143 // CHECK:   %[[CATCHPAD:.*]] = catchpad within %[[CATCHSWITCH]] [ptr @_ZTIi]
 144
 145 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD]]) ]
 146 // CHECK-NEXT:           to label %[[INVOKE_CONT_BB:.*]] unwind label %[[EHCLEANUP_BB:.*]]
 147
 148 // CHECK: [[INVOKE_CONT_BB]]:
 149 // CHECK-NEXT:   call void @__cxa_end_catch() {{.*}} [ "funclet"(token %[[CATCHPAD]]) ]
 150 // CHECK-NEXT:   catchret from %[[CATCHPAD]] to label
 151
 152 // CHECK: [[EHCLEANUP_BB]]:
 153 // CHECK-NEXT:   %[[CLEANUPPAD:.*]] = cleanuppad within %[[CATCHPAD]] []
 154 // CHECK-NEXT:   call void @__cxa_end_catch() {{.*}} [ "funclet"(token %[[CLEANUPPAD]]) ]
 155 // CHECK-NEXT:   cleanupret from %[[CLEANUPPAD]] unwind to caller
 156
 157 // Possibly throwing function call within a catch-all
 158 void test5() {
 159   try {
 160     may_throw();
 161   } catch (...) {
 162     may_throw();
 163   }
 164 }
 165
 166 // CHECK-LABEL: @_Z5test5v()
 167
 168 // CHECK:   %[[CATCHSWITCH:.*]] = catchswitch within none [label %[[CATCHSTART_BB]]] unwind to caller
 169
 170 // CHECK: [[CATCHSTART_BB]]:
 171 // CHECK:   %[[CATCHPAD:.*]] = catchpad within %[[CATCHSWITCH]] [ptr null]
 172
 173 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD]]) ]
 174 // CHECK-NEXT:           to label %[[INVOKE_CONT_BB0:.*]] unwind label %[[EHCLEANUP_BB:.*]]
 175
 176 // CHECK: [[INVOKE_CONT_BB0]]:
 177 // CHECK-NEXT:   call void @__cxa_end_catch() [ "funclet"(token %[[CATCHPAD]]) ]
 178 // CHECK-NEXT:   catchret from %[[CATCHPAD]] to label
 179
 180 // CHECK: [[EHCLEANUP_BB]]:
 181 // CHECK-NEXT:   %[[CLEANUPPAD0:.*]] = cleanuppad within %[[CATCHPAD]] []
 182 // CHECK-NEXT:   invoke void @__cxa_end_catch() [ "funclet"(token %[[CLEANUPPAD0]]) ]
 183 // CHECK-NEXT:           to label %[[INVOKE_CONT_BB1:.*]] unwind label %[[TERMINATE_BB:.*]]
 184
 185 // CHECK: [[INVOKE_CONT_BB1]]:
 186 // CHECK-NEXT:   cleanupret from %[[CLEANUPPAD0]] unwind to caller
 187
 188 // CHECK: [[TERMINATE_BB]]:
 189 // CHECK-NEXT:   %[[CLEANUPPAD1:.*]] = cleanuppad within %[[CLEANUPPAD0]] []
 190 // CHECK-NEXT:   call void @_ZSt9terminatev() {{.*}} [ "funclet"(token %[[CLEANUPPAD1]]) ]
 191 // CHECK-NEXT:   unreachable
 192
 193 // Try-catch with cleanups
 194 void test6() {
 195   Cleanup c1;
 196   try {
 197     Cleanup c2;
 198     may_throw();
 199   } catch (int) {
 200     Cleanup c3;
 201     may_throw();
 202   }
 203 }
 204
 205 // CHECK-LABEL: @_Z5test6v()
 206 // CHECK:   invoke void @_Z9may_throwv()
 207 // CHECK-NEXT:           to label %{{.*}} unwind label %[[EHCLEANUP_BB0:.*]]
 208
 209 // CHECK: [[EHCLEANUP_BB0]]:
 210 // CHECK-NEXT:   %[[CLEANUPPAD0:.*]] = cleanuppad within none []
 211 // CHECK-NEXT:   call noundef ptr @_ZN7CleanupD1Ev(ptr {{.*}}) {{.*}} [ "funclet"(token %[[CLEANUPPAD0]]) ]
 212 // CHECK-NEXT:   cleanupret from %[[CLEANUPPAD0]] unwind label %[[CATCH_DISPATCH_BB:.*]]
 213
 214 // CHECK: [[CATCH_DISPATCH_BB]]:
 215 // CHECK-NEXT:  %[[CATCHSWITCH:.*]] = catchswitch within none [label %[[CATCHSTART_BB:.*]]] unwind label %[[EHCLEANUP_BB1:.*]]
 216
 217 // CHECK: [[CATCHSTART_BB]]:
 218 // CHECK-NEXT:   %[[CATCHPAD:.*]] = catchpad within %[[CATCHSWITCH]] [ptr @_ZTIi]
 219 // CHECK:   br i1 %{{.*}}, label %[[CATCH_INT_BB:.*]], label %[[RETHROW_BB:.*]]
 220
 221 // CHECK: [[CATCH_INT_BB]]:
 222 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD]]) ]
 223 // CHECK-NEXT:           to label %[[INVOKE_CONT_BB:.*]] unwind label %[[EHCLEANUP_BB2:.*]]
 224
 225 // CHECK: [[INVOKE_CONT_BB]]:
 226 // CHECK:   catchret from %[[CATCHPAD]] to label %{{.*}}
 227
 228 // CHECK: [[RETHROW_BB]]:
 229 // CHECK-NEXT:   invoke void @llvm.wasm.rethrow() {{.*}} [ "funclet"(token %[[CATCHPAD]]) ]
 230 // CHECK-NEXT:          to label %[[UNREACHABLE_BB:.*]] unwind label %[[EHCLEANUP_BB1:.*]]
 231
 232 // CHECK: [[EHCLEANUP_BB2]]:
 233 // CHECK-NEXT:   %[[CLEANUPPAD2:.*]] = cleanuppad within %[[CATCHPAD]] []
 234 // CHECK-NEXT:   call noundef ptr @_ZN7CleanupD1Ev(ptr {{[^,]*}} %{{.*}}) {{.*}} [ "funclet"(token %[[CLEANUPPAD2]]) ]
 235 // CHECK-NEXT:   cleanupret from %[[CLEANUPPAD2]] unwind label %[[EHCLEANUP_BB3:.*]]
 236
 237 // CHECK: [[EHCLEANUP_BB3]]:
 238 // CHECK-NEXT:   %[[CLEANUPPAD3:.*]] = cleanuppad within %[[CATCHPAD]] []
 239 // CHECK:   cleanupret from %[[CLEANUPPAD3]] unwind label %[[EHCLEANUP_BB1:.*]]
 240
 241 // CHECK: [[EHCLEANUP_BB1]]:
 242 // CHECK-NEXT:   %[[CLEANUPPAD1:.*]] = cleanuppad within none []
 243 // CHECK-NEXT:   call noundef ptr @_ZN7CleanupD1Ev(ptr {{[^,]*}} %{{.*}}) {{.*}} [ "funclet"(token %[[CLEANUPPAD1]]) ]
 244 // CHECK-NEXT:   cleanupret from %[[CLEANUPPAD1]] unwind to caller
 245
 246 // CHECK: [[UNREACHABLE_BB]]:
 247 // CHECK-NEXT:   unreachable
 248
 249 // Nested try-catches within a try with cleanups
 250 void test7() {
 251   Cleanup c1;
 252   may_throw();
 253   try {
 254     Cleanup c2;
 255     may_throw();
 256     try {
 257       Cleanup c3;
 258       may_throw();
 259     } catch (int) {
 260       may_throw();
 261     } catch (double) {
 262       may_throw();
 263     }
 264   } catch (int) {
 265     may_throw();
 266   } catch (...) {
 267     may_throw();
 268   }
 269 }
 270
 271 // CHECK-LABEL: @_Z5test7v()
 272 // CHECK:   invoke void @_Z9may_throwv()
 273
 274 // CHECK:   invoke void @_Z9may_throwv()
 275
 276 // CHECK:   invoke void @_Z9may_throwv()
 277
 278 // CHECK:   %[[CLEANUPPAD0:.*]] = cleanuppad within none []
 279 // CHECK:   cleanupret from %[[CLEANUPPAD0]] unwind label
 280
 281 // CHECK:   %[[CATCHSWITCH0:.*]] = catchswitch within none
 282
 283 // CHECK:   %[[CATCHPAD0:.*]] = catchpad within %[[CATCHSWITCH0]] [ptr @_ZTIi, ptr @_ZTId]
 284
 285 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD0]]) ]
 286
 287 // CHECK:   catchret from %[[CATCHPAD0]] to label
 288
 289 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD0]]) ]
 290
 291 // CHECK:   catchret from %[[CATCHPAD0]] to label
 292
 293 // CHECK:   invoke void @llvm.wasm.rethrow() {{.*}} [ "funclet"(token %[[CATCHPAD0]]) ]
 294
 295 // CHECK:   %[[CLEANUPPAD1:.*]] = cleanuppad within %[[CATCHPAD0]] []
 296 // CHECK:   cleanupret from %[[CLEANUPPAD1]] unwind label
 297
 298 // CHECK:   %[[CLEANUPPAD2:.*]] = cleanuppad within %[[CATCHPAD0]] []
 299 // CHECK:   cleanupret from %[[CLEANUPPAD2]] unwind label
 300
 301 // CHECK:   %[[CLEANUPPAD3:.*]] = cleanuppad within none []
 302 // CHECK:   cleanupret from %[[CLEANUPPAD3]] unwind label
 303
 304 // CHECK:   %[[CATCHSWITCH1:.*]] = catchswitch within none
 305
 306 // CHECK:   %[[CATCHPAD1:.*]] = catchpad within %[[CATCHSWITCH1]] [ptr @_ZTIi, ptr null]
 307
 308 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD1]]) ]
 309
 310 // CHECK:   catchret from %[[CATCHPAD1]] to label
 311
 312 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD1]]) ]
 313
 314 // CHECK:   invoke void @__cxa_end_catch() [ "funclet"(token %[[CATCHPAD1]]) ]
 315
 316 // CHECK:   catchret from %[[CATCHPAD1]] to label
 317
 318 // CHECK:   %[[CLEANUPPAD4:.*]] = cleanuppad within %[[CATCHPAD1]] []
 319 // CHECK:   invoke void @__cxa_end_catch() [ "funclet"(token %[[CLEANUPPAD4]]) ]
 320
 321 // CHECK:   cleanupret from %[[CLEANUPPAD4]] unwind label
 322
 323 // CHECK:   %[[CLEANUPPAD5:.*]] = cleanuppad within %[[CATCHPAD1]] []
 324 // CHECK:   cleanupret from %[[CLEANUPPAD5]] unwind label
 325
 326 // CHECK:   %[[CLEANUPPAD6:.*]] = cleanuppad within none []
 327 // CHECK:   cleanupret from %[[CLEANUPPAD6]] unwind to caller
 328
 329 // CHECK:   unreachable
 330
 331 // CHECK:   %[[CLEANUPPAD7:.*]] = cleanuppad within %[[CLEANUPPAD4]] []
 332 // CHECK:   call void @_ZSt9terminatev() {{.*}} [ "funclet"(token %[[CLEANUPPAD7]]) ]
 333 // CHECK:   unreachable
 334
 335 // Nested try-catches within a catch
 336 void test8() {
 337   try {
 338     may_throw();
 339   } catch (int) {
 340     try {
 341       may_throw();
 342     } catch (int) {
 343       may_throw();
 344     }
 345   }
 346 }
 347
 348 // CHECK-LABEL: @_Z5test8v()
 349 // CHECK:   invoke void @_Z9may_throwv()
 350
 351 // CHECK:   %[[CATCHSWITCH0:.*]] = catchswitch within none
 352
 353 // CHECK:   %[[CATCHPAD0:.*]] = catchpad within %[[CATCHSWITCH0]] [ptr @_ZTIi]
 354
 355 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD0]]) ]
 356
 357 // CHECK:   %[[CATCHSWITCH1:.*]] = catchswitch within %[[CATCHPAD0]]
 358
 359 // CHECK:   %[[CATCHPAD1:.*]] = catchpad within %[[CATCHSWITCH1]] [ptr @_ZTIi]
 360
 361 // CHECK:   invoke void @_Z9may_throwv() [ "funclet"(token %[[CATCHPAD1]]) ]
 362
 363 // CHECK:   catchret from %[[CATCHPAD1]] to label
 364
 365 // CHECK:   invoke void @llvm.wasm.rethrow() {{.*}} [ "funclet"(token %[[CATCHPAD1]]) ]
 366
 367 // CHECK:   catchret from %[[CATCHPAD0]] to label
 368
 369 // CHECK:   call void @llvm.wasm.rethrow() {{.*}} [ "funclet"(token %[[CATCHPAD0]]) ]
 370 // CHECK:   unreachable
 371
 372 // CHECK:   %[[CLEANUPPAD0:.*]] = cleanuppad within %[[CATCHPAD1]] []
 373 // CHECK:   cleanupret from %[[CLEANUPPAD0]] unwind label
 374
 375 // CHECK:   %[[CLEANUPPAD1:.*]] = cleanuppad within %[[CATCHPAD0]] []
 376 // CHECK:   cleanupret from %[[CLEANUPPAD1]] unwind to caller
 377
 378 // CHECK:   unreachable
 379
 380 // RUN: %clang_cc1 %s -triple wasm32-unknown-unknown -fms-extensions -fexceptions -fcxx-exceptions -exception-model=wasm -target-feature +exception-handling -emit-llvm -o - -std=c++11 2>&1 | FileCheck %s --check-prefix=WARNING-DEFAULT
 381 // RUN: %clang_cc1 %s -triple wasm32-unknown-unknown -fms-extensions -fexceptions -fcxx-exceptions -exception-model=wasm -target-feature +exception-handling -Wwasm-exception-spec -emit-llvm -o - -std=c++11 2>&1 | FileCheck %s --check-prefix=WARNING-ON
 382 // RUN: %clang_cc1 %s -triple wasm32-unknown-unknown -fms-extensions -fexceptions -fcxx-exceptions -exception-model=wasm -target-feature +exception-handling -Wno-wasm-exception-spec -emit-llvm -o - -std=c++11 2>&1 | FileCheck %s --check-prefix=WARNING-OFF
 383 // RUN: %clang_cc1 %s -triple wasm32-unknown-unknown -fexceptions -fcxx-exceptions -emit-llvm -o - -std=c++11 2>&1 | FileCheck %s --check-prefix=EM-EH-WARNING
 384
 385 // Wasm EH ignores dynamic exception specifications with types at the moment.
 386 // This is controlled by -Wwasm-exception-spec, which is on by default. This
 387 // warning can be suppressed with -Wno-wasm-exception-spec. Checks if a warning
 388 // message is correctly printed or not printed depending on the options.
 389 void test9() throw(int) {
 390 }
 391 // WARNING-DEFAULT: warning: dynamic exception specifications with types are currently ignored in wasm
 392 // WARNING-ON: warning: dynamic exception specifications with types are currently ignored in wasm
 393 // WARNING-OFF-NOT: warning: dynamic exception specifications with types are currently ignored in wasm
 394 // EM-EH-WARNING: warning: dynamic exception specifications with types are currently ignored in wasm
 395
 396 // Wasm curremtly treats 'throw()' in the same way as 'noexept'. Check if the
 397 // same warning message is printed as if when a 'noexcept' function throws.
 398 void test10() throw() {
 399   throw 3;
 400 }
 401 // WARNING-DEFAULT: warning: 'test10' has a non-throwing exception specification but can still throw
 402 // WARNING-DEFAULT: function declared non-throwing here
 403
 404 // Here we only check if the command enables wasm exception handling in the
 405 // backend so that exception handling instructions can be generated in .s file.
 406
 407 // RUN: %clang_cc1 %s -triple wasm32-unknown-unknown -fms-extensions -fexceptions -fcxx-exceptions -mllvm -wasm-enable-eh -exception-model=wasm -target-feature +exception-handling -S -o - -std=c++11 | FileCheck %s --check-prefix=ASSEMBLY
 408
 409 // ASSEMBLY: try
 410 // ASSEMBLY: catch
 411 // ASSEMBLY: rethrow
 412 // ASSEMBLY: end_try