Gabe Black has submitted this change. (
https://gem5-review.googlesource.com/c/public/gem5/+/42348 )
Change subject: arch-x86: Use the *Op classes with FP microops.
......................................................................
arch-x86: Use the *Op classes with FP microops.
Change-Id: I79e68ad5a0233047d44079d8453bf232cb64d27e
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/42348
Reviewed-by: Gabe Black <gabe.bl...@gmail.com>
Maintainer: Gabe Black <gabe.bl...@gmail.com>
Tested-by: kokoro <noreply+kok...@google.com>
---
M src/arch/x86/SConscript
D src/arch/x86/insts/microfpop.cc
M src/arch/x86/insts/microfpop.hh
M src/arch/x86/insts/microop_args.hh
M src/arch/x86/isa/microops/fpop.isa
5 files changed, 138 insertions(+), 205 deletions(-)
Approvals:
Gabe Black: Looks good to me, approved; Looks good to me, approved
kokoro: Regressions pass
diff --git a/src/arch/x86/SConscript b/src/arch/x86/SConscript
index b0f908b..4eb98f1 100644
--- a/src/arch/x86/SConscript
+++ b/src/arch/x86/SConscript
@@ -50,7 +50,6 @@
Source('faults.cc')
Source('fs_workload.cc')
Source('insts/badmicroop.cc')
-Source('insts/microfpop.cc')
Source('insts/micromediaop.cc')
Source('insts/microop.cc')
Source('insts/microregop.cc')
diff --git a/src/arch/x86/insts/microfpop.cc
b/src/arch/x86/insts/microfpop.cc
deleted file mode 100644
index 1a32b6a..0000000
--- a/src/arch/x86/insts/microfpop.cc
+++ /dev/null
@@ -1,62 +0,0 @@
-/*
- * Copyright (c) 2007 The Hewlett-Packard Development Company
- * All rights reserved.
- *
- * The license below extends only to copyright in the software and shall
- * not be construed as granting a license to any other intellectual
- * property including but not limited to intellectual property relating
- * to a hardware implementation of the functionality of the software
- * licensed hereunder. You may use the software subject to the license
- * terms below provided that you ensure that this notice is replicated
- * unmodified and in its entirety in all distributions of the software,
- * modified or unmodified, in source code or in binary form.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions are
- * met: redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer;
- * redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution;
- * neither the name of the copyright holders nor the names of its
- * contributors may be used to endorse or promote products derived from
- * this software without specific prior written permission.
- *
- * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
- * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
- * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
- * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
- * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
- * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
- * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
- * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
- * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- */
-
-#include "arch/x86/insts/microfpop.hh"
-
-#include <string>
-
-#include "arch/x86/regs/misc.hh"
-
-namespace X86ISA
-{
-
-std::string
-FpOp::generateDisassembly(
- Addr pc, const Loader::SymbolTable *symtab) const
-{
- std::stringstream response;
-
- printMnemonic(response, instMnem, mnemonic);
- printDestReg(response, 0, dataSize);
- response << ", ";
- printSrcReg(response, 0, dataSize);
- response << ", ";
- printSrcReg(response, 1, dataSize);
- return response.str();
-}
-
-}
diff --git a/src/arch/x86/insts/microfpop.hh
b/src/arch/x86/insts/microfpop.hh
index 245a899..3cd92cf 100644
--- a/src/arch/x86/insts/microfpop.hh
+++ b/src/arch/x86/insts/microfpop.hh
@@ -43,36 +43,23 @@
namespace X86ISA
{
-/**
- * Base classes for FpOps which provides a generateDisassembly method.
- */
class FpOp : public X86MicroopBase
{
protected:
- const RegIndex src1;
- const RegIndex src2;
- const RegIndex dest;
- const uint8_t dataSize;
const int8_t spm;
- RegIndex foldOBit;
// Constructor
- FpOp(ExtMachInst _machInst,
- const char *mnem, const char *_instMnem,
- uint64_t setFlags,
- InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest,
- uint8_t _dataSize, int8_t _spm,
- OpClass __opClass) :
- X86MicroopBase(_machInst, mnem, _instMnem, setFlags,
- __opClass),
- src1(_src1.index()), src2(_src2.index()), dest(_dest.index()),
- dataSize(_dataSize), spm(_spm)
- {
- foldOBit = (dataSize == 1 && !_machInst.rex.present) ? 1 << 6 : 0;
- }
+ FpOp(ExtMachInst mach_inst, const char *mnem, const char *inst_mnem,
+ uint64_t set_flags, OpClass op_class,
+ uint8_t data_size, int8_t _spm) :
+ X86MicroopBase(mach_inst, mnem, inst_mnem, set_flags, op_class),
+ spm(_spm), dataSize(data_size),
+ foldOBit((data_size == 1 && !mach_inst.rex.present) ? 1 << 6 : 0)
+ {}
- std::string generateDisassembly(
- Addr pc, const Loader::SymbolTable *symtab) const override;
+ public:
+ const uint8_t dataSize;
+ const RegIndex foldOBit;
};
}
diff --git a/src/arch/x86/insts/microop_args.hh
b/src/arch/x86/insts/microop_args.hh
index 2956d88..d57ae12 100644
--- a/src/arch/x86/insts/microop_args.hh
+++ b/src/arch/x86/insts/microop_args.hh
@@ -103,6 +103,22 @@
};
template <class Base>
+struct IntOp : public Base
+{
+ template <class InstType>
+ IntOp(InstType *inst, typename Base::ArgType idx) :
+ Base(idx.index(), inst->dataSize)
+ {}
+
+ void
+ print(std::ostream &os) const
+ {
+ X86StaticInst::printReg(os, RegId(IntRegClass, this->opIndex()),
+ this->size);
+ }
+};
+
+template <class Base>
struct FoldedOp : public Base
{
template <class InstType>
@@ -195,14 +211,20 @@
using CrDestOp = CrOp<DestOp>;
using SegDestOp = SegOp<DestOp>;
using MiscDestOp = MiscOp<DestOp>;
+using FloatDestOp = FloatOp<DestOp>;
+using IntDestOp = IntOp<DestOp>;
using FoldedSrc1Op = FoldedOp<Src1Op>;
using DbgSrc1Op = DbgOp<Src1Op>;
using CrSrc1Op = CrOp<Src1Op>;
using SegSrc1Op = SegOp<Src1Op>;
using MiscSrc1Op = MiscOp<Src1Op>;
+using FloatSrc1Op = FloatOp<Src1Op>;
+using IntSrc1Op = IntOp<Src1Op>;
using FoldedSrc2Op = FoldedOp<Src2Op>;
+using FloatSrc2Op = FloatOp<Src2Op>;
+using IntSrc2Op = IntOp<Src2Op>;
using FoldedDataOp = FoldedOp<DataOp>;
using FloatDataOp = FloatOp<DataOp>;
diff --git a/src/arch/x86/isa/microops/fpop.isa
b/src/arch/x86/isa/microops/fpop.isa
index f6bc440..0d0611b 100644
--- a/src/arch/x86/isa/microops/fpop.isa
+++ b/src/arch/x86/isa/microops/fpop.isa
@@ -43,34 +43,31 @@
//////////////////////////////////////////////////////////////////////////
def template MicroFpOpExecute {{
- Fault %(class_name)s::execute(ExecContext *xc,
- Trace::InstRecord *traceData) const
- {
- Fault fault = NoFault;
+ Fault
+ %(class_name)s::execute(ExecContext *xc,
+ Trace::InstRecord *traceData) const
+ {
+ Fault fault = NoFault;
- DPRINTF(X86, "The data size is %d\n", dataSize);
- %(op_decl)s;
- %(op_rd)s;
+ DPRINTF(X86, "The data size is %d\n", dataSize);
+ %(op_decl)s;
+ %(op_rd)s;
- if(%(cond_check)s)
- {
- %(code)s;
- %(flag_code)s;
- %(tag_code)s;
- %(top_code)s;
- }
- else
- {
- %(else_code)s;
- }
-
- //Write the resulting state to the execution context
- if(fault == NoFault)
- {
- %(op_wb)s;
- }
- return fault;
+ if (%(cond_check)s) {
+ %(code)s;
+ %(flag_code)s;
+ %(tag_code)s;
+ %(top_code)s;
+ } else {
+ %(else_code)s;
}
+
+ //Write the resulting state to the execution context
+ if (fault == NoFault) {
+ %(op_wb)s;
+ }
+ return fault;
+ }
}};
def template MicroFpOpDeclare {{
@@ -80,23 +77,22 @@
%(reg_idx_arr_decl)s;
public:
- %(class_name)s(ExtMachInst _machInst,
- const char * instMnem, uint64_t setFlags,
- InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest,
- uint8_t _dataSize, int8_t _spm);
+ template <typename ...Args>
+ %(class_name)s(ExtMachInst mach_inst, const char *inst_mnem,
+ uint64_t set_flags, uint8_t data_size, int8_t _spm,
+ Args... args);
Fault execute(ExecContext *, Trace::InstRecord *) const override;
};
}};
def template MicroFpOpConstructor {{
- %(class_name)s::%(class_name)s(
- ExtMachInst machInst, const char * instMnem, uint64_t setFlags,
- InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest,
- uint8_t _dataSize, int8_t _spm) :
- %(base_class)s(machInst, "%(mnemonic)s", instMnem, setFlags,
- _src1, _src2, _dest, _dataSize, _spm,
- %(op_class)s)
+ template <typename ...Args>
+ %(class_name)s::%(class_name)s(ExtMachInst mach_inst,
+ const char *inst_mnem, uint64_t set_flags,
+ uint8_t data_size, int8_t _spm, Args... args) :
+ %(base_class)s(mach_inst, "%(mnemonic)s", inst_mnem, set_flags,
+ %(op_class)s, args..., data_size, _spm)
{
%(set_reg_idx_arr)s;
%(constructor)s;
@@ -111,9 +107,18 @@
decoder_output = ""
exec_output = ""
+ int_dest_op = 'X86ISA::IntDestOp'
+ fp_dest_op = 'X86ISA::FloatDestOp'
+
+ int_src1_op = 'X86ISA::IntSrc1Op'
+ fp_src1_op = 'X86ISA::FloatSrc1Op'
+
+ int_src2_op = 'X86ISA::IntSrc2Op'
+ fp_src2_op = 'X86ISA::FloatSrc2Op'
+
class FpOpMeta(type):
def buildCppClasses(self, name, Name, suffix, \
- code, flag_code, cond_check, else_code, op_class):
+ code, flag_code, cond_check, else_code, op_class,
operands):
# Globals to stick the output in
global header_output
@@ -127,10 +132,11 @@
# a version without it and fix up this version to use it.
if flag_code != "" or cond_check != "true":
self.buildCppClasses(name, Name, suffix,
- code, "", "true", else_code, op_class)
+ code, "", "true", else_code, op_class, operands)
suffix = "Flags" + suffix
- base = "X86ISA::FpOp"
+ base = "X86ISA::InstOperands<" + \
+ ", ".join(("X86ISA::FpOp",) + operands) + ">"
# Get everything ready for the substitution
iop_tag = InstObjParams(name, Name + suffix + "TopTag", base,
@@ -186,10 +192,12 @@
cond_check = cls.cond_check
else_code = cls.else_code
op_class = cls.op_class
+ operands = cls.operands
# Set up the C++ classes
mcls.buildCppClasses(cls, name, Name, "",
- code, flag_code, cond_check, else_code, op_class)
+ code, flag_code, cond_check, else_code, op_class,
+ operands)
# Hook into the microassembler dict
global microopClasses
@@ -197,7 +205,7 @@
return cls
- class FpUnaryOp(X86Microop, metaclass=FpOpMeta):
+ class FpOp(X86Microop, metaclass=FpOpMeta):
# This class itself doesn't act as a microop
abstract = True
@@ -207,11 +215,9 @@
else_code = ";"
op_class = "FloatAddOp"
- def __init__(self, dest, src1, spm=0, \
+ def __init__(self, *ops, spm=0,
SetStatus=False, UpdateFTW=True, dataSize="env.dataSize"):
- self.dest = dest
- self.src1 = src1
- self.src2 = "InstRegIndex(0)"
+ self.ops = list(map(str, ops))
self.spm = spm
self.dataSize = dataSize
if SetStatus:
@@ -222,92 +228,77 @@
self.className += "Tag"
def getAllocator(self, microFlags):
+ # Ensure there's at least one element to join with ","s.
+ spm_ops = [str(self.spm)] + self.ops
return '''new %(class_name)s(machInst, macrocodeBlock,
- %(flags)s, %(src1)s, %(src2)s, %(dest)s,
- %(dataSize)s, %(spm)d)''' % {
+ %(flags)s, %(dataSize)s, %(spm_ops)s)''' % {
"class_name" : self.className,
"flags" : self.microFlagsText(microFlags),
- "src1" : self.src1, "src2" : self.src2,
- "dest" : self.dest,
"dataSize" : self.dataSize,
- "spm" : self.spm}
+ "spm_ops" : ", ".join(spm_ops)}
- class FpBinaryOp(X86Microop, metaclass=FpOpMeta):
- # This class itself doesn't act as a microop
+ class Fp0Op(FpOp):
abstract = True
+ operands = ()
+ def __init__(self, **kwargs):
+ super(Fp0Op, self).__init__(**kwargs)
- # Default template parameter values
- flag_code = ""
- cond_check = "true"
- else_code = ";"
- op_class = "FloatAddOp"
+ class Fp1Op(FpOp):
+ abstract = True
+ operands = (fp_dest_op)
+ def __init__(self, reg1, **kwargs):
+ super(Fp1Op, self).__init__(reg1, **kwargs)
- def __init__(self, dest, src1, src2, spm=0, \
- SetStatus=False, UpdateFTW=True, dataSize="env.dataSize"):
- self.dest = dest
- self.src1 = src1
- self.src2 = src2
- self.spm = spm
- self.dataSize = dataSize
- if SetStatus:
- self.className += "Flags"
- if spm:
- self.className += "Top"
- if spm and UpdateFTW:
- self.className += "Tag"
+ class Fp2Op(FpOp):
+ abstract = True
+ operands = (fp_dest_op, fp_src1_op)
+ def __init__(self, reg1, reg2, **kwargs):
+ super(Fp2Op, self).__init__(reg1, reg2, **kwargs)
- def getAllocator(self, microFlags):
- return '''new %(class_name)s(machInst, macrocodeBlock,
- %(flags)s, %(src1)s, %(src2)s, %(dest)s,
- %(dataSize)s, %(spm)d)''' % {
- "class_name" : self.className,
- "flags" : self.microFlagsText(microFlags),
- "src1" : self.src1, "src2" : self.src2,
- "dest" : self.dest,
- "dataSize" : self.dataSize,
- "spm" : self.spm}
+ class Fp3Op(FpOp):
+ abstract = True
+ operands = (fp_dest_op, fp_src1_op, fp_src2_op)
+ def __init__(self, reg1, reg2, reg3, **kwargs):
+ super(Fp3Op, self).__init__(reg1, reg2, reg3, **kwargs)
- class Movfp(FpUnaryOp):
+ class Movfp(Fp2Op):
code = 'FpDestReg_uqw = FpSrcReg1_uqw;'
else_code = 'FpDestReg_uqw = FpDestReg_uqw;'
cond_check = "checkCondition(ccFlagBits | cfofBits | dfBit | \
- ecfBit | ezfBit, src2)"
+ ecfBit | ezfBit, src1)"
op_class = 'IntAluOp'
- class Xorfp(FpBinaryOp):
+ class Xorfp(Fp3Op):
code = 'FpDestReg_uqw = FpSrcReg1_uqw ^ FpSrcReg2_uqw;'
- class Sqrtfp(FpBinaryOp):
- code = 'FpDestReg = sqrt(FpSrcReg2);'
+ class Sqrtfp(Fp2Op):
+ code = 'FpDestReg = sqrt(FpSrcReg1);'
op_class = 'FloatSqrtOp'
- class Cosfp(FpUnaryOp):
+ class Cosfp(Fp2Op):
code = 'FpDestReg = cos(FpSrcReg1);'
op_class = 'FloatSqrtOp'
- class Sinfp(FpUnaryOp):
+ class Sinfp(Fp2Op):
code = 'FpDestReg = sin(FpSrcReg1);'
op_class = 'FloatSqrtOp'
- class Tanfp(FpUnaryOp):
+ class Tanfp(Fp2Op):
code = 'FpDestReg = tan(FpSrcReg1);'
op_class = 'FloatSqrtOp'
# Conversion microops
- class ConvOp(FpBinaryOp):
+ class ConvOp(Fp2Op):
abstract = True
op_class = 'FloatCvtOp'
- def __init__(self, dest, src1, **kwargs):
- super(ConvOp, self).__init__(dest, src1, \
- "InstRegIndex(FLOATREG_MICROFP0)", \
- **kwargs)
# These probably shouldn't look at the ExtMachInst directly to figure
# out what size to use and should instead delegate that to the
macroop's
# constructor. That would be more efficient, and it would make the
# microops a little more modular.
- class cvtf_i2d(ConvOp):
+ class Cvtf_i2d(ConvOp):
+ operands = (fp_dest_op, int_src1_op)
code = '''
X86IntReg intReg = SSrcReg1;
if (REX_W)
@@ -316,10 +307,12 @@
FpDestReg = intReg.SE;
'''
- class cvtf_i2d_hi(ConvOp):
+ class Cvtf_i2d_hi(ConvOp):
+ operands = (fp_dest_op, int_src1_op)
code = 'FpDestReg = bits(SSrcReg1, 63, 32);'
- class cvtf_d2i(ConvOp):
+ class Cvtf_d2i(ConvOp):
+ operands = (int_dest_op, fp_src1_op)
code = '''
int64_t intSrcReg1 = static_cast<int64_t>(FpSrcReg1);
DestReg = merge(DestReg, intSrcReg1, dataSize);
@@ -327,7 +320,8 @@
# Convert two integers registers representing an 80-bit floating
# point number to an x87 register.
- class cvtint_fp80(FpBinaryOp):
+ class Cvtint_fp80(Fp3Op):
+ operands = (fp_dest_op, int_src1_op, int_src2_op)
code = '''
uint8_t bits[10];
*(uint64_t *)(bits + 0) = SSrcReg1;
@@ -337,7 +331,8 @@
# Convert an x87 register (double) into extended precision and
# extract the highest 64 bits.
- class cvtfp80h_int(ConvOp):
+ class Cvtfp80h_int(ConvOp):
+ operands = (int_dest_op, fp_src1_op)
code = '''
char bits[10];
storeFloat80(bits, FpSrcReg1);
@@ -346,7 +341,8 @@
# Convert an x87 register (double) into extended precision and
# extract the lowest 16 bits.
- class cvtfp80l_int(ConvOp):
+ class Cvtfp80l_int(ConvOp):
+ operands = (int_dest_op, fp_src1_op)
code = '''
char bits[10];
storeFloat80(bits, FpSrcReg1);
@@ -355,27 +351,27 @@
# These need to consider size at some point. They'll always use doubles
# for the moment.
- class addfp(FpBinaryOp):
+ class Addfp(Fp3Op):
code = 'FpDestReg = FpSrcReg1 + FpSrcReg2;'
- class mulfp(FpBinaryOp):
+ class Mulfp(Fp3Op):
code = 'FpDestReg = FpSrcReg1 * FpSrcReg2;'
op_class = 'FloatMultOp'
- class divfp(FpBinaryOp):
+ class Divfp(Fp3Op):
code = 'FpDestReg = FpSrcReg1 / FpSrcReg2;'
op_class = 'FloatDivOp'
- class subfp(FpBinaryOp):
+ class Subfp(Fp3Op):
code = 'FpDestReg = FpSrcReg1 - FpSrcReg2;'
- class Yl2xFp(FpBinaryOp):
+ class Yl2xFp(Fp3Op):
code = '''
FpDestReg = FpSrcReg2 * (log(FpSrcReg1) / log(2));
'''
op_class = 'FloatSqrtOp'
- class PremFp(FpBinaryOp):
+ class PremFp(Fp3Op):
code = '''
RegVal new_fsw = FSW;
int src1_exp;
@@ -403,11 +399,8 @@
flag_code = 'FSW = new_fsw;'
- class Compfp(FpBinaryOp):
- def __init__(self, src1, src2, spm=0, setStatus=False,
updateFTW=True, \
- dataSize="env.dataSize"):
- super(Compfp,
self).__init__("InstRegIndex(FLOATREG_MICROFP0)", \
- src1, src2, spm, setStatus, updateFTW, dataSize)
+ class Compfp(Fp2Op):
+ operands = (fp_src1_op, fp_src2_op)
# This class sets the condition codes in rflags according to the
# rules for comparing floating point.
code = '''
@@ -431,21 +424,15 @@
'''
op_class = 'FloatCmpOp'
- class absfp(FpUnaryOp):
+ class absfp(Fp2Op):
code = 'FpDestReg = fabs(FpSrcReg1);'
flag_code = 'FSW = FSW & (~CC1Bit);'
- class chsfp(FpUnaryOp):
+ class chsfp(Fp2Op):
code = 'FpDestReg = (-1) * (FpSrcReg1);'
flag_code = 'FSW = FSW & (~CC1Bit);'
- class Pop87(FpUnaryOp):
- def __init__(self, spm=1, UpdateFTW=True):
- super(Pop87, self).__init__( \
- "InstRegIndex(FLOATREG_MICROFP0)", \
- "InstRegIndex(FLOATREG_MICROFP0)", \
- spm=spm, SetStatus=False, UpdateFTW=UpdateFTW)
-
+ class Pop87(Fp0Op):
code = ''
op_class = 'IntAluOp'
}};
8 is the latest approved patch-set.
No files were changed between the latest approved patch-set and the
submitted one.
--
To view, visit https://gem5-review.googlesource.com/c/public/gem5/+/42348
To unsubscribe, or for help writing mail filters, visit
https://gem5-review.googlesource.com/settings
Gerrit-Project: public/gem5
Gerrit-Branch: develop
Gerrit-Change-Id: I79e68ad5a0233047d44079d8453bf232cb64d27e
Gerrit-Change-Number: 42348
Gerrit-PatchSet: 10
Gerrit-Owner: Gabe Black <gabe.bl...@gmail.com>
Gerrit-Reviewer: Andreas Sandberg <andreas.sandb...@arm.com>
Gerrit-Reviewer: Gabe Black <gabe.bl...@gmail.com>
Gerrit-Reviewer: Giacomo Travaglini <giacomo.travagl...@arm.com>
Gerrit-Reviewer: Tong Shen <endlessr...@google.com>
Gerrit-Reviewer: kokoro <noreply+kok...@google.com>
Gerrit-MessageType: merged
_______________________________________________
gem5-dev mailing list -- gem5-dev@gem5.org
To unsubscribe send an email to gem5-dev-le...@gem5.org
%(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s