dividend[0:(XLEN/2)-1] <- (RA)[XLEN/2:XLEN-1]
divisor[0:(XLEN/2)-1] <- (RB) [XLEN/2:XLEN-1]
if (((dividend = (0b1 || ([0b0] * ((XLEN/2)-1)))) &
- (divisor = [1]*XLEN/2)) |
- (divisor = [0]*XLEN/2)) then
+ (divisor = [1]*(XLEN/2))) |
+ (divisor = [0]*(XLEN/2))) then
RT[0:XLEN-1] <- undefined([0]*XLEN)
overflow <- 1
else
RT[XLEN/2:XLEN-1] <- DIVS(dividend, divisor)
- RT[0:(XLEN/2)-1] <- undefined([0]*XLEN/2)
+ RT[0:(XLEN/2)-1] <- undefined([0]*(XLEN/2))
overflow <- 0
Special Registers Altered: