diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-18 22:33:20 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-01 09:07:45 +0100 |
| commit | 5e7e4bdd97fc0f363762847fced34583ba47c9d0 (patch) | |
| tree | 424b42242aafa364343767bf3491e292c52ceedb /Documentation | |
| parent | 29f889c3980d4f36f9f87a667b3ba597d97cbf82 (diff) | |
| download | sparse-dev-5e7e4bdd97fc0f363762847fced34583ba47c9d0.tar.gz | |
IR: remove never-generated instructions
Some of the IR instructions have been defined but are
never generated.
Remove them as they have no purposes.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/IR.md | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Documentation/IR.md b/Documentation/IR.md index 44893ade..b9749dff 100644 --- a/Documentation/IR.md +++ b/Documentation/IR.md @@ -354,13 +354,3 @@ No-op (should never be generated). #### OP_DEATHNOTE Annotation telling the pseudo will be death after the next instruction (other than some other annotation, that is). - -### Unused ops -#### OP_VANEXT -#### OP_VAARG -#### OP_MALLOC -#### OP_FREE -#### OP_ALLOCA -#### OP_GET_ELEMENT_PTR -#### OP_INVOKE -#### OP_UNWIND |