1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2; RUN: llc < %s -asm-verbose=false -fast-isel -fast-isel-abort=1 | FileCheck %s
3
4target triple = "wasm32-unknown-unknown"
5
6; CHECK-LABEL: return_void:
7; CHECK: end_function{{$}}
8define void @return_void() {
9  ret void
10}
11
12; CHECK-LABEL: return_void_twice:
13; CHECK:      store
14; CHECK-NEXT: return{{$}}
15; CHECK:      store
16; CHECK-NEXT: end_function{{$}}
17define void @return_void_twice(i32 %a) {
18  %b = icmp ne i32 %a, 0
19  br i1 %b, label %true, label %false
20
21true:
22  store i32 0, i32* null
23  ret void
24
25false:
26  store i32 1, i32* null
27  ret void
28}
29