operands.isa revision 8449
17087Snate@binkert.org// Copyright (c) 2007-2008 The Hewlett-Packard Development Company
27087Snate@binkert.org// All rights reserved.
37087Snate@binkert.org//
47087Snate@binkert.org// The license below extends only to copyright in the software and shall
57087Snate@binkert.org// not be construed as granting a license to any other intellectual
67087Snate@binkert.org// property including but not limited to intellectual property relating
77087Snate@binkert.org// to a hardware implementation of the functionality of the software
87087Snate@binkert.org// licensed hereunder.  You may use the software subject to the license
97087Snate@binkert.org// terms below provided that you ensure that this notice is replicated
107087Snate@binkert.org// unmodified and in its entirety in all distributions of the software,
117087Snate@binkert.org// modified or unmodified, in source code or in binary form.
127087Snate@binkert.org//
134158Sgblack@eecs.umich.edu// Copyright (c) 2007 The Regents of The University of Michigan
144158Sgblack@eecs.umich.edu// All rights reserved.
154158Sgblack@eecs.umich.edu//
164158Sgblack@eecs.umich.edu// Redistribution and use in source and binary forms, with or without
174158Sgblack@eecs.umich.edu// modification, are permitted provided that the following conditions are
184158Sgblack@eecs.umich.edu// met: redistributions of source code must retain the above copyright
194158Sgblack@eecs.umich.edu// notice, this list of conditions and the following disclaimer;
204158Sgblack@eecs.umich.edu// redistributions in binary form must reproduce the above copyright
214158Sgblack@eecs.umich.edu// notice, this list of conditions and the following disclaimer in the
224158Sgblack@eecs.umich.edu// documentation and/or other materials provided with the distribution;
234158Sgblack@eecs.umich.edu// neither the name of the copyright holders nor the names of its
244158Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from
254158Sgblack@eecs.umich.edu// this software without specific prior written permission.
264158Sgblack@eecs.umich.edu//
274158Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
284158Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
294158Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
304158Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
314158Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
324158Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
334158Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
344158Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
354158Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
364158Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
374158Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
384158Sgblack@eecs.umich.edu//
394158Sgblack@eecs.umich.edu// Authors: Gabe Black
404158Sgblack@eecs.umich.edu
414158Sgblack@eecs.umich.edudef operand_types {{
428449Sgblack@eecs.umich.edu    'sb' : 'int8_t',
438449Sgblack@eecs.umich.edu    'ub' : 'uint8_t',
448449Sgblack@eecs.umich.edu    'sw' : 'int16_t',
458449Sgblack@eecs.umich.edu    'uw' : 'uint16_t',
468449Sgblack@eecs.umich.edu    'sdw' : 'int32_t',
478449Sgblack@eecs.umich.edu    'udw' : 'uint32_t',
488449Sgblack@eecs.umich.edu    'sqw' : 'int64_t',
498449Sgblack@eecs.umich.edu    'uqw' : 'uint64_t',
508449Sgblack@eecs.umich.edu    'sf' : 'float',
518449Sgblack@eecs.umich.edu    'df' : 'double',
524158Sgblack@eecs.umich.edu}};
534158Sgblack@eecs.umich.edu
546360Sgblack@eecs.umich.edulet {{
556360Sgblack@eecs.umich.edu    def foldInt(idx, foldBit, id):
566360Sgblack@eecs.umich.edu        return ('IntReg', 'uqw', 'INTREG_FOLDED(%s, %s)' % (idx, foldBit),
576360Sgblack@eecs.umich.edu                'IsInteger', id)
586360Sgblack@eecs.umich.edu    def intReg(idx, id):
596360Sgblack@eecs.umich.edu        return ('IntReg', 'uqw', idx, 'IsInteger', id)
606360Sgblack@eecs.umich.edu    def impIntReg(idx, id):
616360Sgblack@eecs.umich.edu        return ('IntReg', 'uqw', 'INTREG_IMPLICIT(%s)' % idx, 'IsInteger', id)
626360Sgblack@eecs.umich.edu    def floatReg(idx, id):
636360Sgblack@eecs.umich.edu        return ('FloatReg', 'df', idx, 'IsFloating', id)
646360Sgblack@eecs.umich.edu    def controlReg(idx, id, ctype = 'uqw'):
656360Sgblack@eecs.umich.edu        return ('ControlReg', ctype, idx,
666360Sgblack@eecs.umich.edu                (None, None, ['IsSerializeAfter',
676360Sgblack@eecs.umich.edu                              'IsSerializing',
686360Sgblack@eecs.umich.edu                              'IsNonSpeculative']),
696360Sgblack@eecs.umich.edu                id)
706360Sgblack@eecs.umich.edu}};
716360Sgblack@eecs.umich.edu
724158Sgblack@eecs.umich.edudef operands {{
736360Sgblack@eecs.umich.edu        'SrcReg1':       foldInt('src1', 'foldOBit', 1),
746360Sgblack@eecs.umich.edu        'SSrcReg1':      intReg('src1', 1),
756360Sgblack@eecs.umich.edu        'SrcReg2':       foldInt('src2', 'foldOBit', 2),
766360Sgblack@eecs.umich.edu        'SSrcReg2':      intReg('src2', 1),
776360Sgblack@eecs.umich.edu        'Index':         foldInt('index', 'foldABit', 3),
786360Sgblack@eecs.umich.edu        'Base':          foldInt('base', 'foldABit', 4),
796360Sgblack@eecs.umich.edu        'DestReg':       foldInt('dest', 'foldOBit', 5),
806360Sgblack@eecs.umich.edu        'SDestReg':      intReg('dest', 5),
816360Sgblack@eecs.umich.edu        'Data':          foldInt('data', 'foldOBit', 6),
826360Sgblack@eecs.umich.edu        'ProdLow':       impIntReg(0, 7),
836360Sgblack@eecs.umich.edu        'ProdHi':        impIntReg(1, 8),
846360Sgblack@eecs.umich.edu        'Quotient':      impIntReg(2, 9),
856360Sgblack@eecs.umich.edu        'Remainder':     impIntReg(3, 10),
866360Sgblack@eecs.umich.edu        'Divisor':       impIntReg(4, 11),
876479Sgblack@eecs.umich.edu        'DoubleBits':    impIntReg(5, 11),
886360Sgblack@eecs.umich.edu        'Rax':           intReg('(INTREG_RAX)', 12),
896360Sgblack@eecs.umich.edu        'Rbx':           intReg('(INTREG_RBX)', 13),
906360Sgblack@eecs.umich.edu        'Rcx':           intReg('(INTREG_RCX)', 14),
916360Sgblack@eecs.umich.edu        'Rdx':           intReg('(INTREG_RDX)', 15),
926360Sgblack@eecs.umich.edu        'Rsp':           intReg('(INTREG_RSP)', 16),
936360Sgblack@eecs.umich.edu        'Rbp':           intReg('(INTREG_RBP)', 17),
946360Sgblack@eecs.umich.edu        'Rsi':           intReg('(INTREG_RSI)', 18),
956360Sgblack@eecs.umich.edu        'Rdi':           intReg('(INTREG_RDI)', 19),
966360Sgblack@eecs.umich.edu        'FpSrcReg1':     floatReg('src1', 20),
976360Sgblack@eecs.umich.edu        'FpSrcReg2':     floatReg('src2', 21),
986360Sgblack@eecs.umich.edu        'FpDestReg':     floatReg('dest', 22),
996360Sgblack@eecs.umich.edu        'FpData':        floatReg('data', 23),
1007789Sgblack@eecs.umich.edu        'RIP':           ('PCState', 'uqw', 'pc',
1017789Sgblack@eecs.umich.edu                          (None, None, 'IsControl'), 50),
1027789Sgblack@eecs.umich.edu        'NRIP':          ('PCState', 'uqw', 'npc',
1037789Sgblack@eecs.umich.edu                          (None, None, 'IsControl'), 50),
1047789Sgblack@eecs.umich.edu        'nuIP':          ('PCState', 'uqw', 'nupc',
1057720Sgblack@eecs.umich.edu                          (None, None, 'IsControl'), 50),
1065426Sgblack@eecs.umich.edu        # This holds the condition code portion of the flag register. The
1075426Sgblack@eecs.umich.edu        # nccFlagBits version holds the rest.
1086360Sgblack@eecs.umich.edu        'ccFlagBits':    intReg('INTREG_PSEUDO(0)', 60),
1095426Sgblack@eecs.umich.edu        # These register should needs to be more protected so that later
1105082Sgblack@eecs.umich.edu        # instructions don't map their indexes with an old value.
1116360Sgblack@eecs.umich.edu        'nccFlagBits':   controlReg('MISCREG_RFLAGS', 61),
1126360Sgblack@eecs.umich.edu        'TOP':           controlReg('MISCREG_X87_TOP', 62, ctype='ub'),
1135294Sgblack@eecs.umich.edu        # The segment base as used by memory instructions.
1146360Sgblack@eecs.umich.edu        'SegBase':       controlReg('MISCREG_SEG_EFF_BASE(segment)', 70),
1155290Sgblack@eecs.umich.edu
1165294Sgblack@eecs.umich.edu        # Operands to get and set registers indexed by the operands of the
1175294Sgblack@eecs.umich.edu        # original instruction.
1186360Sgblack@eecs.umich.edu        'ControlDest':   controlReg('MISCREG_CR(dest)', 100),
1196360Sgblack@eecs.umich.edu        'ControlSrc1':   controlReg('MISCREG_CR(src1)', 101),
1206360Sgblack@eecs.umich.edu        'DebugDest':     controlReg('MISCREG_DR(dest)', 102),
1216360Sgblack@eecs.umich.edu        'DebugSrc1':     controlReg('MISCREG_DR(src1)', 103),
1226360Sgblack@eecs.umich.edu        'SegBaseDest':   controlReg('MISCREG_SEG_BASE(dest)', 104),
1236360Sgblack@eecs.umich.edu        'SegBaseSrc1':   controlReg('MISCREG_SEG_BASE(src1)', 105),
1246360Sgblack@eecs.umich.edu        'SegLimitDest':  controlReg('MISCREG_SEG_LIMIT(dest)', 106),
1256360Sgblack@eecs.umich.edu        'SegLimitSrc1':  controlReg('MISCREG_SEG_LIMIT(src1)', 107),
1266360Sgblack@eecs.umich.edu        'SegSelDest':    controlReg('MISCREG_SEG_SEL(dest)', 108),
1276360Sgblack@eecs.umich.edu        'SegSelSrc1':    controlReg('MISCREG_SEG_SEL(src1)', 109),
1286360Sgblack@eecs.umich.edu        'SegAttrDest':   controlReg('MISCREG_SEG_ATTR(dest)', 110),
1296360Sgblack@eecs.umich.edu        'SegAttrSrc1':   controlReg('MISCREG_SEG_ATTR(src1)', 111),
1305294Sgblack@eecs.umich.edu
1315294Sgblack@eecs.umich.edu        # Operands to access specific control registers directly.
1326360Sgblack@eecs.umich.edu        'EferOp':        controlReg('MISCREG_EFER', 200),
1336360Sgblack@eecs.umich.edu        'CR4Op':         controlReg('MISCREG_CR4', 201),
1346360Sgblack@eecs.umich.edu        'DR7Op':         controlReg('MISCREG_DR7', 202),
1356360Sgblack@eecs.umich.edu        'LDTRBase':      controlReg('MISCREG_TSL_BASE', 203),
1366360Sgblack@eecs.umich.edu        'LDTRLimit':     controlReg('MISCREG_TSL_LIMIT', 204),
1376360Sgblack@eecs.umich.edu        'LDTRSel':       controlReg('MISCREG_TSL', 205),
1386360Sgblack@eecs.umich.edu        'GDTRBase':      controlReg('MISCREG_TSG_BASE', 206),
1396360Sgblack@eecs.umich.edu        'GDTRLimit':     controlReg('MISCREG_TSG_LIMIT', 207),
1406360Sgblack@eecs.umich.edu        'CSBase':        controlReg('MISCREG_CS_EFF_BASE', 208),
1416360Sgblack@eecs.umich.edu        'CSAttr':        controlReg('MISCREG_CS_ATTR', 209),
1426360Sgblack@eecs.umich.edu        'MiscRegDest':   controlReg('dest', 210),
1436360Sgblack@eecs.umich.edu        'MiscRegSrc1':   controlReg('src1', 211),
1446360Sgblack@eecs.umich.edu        'TscOp':         controlReg('MISCREG_TSC', 212),
1456360Sgblack@eecs.umich.edu        'M5Reg':         controlReg('MISCREG_M5_REG', 213),
1466360Sgblack@eecs.umich.edu        'Mem':           ('Mem', 'uqw', None, \
1476360Sgblack@eecs.umich.edu                          ('IsMemRef', 'IsLoad', 'IsStore'), 300)
1484158Sgblack@eecs.umich.edu}};
149