* switch: switch statement with fallthrough
*/
+let isBranch = 1, isTerminator = 1, hasCtrlDep = 1 in {
+def BRIF : I<(outs), (ins bb_op:$dst, I32:$a),
+ [(brcond I32:$a, bb:$dst)]>;
+let isBarrier = 1 in {
+def BR : I<(outs), (ins bb_op:$dst),
+ [(br bb:$dst)]>;
+} // isBarrier = 1
+} // isBranch = 1, isTerminator = 1, hasCtrlDep = 1
+
+// TODO: SelectionDAG's lowering insists on using a pointer as the index for
+// jump tables, so in practice we don't ever use SWITCH_I64 in wasm32 mode
+// currently.
+let isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in {
+def SWITCH_I32 : I<(outs), (ins I32:$index, variable_ops),
+ [(WebAssemblyswitch I32:$index)]>;
+def SWITCH_I64 : I<(outs), (ins I64:$index, variable_ops),
+ [(WebAssemblyswitch I64:$index)]>;
+} // isTerminator = 1, hasCtrlDep = 1, isBarrier = 1
+
+// Placemarkers to indicate the start of a block or loop scope.
+def BLOCK : I<(outs), (ins bb_op:$dst), []>;
+def LOOP : I<(outs), (ins bb_op:$dst), []>;
+
multiclass RETURN<WebAssemblyRegClass vt> {
def RETURN_#vt : I<(outs), (ins vt:$val), [(WebAssemblyreturn vt:$val)]>;
}
-let hasSideEffects = 1, isReturn = 1, isTerminator = 1, hasCtrlDep = 1,
- isBarrier = 1 in {
- defm : RETURN<Int32>;
- defm : RETURN<Int64>;
- defm : RETURN<Float32>;
- defm : RETURN<Float64>;
+let isReturn = 1, isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in {
+ defm : RETURN<I32>;
+ defm : RETURN<I64>;
+ defm : RETURN<F32>;
+ defm : RETURN<F64>;
def RETURN_VOID : I<(outs), (ins), [(WebAssemblyreturn)]>;
-} // hasSideEffects = 1, isReturn = 1, isTerminator = 1, hasCtrlDep = 1,
- // isBarrier = 1
+} // isReturn = 1, isTerminator = 1, hasCtrlDep = 1, isBarrier = 1