From 620efa218f922eba23b19189109bec785a624a82 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Thu, 2 Apr 2020 17:26:48 +0100 Subject: [PATCH] minor formatting --- openpower/isa/comparefixed.mdwn | 24 ++++++++++++++---------- 1 file changed, 14 insertions(+), 10 deletions(-) diff --git a/openpower/isa/comparefixed.mdwn b/openpower/isa/comparefixed.mdwn index 3620a608f..0da0619c7 100644 --- a/openpower/isa/comparefixed.mdwn +++ b/openpower/isa/comparefixed.mdwn @@ -5,7 +5,7 @@ D-Form * cmpi BF,L,RA,SI if L = 0 then a <- EXTS((RA)[32:63]) - else a <- (RA) + else a <- (RA) if a < EXTS(SI) then c <- 0b100 else if a > EXTS(SI) then c <- 0b010 else c <- 0b001 @@ -21,10 +21,12 @@ X-Form * cmp BF,L,RA,RB - if L = 0 then a <- EXTS((RA)[32:63] ) - b <- EXTS((RB)[32:63]) - else a <- (RA) - b <- (RB) + if L = 0 then + a <- EXTS((RA)[32:63] ) + b <- EXTS((RB)[32:63]) + else + a <- (RA) + b <- (RB) if a < b then c <- 0b100 else if a > b then c <- 0b010 else c <- 0b001 @@ -41,7 +43,7 @@ D-Form * cmpli BF,L,RA,UI if L = 0 then a <- [0]*32 || (RA)[32:63] - else a <- (RA) + else a <- (RA) if a u ( [0]*48 || UI) then c <- 0b010 else c <- 0b001 @@ -57,10 +59,12 @@ X-Form * cmpl BF,L,RA,RB - if L = 0 then a <- [0]*32 || (RA)[32:63] - b <- [0]*32 || (RB)[32:63] - else a <- (RA) - b <- (RB) + if L = 0 then + a <- [0]*32 || (RA)[32:63] + b <- [0]*32 || (RB)[32:63] + else + a <- (RA) + b <- (RB) if a u b then c <- 0b010 else c <- 0b001 -- 2.30.2