riscv/model/riscv.sml

7038     val f2 = FPRS rs2
7040       case FP32.compare(f1,f2) of
7043        | IEEEReal.GREATER => f2
7045          if ((FP32_IsSignalingNan f1) orelse (FP32_IsSignalingNan f2)) orelse
7046             ((f1 = RV32_CanonicalNan) andalso (f2 = RV32_CanonicalNan))
7048          else if f1 = RV32_CanonicalNan then f2 else f1
7056     val f2 = FPRS rs2
7058       case FP32.compare(f1,f2) of
7059          IEEEReal.LESS => f2
7060        | IEEEReal.EQUAL => f2
7063          if ((FP32_IsSignalingNan f1) orelse (FP32_IsSignalingNan f2)) orelse
7064             ((f1 = RV32_CanonicalNan) andalso (f2 = RV32_CanonicalNan))
7066          else if f1 = RV32_CanonicalNan then f2 else f1
7250     val f2 = FPRS rs2
7253       (rd,BitsN.@@(BitsN.fromBit(FP32_Sign f2),BitsN.bits(30,0) f1))
7259     val f2 = FPRS rs2
7262       (rd,BitsN.@@(BitsN.fromBit(not(FP32_Sign f2)),BitsN.bits(30,0) f1))
7268     val f2 = FPRS rs2
7274             (BitsN.fromBit(FP32_Sign f2),BitsN.fromBit(FP32_Sign f1)),
7285     val f2 = FPRS rs2
7287     if (FP32_IsSignalingNan f1) orelse (FP32_IsSignalingNan f2)
7300              case FP32.compare(f1,f2) of
7319     val f2 = FPRS rs2
7321     if (FP32.isNan f1) orelse (FP32.isNan f2)
7334              case FP32.compare(f1,f2) of
7353     val f2 = FPRS rs2
7355     if (FP32.isNan f1) orelse (FP32.isNan f2)
7368              case FP32.compare(f1,f2) of
7528     val f2 = FPRD rs2
7530       case FP64.compare(f1,f2) of
7533        | IEEEReal.GREATER => f2
7535          if ((FP64_IsSignalingNan f1) orelse (FP64_IsSignalingNan f2)) orelse
7536             ((f1 = RV64_CanonicalNan) andalso (f2 = RV64_CanonicalNan))
7538          else if f1 = RV64_CanonicalNan then f2 else f1
7546     val f2 = FPRD rs2
7548       case FP64.compare(f1,f2) of
7549          IEEEReal.LESS => f2
7550        | IEEEReal.EQUAL => f2
7553          if ((FP64_IsSignalingNan f1) orelse (FP64_IsSignalingNan f2)) orelse
7554             ((f1 = RV64_CanonicalNan) andalso (f2 = RV64_CanonicalNan))
7556          else if f1 = RV64_CanonicalNan then f2 else f1
7750     val f2 = FPRD rs2
7753       (rd,BitsN.@@(BitsN.fromBit(FP64_Sign f2),BitsN.bits(62,0) f1))
7759     val f2 = FPRD rs2
7762       (rd,BitsN.@@(BitsN.fromBit(not(FP64_Sign f2)),BitsN.bits(62,0) f1))
7768     val f2 = FPRD rs2
7774             (BitsN.fromBit(FP64_Sign f2),BitsN.fromBit(FP64_Sign f1)),
7785     val f2 = FPRD rs2
7787     if (FP64_IsSignalingNan f1) orelse (FP64_IsSignalingNan f2)
7800              case FP64.compare(f1,f2) of
7819     val f2 = FPRD rs2
7821     if (FP64.isNan f1) orelse (FP64.isNan f2)
7834              case FP64.compare(f1,f2) of
7853     val f2 = FPRD rs2
7855     if (FP64.isNan f1) orelse (FP64.isNan f2)
7868              case FP64.compare(f1,f2) of
13871 fun R4type (o',(f3,(rd,(rs1,(rs2,(rs3,f2)))))) =
13872   BitsN.concat[rs3,f2,rs2,rs1,f3,rd,o'];