diff options
| author | Guillaume Melquiond | 2020-08-30 09:12:17 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-11-13 15:13:23 +0100 |
| commit | aebc10aab3581a0561f96de6b5db6d530a65e658 (patch) | |
| tree | fc77c92a0e39e4f77c4600ea4dc9e51f20a247b6 /kernel/vmemitcodes.ml | |
| parent | fdd16113a042170022dce276e53e7a3308c0451c (diff) | |
Remove some unused opcodes from VM.
Diffstat (limited to 'kernel/vmemitcodes.ml')
| -rw-r--r-- | kernel/vmemitcodes.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/kernel/vmemitcodes.ml b/kernel/vmemitcodes.ml index d0422dd324..ae2399c872 100644 --- a/kernel/vmemitcodes.ml +++ b/kernel/vmemitcodes.ml @@ -355,13 +355,8 @@ let emit_instr env = function out_label env lbl; slot_for_caml_prim env op - | Kareint 1 -> out env opISINT - | Kareint 2 -> out env opAREINT2; - | Kstop -> out env opSTOP - | Kareint _ -> assert false - (* Emission of a current list and remaining lists of instructions. Include some peephole optimization. *) let rec emit env insns remaining = match insns with |