aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Documentation/IR.md
diff options
Diffstat (limited to 'Documentation/IR.md')
-rw-r--r--Documentation/IR.md10
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