microasm.isa revision 5149
14309Sgblack@eecs.umich.edu// -*- mode:c++ -*-
24309Sgblack@eecs.umich.edu
34309Sgblack@eecs.umich.edu// Copyright (c) 2007 The Hewlett-Packard Development Company
44309Sgblack@eecs.umich.edu// All rights reserved.
54309Sgblack@eecs.umich.edu//
64309Sgblack@eecs.umich.edu// Redistribution and use of this software in source and binary forms,
74309Sgblack@eecs.umich.edu// with or without modification, are permitted provided that the
84309Sgblack@eecs.umich.edu// following conditions are met:
94309Sgblack@eecs.umich.edu//
104309Sgblack@eecs.umich.edu// The software must be used only for Non-Commercial Use which means any
114309Sgblack@eecs.umich.edu// use which is NOT directed to receiving any direct monetary
124309Sgblack@eecs.umich.edu// compensation for, or commercial advantage from such use.  Illustrative
134309Sgblack@eecs.umich.edu// examples of non-commercial use are academic research, personal study,
144309Sgblack@eecs.umich.edu// teaching, education and corporate research & development.
154309Sgblack@eecs.umich.edu// Illustrative examples of commercial use are distributing products for
164309Sgblack@eecs.umich.edu// commercial advantage and providing services using the software for
174309Sgblack@eecs.umich.edu// commercial advantage.
184309Sgblack@eecs.umich.edu//
194309Sgblack@eecs.umich.edu// If you wish to use this software or functionality therein that may be
204309Sgblack@eecs.umich.edu// covered by patents for commercial use, please contact:
214309Sgblack@eecs.umich.edu//     Director of Intellectual Property Licensing
224309Sgblack@eecs.umich.edu//     Office of Strategy and Technology
234309Sgblack@eecs.umich.edu//     Hewlett-Packard Company
244309Sgblack@eecs.umich.edu//     1501 Page Mill Road
254309Sgblack@eecs.umich.edu//     Palo Alto, California  94304
264309Sgblack@eecs.umich.edu//
274309Sgblack@eecs.umich.edu// Redistributions of source code must retain the above copyright notice,
284309Sgblack@eecs.umich.edu// this list of conditions and the following disclaimer.  Redistributions
294309Sgblack@eecs.umich.edu// in binary form must reproduce the above copyright notice, this list of
304309Sgblack@eecs.umich.edu// conditions and the following disclaimer in the documentation and/or
314309Sgblack@eecs.umich.edu// other materials provided with the distribution.  Neither the name of
324309Sgblack@eecs.umich.edu// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
334309Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from
344309Sgblack@eecs.umich.edu// this software without specific prior written permission.  No right of
354309Sgblack@eecs.umich.edu// sublicense is granted herewith.  Derivatives of the software and
364309Sgblack@eecs.umich.edu// output created using the software may be prepared, but only for
374309Sgblack@eecs.umich.edu// Non-Commercial Uses.  Derivatives of the software may be shared with
384309Sgblack@eecs.umich.edu// others provided: (i) the others agree to abide by the list of
394309Sgblack@eecs.umich.edu// conditions herein which includes the Non-Commercial Use restrictions;
404309Sgblack@eecs.umich.edu// and (ii) such Derivatives of the software include the above copyright
414309Sgblack@eecs.umich.edu// notice to acknowledge the contribution from this software where
424309Sgblack@eecs.umich.edu// applicable, this list of conditions and the disclaimer below.
434309Sgblack@eecs.umich.edu//
444309Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
454309Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
464309Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
474309Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
484309Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
494309Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
504309Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
514309Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
524309Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
534309Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
544309Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
554309Sgblack@eecs.umich.edu//
564309Sgblack@eecs.umich.edu// Authors: Gabe Black
574309Sgblack@eecs.umich.edu
584533Sgblack@eecs.umich.edu//Include the definitions of the micro ops.
594679Sgblack@eecs.umich.edu//These are python representations of static insts which stand on their own
604679Sgblack@eecs.umich.edu//and make up an internal instruction set. They are used by the micro
614679Sgblack@eecs.umich.edu//assembler.
624533Sgblack@eecs.umich.edu##include "microops/microops.isa"
634533Sgblack@eecs.umich.edu
644537Sgblack@eecs.umich.edu//Include code to build macroops in both C++ and python.
654533Sgblack@eecs.umich.edu##include "macroop.isa"
664528Sgblack@eecs.umich.edu
674528Sgblack@eecs.umich.edulet {{
684528Sgblack@eecs.umich.edu    import sys
694528Sgblack@eecs.umich.edu    sys.path[0:0] = ["src/arch/x86/isa/"]
704528Sgblack@eecs.umich.edu    from insts import microcode
714605Sgblack@eecs.umich.edu    # print microcode
724528Sgblack@eecs.umich.edu    from micro_asm import MicroAssembler, Rom_Macroop, Rom
734528Sgblack@eecs.umich.edu    mainRom = Rom('main ROM')
744528Sgblack@eecs.umich.edu    assembler = MicroAssembler(X86Macroop, microopClasses, mainRom, Rom_Macroop)
754615Sgblack@eecs.umich.edu    # Add in symbols for the microcode registers
764615Sgblack@eecs.umich.edu    for num in range(15):
774615Sgblack@eecs.umich.edu        assembler.symbols["t%d" % num] = "NUM_INTREGS+%d" % num
785045Sgblack@eecs.umich.edu    for num in range(7):
795045Sgblack@eecs.umich.edu        assembler.symbols["ufp%d" % num] = "FLOATREG_MICROFP(%d)" % num
804615Sgblack@eecs.umich.edu    # Add in symbols for the segment descriptor registers
814615Sgblack@eecs.umich.edu    for letter in ("C", "D", "E", "F", "G", "S"):
824615Sgblack@eecs.umich.edu        assembler.symbols["%ss" % letter.lower()] = "SEGMENT_REG_%sS" % letter
834615Sgblack@eecs.umich.edu    # Miscellaneous symbols
844615Sgblack@eecs.umich.edu    symbols = {
854615Sgblack@eecs.umich.edu        "reg" : "env.reg",
865029Sgblack@eecs.umich.edu        "xmml" : "FLOATREG_XMM_LOW(env.reg)",
875029Sgblack@eecs.umich.edu        "xmmh" : "FLOATREG_XMM_HIGH(env.reg)",
884615Sgblack@eecs.umich.edu        "regm" : "env.regm",
895029Sgblack@eecs.umich.edu        "xmmlm" : "FLOATREG_XMM_LOW(env.regm)",
905029Sgblack@eecs.umich.edu        "xmmhm" : "FLOATREG_XMM_HIGH(env.regm)",
914615Sgblack@eecs.umich.edu        "imm" : "IMMEDIATE",
924615Sgblack@eecs.umich.edu        "disp" : "DISPLACEMENT",
934863Sgblack@eecs.umich.edu        "seg" : "env.seg",
944615Sgblack@eecs.umich.edu        "scale" : "env.scale",
954615Sgblack@eecs.umich.edu        "index" : "env.index",
964615Sgblack@eecs.umich.edu        "base" : "env.base",
974615Sgblack@eecs.umich.edu        "dsz" : "env.dataSize",
984953Sgblack@eecs.umich.edu        "asz" : "env.addressSize",
994615Sgblack@eecs.umich.edu        "ssz" : "env.stackSize"
1004615Sgblack@eecs.umich.edu    }
1014863Sgblack@eecs.umich.edu    assembler.symbols.update(symbols)
1024863Sgblack@eecs.umich.edu
1034863Sgblack@eecs.umich.edu    # Short hand for common scale-index-base combinations.
1044863Sgblack@eecs.umich.edu    assembler.symbols["sib"] = \
1054863Sgblack@eecs.umich.edu        [symbols["scale"], symbols["index"], symbols["base"]]
1064863Sgblack@eecs.umich.edu    assembler.symbols["riprel"] = \
1074863Sgblack@eecs.umich.edu        ["1", assembler.symbols["t0"], assembler.symbols["t7"]]
1084620Sgblack@eecs.umich.edu
1095149Sgblack@eecs.umich.edu    # This segment selects an internal address space mapped to MSRs,
1105149Sgblack@eecs.umich.edu    # CPUID info, etc.
1115149Sgblack@eecs.umich.edu    assembler.symbols["intseg"] = "NUM_SEGMENTREGS"
1125149Sgblack@eecs.umich.edu
1134620Sgblack@eecs.umich.edu    for reg in ('ax', 'bx', 'cx', 'dx', 'sp', 'bp', 'si', 'di'):
1144620Sgblack@eecs.umich.edu        assembler.symbols["r%s" % reg] = "INTREG_R%s" % reg.upper()
1154615Sgblack@eecs.umich.edu
1164686Sgblack@eecs.umich.edu    for flag in ('CF', 'PF', 'ECF', 'AF', 'EZF', 'ZF', 'SF', 'OF'):
1174686Sgblack@eecs.umich.edu        assembler.symbols[flag] = flag + "Bit"
1184686Sgblack@eecs.umich.edu
1194686Sgblack@eecs.umich.edu    for cond in ('True', 'False', 'ECF', 'EZF', 'SZnZF',
1204953Sgblack@eecs.umich.edu                 'MSTRZ', 'STRZ', 'MSTRC',
1214686Sgblack@eecs.umich.edu                 'OF', 'CF', 'ZF', 'CvZF',
1224686Sgblack@eecs.umich.edu                 'SF', 'PF', 'SxOF', 'SxOvZF'):
1234686Sgblack@eecs.umich.edu        assembler.symbols["C%s" % cond] = "ConditionTests::%s" % cond
1244686Sgblack@eecs.umich.edu        assembler.symbols["nC%s" % cond] = "ConditionTests::Not%s" % cond
1254953Sgblack@eecs.umich.edu    assembler.symbols["CSTRZnEZF"] = "ConditionTests::STRZnEZF"
1264953Sgblack@eecs.umich.edu    assembler.symbols["CSTRnZnEZF"] = "ConditionTests::STRnZnEZF"
1274686Sgblack@eecs.umich.edu
1284686Sgblack@eecs.umich.edu    assembler.symbols["CTrue"] = "ConditionTests::True"
1294686Sgblack@eecs.umich.edu    assembler.symbols["CFalse"] = "ConditionTests::False"
1304686Sgblack@eecs.umich.edu
1314615Sgblack@eecs.umich.edu    # Code literal which forces a default 64 bit operand size in 64 bit mode.
1324615Sgblack@eecs.umich.edu    assembler.symbols["oszIn64Override"] = '''
1334615Sgblack@eecs.umich.edu    if (machInst.mode.submode == SixtyFourBitMode &&
1344615Sgblack@eecs.umich.edu            env.dataSize == 4)
1354615Sgblack@eecs.umich.edu        env.dataSize = 8;
1364615Sgblack@eecs.umich.edu    '''
1374615Sgblack@eecs.umich.edu
1385008Sgblack@eecs.umich.edu    def labeler(labelStr):
1395008Sgblack@eecs.umich.edu        return "label_%s" % labelStr
1405008Sgblack@eecs.umich.edu
1415008Sgblack@eecs.umich.edu    assembler.symbols["label"] = labeler
1425008Sgblack@eecs.umich.edu
1435082Sgblack@eecs.umich.edu    def stack_index(index):
1445121Sgblack@eecs.umich.edu        return "(NUM_FLOATREGS + (((%s) + 8) %% 8))" % index
1455082Sgblack@eecs.umich.edu
1465082Sgblack@eecs.umich.edu    assembler.symbols["st"] = stack_index
1475082Sgblack@eecs.umich.edu
1484528Sgblack@eecs.umich.edu    macroopDict = assembler.assemble(microcode)
1494528Sgblack@eecs.umich.edu}};
150