From 926bc5c7b20468bd19fe214ebe35ae75d452c3a9 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Thu, 2 Apr 2020 15:48:12 +0100 Subject: [PATCH] formatting --- openpower/isa/comparefixed.mdwn | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/openpower/isa/comparefixed.mdwn b/openpower/isa/comparefixed.mdwn index 61382419c..44e54905b 100644 --- a/openpower/isa/comparefixed.mdwn +++ b/openpower/isa/comparefixed.mdwn @@ -2,7 +2,7 @@ D-Form -cmpi BF,L,RA,SI +* cmpi BF,L,RA,SI if L = 0 then a <- EXTS((RA)[32:63]) else a <- (RA) @@ -19,7 +19,7 @@ Special Registers Altered: X-Form -cmp BF,L,RA,RB +* cmp BF,L,RA,RB if L = 0 then a <- EXTS((RA)[32:63] ) b <- EXTS((RB)[32:63]) @@ -38,7 +38,7 @@ Special Registers Altered: D-Form -cmpli BF,L,RA,UI +* cmpli BF,L,RA,UI if L = 0 then a <- [0]*32 || (RA)[32:63] else a <- (RA) @@ -70,21 +70,18 @@ Special Registers Altered: X-form -cmprb BF,L,RA,RB +* cmprb BF,L,RA,RB src1 <- EXTZ((RA)[56:63]) - src21hi <- EXTZ((RB)[32:39]) src21lo <- EXTZ((RB)[40:47]) src22hi <- EXTZ((RB)[48:55]) src22lo <- EXTZ((RB)[56:63]) - if L=0 then in_range <- (src22lo <= src1) & (src1 <= src22hi) else in_range <- ((src21lo <= src1) & (src1 <= src21hi)) | in_range <- ((src22lo <= src1) & (src1 <= src22hi)) - CR[4×BF+32] <- 0b0 CR[4×BF+33] <- in_range CR[4×BF+34] <- 0b0 @@ -98,10 +95,9 @@ Special Registers Altered: X-form -cmpeqb BF,RA,RB +* cmpeqb BF,RA,RB src1 <- GPR[RA].bit[56:63] - match <- (src1 = (RB)[00:07]) | match <- (src1 = (RB)[08:15]) | match <- (src1 = (RB)[16:23]) | @@ -110,7 +106,6 @@ cmpeqb BF,RA,RB match <- (src1 = (RB)[40:47]) | match <- (src1 = (RB)[48:55]) | match <- (src1 = (RB)[56:63]) - CR[4×BF+32] <- 0b0 CR[4×BF+33] <- match CR[4×BF+34] <- 0b0 -- 2.30.2