From 2fd1d6bc76a49116251b7d7fed2e4db93b9570d4 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 18 Jan 2019 11:36:47 +0100 Subject: Minor bug in encode_imm --- mppa_k1c/PostpassSchedulingOracle.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'mppa_k1c/PostpassSchedulingOracle.ml') diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 19d4d962..a3851373 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -219,9 +219,9 @@ let signed_length i = let encode_imm imm = let i = Int64.to_int imm in let length = signed_length i - in if length <= 6 then U6 + in if length <= 7 then U6 (* Unsigned -> 1 bit less needed *) else if length <= 10 then S10 - else if length <= 32 then U27L5 + else if length <= 32 then U27L5 (* Upper 27 Lower 5 is signed *) else if length <= 37 then U27L10 else if length <= 64 then E27U27L10 else failwith @@ sprintf "encode_imm: integer too big! (%d)" i -- cgit