mem.isa revision 7422
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 1007422Sgblack@eecs.umich.edu def pickPredicate(blobs): 1017422Sgblack@eecs.umich.edu for val in blobs.values(): 1027422Sgblack@eecs.umich.edu if re.search('(?<!Opt)CondCodes', val): 1037422Sgblack@eecs.umich.edu return condPredicateTest 1047422Sgblack@eecs.umich.edu return predicateTest 1057422Sgblack@eecs.umich.edu 1067303Sgblack@eecs.umich.edu def loadStoreBase(name, Name, imm, eaCode, accCode, postAccCode, 1077303Sgblack@eecs.umich.edu memFlags, instFlags, double, strex, base = 'Memory', 1087279Sgblack@eecs.umich.edu execTemplateBase = ''): 1097205Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1107205Sgblack@eecs.umich.edu "memacc_code": accCode, 1117422Sgblack@eecs.umich.edu "postacc_code": postAccCode } 1127422Sgblack@eecs.umich.edu codeBlobs["predicate_test"] = pickPredicate(codeBlobs) 1137313Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, imm, False, False, False, 1147313Sgblack@eecs.umich.edu codeBlobs, memFlags, instFlags, double, 1157313Sgblack@eecs.umich.edu strex, base, execTemplateBase) 1167292Sgblack@eecs.umich.edu 1177292Sgblack@eecs.umich.edu def RfeBase(name, Name, eaCode, accCode, memFlags, instFlags): 1187292Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1197422Sgblack@eecs.umich.edu "memacc_code": accCode } 1207422Sgblack@eecs.umich.edu codeBlobs["predicate_test"] = pickPredicate(codeBlobs) 1217313Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, False, True, False, 1227313Sgblack@eecs.umich.edu codeBlobs, memFlags, instFlags, False, False, 1237303Sgblack@eecs.umich.edu 'RfeOp', 'Load') 1247205Sgblack@eecs.umich.edu 1257313Sgblack@eecs.umich.edu def SrsBase(name, Name, eaCode, accCode, memFlags, instFlags): 1267313Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1277313Sgblack@eecs.umich.edu "memacc_code": accCode, 1287422Sgblack@eecs.umich.edu "postacc_code": "" } 1297422Sgblack@eecs.umich.edu codeBlobs["predicate_test"] = pickPredicate(codeBlobs) 1307313Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, False, False, True, 1317313Sgblack@eecs.umich.edu codeBlobs, memFlags, instFlags, False, False, 1327313Sgblack@eecs.umich.edu 'SrsOp', 'Store') 1337313Sgblack@eecs.umich.edu 1347205Sgblack@eecs.umich.edu def SwapBase(name, Name, eaCode, preAccCode, postAccCode, memFlags, 1357205Sgblack@eecs.umich.edu instFlags): 1367205Sgblack@eecs.umich.edu codeBlobs = { "ea_code": eaCode, 1377205Sgblack@eecs.umich.edu "preacc_code": preAccCode, 1387422Sgblack@eecs.umich.edu "postacc_code": postAccCode } 1397422Sgblack@eecs.umich.edu codeBlobs["predicate_test"] = pickPredicate(codeBlobs) 1407313Sgblack@eecs.umich.edu return loadStoreBaseWork(name, Name, False, True, False, False, 1417313Sgblack@eecs.umich.edu codeBlobs, memFlags, instFlags, False, False, 1427303Sgblack@eecs.umich.edu 'Swap', 'Swap') 1437205Sgblack@eecs.umich.edu 1447119Sgblack@eecs.umich.edu def memClassName(base, post, add, writeback, \ 1457119Sgblack@eecs.umich.edu size=4, sign=False, user=False): 1467119Sgblack@eecs.umich.edu Name = base 1477119Sgblack@eecs.umich.edu 1487119Sgblack@eecs.umich.edu if post: 1497119Sgblack@eecs.umich.edu Name += '_PY' 1507119Sgblack@eecs.umich.edu else: 1517119Sgblack@eecs.umich.edu Name += '_PN' 1527119Sgblack@eecs.umich.edu 1537119Sgblack@eecs.umich.edu if add: 1547119Sgblack@eecs.umich.edu Name += '_AY' 1557119Sgblack@eecs.umich.edu else: 1567119Sgblack@eecs.umich.edu Name += '_AN' 1577119Sgblack@eecs.umich.edu 1587119Sgblack@eecs.umich.edu if writeback: 1597119Sgblack@eecs.umich.edu Name += '_WY' 1607119Sgblack@eecs.umich.edu else: 1617119Sgblack@eecs.umich.edu Name += '_WN' 1627119Sgblack@eecs.umich.edu 1637119Sgblack@eecs.umich.edu Name += ('_SZ%d' % size) 1647119Sgblack@eecs.umich.edu 1657119Sgblack@eecs.umich.edu if sign: 1667119Sgblack@eecs.umich.edu Name += '_SY' 1677119Sgblack@eecs.umich.edu else: 1687119Sgblack@eecs.umich.edu Name += '_SN' 1697119Sgblack@eecs.umich.edu 1707119Sgblack@eecs.umich.edu if user: 1717119Sgblack@eecs.umich.edu Name += '_UY' 1727119Sgblack@eecs.umich.edu else: 1737119Sgblack@eecs.umich.edu Name += '_UN' 1747119Sgblack@eecs.umich.edu 1757119Sgblack@eecs.umich.edu return Name 1767119Sgblack@eecs.umich.edu 1777119Sgblack@eecs.umich.edu def buildMemSuffix(sign, size): 1787119Sgblack@eecs.umich.edu if size == 4: 1797119Sgblack@eecs.umich.edu memSuffix = '' 1807119Sgblack@eecs.umich.edu elif size == 2: 1817119Sgblack@eecs.umich.edu if sign: 1827119Sgblack@eecs.umich.edu memSuffix = '.sh' 1837119Sgblack@eecs.umich.edu else: 1847119Sgblack@eecs.umich.edu memSuffix = '.uh' 1857119Sgblack@eecs.umich.edu elif size == 1: 1867119Sgblack@eecs.umich.edu if sign: 1877119Sgblack@eecs.umich.edu memSuffix = '.sb' 1887119Sgblack@eecs.umich.edu else: 1897119Sgblack@eecs.umich.edu memSuffix = '.ub' 1907119Sgblack@eecs.umich.edu else: 1917119Sgblack@eecs.umich.edu raise Exception, "Unrecognized size for load %d" % size 1927119Sgblack@eecs.umich.edu 1937119Sgblack@eecs.umich.edu return memSuffix 1947119Sgblack@eecs.umich.edu 1957119Sgblack@eecs.umich.edu def buildMemBase(base, post, writeback): 1967119Sgblack@eecs.umich.edu if post and writeback: 1977132Sgblack@eecs.umich.edu base = "MemoryPostIndex<%s>" % base 1987119Sgblack@eecs.umich.edu elif not post and writeback: 1997132Sgblack@eecs.umich.edu base = "MemoryPreIndex<%s>" % base 2007119Sgblack@eecs.umich.edu elif not post and not writeback: 2017132Sgblack@eecs.umich.edu base = "MemoryOffset<%s>" % base 2027119Sgblack@eecs.umich.edu else: 2037119Sgblack@eecs.umich.edu raise Exception, "Illegal combination of post and writeback" 2047119Sgblack@eecs.umich.edu return base 2057119Sgblack@eecs.umich.edu}}; 2067119Sgblack@eecs.umich.edu 207