[PATCH] D43742: [WebAssembly] Gather EH instructions in one place. NFC.
Heejin Ahn via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sun Feb 25 06:34:03 PST 2018
aheejin created this revision.
aheejin added a reviewer: dschuff.
Herald added subscribers: llvm-commits, sunfish, jgravelle-google, sbc100, jfb.
- Gather EH instructions in one place for easy tracking (more will be added later)
- Variable name change
Repository:
rL LLVM
https://reviews.llvm.org/D43742
Files:
lib/Target/WebAssembly/WebAssemblyInstrControl.td
Index: lib/Target/WebAssembly/WebAssemblyInstrControl.td
===================================================================
--- lib/Target/WebAssembly/WebAssemblyInstrControl.td
+++ lib/Target/WebAssembly/WebAssemblyInstrControl.td
@@ -57,19 +57,17 @@
}
} // isTerminator = 1, hasCtrlDep = 1, isBarrier = 1
-// Placemarkers to indicate the start or end of a block, loop, or try scope.
+// Placemarkers to indicate the start or end of a block or loop scope.
// These use/clobber VALUE_STACK to prevent them from being moved into the
// middle of an expression tree.
let Uses = [VALUE_STACK], Defs = [VALUE_STACK] in {
def BLOCK : I<(outs), (ins Signature:$sig), [], "block \t$sig", 0x02>;
def LOOP : I<(outs), (ins Signature:$sig), [], "loop \t$sig", 0x03>;
-def TRY : I<(outs), (ins Signature:$sig), [], "try \t$sig", 0x06>;
-// END_BLOCK, END_LOOP, END_TRY, and END_FUNCTION are represented with the same
-// opcode in wasm.
+// END_BLOCK, END_LOOP, and END_FUNCTION are represented with the same opcode in
+// wasm.
def END_BLOCK : I<(outs), (ins), [], "end_block", 0x0b>;
def END_LOOP : I<(outs), (ins), [], "end_loop", 0x0b>;
-def END_TRY : I<(outs), (ins), [], "end_try", 0x0b>;
let isTerminator = 1, isBarrier = 1 in
def END_FUNCTION : I<(outs), (ins), [], "end_function", 0x0b>;
} // Uses = [VALUE_STACK], Defs = [VALUE_STACK]
@@ -113,18 +111,30 @@
} // isReturn = 1
def UNREACHABLE : I<(outs), (ins), [(trap)], "unreachable", 0x00>;
+} // isTerminator = 1, hasCtrlDep = 1, isBarrier = 1
-def THROW_I32 : I<(outs), (ins i32imm:$tag, I32:$obj),
- [(int_wasm_throw imm:$tag, I32:$obj)], "throw \t$tag, $obj",
+//===----------------------------------------------------------------------===//
+// Exception handling instructions
+//===----------------------------------------------------------------------===//
+
+// Throwing an exception: throw / rethrow
+let isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in {
+def THROW_I32 : I<(outs), (ins i32imm:$tag, I32:$val),
+ [(int_wasm_throw imm:$tag, I32:$val)], "throw \t$tag, $val",
0x08>;
-def THROW_I64 : I<(outs), (ins i32imm:$tag, I64:$obj),
- [(int_wasm_throw imm:$tag, I64:$obj)], "throw \t$tag, $obj",
+def THROW_I64 : I<(outs), (ins i32imm:$tag, I64:$val),
+ [(int_wasm_throw imm:$tag, I64:$val)], "throw \t$tag, $val",
0x08>;
def RETHROW : I<(outs), (ins i32imm:$rel_depth), [], "rethrow \t$rel_depth",
0x09>;
-
} // isTerminator = 1, hasCtrlDep = 1, isBarrier = 1
+// Region within which an exception is caught: try / end_try
+let Uses = [VALUE_STACK], Defs = [VALUE_STACK] in {
+def TRY : I<(outs), (ins Signature:$sig), [], "try \t$sig", 0x06>;
+def END_TRY : I<(outs), (ins), [], "end_try", 0x0b>;
+} // Uses = [VALUE_STACK], Defs = [VALUE_STACK]
+
} // Defs = [ARGUMENTS]
// rethrow takes a relative depth as an argument, for which currently only 0 is
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D43742.135822.patch
Type: text/x-patch
Size: 3016 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180225/0029fb16/attachment.bin>
More information about the llvm-commits
mailing list