diff options
| -rw-r--r-- | asmcomp/emit_alpha.mlp | 3 | ||||
| -rw-r--r-- | asmcomp/emit_hppa.mlp | 3 | ||||
| -rw-r--r-- | asmcomp/emit_power.mlp | 2 |
3 files changed, 3 insertions, 5 deletions
diff --git a/asmcomp/emit_alpha.mlp b/asmcomp/emit_alpha.mlp index 3e3e2ad66..323446d5a 100644 --- a/asmcomp/emit_alpha.mlp +++ b/asmcomp/emit_alpha.mlp @@ -176,8 +176,7 @@ let rec instr_uses_gp i = match i.desc with Lend -> false | Lop(Iconst_int n) -> - if Nativeint.cmp n (Nativeint.from (-0x8000000)) < 0 - || Nativeint.cmp n (Nativeint.from 0x7FFFFFFF) > 0 + if Nativeint.cmp n (-0x8000000) < 0 || Nativeint.cmp n 0x7FFFFFFF > 0 then true else instr_uses_gp i.next | Lop(Iconst_float s) -> true | Lop(Iconst_symbol s) -> true diff --git a/asmcomp/emit_hppa.mlp b/asmcomp/emit_hppa.mlp index 1fd7a07fe..988ea208b 100644 --- a/asmcomp/emit_hppa.mlp +++ b/asmcomp/emit_hppa.mlp @@ -147,8 +147,7 @@ let emit_imports () = let is_offset n = (n < 8192) && (n >= -8192) (* 14 bits *) let is_offset_native n = - Nativeint.cmp n (Nativeint.from 8192) < 0 && - Nativeint.cmp n (Nativeint.from -8192) >= 0 + Nativeint.cmp n 8192 < 0 && Nativeint.cmp n (-8192) >= 0 let emit_load instr addr arg dst = match addr with diff --git a/asmcomp/emit_power.mlp b/asmcomp/emit_power.mlp index 5191fffa4..081c3a917 100644 --- a/asmcomp/emit_power.mlp +++ b/asmcomp/emit_power.mlp @@ -329,7 +329,7 @@ let rec emit_instr i dslot = ` li {emit_reg i.res.(0)}, {emit_nativeint n}\n` else begin ` lis {emit_reg i.res.(0)}, {emit_int(nativehigh n)}\n`; - if low n <> 0 then + if nativelow n <> 0 then ` ori {emit_reg i.res.(0)}, {emit_reg i.res.(0)}, {emit_int(nativelow n)}\n` end | Lop(Iconst_float s) -> |