From fdd16113a042170022dce276e53e7a3308c0451c Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 30 Aug 2020 09:05:39 +0200
Subject: Remove unchecked arithmetic operations from VM, as they are not used.

---
 kernel/genOpcodeFiles.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'kernel/genOpcodeFiles.ml')

diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index f052e03cde..b48084109b 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -104,11 +104,9 @@ let opcodes =
     "MAKEPROD";
     "BRANCH";
     "CHECKADDINT63";
-    "ADDINT63";
     "CHECKADDCINT63";
     "CHECKADDCARRYCINT63";
     "CHECKSUBINT63";
-    "SUBINT63";
     "CHECKSUBCINT63";
     "CHECKSUBCARRYCINT63";
     "CHECKMULINT63";
@@ -127,9 +125,7 @@ let opcodes =
     "CHECKLSRINT63CONST1";
     "CHECKEQINT63";
     "CHECKLTINT63";
-    "LTINT63";
     "CHECKLEINT63";
-    "LEINT63";
     "CHECKCOMPAREINT63";
     "CHECKHEAD0INT63";
     "CHECKTAIL0INT63";
@@ -139,9 +135,7 @@ let opcodes =
     "CHECKABSFLOAT";
     "CHECKEQFLOAT";
     "CHECKLTFLOAT";
-    "LTFLOAT";
     "CHECKLEFLOAT";
-    "LEFLOAT";
     "CHECKCOMPAREFLOAT";
     "CHECKCLASSIFYFLOAT";
     "CHECKADDFLOAT";
-- 
cgit v1.2.3