From 5820a964a5b380d82923be7905cdacd6fa6bd6c3 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 27 Dec 2020 14:55:17 +0100
Subject: Remove MAKEPROD.

MAKEPROD is just MAKEBLOCK2(0), but one word shorter. Since this opcode is
never encountered in the fast path, this optimization is not worth the
extra complexity.
---
 kernel/vmemitcodes.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/vmemitcodes.ml')

diff --git a/kernel/vmemitcodes.ml b/kernel/vmemitcodes.ml
index 85b5ca03e5..d3af8bf09b 100644
--- a/kernel/vmemitcodes.ml
+++ b/kernel/vmemitcodes.ml
@@ -337,8 +337,6 @@ let emit_instr env = function
       if Int.equal n 0 then invalid_arg "emit_instr : block size = 0"
       else if n < 4 then (out env(opMAKEBLOCK1 + n - 1); out_int env t)
       else (out env opMAKEBLOCK; out_int env n; out_int env t)
-  | Kmakeprod ->
-      out env opMAKEPROD
   | Kmakeswitchblock(typlbl,swlbl,annot,sz) ->
       out env opMAKESWITCHBLOCK;
       out_label env typlbl; out_label env swlbl;
-- 
cgit v1.2.3