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 /linearize.h | |
| 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 'linearize.h')
| -rw-r--r-- | linearize.h | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/linearize.h b/linearize.h index 01f459ab..5162e6c2 100644 --- a/linearize.h +++ b/linearize.h @@ -142,10 +142,8 @@ enum opcode { OP_BR, OP_CBR, OP_SWITCH, - OP_INVOKE, OP_COMPUTEDGOTO, - OP_UNWIND, - OP_TERMINATOR_END = OP_UNWIND, + OP_TERMINATOR_END = OP_COMPUTEDGOTO, /* Binary */ OP_BINARY, @@ -212,15 +210,11 @@ enum opcode { OP_SEL, /* Memory */ - OP_MALLOC, - OP_FREE, - OP_ALLOCA, OP_LOAD, OP_STORE, OP_SETVAL, OP_SETFVAL, OP_SYMADDR, - OP_GET_ELEMENT_PTR, /* Other */ OP_PHI, @@ -231,8 +225,6 @@ enum opcode { OP_PTRCAST, OP_INLINED_CALL, OP_CALL, - OP_VANEXT, - OP_VAARG, OP_SLICE, OP_NOP, OP_DEATHNOTE, |