mem.isa revision 7408
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 {{ 417313Sgblack@eecs.umich.edu def loadStoreBaseWork(name, Name, imm, swp, rfe, srs, codeBlobs, 427313Sgblack@eecs.umich.edu memFlags, instFlags, double, strex, 437313Sgblack@eecs.umich.edu base = 'Memory', 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 697313Sgblack@eecs.umich.edu elif srs: 707313Sgblack@eecs.umich.edu declareTemplate = SrsDeclare 717313Sgblack@eecs.umich.edu constructTemplate = SrsConstructor 727205Sgblack@eecs.umich.edu elif imm: 737279Sgblack@eecs.umich.edu if double: 747279Sgblack@eecs.umich.edu declareTemplate = LoadStoreDImmDeclare 757279Sgblack@eecs.umich.edu constructTemplate = LoadStoreDImmConstructor 767303Sgblack@eecs.umich.edu if strex: 777303Sgblack@eecs.umich.edu declareTemplate = StoreExDImmDeclare 787303Sgblack@eecs.umich.edu constructTemplate = StoreExDImmConstructor 797303Sgblack@eecs.umich.edu elif strex: 807303Sgblack@eecs.umich.edu declareTemplate = StoreExImmDeclare 817303Sgblack@eecs.umich.edu constructTemplate = StoreExImmConstructor 827279Sgblack@eecs.umich.edu else: 837279Sgblack@eecs.umich.edu declareTemplate = LoadStoreImmDeclare 847279Sgblack@eecs.umich.edu constructTemplate = LoadStoreImmConstructor 857119Sgblack@eecs.umich.edu else: 867279Sgblack@eecs.umich.edu if double: 877279Sgblack@eecs.umich.edu declareTemplate = LoadStoreDRegDeclare 887279Sgblack@eecs.umich.edu constructTemplate = LoadStoreDRegConstructor 897279Sgblack@eecs.umich.edu else: 907279Sgblack@eecs.umich.edu declareTemplate = LoadStoreRegDeclare 917279Sgblack@eecs.umich.edu constructTemplate = LoadStoreRegConstructor 927119Sgblack@eecs.umich.edu 937119Sgblack@eecs.umich.edu # (header_output, decoder_output, decode_block, exec_output) 947119Sgblack@eecs.umich.edu return (declareTemplate.subst(iop), 957119Sgblack@eecs.umich.edu constructTemplate.subst(iop), 967119Sgblack@eecs.umich.edu fullExecTemplate.subst(iop) 977119Sgblack@eecs.umich.edu + initiateAccTemplate.subst(iop) 987119Sgblack@eecs.umich.edu + completeAccTemplate.subst(iop)) 997119Sgblack@eecs.umich.edu 1007303Sgblack@eecs.umich.edu def loadStoreBase(name, Name, imm, eaCode, accCode, postAccCode, 1017303Sgblack@eecs.umich.edu memFlags, instFlags, double, strex, base = 'Memory', 1027279Sgblack@eecs.umich.edu execTemplateBase = ''): 1037205Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1047205Sgblack@eecs.umich.edu "memacc_code": accCode, 1057303Sgblack@eecs.umich.edu "postacc_code": postAccCode, 1067205Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1077313Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, imm, False, False, False, 1087313Sgblack@eecs.umich.edu codeBlobs, memFlags, instFlags, double, 1097313Sgblack@eecs.umich.edu strex, base, execTemplateBase) 1107292Sgblack@eecs.umich.edu 1117292Sgblack@eecs.umich.edu def RfeBase(name, Name, eaCode, accCode, memFlags, instFlags): 1127292Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1137292Sgblack@eecs.umich.edu "memacc_code": accCode, 1147292Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1157313Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, False, True, False, 1167313Sgblack@eecs.umich.edu codeBlobs, memFlags, instFlags, False, False, 1177303Sgblack@eecs.umich.edu 'RfeOp', 'Load') 1187205Sgblack@eecs.umich.edu 1197313Sgblack@eecs.umich.edu def SrsBase(name, Name, eaCode, accCode, memFlags, instFlags): 1207313Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1217313Sgblack@eecs.umich.edu "memacc_code": accCode, 1227313Sgblack@eecs.umich.edu "postacc_code": "", 1237313Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1247313Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, False, False, True, 1257313Sgblack@eecs.umich.edu codeBlobs, memFlags, instFlags, False, False, 1267313Sgblack@eecs.umich.edu 'SrsOp', 'Store') 1277313Sgblack@eecs.umich.edu 1287205Sgblack@eecs.umich.edu def SwapBase(name, Name, eaCode, preAccCode, postAccCode, memFlags, 1297205Sgblack@eecs.umich.edu instFlags): 1307205Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1317205Sgblack@eecs.umich.edu "preacc_code": preAccCode, 1327205Sgblack@eecs.umich.edu "postacc_code": postAccCode, 1337205Sgblack@eecs.umich.edu "predicate_test": predicateTest } 1347313Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, True, False, False, 1357313Sgblack@eecs.umich.edu codeBlobs, memFlags, instFlags, False, False, 1367303Sgblack@eecs.umich.edu 'Swap', 'Swap') 1377205Sgblack@eecs.umich.edu 1387119Sgblack@eecs.umich.edu def memClassName(base, post, add, writeback, \ 1397119Sgblack@eecs.umich.edu size=4, sign=False, user=False): 1407119Sgblack@eecs.umich.edu Name = base 1417119Sgblack@eecs.umich.edu 1427119Sgblack@eecs.umich.edu if post: 1437119Sgblack@eecs.umich.edu Name += '_PY' 1447119Sgblack@eecs.umich.edu else: 1457119Sgblack@eecs.umich.edu Name += '_PN' 1467119Sgblack@eecs.umich.edu 1477119Sgblack@eecs.umich.edu if add: 1487119Sgblack@eecs.umich.edu Name += '_AY' 1497119Sgblack@eecs.umich.edu else: 1507119Sgblack@eecs.umich.edu Name += '_AN' 1517119Sgblack@eecs.umich.edu 1527119Sgblack@eecs.umich.edu if writeback: 1537119Sgblack@eecs.umich.edu Name += '_WY' 1547119Sgblack@eecs.umich.edu else: 1557119Sgblack@eecs.umich.edu Name += '_WN' 1567119Sgblack@eecs.umich.edu 1577119Sgblack@eecs.umich.edu Name += ('_SZ%d' % size) 1587119Sgblack@eecs.umich.edu 1597119Sgblack@eecs.umich.edu if sign: 1607119Sgblack@eecs.umich.edu Name += '_SY' 1617119Sgblack@eecs.umich.edu else: 1627119Sgblack@eecs.umich.edu Name += '_SN' 1637119Sgblack@eecs.umich.edu 1647119Sgblack@eecs.umich.edu if user: 1657119Sgblack@eecs.umich.edu Name += '_UY' 1667119Sgblack@eecs.umich.edu else: 1677119Sgblack@eecs.umich.edu Name += '_UN' 1687119Sgblack@eecs.umich.edu 1697119Sgblack@eecs.umich.edu return Name 1707119Sgblack@eecs.umich.edu 1717119Sgblack@eecs.umich.edu def buildMemSuffix(sign, size): 1727119Sgblack@eecs.umich.edu if size == 4: 1737119Sgblack@eecs.umich.edu memSuffix = '' 1747119Sgblack@eecs.umich.edu elif size == 2: 1757119Sgblack@eecs.umich.edu if sign: 1767119Sgblack@eecs.umich.edu memSuffix = '.sh' 1777119Sgblack@eecs.umich.edu else: 1787119Sgblack@eecs.umich.edu memSuffix = '.uh' 1797119Sgblack@eecs.umich.edu elif size == 1: 1807119Sgblack@eecs.umich.edu if sign: 1817119Sgblack@eecs.umich.edu memSuffix = '.sb' 1827119Sgblack@eecs.umich.edu else: 1837119Sgblack@eecs.umich.edu memSuffix = '.ub' 1847119Sgblack@eecs.umich.edu else: 1857119Sgblack@eecs.umich.edu raise Exception, "Unrecognized size for load %d" % size 1867119Sgblack@eecs.umich.edu 1877119Sgblack@eecs.umich.edu return memSuffix 1887119Sgblack@eecs.umich.edu 1897119Sgblack@eecs.umich.edu def buildMemBase(base, post, writeback): 1907119Sgblack@eecs.umich.edu if post and writeback: 1917132Sgblack@eecs.umich.edu base = "MemoryPostIndex<%s>" % base 1927119Sgblack@eecs.umich.edu elif not post and writeback: 1937132Sgblack@eecs.umich.edu base = "MemoryPreIndex<%s>" % base 1947119Sgblack@eecs.umich.edu elif not post and not writeback: 1957132Sgblack@eecs.umich.edu base = "MemoryOffset<%s>" % base 1967119Sgblack@eecs.umich.edu else: 1977119Sgblack@eecs.umich.edu raise Exception, "Illegal combination of post and writeback" 1987119Sgblack@eecs.umich.edu return base 1997119Sgblack@eecs.umich.edu}}; 2007119Sgblack@eecs.umich.edu 201