From c30ac68fb5d093c513c04280c695dc57562f5ba6 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Thu, 2 Apr 2020 15:35:15 +0100 Subject: [PATCH] add missing info --- openpower/isa/sprset.mdwn | 40 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn index 1fd49b6d2..723ad2693 100644 --- a/openpower/isa/sprset.mdwn +++ b/openpower/isa/sprset.mdwn @@ -1,5 +1,7 @@ # Move To Special Purpose Register +XFX-Form + * mtspr SPR,RS n <- spr[5:9] || spr[0:4] @@ -12,8 +14,13 @@ else SPR(n) <- (RS) [32:63] +Special Registers Altered: + See spec 3.3.17 + # Move From Special Purpose Register +XFX-Form + * mfspr RT,SPR n <- spr[5:9] || spr[0:4] @@ -26,14 +33,24 @@ else RT <- [0]*32 || SPR(n) +Special Registers Altered: + None + # Move to CR from XER Extended +X-Form + * mcrxrx BF CR[4×BF+32:4×BF+35] <- XER[OV] || XER[OV32] || XER[CA] || XER[CA32] +Special Registers Altered: + CR field BF + # Move To One Condition Register Field +XFX-Form + * mtocrf FXM,RS count <- 0 @@ -45,15 +62,25 @@ CR[4*n+32:4*n+35] <- (RS)[4*n+32:4*n+35] else CR <- undefined +Special Registers Altered: + CR field selected by FXM + # Move To Condition Register Fields +XFX-Form + * mtcrf FXM,RS mask <- FXM[0]*4 || FXM[1]*4 || ... FXM[7]*4 CR <- ((RS)[32:63] & mask) | (CR & ¬mask) +Special Registers Altered: + CR fields selected by mask + # Move From One Condition Register Field +XFX-Form + * mfocrf RT,FXM RT <- undefined @@ -66,14 +93,24 @@ RT <- [0]*64 RT[4 *n+32:4*n+35] <- CR[4*n+32:4* n+35] +Special Registers Altered: + None + # Move From Condition Register +XFX-Form + * mfcr RT RT <- [0]*32 || CR +Special Registers Altered: + None + # Set Boolean +X-Form + * setb RT,BFA if CR[4×BFA+32] = 1 then @@ -83,3 +120,6 @@ else RT <- 0x0000_0000_0000_0000 +Special Registers Altered: + None + -- 2.30.2