From: Jacob Lifshay Date: Mon, 7 Aug 2023 21:08:07 +0000 (-0700) Subject: Revert "demo moving pseudocode to separate file" X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f24c440c9059fe2decf68603bf5494c7b1b129df;p=openpower-isa.git Revert "demo moving pseudocode to separate file" reverting because split-insns.sh won't support [[!inline]] already existing This reverts commit b5d9084971dd761683a3a164af24c673a608aa23. --- diff --git a/openpower/isa/av.mdwn b/openpower/isa/av.mdwn index 89c67c86..94c3e1c8 100644 --- a/openpower/isa/av.mdwn +++ b/openpower/isa/av.mdwn @@ -10,7 +10,36 @@ MM-Form Pseudo-code: -[[!inline pagenames="openpower/isa/av/minmax." raw="yes"]] + a <- (RA|0) + b <- (RB) + if MMM[0] then # word mode + # shift left by XLEN/2 to make the dword comparison + # do word comparison of the original inputs + a <- a[XLEN/2:XLEN-1] || [0] * XLEN/2 + b <- b[XLEN/2:XLEN-1] || [0] * XLEN/2 + if MMM[1] then # signed mode + # invert sign bits to make the unsigned comparison + # do signed comparison of the original inputs + a[0] <- ¬a[0] + b[0] <- ¬b[0] + # if Rc = 1 then store the result of comparing a and b to CR0 + if Rc = 1 then + if a u b then + CR0 <- 0b010 || XER[SO] + if MMM[2] then # max mode + # swap a and b to make the less than comparison do + # greater than comparison of the original inputs + t <- a + a <- b + b <- t + # store the entire selected source (even in word mode) + # if Rc = 1 then store the result of comparing a and b to CR0 + if a u b then - CR0 <- 0b010 || XER[SO] - if MMM[2] then # max mode - # swap a and b to make the less than comparison do - # greater than comparison of the original inputs - t <- a - a <- b - b <- t - # store the entire selected source (even in word mode) - # if Rc = 1 then store the result of comparing a and b to CR0 - if a