From 056e48f349b43c144cf6ee47f2b36e918b2be038 Mon Sep 17 00:00:00 2001 From: Andrew Scheidecker Date: Wed, 23 Sep 2015 07:11:03 -0400 Subject: [PATCH] renamed value -> bits --- ml-proto/src/spec/memory.ml | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/ml-proto/src/spec/memory.ml b/ml-proto/src/spec/memory.ml index 63a0cc98d5..6a93255a05 100644 --- a/ml-proto/src/spec/memory.ml +++ b/ml-proto/src/spec/memory.ml @@ -90,20 +90,20 @@ let load32 mem a = let load64 mem a = Int64.logor (Int64.of_int32 (load32 mem a)) (Int64.shift_left (Int64.of_int32 (load32 mem (a+4))) 32) -let store8 mem a value = - !mem.{a} <- Int32.to_int (Int32.logand value (Int32.of_int 255)) +let store8 mem a bits = + !mem.{a} <- Int32.to_int (Int32.logand bits (Int32.of_int 255)) -let store16 mem a value = - store8 mem (a+0) value; - store8 mem (a+1) (Int32.shift_right_logical value 8) +let store16 mem a bits = + store8 mem (a+0) bits; + store8 mem (a+1) (Int32.shift_right_logical bits 8) -let store32 mem a value = - store16 mem (a+0) value; - store16 mem (a+2) (Int32.shift_right_logical value 16) +let store32 mem a bits = + store16 mem (a+0) bits; + store16 mem (a+2) (Int32.shift_right_logical bits 16) -let store64 mem a value = - store32 mem (a+0) (Int64.to_int32 value); - store32 mem (a+4) (Int64.to_int32 (Int64.shift_right_logical value 32)) +let store64 mem a bits = + store32 mem (a+0) (Int64.to_int32 bits); + store32 mem (a+4) (Int64.to_int32 (Int64.shift_right_logical bits 32)) let load mem a memty ext = let open Types in