Encoding:

MSA

011110

1111

df

wt

ws

wd

3RF

011010

6

4

1

5

5

5

6

Format: 

FSULE.df

Vector Floating-Point Signaling Compare Unordered or Less or Equal

FSULE.W wd,ws,wt

MSA

Vector Floating-Point Signaling Compare Unordered or Less or Equal

FSULE.D wd,ws,wt

MSA

Vector Floating-Point Signaling Compare Unordered or Less or Equal

Purpose:

Vector Floating-Point Signaling Compare Unordered or Less or Equal

Vector to vector floating-point signaling compare for unordered or less than or equal; if true all destination bits are set, otherwise clear.

Description: 

wd[i] = (ws[i] <=?(signaling) wt[i])

Set all bits to 1 in wd elements if the corresponding ws floating-point elements are unordered or less than or equal to wt floating-point elements, otherwise set all bits to 0.

The signaling compare operation is defined by the IEEE Standard for Floating-Point Arithmetic 754TM-2008.

The Inexact Exception is not signaled when subnormal input operands are flushed based on the flush-to-zero bit FS in

MSA Control and Status Register MSACSR. In case of a floating-point exception, the default result has all bits set to

1.

The operands are values in floating-point data format df. The results are values in integer data format df.

Restrictions:

Data-dependent exceptions are poss ible as s pecified by the I EEE Standard for Floating-Point Arithmetic 754TM

2008.

Operation: 

FSULE.W
   for i in 0 .. WRLEN/32-1
      c = UnorderedSigFP(WR[ws]32i+31..32i, WR[wt]32i+31..32i, 32)
      d = LessSigFP(WR[ws]32i+31..32i, WR[wt]32i+31..32i, 32)
      e = EqualSigFP(WR[ws]32i+31..32i, WR[wt]32i+31..32i, 32)
      WR[wd]32i+31..32i = (c | d | e)32
   endfor
FSULE.D
   for i in 0 .. WRLEN/64-1
      c = UnorderedSigFP(WR[ws]64i+63..64i, WR[wt]64i+63..64i, 64)
      d = LessSigFP(WR[ws]64i+63..64i, WR[wt]64i+63..64i, 64)
      e = EqualSigFP(WR[ws]64i+63..64i, WR[wt]64i+63..64i, 64)
      WR[wd]64i+63..64i = (c | d | e)64
   endfor
function UnorderedSigFP(tt, ts, n)
   /* Implementation defined signaling unordered compare operation. */
endfunction UnorderedSigFP
function LessThanSigFP(tt, ts, n)
   /* Implementation defined signaling less than compare operation. */
endfunction LessThanSigFP
function EqualSigFP(tt, ts, n)
   /* Implementation defined signaling equal compare operation. */
endfunction EqualSigFP

Exceptions:

Reserved Instruction Exception, MSA Disabled Exception, MSA Floating Point Exception.