diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-03-18 00:15:11 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-03-20 00:52:39 +0100 |
| commit | 326046a5850b2a50769f1c787b293f0ed7564aa9 (patch) | |
| tree | 9bb650de8f54cfa918df5500142aae0d48611924 /Documentation | |
| parent | 0095a95a31bb0acd57ce91b55c53a5d95de775d2 (diff) | |
| download | sparse-dev-326046a5850b2a50769f1c787b293f0ed7564aa9.tar.gz | |
add instruction OP_UNREACH
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/IR.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/IR.rst b/Documentation/IR.rst index 9d6f2299..33a76166 100644 --- a/Documentation/IR.rst +++ b/Documentation/IR.rst @@ -47,6 +47,9 @@ Terminators * .type: type of .cond, must be an integral type * .multijmp_list: pairs of case-value - destination basic block +.. op:: OP_UNREACH + Mark code as unreachable + .. op:: OP_COMPUTEDGOTO Computed goto / branch to register |