From a430f749cefb75f58d1d1c9692e2b53f1f5252bf Mon Sep 17 00:00:00 2001 From: Gabe Black Date: Wed, 2 Jun 2010 12:58:14 -0500 Subject: ARM: Implement vcvt between int and fp. Ignore rounding. --- src/arch/arm/isa/formats/fp.isa | 35 ++++++++++++++-- src/arch/arm/isa/insts/fp.isa | 92 +++++++++++++++++++++++++++++++++++++++++ 2 files changed, 123 insertions(+), 4 deletions(-) diff --git a/src/arch/arm/isa/formats/fp.isa b/src/arch/arm/isa/formats/fp.isa index a1c11d1d1..47703a7a0 100644 --- a/src/arch/arm/isa/formats/fp.isa +++ b/src/arch/arm/isa/formats/fp.isa @@ -621,16 +621,43 @@ let {{ } break; case 0x8: - // Between FP and int. - return new WarnUnimplemented("vcvt, vcvtr", machInst); + if (bits(machInst, 7) == 0) { + if (single) { + return new VcvtUIntFpS(machInst, vd, vm); + } else { + vm = (IntRegIndex)(bits(machInst, 5) | + (bits(machInst, 3, 0) << 1)); + return new VcvtUIntFpD(machInst, vd, vm); + } + } else { + if (single) { + return new VcvtSIntFpS(machInst, vd, vm); + } else { + vm = (IntRegIndex)(bits(machInst, 5) | + (bits(machInst, 3, 0) << 1)); + return new VcvtSIntFpD(machInst, vd, vm); + } + } case 0xa: case 0xb: // Between FP and fixed point. return new WarnUnimplemented("vcvt", machInst); case 0xc: + if (single) { + return new VcvtFpUIntS(machInst, vd, vm); + } else { + vd = (IntRegIndex)(bits(machInst, 22) | + (bits(machInst, 15, 12) << 1)); + return new VcvtFpUIntD(machInst, vd, vm); + } case 0xd: - // Between FP and int. - return new WarnUnimplemented("vcvt, vcvtr", machInst); + if (single) { + return new VcvtFpSIntS(machInst, vd, vm); + } else { + vd = (IntRegIndex)(bits(machInst, 22) | + (bits(machInst, 15, 12) << 1)); + return new VcvtFpSIntD(machInst, vd, vm); + } case 0xe: case 0xf: // Between FP and fixed point. diff --git a/src/arch/arm/isa/insts/fp.isa b/src/arch/arm/isa/insts/fp.isa index d40b00176..35d0405e9 100644 --- a/src/arch/arm/isa/insts/fp.isa +++ b/src/arch/arm/isa/insts/fp.isa @@ -586,4 +586,96 @@ let {{ header_output += RegRegRegOpDeclare.subst(vnmulDIop); decoder_output += RegRegRegOpConstructor.subst(vnmulDIop); exec_output += PredOpExecute.subst(vnmulDIop); + + vcvtUIntFpSCode = ''' + FpDest = FpOp1.uw; + ''' + vcvtUIntFpSIop = InstObjParams("vcvt", "VcvtUIntFpS", "RegRegOp", + { "code": vcvtUIntFpSCode, + "predicate_test": predicateTest }, []) + header_output += RegRegOpDeclare.subst(vcvtUIntFpSIop); + decoder_output += RegRegOpConstructor.subst(vcvtUIntFpSIop); + exec_output += PredOpExecute.subst(vcvtUIntFpSIop); + + vcvtUIntFpDCode = ''' + IntDoubleUnion cDest; + cDest.fp = (uint64_t)FpOp1P0.uw; + FpDestP0.uw = cDest.bits; + FpDestP1.uw = cDest.bits >> 32; + ''' + vcvtUIntFpDIop = InstObjParams("vcvt", "VcvtUIntFpD", "RegRegOp", + { "code": vcvtUIntFpDCode, + "predicate_test": predicateTest }, []) + header_output += RegRegOpDeclare.subst(vcvtUIntFpDIop); + decoder_output += RegRegOpConstructor.subst(vcvtUIntFpDIop); + exec_output += PredOpExecute.subst(vcvtUIntFpDIop); + + vcvtSIntFpSCode = ''' + FpDest = FpOp1.sw; + ''' + vcvtSIntFpSIop = InstObjParams("vcvt", "VcvtSIntFpS", "RegRegOp", + { "code": vcvtSIntFpSCode, + "predicate_test": predicateTest }, []) + header_output += RegRegOpDeclare.subst(vcvtSIntFpSIop); + decoder_output += RegRegOpConstructor.subst(vcvtSIntFpSIop); + exec_output += PredOpExecute.subst(vcvtSIntFpSIop); + + vcvtSIntFpDCode = ''' + IntDoubleUnion cDest; + cDest.fp = FpOp1P0.sw; + FpDestP0.uw = cDest.bits; + FpDestP1.uw = cDest.bits >> 32; + ''' + vcvtSIntFpDIop = InstObjParams("vcvt", "VcvtSIntFpD", "RegRegOp", + { "code": vcvtSIntFpDCode, + "predicate_test": predicateTest }, []) + header_output += RegRegOpDeclare.subst(vcvtSIntFpDIop); + decoder_output += RegRegOpConstructor.subst(vcvtSIntFpDIop); + exec_output += PredOpExecute.subst(vcvtSIntFpDIop); + + vcvtFpUIntSCode = ''' + FpDest.uw = FpOp1; + ''' + vcvtFpUIntSIop = InstObjParams("vcvt", "VcvtFpUIntS", "RegRegOp", + { "code": vcvtFpUIntSCode, + "predicate_test": predicateTest }, []) + header_output += RegRegOpDeclare.subst(vcvtFpUIntSIop); + decoder_output += RegRegOpConstructor.subst(vcvtFpUIntSIop); + exec_output += PredOpExecute.subst(vcvtFpUIntSIop); + + vcvtFpUIntDCode = ''' + IntDoubleUnion cOp1; + cOp1.bits = ((uint64_t)FpOp1P0.uw | ((uint64_t)FpOp1P1.uw << 32)); + uint64_t result = cOp1.fp; + FpDestP0.uw = result; + ''' + vcvtFpUIntDIop = InstObjParams("vcvt", "VcvtFpUIntD", "RegRegOp", + { "code": vcvtFpUIntDCode, + "predicate_test": predicateTest }, []) + header_output += RegRegOpDeclare.subst(vcvtFpUIntDIop); + decoder_output += RegRegOpConstructor.subst(vcvtFpUIntDIop); + exec_output += PredOpExecute.subst(vcvtFpUIntDIop); + + vcvtFpSIntSCode = ''' + FpDest.sw = FpOp1; + ''' + vcvtFpSIntSIop = InstObjParams("vcvt", "VcvtFpSIntS", "RegRegOp", + { "code": vcvtFpSIntSCode, + "predicate_test": predicateTest }, []) + header_output += RegRegOpDeclare.subst(vcvtFpSIntSIop); + decoder_output += RegRegOpConstructor.subst(vcvtFpSIntSIop); + exec_output += PredOpExecute.subst(vcvtFpSIntSIop); + + vcvtFpSIntDCode = ''' + IntDoubleUnion cOp1; + cOp1.bits = ((uint64_t)FpOp1P0.uw | ((uint64_t)FpOp1P1.uw << 32)); + int64_t result = cOp1.fp; + FpDestP0.uw = result; + ''' + vcvtFpSIntDIop = InstObjParams("vcvt", "VcvtFpSIntD", "RegRegOp", + { "code": vcvtFpSIntDCode, + "predicate_test": predicateTest }, []) + header_output += RegRegOpDeclare.subst(vcvtFpSIntDIop); + decoder_output += RegRegOpConstructor.subst(vcvtFpSIntDIop); + exec_output += PredOpExecute.subst(vcvtFpSIntDIop); }}; -- cgit v1.2.3