mem.isa revision 7303
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, 427303Sgblack@eecs.umich.edu instFlags, double, strex, 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 737303Sgblack@eecs.umich.edu if strex: 747303Sgblack@eecs.umich.edu declareTemplate = StoreExDImmDeclare 757303Sgblack@eecs.umich.edu constructTemplate = StoreExDImmConstructor 767303Sgblack@eecs.umich.edu elif strex: 777303Sgblack@eecs.umich.edu declareTemplate = StoreExImmDeclare 787303Sgblack@eecs.umich.edu constructTemplate = StoreExImmConstructor 797279Sgblack@eecs.umich.edu else: 807279Sgblack@eecs.umich.edu declareTemplate = LoadStoreImmDeclare 817279Sgblack@eecs.umich.edu constructTemplate = LoadStoreImmConstructor 827119Sgblack@eecs.umich.edu else: 837279Sgblack@eecs.umich.edu if double: 847279Sgblack@eecs.umich.edu declareTemplate = LoadStoreDRegDeclare 857279Sgblack@eecs.umich.edu constructTemplate = LoadStoreDRegConstructor 867279Sgblack@eecs.umich.edu else: 877279Sgblack@eecs.umich.edu declareTemplate = LoadStoreRegDeclare 887279Sgblack@eecs.umich.edu constructTemplate = LoadStoreRegConstructor 897119Sgblack@eecs.umich.edu 907119Sgblack@eecs.umich.edu # (header_output, decoder_output, decode_block, exec_output) 917119Sgblack@eecs.umich.edu return (declareTemplate.subst(iop), 927119Sgblack@eecs.umich.edu constructTemplate.subst(iop), 937119Sgblack@eecs.umich.edu fullExecTemplate.subst(iop) 947119Sgblack@eecs.umich.edu + initiateAccTemplate.subst(iop) 957119Sgblack@eecs.umich.edu + completeAccTemplate.subst(iop)) 967119Sgblack@eecs.umich.edu 977303Sgblack@eecs.umich.edu def loadStoreBase(name, Name, imm, eaCode, accCode, postAccCode, 987303Sgblack@eecs.umich.edu memFlags, instFlags, double, strex, base = 'Memory', 997279Sgblack@eecs.umich.edu execTemplateBase = ''): 1007205Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1017205Sgblack@eecs.umich.edu "memacc_code": accCode, 1027303Sgblack@eecs.umich.edu "postacc_code": postAccCode, 1037205Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1047292Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, imm, False, False, codeBlobs, 1057303Sgblack@eecs.umich.edu memFlags, instFlags, double, strex, base, 1067292Sgblack@eecs.umich.edu execTemplateBase) 1077292Sgblack@eecs.umich.edu 1087292Sgblack@eecs.umich.edu def RfeBase(name, Name, eaCode, accCode, memFlags, instFlags): 1097292Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1107292Sgblack@eecs.umich.edu "memacc_code": accCode, 1117292Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1127292Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, False, True, codeBlobs, 1137303Sgblack@eecs.umich.edu memFlags, instFlags, False, False, 1147303Sgblack@eecs.umich.edu 'RfeOp', 'Load') 1157205Sgblack@eecs.umich.edu 1167205Sgblack@eecs.umich.edu def SwapBase(name, Name, eaCode, preAccCode, postAccCode, memFlags, 1177205Sgblack@eecs.umich.edu instFlags): 1187205Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1197205Sgblack@eecs.umich.edu "preacc_code": preAccCode, 1207205Sgblack@eecs.umich.edu "postacc_code": postAccCode, 1217205Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1227292Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, True, False, codeBlobs, 1237303Sgblack@eecs.umich.edu memFlags, instFlags, False, False, 1247303Sgblack@eecs.umich.edu 'Swap', 'Swap') 1257205Sgblack@eecs.umich.edu 1267119Sgblack@eecs.umich.edu def memClassName(base, post, add, writeback, \ 1277119Sgblack@eecs.umich.edu size=4, sign=False, user=False): 1287119Sgblack@eecs.umich.edu Name = base 1297119Sgblack@eecs.umich.edu 1307119Sgblack@eecs.umich.edu if post: 1317119Sgblack@eecs.umich.edu Name += '_PY' 1327119Sgblack@eecs.umich.edu else: 1337119Sgblack@eecs.umich.edu Name += '_PN' 1347119Sgblack@eecs.umich.edu 1357119Sgblack@eecs.umich.edu if add: 1367119Sgblack@eecs.umich.edu Name += '_AY' 1377119Sgblack@eecs.umich.edu else: 1387119Sgblack@eecs.umich.edu Name += '_AN' 1397119Sgblack@eecs.umich.edu 1407119Sgblack@eecs.umich.edu if writeback: 1417119Sgblack@eecs.umich.edu Name += '_WY' 1427119Sgblack@eecs.umich.edu else: 1437119Sgblack@eecs.umich.edu Name += '_WN' 1447119Sgblack@eecs.umich.edu 1457119Sgblack@eecs.umich.edu Name += ('_SZ%d' % size) 1467119Sgblack@eecs.umich.edu 1477119Sgblack@eecs.umich.edu if sign: 1487119Sgblack@eecs.umich.edu Name += '_SY' 1497119Sgblack@eecs.umich.edu else: 1507119Sgblack@eecs.umich.edu Name += '_SN' 1517119Sgblack@eecs.umich.edu 1527119Sgblack@eecs.umich.edu if user: 1537119Sgblack@eecs.umich.edu Name += '_UY' 1547119Sgblack@eecs.umich.edu else: 1557119Sgblack@eecs.umich.edu Name += '_UN' 1567119Sgblack@eecs.umich.edu 1577119Sgblack@eecs.umich.edu return Name 1587119Sgblack@eecs.umich.edu 1597119Sgblack@eecs.umich.edu def buildMemSuffix(sign, size): 1607119Sgblack@eecs.umich.edu if size == 4: 1617119Sgblack@eecs.umich.edu memSuffix = '' 1627119Sgblack@eecs.umich.edu elif size == 2: 1637119Sgblack@eecs.umich.edu if sign: 1647119Sgblack@eecs.umich.edu memSuffix = '.sh' 1657119Sgblack@eecs.umich.edu else: 1667119Sgblack@eecs.umich.edu memSuffix = '.uh' 1677119Sgblack@eecs.umich.edu elif size == 1: 1687119Sgblack@eecs.umich.edu if sign: 1697119Sgblack@eecs.umich.edu memSuffix = '.sb' 1707119Sgblack@eecs.umich.edu else: 1717119Sgblack@eecs.umich.edu memSuffix = '.ub' 1727119Sgblack@eecs.umich.edu else: 1737119Sgblack@eecs.umich.edu raise Exception, "Unrecognized size for load %d" % size 1747119Sgblack@eecs.umich.edu 1757119Sgblack@eecs.umich.edu return memSuffix 1767119Sgblack@eecs.umich.edu 1777119Sgblack@eecs.umich.edu def buildMemBase(base, post, writeback): 1787119Sgblack@eecs.umich.edu if post and writeback: 1797132Sgblack@eecs.umich.edu base = "MemoryPostIndex<%s>" % base 1807119Sgblack@eecs.umich.edu elif not post and writeback: 1817132Sgblack@eecs.umich.edu base = "MemoryPreIndex<%s>" % base 1827119Sgblack@eecs.umich.edu elif not post and not writeback: 1837132Sgblack@eecs.umich.edu base = "MemoryOffset<%s>" % base 1847119Sgblack@eecs.umich.edu else: 1857119Sgblack@eecs.umich.edu raise Exception, "Illegal combination of post and writeback" 1867119Sgblack@eecs.umich.edu return base 1877119Sgblack@eecs.umich.edu}}; 1887119Sgblack@eecs.umich.edu 189