1 //===- WebAssemblyInstrControl.td-WebAssembly control-flow ------*- tablegen -*-
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
11 /// \brief WebAssembly control-flow code-gen constructs.
13 //===----------------------------------------------------------------------===//
15 let isBranch = 1, isTerminator = 1, hasCtrlDep = 1 in {
16 def BR_IF : I<(outs), (ins bb_op:$dst, I32:$a),
17 [(brcond I32:$a, bb:$dst)],
19 let isBarrier = 1 in {
20 def BR : I<(outs), (ins bb_op:$dst),
24 } // isBranch = 1, isTerminator = 1, hasCtrlDep = 1
26 // TODO: SelectionDAG's lowering insists on using a pointer as the index for
27 // jump tables, so in practice we don't ever use SWITCH_I64 in wasm32 mode
29 let isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in {
30 def SWITCH_I32 : I<(outs), (ins I32:$index, variable_ops),
31 [(WebAssemblyswitch I32:$index)],
33 def SWITCH_I64 : I<(outs), (ins I64:$index, variable_ops),
34 [(WebAssemblyswitch I64:$index)],
36 } // isTerminator = 1, hasCtrlDep = 1, isBarrier = 1
38 // Placemarkers to indicate the start of a block or loop scope.
39 def BLOCK : I<(outs), (ins bb_op:$dst), [], "block $dst">;
40 def LOOP : I<(outs), (ins bb_op:$dst), [], "loop $dst">;
42 multiclass RETURN<WebAssemblyRegClass vt> {
43 def RETURN_#vt : I<(outs), (ins vt:$val), [(WebAssemblyreturn vt:$val)],
47 let isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in {
53 def RETURN_VOID : I<(outs), (ins), [(WebAssemblyreturn)], "return">;
55 def UNREACHABLE : I<(outs), (ins), [(trap)], "unreachable">;
56 } // isTerminator = 1, hasCtrlDep = 1, isBarrier = 1