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) ->