1# RUN: llc -mtriple=wasm32-unknown-unknown -exception-model=wasm -mattr=+exception-handling -run-pass wasm-cfg-stackify %s -o - | FileCheck %s
2
3--- |
4  target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
5  target triple = "wasm32-unknown-unknown"
6
7  declare i32 @__gxx_wasm_personality_v0(...)
8  declare void @foo()
9  define void @rethrow_arg_test() personality i8* bitcast (i32 (...)* @__gxx_wasm_personality_v0 to i8*) {
10    ret void
11  }
12...
13
14---
15# CHECK-LABEL: name: rethrow_arg_test
16name: rethrow_arg_test
17liveins:
18  - { reg: '$arguments' }
19body: |
20  bb.0:
21    successors: %bb.1, %bb.3
22    ; CHECK: bb.0:
23    ; CHECK: TRY
24    EH_LABEL <mcsymbol .Ltmp0>
25    CALL @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64
26    EH_LABEL <mcsymbol .Ltmp1>
27    BR %bb.3, implicit-def dead $arguments
28
29  bb.1 (landing-pad):
30    successors: %bb.2
31    ; CHECK: bb.1 (landing-pad):
32    ; CHECK: CATCH
33    ; CHECK: TRY
34    ; This RETHROW rethrows the exception caught by this BB's CATCH, but after
35    ; CFGStackify a TRY is placed between the CATCH and this RETHROW, so after
36    ; CFGStackify its immediate argument should become not 0, but 1.
37    ; CHECK: RETHROW 1
38    EH_LABEL <mcsymbol .Ltmp2>
39    %0:i32 = CATCH &__cpp_exception, implicit-def dead $arguments
40    RETHROW 0, implicit-def dead $arguments
41
42  bb.2 (landing-pad):
43    ; CHECK: bb.2 (landing-pad):
44    ; CHECK: CATCH
45    ; CHECK: RETHROW 0
46    EH_LABEL <mcsymbol .Ltmp5>
47    %1:i32 = CATCH &__cpp_exception, implicit-def dead $arguments
48    RETHROW 0, implicit-def dead $arguments
49
50  bb.3:
51    ; CHECK: bb.3:
52    ; CHECK: END_TRY
53    ; CHECK: END_TRY
54    RETURN implicit-def dead $arguments
55...
56