• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -disable-block-placement -verify-machineinstrs | FileCheck %s
2
3target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
4target triple = "wasm32-unknown-unknown"
5
6declare void @foo0()
7declare void @foo1()
8
9; Tests if br_table is printed correctly with a tab.
10; CHECK-LABEL: test0:
11; CHECK: br_table {0, 1, 0, 1, 2}
12define void @test0(i32 %n) {
13entry:
14  switch i32 %n, label %sw.epilog [
15    i32 0, label %sw.bb
16    i32 1, label %sw.bb.1
17    i32 2, label %sw.bb
18    i32 3, label %sw.bb.1
19  ]
20
21sw.bb:                                            ; preds = %entry, %entry
22  tail call void @foo0()
23  br label %sw.epilog
24
25sw.bb.1:                                          ; preds = %entry, %entry
26  tail call void @foo1()
27  br label %sw.epilog
28
29sw.epilog:                                        ; preds = %entry, %sw.bb, %sw.bb.1
30  ret void
31}
32