aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--sim/mips/ChangeLog11
-rw-r--r--sim/mips/mips.igen236
2 files changed, 115 insertions, 132 deletions
diff --git a/sim/mips/ChangeLog b/sim/mips/ChangeLog
index 1188aef..1de211c 100644
--- a/sim/mips/ChangeLog
+++ b/sim/mips/ChangeLog
@@ -1,3 +1,14 @@
+2002-02-04 Chris Demetriou <cgd@broadcom.com>
+
+ * mips.igen (check_fmt, check_fmt_p): New functions to check
+ whether specific floating point formats are usable.
+ (ABS.fmt, ADD.fmt, CEIL.L.fmt, CEIL.W, DIV.fmt, FLOOR.L.fmt)
+ (FLOOR.W.fmt, MOV.fmt, MUL.fmt, NEG.fmt, RECIP.fmt, ROUND.L.fmt)
+ (ROUND.W.fmt, RSQRT.fmt, SQRT.fmt, SUB.fmt, TRUNC.L.fmt, TRUNC.W):
+ Use the new functions.
+ (do_c_cond_fmt): Remove format checks...
+ (C.cond.fmta, C.cond.fmtb): And move them into all callers.
+
2002-02-03 Chris Demetriou <cgd@broadcom.com>
* mips.igen: Fix formatting of check_fpu calls.
diff --git a/sim/mips/mips.igen b/sim/mips/mips.igen
index 9a192bd..e03f226 100644
--- a/sim/mips/mips.igen
+++ b/sim/mips/mips.igen
@@ -3035,6 +3035,46 @@
}
}
+
+// Helpers:
+//
+// Check that the given FPU format is usable, and signal a
+// ReservedInstruction exception if not.
+//
+
+// check_fmt checks that the format is single or double.
+:function:::void:check_fmt:int fmt, instruction_word insn
+*mipsI:
+*mipsII:
+*mipsIII:
+*mipsIV:
+*mipsV:
+*vr4100:
+*vr5000:
+*r3900:
+{
+ if ((fmt != fmt_single) && (fmt != fmt_double))
+ SignalException (ReservedInstruction, insn);
+}
+
+// check_fmt_p checks that the format is single, double, or paired single.
+:function:::void:check_fmt_p:int fmt, instruction_word insn
+*mipsI:
+*mipsII:
+*mipsIII:
+*mipsIV:
+*mipsV:
+*vr4100:
+*vr5000:
+*r3900:
+{
+ /* None of these ISAs support Paired Single, so just fall back to
+ the single/double check. */
+ /* XXX FIXME: not true for mipsV, but we don't support .ps insns yet. */
+ check_fmt (SD_, fmt, insn);
+}
+
+
// Helper:
//
// Check that the FPU is currently usable, and signal a CoProcessorUnusable
@@ -3071,12 +3111,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt,AbsoluteValue(ValueFPR(FS,fmt),fmt));
- }
+ check_fmt_p (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,AbsoluteValue(ValueFPR(FS,fmt),fmt));
}
@@ -3094,12 +3130,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction, instruction_0);
- else
- StoreFPR(FD,fmt,Add(ValueFPR(FS,fmt),ValueFPR(FT,fmt),fmt));
- }
+ check_fmt_p (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,Add(ValueFPR(FS,fmt),ValueFPR(FT,fmt),fmt));
}
@@ -3170,38 +3202,33 @@
:function:::void:do_c_cond_fmt:int fmt, int ft, int fs, int cc, int cond, instruction_word insn
{
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException (ReservedInstruction, insn);
- else
+ int less;
+ int equal;
+ int unordered;
+ int condition;
+ unsigned64 ofs = ValueFPR (fs, fmt);
+ unsigned64 oft = ValueFPR (ft, fmt);
+ if (NaN (ofs, fmt) || NaN (oft, fmt))
{
- int less;
- int equal;
- int unordered;
- int condition;
- unsigned64 ofs = ValueFPR (fs, fmt);
- unsigned64 oft = ValueFPR (ft, fmt);
- if (NaN (ofs, fmt) || NaN (oft, fmt))
+ if (FCSR & FP_ENABLE (IO))
{
- if (FCSR & FP_ENABLE (IO))
- {
- FCSR |= FP_CAUSE (IO);
- SignalExceptionFPE ();
- }
- less = 0;
- equal = 0;
- unordered = 1;
+ FCSR |= FP_CAUSE (IO);
+ SignalExceptionFPE ();
}
- else
- {
- less = Less (ofs, oft, fmt);
- equal = Equal (ofs, oft, fmt);
- unordered = 0;
- }
- condition = (((cond & (1 << 2)) && less)
- || ((cond & (1 << 1)) && equal)
- || ((cond & (1 << 0)) && unordered));
- SETFCC (cc, condition);
+ less = 0;
+ equal = 0;
+ unordered = 1;
+ }
+ else
+ {
+ less = Less (ofs, oft, fmt);
+ equal = Equal (ofs, oft, fmt);
+ unordered = 0;
}
+ condition = (((cond & (1 << 2)) && less)
+ || ((cond & (1 << 1)) && equal)
+ || ((cond & (1 << 0)) && unordered));
+ SETFCC (cc, condition);
}
010001,10,3.FMT,5.FT,5.FS,3.0,00,11,4.COND:COP1:32,f::C.cond.fmta
@@ -3210,8 +3237,10 @@
*mipsII:
*mipsIII:
{
+ int fmt = FMT;
check_fpu (SD_);
- do_c_cond_fmt (SD_, FMT, FT, FS, 0, COND, instruction_0);
+ check_fmt_p (SD_, fmt, instruction_0);
+ do_c_cond_fmt (SD_, fmt, FT, FS, 0, COND, instruction_0);
}
010001,10,3.FMT,5.FT,5.FS,3.CC,00,11,4.COND:COP1:32,f::C.cond.fmtb
@@ -3223,8 +3252,10 @@
*vr5000:
*r3900:
{
+ int fmt = FMT;
check_fpu (SD_);
- do_c_cond_fmt (SD_, FMT, FT, FS, CC, COND, instruction_0);
+ check_fmt_p (SD_, fmt, instruction_0);
+ do_c_cond_fmt (SD_, fmt, FT, FS, CC, COND, instruction_0);
}
@@ -3239,12 +3270,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt_long,Convert(FP_RM_TOPINF,ValueFPR(FS,fmt),fmt,fmt_long));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt_long,Convert(FP_RM_TOPINF,ValueFPR(FS,fmt),fmt,fmt_long));
}
@@ -3259,12 +3286,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt_word,Convert(FP_RM_TOPINF,ValueFPR(FS,fmt),fmt,fmt_word));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt_word,Convert(FP_RM_TOPINF,ValueFPR(FS,fmt),fmt,fmt_word));
}
@@ -3448,12 +3471,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt,Divide(ValueFPR(FS,fmt),ValueFPR(FT,fmt),fmt));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,Divide(ValueFPR(FS,fmt),ValueFPR(FT,fmt),fmt));
}
@@ -3537,12 +3556,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt_long,Convert(FP_RM_TOMINF,ValueFPR(FS,fmt),fmt,fmt_long));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt_long,Convert(FP_RM_TOMINF,ValueFPR(FS,fmt),fmt,fmt_long));
}
@@ -3558,12 +3573,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt_word,Convert(FP_RM_TOMINF,ValueFPR(FS,fmt),fmt,fmt_word));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt_word,Convert(FP_RM_TOMINF,ValueFPR(FS,fmt),fmt,fmt_word));
}
@@ -3709,6 +3720,7 @@
{
int fmt = FMT;
check_fpu (SD_);
+ check_fmt_p (SD_, fmt, instruction_0);
StoreFPR(FD,fmt,ValueFPR(FS,fmt));
}
@@ -3821,12 +3833,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt,Multiply(ValueFPR(FS,fmt),ValueFPR(FT,fmt),fmt));
- }
+ check_fmt_p (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,Multiply(ValueFPR(FS,fmt),ValueFPR(FT,fmt),fmt));
}
@@ -3843,12 +3851,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt,Negate(ValueFPR(FS,fmt),fmt));
- }
+ check_fmt_p (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,Negate(ValueFPR(FS,fmt),fmt));
}
@@ -3925,12 +3929,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt,Recip(ValueFPR(FS,fmt),fmt));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,Recip(ValueFPR(FS,fmt),fmt));
}
@@ -3945,12 +3945,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt_long,Convert(FP_RM_NEAREST,ValueFPR(FS,fmt),fmt,fmt_long));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt_long,Convert(FP_RM_NEAREST,ValueFPR(FS,fmt),fmt,fmt_long));
}
@@ -3966,12 +3962,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt_word,Convert(FP_RM_NEAREST,ValueFPR(FS,fmt),fmt,fmt_word));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt_word,Convert(FP_RM_NEAREST,ValueFPR(FS,fmt),fmt,fmt_word));
}
@@ -3983,12 +3975,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt,Recip(SquareRoot(ValueFPR(FS,fmt),fmt),fmt));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,Recip(SquareRoot(ValueFPR(FS,fmt),fmt),fmt));
}
@@ -4031,12 +4019,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt,(SquareRoot(ValueFPR(FS,fmt),fmt)));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,(SquareRoot(ValueFPR(FS,fmt),fmt)));
}
@@ -4053,12 +4037,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt,Sub(ValueFPR(FS,fmt),ValueFPR(FT,fmt),fmt));
- }
+ check_fmt_p (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt,Sub(ValueFPR(FS,fmt),ValueFPR(FT,fmt),fmt));
}
@@ -4155,12 +4135,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt_long,Convert(FP_RM_TOZERO,ValueFPR(FS,fmt),fmt,fmt_long));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt_long,Convert(FP_RM_TOZERO,ValueFPR(FS,fmt),fmt,fmt_long));
}
@@ -4176,12 +4152,8 @@
{
int fmt = FMT;
check_fpu (SD_);
- {
- if ((fmt != fmt_single) && (fmt != fmt_double))
- SignalException(ReservedInstruction,instruction_0);
- else
- StoreFPR(FD,fmt_word,Convert(FP_RM_TOZERO,ValueFPR(FS,fmt),fmt,fmt_word));
- }
+ check_fmt (SD_, fmt, instruction_0);
+ StoreFPR(FD,fmt_word,Convert(FP_RM_TOZERO,ValueFPR(FS,fmt),fmt,fmt_word));
}
generated by cgit v1.1 at 2024-11-29 21:27:17 +0000