From 0f8743609b6f7c01eea84e541537eae9b00f9335 Mon Sep 17 00:00:00 2001 From: Jade Philipoom Date: Tue, 17 Apr 2018 11:54:42 +0200 Subject: add instructions cc_m, rshi, and sub_with_get_borrow to pipeline in preparation for reifying barrett; tweaked definition of cc_l --- src/Util/ZUtil/Definitions.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Util/ZUtil') diff --git a/src/Util/ZUtil/Definitions.v b/src/Util/ZUtil/Definitions.v index 2c87a9497..67ccbc772 100644 --- a/src/Util/ZUtil/Definitions.v +++ b/src/Util/ZUtil/Definitions.v @@ -17,7 +17,7 @@ Module Z. Definition cc_m s x := if dec (2 ^ (Z.log2 s) = s) then x >> (Z.log2 s - 1) else x / (s / 2). (* least significant bit *) - Definition cc_l x := Z.land x (Z.ones 1). + Definition cc_l x := x mod 2. (* two-register right shift *) Definition rshi s hi lo n := -- cgit v1.2.3