operands.isa revision 3993
13993Sgblack@eecs.umich.edu// Copyright (c) 2006-2007 The Regents of The University of Michigan
22632Sstever@eecs.umich.edu// All rights reserved.
32632Sstever@eecs.umich.edu//
42632Sstever@eecs.umich.edu// Redistribution and use in source and binary forms, with or without
52632Sstever@eecs.umich.edu// modification, are permitted provided that the following conditions are
62632Sstever@eecs.umich.edu// met: redistributions of source code must retain the above copyright
72632Sstever@eecs.umich.edu// notice, this list of conditions and the following disclaimer;
82632Sstever@eecs.umich.edu// redistributions in binary form must reproduce the above copyright
92632Sstever@eecs.umich.edu// notice, this list of conditions and the following disclaimer in the
102632Sstever@eecs.umich.edu// documentation and/or other materials provided with the distribution;
112632Sstever@eecs.umich.edu// neither the name of the copyright holders nor the names of its
122632Sstever@eecs.umich.edu// contributors may be used to endorse or promote products derived from
132632Sstever@eecs.umich.edu// this software without specific prior written permission.
142632Sstever@eecs.umich.edu//
152632Sstever@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
162632Sstever@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
172632Sstever@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
182632Sstever@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
192632Sstever@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
202632Sstever@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
212632Sstever@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
222632Sstever@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
232632Sstever@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
242632Sstever@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
252632Sstever@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
262632Sstever@eecs.umich.edu//
272632Sstever@eecs.umich.edu// Authors: Ali Saidi
282632Sstever@eecs.umich.edu//          Gabe Black
292632Sstever@eecs.umich.edu//          Steve Reinhardt
302632Sstever@eecs.umich.edu
312023SN/Adef operand_types {{
322023SN/A    'sb' : ('signed int', 8),
332023SN/A    'ub' : ('unsigned int', 8),
342023SN/A    'shw' : ('signed int', 16),
352023SN/A    'uhw' : ('unsigned int', 16),
362023SN/A    'sw' : ('signed int', 32),
372023SN/A    'uw' : ('unsigned int', 32),
382023SN/A    'sdw' : ('signed int', 64),
392023SN/A    'udw' : ('unsigned int', 64),
402023SN/A    'sf' : ('float', 32),
412023SN/A    'df' : ('float', 64),
422023SN/A    'qf' : ('float', 128)
432023SN/A}};
442023SN/A
453279Sgblack@eecs.umich.eduoutput header {{
463279Sgblack@eecs.umich.edu    // A function to "decompress" double and quad floating point
473279Sgblack@eecs.umich.edu    // register numbers stuffed into 5 bit fields. These have their
483279Sgblack@eecs.umich.edu    // MSB put in the LSB position but are otherwise normal.
493279Sgblack@eecs.umich.edu    static inline unsigned int dfpr(unsigned int regNum)
503279Sgblack@eecs.umich.edu    {
513381Sgblack@eecs.umich.edu        return (regNum & (~1)) | ((regNum & 1) << 5);
523279Sgblack@eecs.umich.edu    }
533279Sgblack@eecs.umich.edu}};
543279Sgblack@eecs.umich.edu
552023SN/Adef operands {{
562023SN/A    # Int regs default to unsigned, but code should not count on this.
572023SN/A    # For clarity, descriptions that depend on unsigned behavior should
582023SN/A    # explicitly specify '.uq'.
593761Sgblack@eecs.umich.edu
602501SN/A    'Rd': 		('IntReg', 'udw', 'RD', 'IsInteger', 1),
613761Sgblack@eecs.umich.edu    # The Rd from the previous window
623761Sgblack@eecs.umich.edu    'Rd_prev':		('IntReg', 'udw', 'RD + NumIntArchRegs + NumMicroIntRegs', 'IsInteger', 2),
633761Sgblack@eecs.umich.edu    # The Rd from the next window
643761Sgblack@eecs.umich.edu    'Rd_next':		('IntReg', 'udw', 'RD + 2 * NumIntArchRegs + NumMicroIntRegs', 'IsInteger', 3),
653835Sgblack@eecs.umich.edu    # For microcoded twin load instructions, RdTwin appears in the "code"
663952Sgblack@eecs.umich.edu    # for the instruction is replaced by RdLow or RdHigh by the format
673835Sgblack@eecs.umich.edu    # before it's processed by the iop.
683761Sgblack@eecs.umich.edu    # The low (even) register of a two register pair
693761Sgblack@eecs.umich.edu    'RdLow': 		('IntReg', 'udw', 'RD & (~1)', 'IsInteger', 4),
703761Sgblack@eecs.umich.edu    # The high (odd) register of a two register pair
713761Sgblack@eecs.umich.edu    'RdHigh':		('IntReg', 'udw', 'RD | 1', 'IsInteger', 5),
723761Sgblack@eecs.umich.edu    'Rs1': 		('IntReg', 'udw', 'RS1', 'IsInteger', 6),
733761Sgblack@eecs.umich.edu    'Rs2': 		('IntReg', 'udw', 'RS2', 'IsInteger', 7),
743761Sgblack@eecs.umich.edu    # A microcode register. Right now, this is the only one.
753761Sgblack@eecs.umich.edu    'uReg0':		('IntReg', 'udw', 'NumIntArchRegs', 'IsInteger', 8),
763761Sgblack@eecs.umich.edu    # Because double and quad precision register numbers are decoded
773761Sgblack@eecs.umich.edu    # differently, they get different operands. The single precision versions
783761Sgblack@eecs.umich.edu    # have an s post pended to their name.
793279Sgblack@eecs.umich.edu    'Frds':		('FloatReg', 'sf', 'RD', 'IsFloating', 10),
803279Sgblack@eecs.umich.edu    'Frd':		('FloatReg', 'df', 'dfpr(RD)', 'IsFloating', 10),
813279Sgblack@eecs.umich.edu    # Each Frd_N refers to the Nth double precision register from Frd.
823279Sgblack@eecs.umich.edu    # Note that this adds twice N to the register number.
833279Sgblack@eecs.umich.edu    'Frd_0':		('FloatReg', 'df', 'dfpr(RD)', 'IsFloating', 10),
843279Sgblack@eecs.umich.edu    'Frd_1':		('FloatReg', 'df', 'dfpr(RD) + 2', 'IsFloating', 10),
853279Sgblack@eecs.umich.edu    'Frd_2':		('FloatReg', 'df', 'dfpr(RD) + 4', 'IsFloating', 10),
863279Sgblack@eecs.umich.edu    'Frd_3':		('FloatReg', 'df', 'dfpr(RD) + 6', 'IsFloating', 10),
873279Sgblack@eecs.umich.edu    'Frd_4':		('FloatReg', 'df', 'dfpr(RD) + 8', 'IsFloating', 10),
883279Sgblack@eecs.umich.edu    'Frd_5':		('FloatReg', 'df', 'dfpr(RD) + 10', 'IsFloating', 10),
893279Sgblack@eecs.umich.edu    'Frd_6':		('FloatReg', 'df', 'dfpr(RD) + 12', 'IsFloating', 10),
903279Sgblack@eecs.umich.edu    'Frd_7':		('FloatReg', 'df', 'dfpr(RD) + 14', 'IsFloating', 10),
913993Sgblack@eecs.umich.edu    'Frs1s':		('FloatReg', 'sf', 'RS1', 'IsFloating', 11),
923279Sgblack@eecs.umich.edu    'Frs1':		('FloatReg', 'df', 'dfpr(RS1)', 'IsFloating', 11),
933993Sgblack@eecs.umich.edu    'Frs2s':		('FloatReg', 'sf', 'RS2', 'IsFloating', 12),
943279Sgblack@eecs.umich.edu    'Frs2':		('FloatReg', 'df', 'dfpr(RS2)', 'IsFloating', 12),
952954Sgblack@eecs.umich.edu    'NPC': 		('NPC', 'udw', None, ( None, None, 'IsControl' ), 31),
962954Sgblack@eecs.umich.edu    'NNPC':		('NNPC', 'udw', None, (None, None, 'IsControl' ), 32),
973761Sgblack@eecs.umich.edu    # Registers which are used explicitly in instructions
982516SN/A    'R0':  		('IntReg', 'udw', '0', None, 6),
992561SN/A    'R1':  		('IntReg', 'udw', '1', None, 7),
1002561SN/A    'R15': 		('IntReg', 'udw', '15', 'IsInteger', 8),
1012561SN/A    'R16': 		('IntReg', 'udw', '16', None, 9),
1022646Ssaidi@eecs.umich.edu
1032469SN/A    # Control registers
1043761Sgblack@eecs.umich.edu#   'Y':		('ControlReg', 'udw', 'MISCREG_Y', None, 40),
1053761Sgblack@eecs.umich.edu#   'Ccr':		('ControlReg', 'udw', 'MISCREG_CCR', None, 41),
1063761Sgblack@eecs.umich.edu    'Y':		('IntReg', 'udw', 'NumIntArchRegs + 1', None, 40),
1073761Sgblack@eecs.umich.edu    'Ccr':		('IntReg', 'udw', 'NumIntArchRegs + 2', None, 41),
1082954Sgblack@eecs.umich.edu    'Asi':		('ControlReg', 'udw', 'MISCREG_ASI', None, 42),
1093587Sgblack@eecs.umich.edu    'Fprs':		('ControlReg', 'udw', 'MISCREG_FPRS', None, 43),
1103587Sgblack@eecs.umich.edu    'Pcr':		('ControlReg', 'udw', 'MISCREG_PCR', None, 44),
1113587Sgblack@eecs.umich.edu    'Pic':		('ControlReg', 'udw', 'MISCREG_PIC', None, 45),
1123587Sgblack@eecs.umich.edu    'Gsr':		('ControlReg', 'udw', 'MISCREG_GSR', None, 46),
1133587Sgblack@eecs.umich.edu    'Softint':		('ControlReg', 'udw', 'MISCREG_SOFTINT', None, 47),
1143587Sgblack@eecs.umich.edu    'SoftintSet':	('ControlReg', 'udw', 'MISCREG_SOFTINT_SET', None, 48),
1153587Sgblack@eecs.umich.edu    'SoftintClr':	('ControlReg', 'udw', 'MISCREG_SOFTINT_CLR', None, 49),
1163587Sgblack@eecs.umich.edu    'TickCmpr':		('ControlReg', 'udw', 'MISCREG_TICK_CMPR', None, 50),
1173587Sgblack@eecs.umich.edu    'Stick':		('ControlReg', 'udw', 'MISCREG_STICK', None, 51),
1183587Sgblack@eecs.umich.edu    'StickCmpr':	('ControlReg', 'udw', 'MISCREG_STICK_CMPR', None, 52),
1192646Ssaidi@eecs.umich.edu
1203587Sgblack@eecs.umich.edu    'Tpc':		('ControlReg', 'udw', 'MISCREG_TPC', None, 53),
1213587Sgblack@eecs.umich.edu    'Tnpc':		('ControlReg', 'udw', 'MISCREG_TNPC', None, 54),
1223587Sgblack@eecs.umich.edu    'Tstate':		('ControlReg', 'udw', 'MISCREG_TSTATE', None, 55),
1233587Sgblack@eecs.umich.edu    'Tt':		('ControlReg', 'udw', 'MISCREG_TT', None, 56),
1243587Sgblack@eecs.umich.edu    'Tick':		('ControlReg', 'udw', 'MISCREG_TICK', None, 57),
1253587Sgblack@eecs.umich.edu    'Tba':		('ControlReg', 'udw', 'MISCREG_TBA', None, 58),
1263587Sgblack@eecs.umich.edu    'Pstate':		('ControlReg', 'udw', 'MISCREG_PSTATE', None, 59),
1273587Sgblack@eecs.umich.edu    'Tl':		('ControlReg', 'udw', 'MISCREG_TL', None, 60),
1283587Sgblack@eecs.umich.edu    'Pil':		('ControlReg', 'udw', 'MISCREG_PIL', None, 61),
1293793Sgblack@eecs.umich.edu    'Cwp':		('ControlReg', 'udw', 'MISCREG_CWP', (None, None, ['IsSerializeAfter','IsSerializing','IsNonSpeculative']), 62),
1303761Sgblack@eecs.umich.edu#   'Cansave':		('ControlReg', 'udw', 'MISCREG_CANSAVE', None, 63),
1313761Sgblack@eecs.umich.edu#   'Canrestore':	('ControlReg', 'udw', 'MISCREG_CANRESTORE', None, 64),
1323761Sgblack@eecs.umich.edu#   'Cleanwin':		('ControlReg', 'udw', 'MISCREG_CLEANWIN', None, 65),
1333761Sgblack@eecs.umich.edu#   'Otherwin':		('ControlReg', 'udw', 'MISCREG_OTHERWIN', None, 66),
1343761Sgblack@eecs.umich.edu#   'Wstate':		('ControlReg', 'udw', 'MISCREG_WSTATE', None, 67),
1353761Sgblack@eecs.umich.edu    'Cansave':		('IntReg', 'udw', 'NumIntArchRegs + 3', None, 63),
1363761Sgblack@eecs.umich.edu    'Canrestore':	('IntReg', 'udw', 'NumIntArchRegs + 4', None, 64),
1373761Sgblack@eecs.umich.edu    'Cleanwin':		('IntReg', 'udw', 'NumIntArchRegs + 5', None, 65),
1383761Sgblack@eecs.umich.edu    'Otherwin':		('IntReg', 'udw', 'NumIntArchRegs + 6', None, 66),
1393761Sgblack@eecs.umich.edu    'Wstate':		('IntReg', 'udw', 'NumIntArchRegs + 7', None, 67),
1403587Sgblack@eecs.umich.edu    'Gl':               ('ControlReg', 'udw', 'MISCREG_GL', None, 68),
1412646Ssaidi@eecs.umich.edu
1423587Sgblack@eecs.umich.edu    'Hpstate':		('ControlReg', 'udw', 'MISCREG_HPSTATE', None, 69),
1433587Sgblack@eecs.umich.edu    'Htstate':		('ControlReg', 'udw', 'MISCREG_HTSTATE', None, 70),
1443587Sgblack@eecs.umich.edu    'Hintp':		('ControlReg', 'udw', 'MISCREG_HINTP', None, 71),
1453587Sgblack@eecs.umich.edu    'Htba':		('ControlReg', 'udw', 'MISCREG_HTBA', None, 72),
1463587Sgblack@eecs.umich.edu    'HstickCmpr':	('ControlReg', 'udw', 'MISCREG_HSTICK_CMPR', None, 73),
1473587Sgblack@eecs.umich.edu    'Hver':		('ControlReg', 'udw', 'MISCREG_HVER', None, 74),
1483600Sgblack@eecs.umich.edu    'StrandStsReg':	('ControlReg', 'udw', 'MISCREG_STRAND_STS_REG', None, 75),
1492646Ssaidi@eecs.umich.edu
1503587Sgblack@eecs.umich.edu    'Fsr':		('ControlReg', 'udw', 'MISCREG_FSR', None, 80),
1513388Sgblack@eecs.umich.edu    # Mem gets a large number so it's always last
1523388Sgblack@eecs.umich.edu    'Mem': 		('Mem', 'udw', None, ('IsMemRef', 'IsLoad', 'IsStore'), 100)
1532646Ssaidi@eecs.umich.edu
1542023SN/A}};
155