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