mem.isa revision 7294
17119Sgblack@eecs.umich.edu// -*- mode:c++ -*- 27119Sgblack@eecs.umich.edu 37119Sgblack@eecs.umich.edu// Copyright (c) 2010 ARM Limited 47119Sgblack@eecs.umich.edu// All rights reserved 57119Sgblack@eecs.umich.edu// 67119Sgblack@eecs.umich.edu// The license below extends only to copyright in the software and shall 77119Sgblack@eecs.umich.edu// not be construed as granting a license to any other intellectual 87119Sgblack@eecs.umich.edu// property including but not limited to intellectual property relating 97119Sgblack@eecs.umich.edu// to a hardware implementation of the functionality of the software 107119Sgblack@eecs.umich.edu// licensed hereunder. You may use the software subject to the license 117119Sgblack@eecs.umich.edu// terms below provided that you ensure that this notice is replicated 127119Sgblack@eecs.umich.edu// unmodified and in its entirety in all distributions of the software, 137119Sgblack@eecs.umich.edu// modified or unmodified, in source code or in binary form. 147119Sgblack@eecs.umich.edu// 157119Sgblack@eecs.umich.edu// Redistribution and use in source and binary forms, with or without 167119Sgblack@eecs.umich.edu// modification, are permitted provided that the following conditions are 177119Sgblack@eecs.umich.edu// met: redistributions of source code must retain the above copyright 187119Sgblack@eecs.umich.edu// notice, this list of conditions and the following disclaimer; 197119Sgblack@eecs.umich.edu// redistributions in binary form must reproduce the above copyright 207119Sgblack@eecs.umich.edu// notice, this list of conditions and the following disclaimer in the 217119Sgblack@eecs.umich.edu// documentation and/or other materials provided with the distribution; 227119Sgblack@eecs.umich.edu// neither the name of the copyright holders nor the names of its 237119Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 247119Sgblack@eecs.umich.edu// this software without specific prior written permission. 257119Sgblack@eecs.umich.edu// 267119Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 277119Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 287119Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 297119Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 307119Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 317119Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 327119Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 337119Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 347119Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 357119Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 367119Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 377119Sgblack@eecs.umich.edu// 387119Sgblack@eecs.umich.edu// Authors: Gabe Black 397119Sgblack@eecs.umich.edu 407119Sgblack@eecs.umich.edulet {{ 417292Sgblack@eecs.umich.edu def loadStoreBaseWork(name, Name, imm, swp, rfe, codeBlobs, memFlags, 427279Sgblack@eecs.umich.edu instFlags, double, base = 'Memory', 437279Sgblack@eecs.umich.edu execTemplateBase = ''): 447119Sgblack@eecs.umich.edu # Make sure flags are in lists (convert to lists if not). 457119Sgblack@eecs.umich.edu memFlags = makeList(memFlags) 467119Sgblack@eecs.umich.edu instFlags = makeList(instFlags) 477119Sgblack@eecs.umich.edu 487205Sgblack@eecs.umich.edu eaCode = codeBlobs["ea_code"] 497205Sgblack@eecs.umich.edu 507119Sgblack@eecs.umich.edu # This shouldn't be part of the eaCode, but until the exec templates 517119Sgblack@eecs.umich.edu # are converted over it's the easiest place to put it. 527119Sgblack@eecs.umich.edu eaCode += '\n unsigned memAccessFlags = ' 537294Sgblack@eecs.umich.edu eaCode += (string.join(memFlags, '|') + ';') 547119Sgblack@eecs.umich.edu 557205Sgblack@eecs.umich.edu codeBlobs["ea_code"] = eaCode 567205Sgblack@eecs.umich.edu 577205Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, base, codeBlobs, instFlags) 587119Sgblack@eecs.umich.edu 597119Sgblack@eecs.umich.edu fullExecTemplate = eval(execTemplateBase + 'Execute') 607119Sgblack@eecs.umich.edu initiateAccTemplate = eval(execTemplateBase + 'InitiateAcc') 617119Sgblack@eecs.umich.edu completeAccTemplate = eval(execTemplateBase + 'CompleteAcc') 627119Sgblack@eecs.umich.edu 637205Sgblack@eecs.umich.edu if swp: 647205Sgblack@eecs.umich.edu declareTemplate = SwapDeclare 657205Sgblack@eecs.umich.edu constructTemplate = SwapConstructor 667292Sgblack@eecs.umich.edu elif rfe: 677292Sgblack@eecs.umich.edu declareTemplate = RfeDeclare 687292Sgblack@eecs.umich.edu constructTemplate = RfeConstructor 697205Sgblack@eecs.umich.edu elif imm: 707279Sgblack@eecs.umich.edu if double: 717279Sgblack@eecs.umich.edu declareTemplate = LoadStoreDImmDeclare 727279Sgblack@eecs.umich.edu constructTemplate = LoadStoreDImmConstructor 737279Sgblack@eecs.umich.edu else: 747279Sgblack@eecs.umich.edu declareTemplate = LoadStoreImmDeclare 757279Sgblack@eecs.umich.edu constructTemplate = LoadStoreImmConstructor 767119Sgblack@eecs.umich.edu else: 777279Sgblack@eecs.umich.edu if double: 787279Sgblack@eecs.umich.edu declareTemplate = LoadStoreDRegDeclare 797279Sgblack@eecs.umich.edu constructTemplate = LoadStoreDRegConstructor 807279Sgblack@eecs.umich.edu else: 817279Sgblack@eecs.umich.edu declareTemplate = LoadStoreRegDeclare 827279Sgblack@eecs.umich.edu constructTemplate = LoadStoreRegConstructor 837119Sgblack@eecs.umich.edu 847119Sgblack@eecs.umich.edu # (header_output, decoder_output, decode_block, exec_output) 857119Sgblack@eecs.umich.edu return (declareTemplate.subst(iop), 867119Sgblack@eecs.umich.edu constructTemplate.subst(iop), 877119Sgblack@eecs.umich.edu fullExecTemplate.subst(iop) 887119Sgblack@eecs.umich.edu + initiateAccTemplate.subst(iop) 897119Sgblack@eecs.umich.edu + completeAccTemplate.subst(iop)) 907119Sgblack@eecs.umich.edu 917205Sgblack@eecs.umich.edu def loadStoreBase(name, Name, imm, eaCode, accCode, memFlags, 927279Sgblack@eecs.umich.edu instFlags, double, base = 'Memory', 937279Sgblack@eecs.umich.edu execTemplateBase = ''): 947205Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 957205Sgblack@eecs.umich.edu "memacc_code": accCode, 967205Sgblack@eecs.umich.edu "predicate_test": predicateTest } 977292Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, imm, False, False, codeBlobs, 987292Sgblack@eecs.umich.edu memFlags, instFlags, double, base, 997292Sgblack@eecs.umich.edu execTemplateBase) 1007292Sgblack@eecs.umich.edu 1017292Sgblack@eecs.umich.edu def RfeBase(name, Name, eaCode, accCode, memFlags, instFlags): 1027292Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1037292Sgblack@eecs.umich.edu "memacc_code": accCode, 1047292Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1057292Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, False, True, codeBlobs, 1067292Sgblack@eecs.umich.edu memFlags, instFlags, False, 'RfeOp', 'Load') 1077205Sgblack@eecs.umich.edu 1087205Sgblack@eecs.umich.edu def SwapBase(name, Name, eaCode, preAccCode, postAccCode, memFlags, 1097205Sgblack@eecs.umich.edu instFlags): 1107205Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1117205Sgblack@eecs.umich.edu "preacc_code": preAccCode, 1127205Sgblack@eecs.umich.edu "postacc_code": postAccCode, 1137205Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1147292Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, True, False, codeBlobs, 1157292Sgblack@eecs.umich.edu memFlags, instFlags, False, 'Swap', 'Swap') 1167205Sgblack@eecs.umich.edu 1177119Sgblack@eecs.umich.edu def memClassName(base, post, add, writeback, \ 1187119Sgblack@eecs.umich.edu size=4, sign=False, user=False): 1197119Sgblack@eecs.umich.edu Name = base 1207119Sgblack@eecs.umich.edu 1217119Sgblack@eecs.umich.edu if post: 1227119Sgblack@eecs.umich.edu Name += '_PY' 1237119Sgblack@eecs.umich.edu else: 1247119Sgblack@eecs.umich.edu Name += '_PN' 1257119Sgblack@eecs.umich.edu 1267119Sgblack@eecs.umich.edu if add: 1277119Sgblack@eecs.umich.edu Name += '_AY' 1287119Sgblack@eecs.umich.edu else: 1297119Sgblack@eecs.umich.edu Name += '_AN' 1307119Sgblack@eecs.umich.edu 1317119Sgblack@eecs.umich.edu if writeback: 1327119Sgblack@eecs.umich.edu Name += '_WY' 1337119Sgblack@eecs.umich.edu else: 1347119Sgblack@eecs.umich.edu Name += '_WN' 1357119Sgblack@eecs.umich.edu 1367119Sgblack@eecs.umich.edu Name += ('_SZ%d' % size) 1377119Sgblack@eecs.umich.edu 1387119Sgblack@eecs.umich.edu if sign: 1397119Sgblack@eecs.umich.edu Name += '_SY' 1407119Sgblack@eecs.umich.edu else: 1417119Sgblack@eecs.umich.edu Name += '_SN' 1427119Sgblack@eecs.umich.edu 1437119Sgblack@eecs.umich.edu if user: 1447119Sgblack@eecs.umich.edu Name += '_UY' 1457119Sgblack@eecs.umich.edu else: 1467119Sgblack@eecs.umich.edu Name += '_UN' 1477119Sgblack@eecs.umich.edu 1487119Sgblack@eecs.umich.edu return Name 1497119Sgblack@eecs.umich.edu 1507119Sgblack@eecs.umich.edu def buildMemSuffix(sign, size): 1517119Sgblack@eecs.umich.edu if size == 4: 1527119Sgblack@eecs.umich.edu memSuffix = '' 1537119Sgblack@eecs.umich.edu elif size == 2: 1547119Sgblack@eecs.umich.edu if sign: 1557119Sgblack@eecs.umich.edu memSuffix = '.sh' 1567119Sgblack@eecs.umich.edu else: 1577119Sgblack@eecs.umich.edu memSuffix = '.uh' 1587119Sgblack@eecs.umich.edu elif size == 1: 1597119Sgblack@eecs.umich.edu if sign: 1607119Sgblack@eecs.umich.edu memSuffix = '.sb' 1617119Sgblack@eecs.umich.edu else: 1627119Sgblack@eecs.umich.edu memSuffix = '.ub' 1637119Sgblack@eecs.umich.edu else: 1647119Sgblack@eecs.umich.edu raise Exception, "Unrecognized size for load %d" % size 1657119Sgblack@eecs.umich.edu 1667119Sgblack@eecs.umich.edu return memSuffix 1677119Sgblack@eecs.umich.edu 1687119Sgblack@eecs.umich.edu def buildMemBase(base, post, writeback): 1697119Sgblack@eecs.umich.edu if post and writeback: 1707132Sgblack@eecs.umich.edu base = "MemoryPostIndex<%s>" % base 1717119Sgblack@eecs.umich.edu elif not post and writeback: 1727132Sgblack@eecs.umich.edu base = "MemoryPreIndex<%s>" % base 1737119Sgblack@eecs.umich.edu elif not post and not writeback: 1747132Sgblack@eecs.umich.edu base = "MemoryOffset<%s>" % base 1757119Sgblack@eecs.umich.edu else: 1767119Sgblack@eecs.umich.edu raise Exception, "Illegal combination of post and writeback" 1777119Sgblack@eecs.umich.edu return base 1787119Sgblack@eecs.umich.edu}}; 1797119Sgblack@eecs.umich.edu 180