microasm.isa revision 4863
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
784615Sgblack@eecs.umich.edu    # Add in symbols for the segment descriptor registers
794615Sgblack@eecs.umich.edu    for letter in ("C", "D", "E", "F", "G", "S"):
804615Sgblack@eecs.umich.edu        assembler.symbols["%ss" % letter.lower()] = "SEGMENT_REG_%sS" % letter
814615Sgblack@eecs.umich.edu    # Miscellaneous symbols
824615Sgblack@eecs.umich.edu    symbols = {
834615Sgblack@eecs.umich.edu        "reg" : "env.reg",
844615Sgblack@eecs.umich.edu        "regm" : "env.regm",
854615Sgblack@eecs.umich.edu        "imm" : "IMMEDIATE",
864615Sgblack@eecs.umich.edu        "disp" : "DISPLACEMENT",
874863Sgblack@eecs.umich.edu        "seg" : "env.seg",
884615Sgblack@eecs.umich.edu        "scale" : "env.scale",
894615Sgblack@eecs.umich.edu        "index" : "env.index",
904615Sgblack@eecs.umich.edu        "base" : "env.base",
914615Sgblack@eecs.umich.edu        "dsz" : "env.dataSize",
924615Sgblack@eecs.umich.edu        "osz" : "env.operandSize",
934615Sgblack@eecs.umich.edu        "ssz" : "env.stackSize"
944615Sgblack@eecs.umich.edu    }
954863Sgblack@eecs.umich.edu    assembler.symbols.update(symbols)
964863Sgblack@eecs.umich.edu
974863Sgblack@eecs.umich.edu    # Short hand for common scale-index-base combinations.
984863Sgblack@eecs.umich.edu    assembler.symbols["sib"] = \
994863Sgblack@eecs.umich.edu        [symbols["scale"], symbols["index"], symbols["base"]]
1004863Sgblack@eecs.umich.edu    assembler.symbols["riprel"] = \
1014863Sgblack@eecs.umich.edu        ["1", assembler.symbols["t0"], assembler.symbols["t7"]]
1024620Sgblack@eecs.umich.edu
1034620Sgblack@eecs.umich.edu    for reg in ('ax', 'bx', 'cx', 'dx', 'sp', 'bp', 'si', 'di'):
1044620Sgblack@eecs.umich.edu        assembler.symbols["r%s" % reg] = "INTREG_R%s" % reg.upper()
1054615Sgblack@eecs.umich.edu
1064686Sgblack@eecs.umich.edu    for flag in ('CF', 'PF', 'ECF', 'AF', 'EZF', 'ZF', 'SF', 'OF'):
1074686Sgblack@eecs.umich.edu        assembler.symbols[flag] = flag + "Bit"
1084686Sgblack@eecs.umich.edu
1094686Sgblack@eecs.umich.edu    for cond in ('True', 'False', 'ECF', 'EZF', 'SZnZF',
1104686Sgblack@eecs.umich.edu                 'MSTRZ', 'STRZ', 'MSTRC', 'STRZnZF',
1114686Sgblack@eecs.umich.edu                 'OF', 'CF', 'ZF', 'CvZF',
1124686Sgblack@eecs.umich.edu                 'SF', 'PF', 'SxOF', 'SxOvZF'):
1134686Sgblack@eecs.umich.edu        assembler.symbols["C%s" % cond] = "ConditionTests::%s" % cond
1144686Sgblack@eecs.umich.edu        assembler.symbols["nC%s" % cond] = "ConditionTests::Not%s" % cond
1154686Sgblack@eecs.umich.edu
1164686Sgblack@eecs.umich.edu    assembler.symbols["CTrue"] = "ConditionTests::True"
1174686Sgblack@eecs.umich.edu    assembler.symbols["CFalse"] = "ConditionTests::False"
1184686Sgblack@eecs.umich.edu
1194615Sgblack@eecs.umich.edu    # Code literal which forces a default 64 bit operand size in 64 bit mode.
1204615Sgblack@eecs.umich.edu    assembler.symbols["oszIn64Override"] = '''
1214615Sgblack@eecs.umich.edu    if (machInst.mode.submode == SixtyFourBitMode &&
1224615Sgblack@eecs.umich.edu            env.dataSize == 4)
1234615Sgblack@eecs.umich.edu        env.dataSize = 8;
1244615Sgblack@eecs.umich.edu    '''
1254615Sgblack@eecs.umich.edu
1264528Sgblack@eecs.umich.edu    macroopDict = assembler.assemble(microcode)
1274528Sgblack@eecs.umich.edu}};
128