You've already forked llvm-project
mirror of
https://github.com/encounter/llvm-project.git
synced 2026-03-30 11:27:19 -07:00
Wouter van Oortmerssen
d3c544aa6e
Summary: We use `variable_ops` in the tablegen defs to denote the list of branch targets in `br_table`, but unlike other uses of `variable_ops` (e.g. call) the these branch targets need to actually be encoded in the instruction. The existing tables for `variable_ops` cause not operands to be accepted by the assembly matcher. Following the example of ARM: https://github.com/llvm-mirror/llvm/blob/2cc0a7da876c1d8c32775b0119e1e15aaa759b9e/lib/Target/ARM/ARMInstrInfo.td#L550-L555 we introduce a new operand type to capture this list, and we use the same {} syntax as ARM as well to differentiate them from regular integer operands. Also removed definition and use of TSFlags in tablegen defs, since `br_table` now has a non-variable_ops immediate operand, so the previous logic of only the variable_ops arguments being labels didn't make sense anymore. Reviewers: dschuff, aheejin, sunfish Subscribers: javed.absar, sbc100, jgravelle-google, kristof.beyls, llvm-commits Differential Revision: https://reviews.llvm.org/D55401 llvm-svn: 349405
32 lines
905 B
LLVM
32 lines
905 B
LLVM
; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -disable-block-placement -verify-machineinstrs | FileCheck %s
|
|
|
|
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
|
|
target triple = "wasm32-unknown-unknown"
|
|
|
|
declare void @foo0()
|
|
declare void @foo1()
|
|
|
|
; Tests if br_table is printed correctly with a tab.
|
|
; CHECK-LABEL: test0:
|
|
; CHECK: br_table {0, 1, 0, 1, 0}
|
|
define void @test0(i32 %n) {
|
|
entry:
|
|
switch i32 %n, label %sw.epilog [
|
|
i32 0, label %sw.bb
|
|
i32 1, label %sw.bb.1
|
|
i32 2, label %sw.bb
|
|
i32 3, label %sw.bb.1
|
|
]
|
|
|
|
sw.bb: ; preds = %entry, %entry
|
|
tail call void @foo0()
|
|
br label %sw.epilog
|
|
|
|
sw.bb.1: ; preds = %entry, %entry
|
|
tail call void @foo1()
|
|
br label %sw.epilog
|
|
|
|
sw.epilog: ; preds = %entry, %sw.bb, %sw.bb.1
|
|
ret void
|
|
}
|