1; RUN: llc < %s -asm-verbose=false -wasm-keep-registers | FileCheck %s
2; RUN: llc < %s -asm-verbose=false -wasm-keep-registers -fast-isel -fast-isel-abort=1 | FileCheck %s
3
4target triple = "wasm32-unknown-unknown"
5
6; CHECK-LABEL: return_i32:
7; CHECK-NEXT:  .functype return_i32 (i32) -> (i32){{$}}
8; CHECK-NEXT:  local.get  $push0=, 0
9; CHECK-NEXT:  end_function{{$}}
10define i32 @return_i32(i32 %p) {
11  ret i32 %p
12}
13
14; CHECK-LABEL: return_i32_twice:
15; CHECK:      store
16; CHECK-NEXT: i32.const $push[[L0:[^,]+]]=, 1{{$}}
17; CHECK-NEXT: return $pop[[L0]]{{$}}
18; CHECK:      store
19; CHECK-NEXT: i32.const $push{{[^,]+}}=, 3{{$}}
20; CHECK-NEXT: end_function{{$}}
21define i32 @return_i32_twice(i32 %a) {
22  %b = icmp ne i32 %a, 0
23  br i1 %b, label %true, label %false
24
25true:
26  store i32 0, i32* null
27  ret i32 1
28
29false:
30  store i32 2, i32* null
31  ret i32 3
32}
33