diff options
| author | Guillaume Melquiond | 2020-12-27 14:55:17 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-01-10 10:24:10 +0100 |
| commit | 5820a964a5b380d82923be7905cdacd6fa6bd6c3 (patch) | |
| tree | 13854701b6ad63b08c49ebf29a9078f917829cdd /kernel/vmbytegen.ml | |
| parent | d1215d47c3cda09f4df2f07ce9362b3e6fc5b164 (diff) | |
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.
Diffstat (limited to 'kernel/vmbytegen.ml')
| -rw-r--r-- | kernel/vmbytegen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vmbytegen.ml b/kernel/vmbytegen.ml index 70c92fd8f0..20de4bc81b 100644 --- a/kernel/vmbytegen.ml +++ b/kernel/vmbytegen.ml @@ -569,7 +569,7 @@ let rec compile_lam env cenv lam sz cont = | Lprod (dom,codom) -> let cont1 = - Kpush :: compile_lam env cenv dom (sz+1) (Kmakeprod :: cont) in + Kpush :: compile_lam env cenv dom (sz+1) (Kmakeblock (2,0) :: cont) in compile_lam env cenv codom sz cont1 | Llam (ids,body) -> |