-# Rotate Left Word Immediate then AND with Mask M-form
+# Rotate Left Word Immediate then AND with Mask
-rlwinm RA,RS,SH,MB,ME (Rc=0)
+M-form
-rlwinm. RA,RS,SH,MB,ME (Rc=1)
+* rlwinm RA,RS,SH,MB,ME (Rc=0)
+* rlwinm. RA,RS,SH,MB,ME (Rc=1)
n <- SH
r <- ROTL32((RS)[32:63], n)
m <- MASK(MB+32, ME+32)
RA <- r & m
-# Rotate Left Word then AND with Mask
+Special Registers Altered:
-rlwnm RA,RS,RB,MB,ME (Rc=0)
+ CR0 (if Rc=1)
-rlwnm. RA,RS,RB,MB,ME (Rc=1)
+# Rotate Left Word then AND with Mask
+
+M-form
+
+* rlwnm RA,RS,RB,MB,ME (Rc=0)
+* rlwnm. RA,RS,RB,MB,ME (Rc=1)
n <- (RB)[59:63]
r <- ROTL32((RS)[32:63], n)
m <- MASK(MB+32, ME+32)
RA <- r & m
-# Rotate Left Word Immediate then Mask Insert
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-rlwimi RA,RS,SH,MB,ME (Rc=0)
+# Rotate Left Word Immediate then Mask Insert
-rlwimi. RA,RS,SH,MB,ME (Rc=1)
+M-form
+
+* rlwimi RA,RS,SH,MB,ME (Rc=0)
+* rlwimi. RA,RS,SH,MB,ME (Rc=1)
n <- SH
r <- ROTL32((RS)[32:63], n)
m <- MASK(MB+32, ME+32)
RA <- r&m | (RA) & ¬m
-# Rotate Left Doubleword Immediate then Clear Left
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-rldicl RA,RS,SH,MB (Rc=0)
+# Rotate Left Doubleword Immediate then Clear Left
-rldicl. RA,RS,SH,MB (Rc=1)
+MD-form
+
+* rldicl RA,RS,SH,MB (Rc=0)
+* rldicl. RA,RS,SH,MB (Rc=1)
n <- sh[5] || sh[0:4]
r <- ROTL64((RS), n)
m <- MASK(b, 63)
RA <- r & m
-# Rotate Left Doubleword Immediate then Clear Right
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-rldicr RA,RS,SH,ME (Rc=0)
+# Rotate Left Doubleword Immediate then Clear Right
-rldicr. RA,RS,SH,ME (Rc=1)
+MD-form
+
+* rldicr RA,RS,SH,ME (Rc=0)
+* rldicr. RA,RS,SH,ME (Rc=1)
n <- sh[5] || sh[0:4]
r <- ROTL64((RS), n)
m <- MASK(0, e)
RA <- r & m
-# Rotate Left Doubleword Immediate then Clear
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-rldic RA,RS,SH,MB (Rc=0)
+# Rotate Left Doubleword Immediate then Clear
-rldic. RA,RS,SH,MB (Rc=1)
+MD-form
+
+* rldic RA,RS,SH,MB (Rc=0)
+* rldic. RA,RS,SH,MB (Rc=1)
n <- sh[5] || sh[0:4]
r <- ROTL64((RS), n)
m <- MASK(b, ¬n)
RA <- r & m
-# Rotate Left Doubleword then Clear Left
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-rldcl RA,RS,RB,MB (Rc=0)
+# Rotate Left Doubleword then Clear Left
-rldcl. RA,RS,RB,MB (Rc=1)
+MDS-form
+
+* rldcl RA,RS,RB,MB (Rc=0)
+* rldcl. RA,RS,RB,MB (Rc=1)
n <- (RB)[58:63]
r <- ROTL64((RS), n)
m <- MASK(b, 63)
RA <- r & m
-# Rotate Left Doubleword then Clear Right
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-rldcr RA,RS,RB,ME (Rc=0)
+# Rotate Left Doubleword then Clear Right
-rldcr. RA,RS,RB,ME (Rc=1)
+MDS-form
+
+* rldcr RA,RS,RB,ME (Rc=0)
+* rldcr. RA,RS,RB,ME (Rc=1)
n <- (RB)[58:63]
r <- ROTL64((RS), n)
m <- MASK(0, e)
RA <- r & m
-# Rotate Left Doubleword Immediate then Mask Insert
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-rldimi RA,RS,SH,MB (Rc=0)
+# Rotate Left Doubleword Immediate then Mask Insert
-rldimi. RA,RS,SH,MB (Rc=1)
+MD-form
+
+* rldimi RA,RS,SH,MB (Rc=0)
+* rldimi. RA,RS,SH,MB (Rc=1)
n <- sh[5] || sh[0:4]
r <- ROTL64((RS), n)
m <- MASK(b, ¬n)
RA <- r&m | (RA)& ¬m
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-# Shift Left Word
-slw RA,RS,RB (Rc=0)
+# Shift Left Word
-slw. RA,RS,RB (Rc=1)
+X-form
+
+* slw RA,RS,RB (Rc=0)
+* slw. RA,RS,RB (Rc=1)
n <- (RB)[59:63]
r <- ROTL32((RS)[32:63], n)
else m <- [0]*64
RA <- r & m
+Special Registers Altered:
+
+ CR0 (if Rc=1)
-# Shift Right Word
+# Shift Right Word
-srw RA,RS,RB (Rc=0)
+X-form
-srw. RA,RS,RB (Rc=1)
+* srw RA,RS,RB (Rc=0)
+* srw. RA,RS,RB (Rc=1)
n <- (RB)[59:63]
r <- ROTL32((RS)[32:63], 64-n)
else m <- [0]*64
RA <- r & m
-# Shift Right Algebraic Word Immediate
-
-srawi RA,RS,SH (Rc=0)
+Special Registers Altered:
+
+ CR0 (if Rc=1)
+
+# Shift Right Algebraic Word Immediate
+
+X-form
-srawi. RA,RS,SH (Rc=1)
+* srawi RA,RS,SH (Rc=0)
+* srawi. RA,RS,SH (Rc=1)
n <- SH
r <- ROTL32((RS)[32:63], 64-n)
CA <- carry
CA32 <- carry
-# Shift Right Algebraic Word
+Special Registers Altered:
-sraw RA,RS,RB (Rc=0)
+ CA CA32
+ CR0 (if Rc=1)
-sraw. RA,RS,RB (Rc=1)
+# Shift Right Algebraic Word
+
+X-form
+
+* sraw RA,RS,RB (Rc=0)
+* sraw. RA,RS,RB (Rc=1)
n <- (RB)[59:63]
r <- ROTL32((RS)[32:63], 64-n)
CA <- carry
CA32 <- carry
-# Shift Left Doubleword
+Special Registers Altered:
+
+ CA CA32
+ CR0 (if Rc=1)
+
+# Shift Left Doubleword
-sld RA,RS,RB (Rc=0)
+X-form
-sld. RA,RS,RB (Rc=1)
+* sld RA,RS,RB (Rc=0)
+* sld. RA,RS,RB (Rc=1)
n <- (RB)[58:63]
r <- ROTL64((RS), n)
else m <- [0]*64
RA <- r & m
+Special Registers Altered:
-# Shift Right Doubleword
+ CR0 (if Rc=1)
-srd RA,RS,RB (Rc=0)
+# Shift Right Doubleword
-srd. RA,RS,RB (Rc=1)
+X-form
+
+* srd RA,RS,RB (Rc=0)
+* srd. RA,RS,RB (Rc=1)
n <- (RB)[58:63]
r <- ROTL64((RS), 64-n)
else m <- [0]*64
RA <- r & m
+Special Registers Altered:
+
+ CR0 (if Rc=1)
+
# Shift Right Algebraic Doubleword Immediate
-sradi RA,RS,SH (Rc=0)
+XS-form
-sradi. RA,RS,SH (Rc=1)
+* sradi RA,RS,SH (Rc=0)
+* sradi. RA,RS,SH (Rc=1)
n <- sh[5] || sh[0:4]
r <- ROTL64((RS), 64-n)
CA <- carry
CA32 <- carry
+Special Registers Altered:
+
+ CA CA32
+ CR0 (if Rc=1)
-# Shift Right Algebraic Doubleword
+# Shift Right Algebraic Doubleword
-srad RA,RS,RB (Rc=0)
+X-form
-srad. RA,RS,RB (Rc=1)
+* srad RA,RS,RB (Rc=0)
+* srad. RA,RS,RB (Rc=1)
n <- (RB)[58:63]
r <- ROTL64((RS), 64-n)
CA <- carry
CA32 <- carry
-# Extend-Sign Word and Shift Left Immediate
+Special Registers Altered:
-extswsli RA,RS,SH (Rc=0)
+ CA CA32
+ CR0 (if Rc=1)
-extswsli. RA,RS,SH (Rc=1)
+# Extend-Sign Word and Shift Left Immediate
+
+XS-form
+
+* extswsli RA,RS,SH (Rc=0)
+* extswsli. RA,RS,SH (Rc=1)
n <- sh[5] || sh[0:4]
r <- ROTL64(EXTS64(RS[32:63]), n)
m <- MASK(0, 63-n)
RA <- r & m
+Special Registers Altered:
+
+ CR0 (if Rc=1)
+
projects / libreriscv.git / commitdiff