operands.isa revision 4634
1// Copyright (c) 2006-2007 The Regents of The University of Michigan 2// All rights reserved. 3// 4// Redistribution and use in source and binary forms, with or without 5// modification, are permitted provided that the following conditions are 6// met: redistributions of source code must retain the above copyright 7// notice, this list of conditions and the following disclaimer; 8// redistributions in binary form must reproduce the above copyright 9// notice, this list of conditions and the following disclaimer in the 10// documentation and/or other materials provided with the distribution; 11// neither the name of the copyright holders nor the names of its 12// contributors may be used to endorse or promote products derived from 13// this software without specific prior written permission. 14// 15// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 16// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 17// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 18// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 19// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 20// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 21// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 22// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 23// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 24// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26// 27// Authors: Ali Saidi 28// Gabe Black 29// Steve Reinhardt 30 31def operand_types {{ 32 'sb' : ('signed int', 8), 33 'ub' : ('unsigned int', 8), 34 'shw' : ('signed int', 16), 35 'uhw' : ('unsigned int', 16), 36 'sw' : ('signed int', 32), 37 'uw' : ('unsigned int', 32), 38 'sdw' : ('signed int', 64), 39 'udw' : ('unsigned int', 64), 40 'tudw' : ('twin64 int', 64), 41 'tuw' : ('twin32 int', 32), 42 'sf' : ('float', 32), 43 'df' : ('float', 64), 44 'qf' : ('float', 128) 45}}; 46 47output header {{ 48 // A function to "decompress" double and quad floating point 49 // register numbers stuffed into 5 bit fields. These have their 50 // MSB put in the LSB position but are otherwise normal. 51 static inline unsigned int dfpr(unsigned int regNum) 52 { 53 return (regNum & (~1)) | ((regNum & 1) << 5); 54 } 55 56 static inline unsigned int dfprl(unsigned int regNum) 57 { 58 return dfpr(regNum) & (~0x1); 59 } 60 61 static inline unsigned int dfprh(unsigned int regNum) 62 { 63 return dfpr(regNum) | 0x1; 64 } 65}}; 66 67def operands {{ 68 # Int regs default to unsigned, but code should not count on this. 69 # For clarity, descriptions that depend on unsigned behavior should 70 # explicitly specify '.uq'. 71 72 'Rd': ('IntReg', 'udw', 'RD', 'IsInteger', 1), 73 # The Rd from the previous window 74 'Rd_prev': ('IntReg', 'udw', 'RD + NumIntArchRegs + NumMicroIntRegs', 'IsInteger', 2), 75 # The Rd from the next window 76 'Rd_next': ('IntReg', 'udw', 'RD + 2 * NumIntArchRegs + NumMicroIntRegs', 'IsInteger', 3), 77 # For microcoded twin load instructions, RdTwin appears in the "code" 78 # for the instruction is replaced by RdLow or RdHigh by the format 79 # before it's processed by the iop. 80 # The low (even) register of a two register pair 81 'RdLow': ('IntReg', 'udw', 'RD & (~1)', 'IsInteger', 4), 82 # The high (odd) register of a two register pair 83 'RdHigh': ('IntReg', 'udw', 'RD | 1', 'IsInteger', 5), 84 'Rs1': ('IntReg', 'udw', 'RS1', 'IsInteger', 6), 85 'Rs2': ('IntReg', 'udw', 'RS2', 'IsInteger', 7), 86 # A microcode register. Right now, this is the only one. 87 'uReg0': ('IntReg', 'udw', 'NumIntArchRegs', 'IsInteger', 8), 88 # Because double and quad precision register numbers are decoded 89 # differently, they get different operands. The single precision versions 90 # have an s post pended to their name. 91 'Frds': ('FloatReg', 'sf', 'RD', 'IsFloating', 10), 92 #'Frd': ('FloatReg', 'df', 'dfpr(RD)', 'IsFloating', 10), 93 'Frd_low': ('FloatReg', 'uw', 'dfprl(RD)', 'IsFloating', 10), 94 'Frd_high': ('FloatReg', 'uw', 'dfprh(RD)', 'IsFloating', 10), 95 # Each Frd_N refers to the Nth double precision register from Frd. 96 # Note that this adds twice N to the register number. 97 #'Frd_0': ('FloatReg', 'df', 'dfpr(RD)', 'IsFloating', 10), 98 'Frd_0_low': ('FloatReg', 'uw', 'dfprl(RD)', 'IsFloating', 10), 99 'Frd_0_high': ('FloatReg', 'uw', 'dfprh(RD)', 'IsFloating', 10), 100 #'Frd_1': ('FloatReg', 'df', 'dfpr(RD) + 2', 'IsFloating', 10), 101 'Frd_1_low': ('FloatReg', 'uw', 'dfprl(RD) + 2', 'IsFloating', 10), 102 'Frd_1_high': ('FloatReg', 'uw', 'dfprh(RD) + 2', 'IsFloating', 10), 103 #'Frd_2': ('FloatReg', 'df', 'dfpr(RD) + 4', 'IsFloating', 10), 104 'Frd_2_low': ('FloatReg', 'uw', 'dfprl(RD) + 4', 'IsFloating', 10), 105 'Frd_2_high': ('FloatReg', 'uw', 'dfprh(RD) + 4', 'IsFloating', 10), 106 #'Frd_3': ('FloatReg', 'df', 'dfpr(RD) + 6', 'IsFloating', 10), 107 'Frd_3_low': ('FloatReg', 'uw', 'dfprl(RD) + 6', 'IsFloating', 10), 108 'Frd_3_high': ('FloatReg', 'uw', 'dfprh(RD) + 6', 'IsFloating', 10), 109 #'Frd_4': ('FloatReg', 'df', 'dfpr(RD) + 8', 'IsFloating', 10), 110 'Frd_4_low': ('FloatReg', 'uw', 'dfprl(RD) + 8', 'IsFloating', 10), 111 'Frd_4_high': ('FloatReg', 'uw', 'dfprh(RD) + 8', 'IsFloating', 10), 112 #'Frd_5': ('FloatReg', 'df', 'dfpr(RD) + 10', 'IsFloating', 10), 113 'Frd_5_low': ('FloatReg', 'uw', 'dfprl(RD) + 10', 'IsFloating', 10), 114 'Frd_5_high': ('FloatReg', 'uw', 'dfprh(RD) + 10', 'IsFloating', 10), 115 #'Frd_6': ('FloatReg', 'df', 'dfpr(RD) + 12', 'IsFloating', 10), 116 'Frd_6_low': ('FloatReg', 'uw', 'dfprl(RD) + 12', 'IsFloating', 10), 117 'Frd_6_high': ('FloatReg', 'uw', 'dfprh(RD) + 12', 'IsFloating', 10), 118 #'Frd_7': ('FloatReg', 'df', 'dfpr(RD) + 14', 'IsFloating', 10), 119 'Frd_7_low': ('FloatReg', 'uw', 'dfprl(RD) + 14', 'IsFloating', 10), 120 'Frd_7_high': ('FloatReg', 'uw', 'dfprh(RD) + 14', 'IsFloating', 10), 121 'Frs1s': ('FloatReg', 'sf', 'RS1', 'IsFloating', 11), 122 #'Frs1': ('FloatReg', 'df', 'dfpr(RS1)', 'IsFloating', 11), 123 'Frs1_low': ('FloatReg', 'uw', 'dfprl(RS1)', 'IsFloating', 11), 124 'Frs1_high': ('FloatReg', 'uw', 'dfprh(RS1)', 'IsFloating', 11), 125 'Frs2s': ('FloatReg', 'sf', 'RS2', 'IsFloating', 12), 126 #'Frs2': ('FloatReg', 'df', 'dfpr(RS2)', 'IsFloating', 12), 127 'Frs2_low': ('FloatReg', 'uw', 'dfprl(RS2)', 'IsFloating', 12), 128 'Frs2_high': ('FloatReg', 'uw', 'dfprh(RS2)', 'IsFloating', 12), 129 'NPC': ('NPC', 'udw', None, ( None, None, 'IsControl' ), 31), 130 'NNPC': ('NNPC', 'udw', None, (None, None, 'IsControl' ), 32), 131 # Registers which are used explicitly in instructions 132 'R0': ('IntReg', 'udw', '0', None, 6), 133 'R1': ('IntReg', 'udw', '1', None, 7), 134 'R15': ('IntReg', 'udw', '15', 'IsInteger', 8), 135 'R16': ('IntReg', 'udw', '16', None, 9), 136 'O0': ('IntReg', 'udw', '8', 'IsInteger', 10), 137 'O1': ('IntReg', 'udw', '9', 'IsInteger', 11), 138 'O2': ('IntReg', 'udw', '10', 'IsInteger', 12), 139 'O3': ('IntReg', 'udw', '11', 'IsInteger', 13), 140 'O4': ('IntReg', 'udw', '12', 'IsInteger', 14), 141 'O5': ('IntReg', 'udw', '13', 'IsInteger', 15), 142 143 # Control registers 144# 'Y': ('ControlReg', 'udw', 'MISCREG_Y', None, 40), 145# 'Ccr': ('ControlReg', 'udw', 'MISCREG_CCR', None, 41), 146 'Y': ('IntReg', 'udw', 'NumIntArchRegs + 1', None, 40), 147 'Ccr': ('IntReg', 'udw', 'NumIntArchRegs + 2', None, 41), 148 'Asi': ('ControlReg', 'udw', 'MISCREG_ASI', None, 42), 149 'Fprs': ('ControlReg', 'udw', 'MISCREG_FPRS', None, 43), 150 'Pcr': ('ControlReg', 'udw', 'MISCREG_PCR', None, 44), 151 'Pic': ('ControlReg', 'udw', 'MISCREG_PIC', None, 45), 152 'Gsr': ('ControlReg', 'udw', 'MISCREG_GSR', None, 46), 153 'Softint': ('ControlReg', 'udw', 'MISCREG_SOFTINT', None, 47), 154 'SoftintSet': ('ControlReg', 'udw', 'MISCREG_SOFTINT_SET', None, 48), 155 'SoftintClr': ('ControlReg', 'udw', 'MISCREG_SOFTINT_CLR', None, 49), 156 'TickCmpr': ('ControlReg', 'udw', 'MISCREG_TICK_CMPR', None, 50), 157 'Stick': ('ControlReg', 'udw', 'MISCREG_STICK', None, 51), 158 'StickCmpr': ('ControlReg', 'udw', 'MISCREG_STICK_CMPR', None, 52), 159 160 'Tpc': ('ControlReg', 'udw', 'MISCREG_TPC', None, 53), 161 'Tnpc': ('ControlReg', 'udw', 'MISCREG_TNPC', None, 54), 162 'Tstate': ('ControlReg', 'udw', 'MISCREG_TSTATE', None, 55), 163 'Tt': ('ControlReg', 'udw', 'MISCREG_TT', None, 56), 164 'Tick': ('ControlReg', 'udw', 'MISCREG_TICK', None, 57), 165 'Tba': ('ControlReg', 'udw', 'MISCREG_TBA', None, 58), 166 'Pstate': ('ControlReg', 'udw', 'MISCREG_PSTATE', None, 59), 167 'Tl': ('ControlReg', 'udw', 'MISCREG_TL', None, 60), 168 'Pil': ('ControlReg', 'udw', 'MISCREG_PIL', None, 61), 169 'Cwp': ('ControlReg', 'udw', 'MISCREG_CWP', (None, None, ['IsSerializeAfter','IsSerializing','IsNonSpeculative']), 62), 170# 'Cansave': ('ControlReg', 'udw', 'MISCREG_CANSAVE', None, 63), 171# 'Canrestore': ('ControlReg', 'udw', 'MISCREG_CANRESTORE', None, 64), 172# 'Cleanwin': ('ControlReg', 'udw', 'MISCREG_CLEANWIN', None, 65), 173# 'Otherwin': ('ControlReg', 'udw', 'MISCREG_OTHERWIN', None, 66), 174# 'Wstate': ('ControlReg', 'udw', 'MISCREG_WSTATE', None, 67), 175 'Cansave': ('IntReg', 'udw', 'NumIntArchRegs + 3', None, 63), 176 'Canrestore': ('IntReg', 'udw', 'NumIntArchRegs + 4', None, 64), 177 'Cleanwin': ('IntReg', 'udw', 'NumIntArchRegs + 5', None, 65), 178 'Otherwin': ('IntReg', 'udw', 'NumIntArchRegs + 6', None, 66), 179 'Wstate': ('IntReg', 'udw', 'NumIntArchRegs + 7', None, 67), 180 'Gl': ('ControlReg', 'udw', 'MISCREG_GL', None, 68), 181 182 'Hpstate': ('ControlReg', 'udw', 'MISCREG_HPSTATE', None, 69), 183 'Htstate': ('ControlReg', 'udw', 'MISCREG_HTSTATE', None, 70), 184 'Hintp': ('ControlReg', 'udw', 'MISCREG_HINTP', None, 71), 185 'Htba': ('ControlReg', 'udw', 'MISCREG_HTBA', None, 72), 186 'HstickCmpr': ('ControlReg', 'udw', 'MISCREG_HSTICK_CMPR', None, 73), 187 'Hver': ('ControlReg', 'udw', 'MISCREG_HVER', None, 74), 188 'StrandStsReg': ('ControlReg', 'udw', 'MISCREG_STRAND_STS_REG', None, 75), 189 190 'Fsr': ('ControlReg', 'udw', 'MISCREG_FSR', (None, None, ['IsSerializeAfter','IsSerializing','IsNonSpeculative']), 80), 191 # Mem gets a large number so it's always last 192 'Mem': ('Mem', 'udw', None, ('IsMemRef', 'IsLoad', 'IsStore'), 100) 193 194}}; 195