test/CodeGen/WebAssembly/eh-labels.mir

   1 # RUN: llc -mtriple=wasm32-unknown-unknown -exception-model=wasm -mattr=+exception-handling -run-pass wasm-late-eh-prepare -run-pass wasm-cfg-stackify %s -o - | FileCheck %s
   2
   3 # This tests 'try' and 'catch' instructions are correctly placed with respect to
   4 # EH_LABEL instructions.
   5 --- |
   6   target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
   7   target triple = "wasm32-unknown-unknown"
   8
   9   declare i32 @__gxx_wasm_personality_v0(...)
  10   declare void @foo()
  11   define void @eh_label_test() personality i8* bitcast (i32 (...)* @__gxx_wasm_personality_v0 to i8*) {
  12     ret void
  13   }
  14 ...
  15
  16 ---
  17 # CHECK-LABEL: eh_label_test
  18 name: eh_label_test
  19 liveins:
  20   - { reg: '$arguments' }
  21 body: |
  22   bb.0:
  23     ; TRY should be before EH_LABEL wrappers of throwing calls
  24     ; CHECK:      TRY
  25     ; CHECK-NEXT: EH_LABEL
  26     ; CHECK-NEXT: CALL_VOID @foo
  27     ; CHECK-NEXT: EH_LABEL
  28     successors: %bb.1, %bb.2
  29     EH_LABEL <mcsymbol .Ltmp0>
  30     CALL_VOID @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64
  31     EH_LABEL <mcsymbol .Ltmp1>
  32
  33   bb.1 (landing-pad):
  34   ; predecessors: %bb.0
  35     successors: %bb.2
  36     ; CATCH should be after an EH_LABEL at the beginning of an EH pad
  37     ; CHECK:      EH_LABEL
  38     ; CHECK-NEXT: CATCH
  39     EH_LABEL <mcsymbol .Ltmp2>
  40     dead %0:i32 = EXTRACT_EXCEPTION_I32 implicit-def dead $arguments
  41     CATCHRET %bb.2, %bb.0, implicit-def dead $arguments
  42
  43   bb.2:
  44   ; predecessors: %bb.0, %bb.1
  45     RETURN_VOID implicit-def dead $arguments
  46 ...