From f93b2fe0a6db417a839a8b5e7d53a65281aa21eb Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Wed, 13 Nov 2019 11:07:39 +0100
Subject: [PATCH] Small optimizations

---
 Utils/Util.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Utils/Util.ml b/Utils/Util.ml
index 03203d7..1d6faff 100644
--- a/Utils/Util.ml
+++ b/Utils/Util.ml
@@ -20,15 +20,15 @@ external popcnt : int64 -> int32 = "popcnt_bytecode" "popcnt"
   [@@unboxed] [@@noalloc]
   (** popcnt instruction *)
 
-let popcnt i = popcnt i |> Int32.to_int 
+let popcnt i = (popcnt [@inlined] ) i |> Int32.to_int 
 
-external trailz : int64 -> int32 = "trailz_bytecode" "trailz"
+external trailz : int64 -> int32 = "trailz_bytecode" "trailz" "int"
   [@@unboxed] [@@noalloc]
   (** ctz instruction *)
 
 let trailz i = trailz i |> Int32.to_int 
 
-external leadz : int64 -> int32 = "leadz_bytecode" "leadz"
+external leadz : int64 -> int32 = "leadz_bytecode" "leadz" "int"
   [@@unboxed] [@@noalloc]
   (** bsf instruction *)