From: Jacob Lifshay Date: Fri, 3 Mar 2023 05:33:56 +0000 (-0800) Subject: remove trailing spaces X-Git-Tag: opf_rfc_ls001_v3~203 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=212acce37305e7025a4d139957b8ffd39f420799;p=libreriscv.git remove trailing spaces --- diff --git a/openpower/sv/rfc/ls003.mdwn b/openpower/sv/rfc/ls003.mdwn index 86ccbaac3..3d7615a9e 100644 --- a/openpower/sv/rfc/ls003.mdwn +++ b/openpower/sv/rfc/ls003.mdwn @@ -1,4 +1,4 @@ -# RFC ls003 Big Integer +# RFC ls003 Big Integer **URLs**: @@ -81,7 +81,7 @@ TODO: address Jacob's comments: https://libre-soc.org/irclog/%23libre-soc.2022-1 1. It is not practical to add Rc=1 variants as VA-Form is used and there is a **pair** of results produced. 2. An overflow variant (XER.OV set) of `divmod2du` would be valuable - but VA-Form EXT004 is under severe pressure. + but VA-Form EXT004 is under severe pressure. 3. Both `maddhdu` and `divmod2du` instructions have been present in Intel x86 for several decades. Likewise, variants of `dsld` and `dsrd`. 4. None of these instruction is present in VSX: these are 128/64 whereas @@ -371,8 +371,8 @@ Pseudo-code: n <- (RB)[58:63] # Take lower 6-bits for shift v <- ROTL64((RA), 64-n) # Rotate RA 64-bit left by 64-n bits - mask <- MASK(n, 63) # 0's mask, set mask[n:63] to 1' - RT <- (v[0:63] & mask) | ((RC) & ¬mask) # + mask <- MASK(n, 63) # 0's mask, set mask[n:63] to 1' + RT <- (v[0:63] & mask) | ((RC) & ¬mask) # RS <- v[0:63] & ¬mask overflow = 0 if RS != [0]*64: