mem.isa revision 7712
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 {{
417119Sgblack@eecs.umich.edu
427590Sgblack@eecs.umich.edu    class LoadStoreInst(object):
437590Sgblack@eecs.umich.edu        def __init__(self):
447590Sgblack@eecs.umich.edu            self.fullExecTemplate = eval(self.execBase + 'Execute')
457590Sgblack@eecs.umich.edu            self.initiateAccTemplate = eval(self.execBase + 'InitiateAcc')
467590Sgblack@eecs.umich.edu            self.completeAccTemplate = eval(self.execBase + 'CompleteAcc')
477590Sgblack@eecs.umich.edu            self.declareTemplate = eval(self.decConstBase + 'Declare')
487590Sgblack@eecs.umich.edu            self.constructTemplate = eval(self.decConstBase + 'Constructor')
497205Sgblack@eecs.umich.edu
507590Sgblack@eecs.umich.edu        def fillTemplates(self, name, Name, codeBlobs, memFlags, instFlags,
517646Sgene.wu@arm.com                          base = 'Memory', wbDecl = None):
527590Sgblack@eecs.umich.edu            # Make sure flags are in lists (convert to lists if not).
537590Sgblack@eecs.umich.edu            memFlags = makeList(memFlags)
547590Sgblack@eecs.umich.edu            instFlags = makeList(instFlags)
557119Sgblack@eecs.umich.edu
567590Sgblack@eecs.umich.edu            eaCode = codeBlobs["ea_code"]
577205Sgblack@eecs.umich.edu
587590Sgblack@eecs.umich.edu            # This shouldn't be part of the eaCode, but until the exec templates
597590Sgblack@eecs.umich.edu            # are converted over it's the easiest place to put it.
607590Sgblack@eecs.umich.edu            eaCode += '\n    unsigned memAccessFlags = '
617590Sgblack@eecs.umich.edu            eaCode += (string.join(memFlags, '|') + ';')
627119Sgblack@eecs.umich.edu
637590Sgblack@eecs.umich.edu            codeBlobs["ea_code"] = eaCode
647119Sgblack@eecs.umich.edu
657646Sgene.wu@arm.com            macroName = Name
667646Sgene.wu@arm.com            instFlagsCopy = list(instFlags)
677646Sgene.wu@arm.com            codeBlobsCopy = dict(codeBlobs)
687646Sgene.wu@arm.com            if wbDecl is not None:
697646Sgene.wu@arm.com                instFlagsCopy.append('IsMicroop')
707646Sgene.wu@arm.com                Name = Name + 'Acc'
717646Sgene.wu@arm.com            codeBlobsCopy['acc_name'] = Name
727646Sgene.wu@arm.com            codeBlobsCopy['wb_decl'] = wbDecl
737646Sgene.wu@arm.com            codeBlobsCopy['use_uops'] = 0
747119Sgblack@eecs.umich.edu
757646Sgene.wu@arm.com            iop = InstObjParams(name, Name, base,
767646Sgene.wu@arm.com                                codeBlobsCopy, instFlagsCopy)
777646Sgene.wu@arm.com
787646Sgene.wu@arm.com            header_output = self.declareTemplate.subst(iop)
797646Sgene.wu@arm.com            decoder_output = self.constructTemplate.subst(iop)
807646Sgene.wu@arm.com            exec_output = self.fullExecTemplate.subst(iop) + \
817646Sgene.wu@arm.com                          self.initiateAccTemplate.subst(iop) + \
827646Sgene.wu@arm.com                          self.completeAccTemplate.subst(iop)
837646Sgene.wu@arm.com
847646Sgene.wu@arm.com            if wbDecl is not None:
857646Sgene.wu@arm.com                iop = InstObjParams(name, macroName, base,
867646Sgene.wu@arm.com                                    { "wb_decl" : wbDecl,
877646Sgene.wu@arm.com                                      "acc_name" : Name,
887646Sgene.wu@arm.com                                      "use_uops" : 1 },
897646Sgene.wu@arm.com                                    ['IsMacroop'])
907646Sgene.wu@arm.com                header_output += self.declareTemplate.subst(iop)
917646Sgene.wu@arm.com                decoder_output += self.constructTemplate.subst(iop)
927646Sgene.wu@arm.com                exec_output += PanicExecute.subst(iop) + \
937646Sgene.wu@arm.com                               PanicInitiateAcc.subst(iop) + \
947646Sgene.wu@arm.com                               PanicCompleteAcc.subst(iop)
957646Sgene.wu@arm.com
967646Sgene.wu@arm.com            return (header_output, decoder_output, exec_output)
977119Sgblack@eecs.umich.edu
987422Sgblack@eecs.umich.edu    def pickPredicate(blobs):
997422Sgblack@eecs.umich.edu        for val in blobs.values():
1007422Sgblack@eecs.umich.edu            if re.search('(?<!Opt)CondCodes', val):
1017422Sgblack@eecs.umich.edu                return condPredicateTest
1027422Sgblack@eecs.umich.edu        return predicateTest
1037422Sgblack@eecs.umich.edu
1047119Sgblack@eecs.umich.edu    def memClassName(base, post, add, writeback, \
1057119Sgblack@eecs.umich.edu                     size=4, sign=False, user=False):
1067119Sgblack@eecs.umich.edu        Name = base
1077119Sgblack@eecs.umich.edu
1087590Sgblack@eecs.umich.edu        parts = { "P" : post, "A" : add, "W" : writeback,
1097590Sgblack@eecs.umich.edu                  "S" : sign, "U" : user }
1107119Sgblack@eecs.umich.edu
1117590Sgblack@eecs.umich.edu        for (letter, val) in parts.items():
1127590Sgblack@eecs.umich.edu            if val:
1137590Sgblack@eecs.umich.edu                Name += "_%sY" % letter
1147590Sgblack@eecs.umich.edu            else:
1157590Sgblack@eecs.umich.edu                Name += "_%sN" % letter
1167119Sgblack@eecs.umich.edu
1177119Sgblack@eecs.umich.edu        Name += ('_SZ%d' % size)
1187119Sgblack@eecs.umich.edu
1197119Sgblack@eecs.umich.edu        return Name
1207119Sgblack@eecs.umich.edu
1217119Sgblack@eecs.umich.edu    def buildMemSuffix(sign, size):
1227119Sgblack@eecs.umich.edu        if size == 4:
1237119Sgblack@eecs.umich.edu            memSuffix = ''
1247119Sgblack@eecs.umich.edu        elif size == 2:
1257119Sgblack@eecs.umich.edu            if sign:
1267119Sgblack@eecs.umich.edu                memSuffix = '.sh'
1277119Sgblack@eecs.umich.edu            else:
1287119Sgblack@eecs.umich.edu                memSuffix = '.uh'
1297119Sgblack@eecs.umich.edu        elif size == 1:
1307119Sgblack@eecs.umich.edu            if sign:
1317119Sgblack@eecs.umich.edu                memSuffix = '.sb'
1327119Sgblack@eecs.umich.edu            else:
1337119Sgblack@eecs.umich.edu                memSuffix = '.ub'
1347119Sgblack@eecs.umich.edu        else:
1357590Sgblack@eecs.umich.edu            raise Exception, "Unrecognized size for access %d" % size
1367119Sgblack@eecs.umich.edu
1377119Sgblack@eecs.umich.edu        return memSuffix
1387119Sgblack@eecs.umich.edu
1397119Sgblack@eecs.umich.edu    def buildMemBase(base, post, writeback):
1407119Sgblack@eecs.umich.edu        if post and writeback:
1417132Sgblack@eecs.umich.edu            base = "MemoryPostIndex<%s>" % base
1427119Sgblack@eecs.umich.edu        elif not post and writeback:
1437132Sgblack@eecs.umich.edu            base = "MemoryPreIndex<%s>" % base
1447119Sgblack@eecs.umich.edu        elif not post and not writeback:
1457132Sgblack@eecs.umich.edu            base = "MemoryOffset<%s>" % base
1467119Sgblack@eecs.umich.edu        else:
1477119Sgblack@eecs.umich.edu            raise Exception, "Illegal combination of post and writeback"
1487119Sgblack@eecs.umich.edu        return base
1497119Sgblack@eecs.umich.edu}};
1507119Sgblack@eecs.umich.edu
151