ldr.isa revision 7192
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
427119Sgblack@eecs.umich.edu    header_output = ""
437119Sgblack@eecs.umich.edu    decoder_output = ""
447119Sgblack@eecs.umich.edu    exec_output = ""
457119Sgblack@eecs.umich.edu
467119Sgblack@eecs.umich.edu    def loadImmClassName(post, add, writeback, \
477119Sgblack@eecs.umich.edu                         size=4, sign=False, user=False):
487119Sgblack@eecs.umich.edu        return memClassName("LOAD_IMM", post, add, writeback,
497119Sgblack@eecs.umich.edu                            size, sign, user)
507119Sgblack@eecs.umich.edu
517119Sgblack@eecs.umich.edu    def loadRegClassName(post, add, writeback, \
527119Sgblack@eecs.umich.edu                         size=4, sign=False, user=False):
537119Sgblack@eecs.umich.edu        return memClassName("LOAD_REG", post, add, writeback,
547119Sgblack@eecs.umich.edu                            size, sign, user)
557119Sgblack@eecs.umich.edu
567128Sgblack@eecs.umich.edu    def loadDoubleImmClassName(post, add, writeback):
577128Sgblack@eecs.umich.edu        return memClassName("LOAD_IMMD", post, add, writeback, 4, False, False)
587128Sgblack@eecs.umich.edu
597128Sgblack@eecs.umich.edu    def loadDoubleRegClassName(post, add, writeback):
607128Sgblack@eecs.umich.edu        return memClassName("LOAD_REGD", post, add, writeback, 4, False, False)
617128Sgblack@eecs.umich.edu
627119Sgblack@eecs.umich.edu    def emitLoad(name, Name, imm, eaCode, accCode, memFlags, instFlags, base):
637119Sgblack@eecs.umich.edu        global header_output, decoder_output, exec_output
647119Sgblack@eecs.umich.edu
657119Sgblack@eecs.umich.edu        (newHeader,
667119Sgblack@eecs.umich.edu         newDecoder,
677132Sgblack@eecs.umich.edu         newExec) = loadStoreBase(name, Name, imm,
687132Sgblack@eecs.umich.edu                                  eaCode, accCode,
697132Sgblack@eecs.umich.edu                                  memFlags, instFlags,
707132Sgblack@eecs.umich.edu                                  base, execTemplateBase = 'Load')
717119Sgblack@eecs.umich.edu
727119Sgblack@eecs.umich.edu        header_output += newHeader
737119Sgblack@eecs.umich.edu        decoder_output += newDecoder
747119Sgblack@eecs.umich.edu        exec_output += newExec
757119Sgblack@eecs.umich.edu
767119Sgblack@eecs.umich.edu    def buildImmLoad(mnem, post, add, writeback, \
777192Sgblack@eecs.umich.edu                     size=4, sign=False, user=False, prefetch=False):
787119Sgblack@eecs.umich.edu        name = mnem
797119Sgblack@eecs.umich.edu        Name = loadImmClassName(post, add, writeback, \
807119Sgblack@eecs.umich.edu                                size, sign, user)
817119Sgblack@eecs.umich.edu
827119Sgblack@eecs.umich.edu        if add:
837119Sgblack@eecs.umich.edu            op = " +"
847119Sgblack@eecs.umich.edu        else:
857119Sgblack@eecs.umich.edu            op = " -"
867119Sgblack@eecs.umich.edu
877119Sgblack@eecs.umich.edu        offset = op + " imm"
887119Sgblack@eecs.umich.edu        eaCode = "EA = Base"
897119Sgblack@eecs.umich.edu        if not post:
907119Sgblack@eecs.umich.edu            eaCode += offset
917119Sgblack@eecs.umich.edu        eaCode += ";"
927119Sgblack@eecs.umich.edu
937192Sgblack@eecs.umich.edu        if prefetch:
947192Sgblack@eecs.umich.edu            Name = "%s_%s" % (mnem.upper(), Name)
957192Sgblack@eecs.umich.edu            memFlags = ["Request::PREFETCH"]
967192Sgblack@eecs.umich.edu            accCode = '''
977192Sgblack@eecs.umich.edu            uint64_t temp = Mem%s;\n
987192Sgblack@eecs.umich.edu            temp = temp;
997192Sgblack@eecs.umich.edu            ''' % buildMemSuffix(sign, size)
1007192Sgblack@eecs.umich.edu        else:
1017192Sgblack@eecs.umich.edu            memFlags = []
1027192Sgblack@eecs.umich.edu            accCode = "IWDest = Mem%s;\n" % buildMemSuffix(sign, size)
1037119Sgblack@eecs.umich.edu        if writeback:
1047119Sgblack@eecs.umich.edu            accCode += "Base = Base %s;\n" % offset
1057132Sgblack@eecs.umich.edu        base = buildMemBase("MemoryImm", post, writeback)
1067119Sgblack@eecs.umich.edu
1077192Sgblack@eecs.umich.edu        emitLoad(name, Name, True, eaCode, accCode, memFlags, [], base)
1087119Sgblack@eecs.umich.edu
1097119Sgblack@eecs.umich.edu    def buildRegLoad(mnem, post, add, writeback, \
1107192Sgblack@eecs.umich.edu                     size=4, sign=False, user=False, prefetch=False):
1117119Sgblack@eecs.umich.edu        name = mnem
1127119Sgblack@eecs.umich.edu        Name = loadRegClassName(post, add, writeback,
1137119Sgblack@eecs.umich.edu                                size, sign, user)
1147119Sgblack@eecs.umich.edu
1157119Sgblack@eecs.umich.edu        if add:
1167119Sgblack@eecs.umich.edu            op = " +"
1177119Sgblack@eecs.umich.edu        else:
1187119Sgblack@eecs.umich.edu            op = " -"
1197119Sgblack@eecs.umich.edu
1207119Sgblack@eecs.umich.edu        offset = op + " shift_rm_imm(Index, shiftAmt," + \
1217119Sgblack@eecs.umich.edu                      " shiftType, CondCodes<29:>)"
1227119Sgblack@eecs.umich.edu        eaCode = "EA = Base"
1237119Sgblack@eecs.umich.edu        if not post:
1247119Sgblack@eecs.umich.edu            eaCode += offset
1257119Sgblack@eecs.umich.edu        eaCode += ";"
1267119Sgblack@eecs.umich.edu
1277192Sgblack@eecs.umich.edu        if prefetch:
1287192Sgblack@eecs.umich.edu            Name = "%s_%s" % (mnem.upper(), Name)
1297192Sgblack@eecs.umich.edu            memFlags = ["Request::PREFETCH"]
1307192Sgblack@eecs.umich.edu            accCode = '''
1317192Sgblack@eecs.umich.edu            uint64_t temp = Mem%s;\n
1327192Sgblack@eecs.umich.edu            temp = temp;
1337192Sgblack@eecs.umich.edu            ''' % buildMemSuffix(sign, size)
1347192Sgblack@eecs.umich.edu        else:
1357192Sgblack@eecs.umich.edu            memFlags = []
1367192Sgblack@eecs.umich.edu            accCode = "IWDest = Mem%s;\n" % buildMemSuffix(sign, size)
1377119Sgblack@eecs.umich.edu        if writeback:
1387119Sgblack@eecs.umich.edu            accCode += "Base = Base %s;\n" % offset
1397132Sgblack@eecs.umich.edu        base = buildMemBase("MemoryReg", post, writeback)
1407119Sgblack@eecs.umich.edu
1417192Sgblack@eecs.umich.edu        emitLoad(name, Name, False, eaCode, accCode, memFlags, [], base)
1427119Sgblack@eecs.umich.edu
1437128Sgblack@eecs.umich.edu    def buildDoubleImmLoad(mnem, post, add, writeback):
1447128Sgblack@eecs.umich.edu        name = mnem
1457128Sgblack@eecs.umich.edu        Name = loadDoubleImmClassName(post, add, writeback)
1467128Sgblack@eecs.umich.edu
1477128Sgblack@eecs.umich.edu        if add:
1487128Sgblack@eecs.umich.edu            op = " +"
1497128Sgblack@eecs.umich.edu        else:
1507128Sgblack@eecs.umich.edu            op = " -"
1517128Sgblack@eecs.umich.edu
1527128Sgblack@eecs.umich.edu        offset = op + " imm"
1537128Sgblack@eecs.umich.edu        eaCode = "EA = Base"
1547128Sgblack@eecs.umich.edu        if not post:
1557128Sgblack@eecs.umich.edu            eaCode += offset
1567128Sgblack@eecs.umich.edu        eaCode += ";"
1577128Sgblack@eecs.umich.edu
1587128Sgblack@eecs.umich.edu        accCode = '''
1597128Sgblack@eecs.umich.edu        Rdo = bits(Mem.ud, 31, 0);
1607128Sgblack@eecs.umich.edu        Rde = bits(Mem.ud, 63, 32);
1617128Sgblack@eecs.umich.edu        '''
1627128Sgblack@eecs.umich.edu        if writeback:
1637128Sgblack@eecs.umich.edu            accCode += "Base = Base %s;\n" % offset
1647132Sgblack@eecs.umich.edu        base = buildMemBase("MemoryImm", post, writeback)
1657128Sgblack@eecs.umich.edu
1667128Sgblack@eecs.umich.edu        emitLoad(name, Name, True, eaCode, accCode, [], [], base)
1677128Sgblack@eecs.umich.edu
1687128Sgblack@eecs.umich.edu    def buildDoubleRegLoad(mnem, post, add, writeback):
1697128Sgblack@eecs.umich.edu        name = mnem
1707128Sgblack@eecs.umich.edu        Name = loadDoubleRegClassName(post, add, writeback)
1717128Sgblack@eecs.umich.edu
1727128Sgblack@eecs.umich.edu        if add:
1737128Sgblack@eecs.umich.edu            op = " +"
1747128Sgblack@eecs.umich.edu        else:
1757128Sgblack@eecs.umich.edu            op = " -"
1767128Sgblack@eecs.umich.edu
1777128Sgblack@eecs.umich.edu        offset = op + " shift_rm_imm(Index, shiftAmt," + \
1787128Sgblack@eecs.umich.edu                      " shiftType, CondCodes<29:>)"
1797128Sgblack@eecs.umich.edu        eaCode = "EA = Base"
1807128Sgblack@eecs.umich.edu        if not post:
1817128Sgblack@eecs.umich.edu            eaCode += offset
1827128Sgblack@eecs.umich.edu        eaCode += ";"
1837128Sgblack@eecs.umich.edu
1847128Sgblack@eecs.umich.edu        accCode = '''
1857128Sgblack@eecs.umich.edu        Rdo = bits(Mem.ud, 31, 0);
1867128Sgblack@eecs.umich.edu        Rde = bits(Mem.ud, 63, 32);
1877128Sgblack@eecs.umich.edu        '''
1887128Sgblack@eecs.umich.edu        if writeback:
1897128Sgblack@eecs.umich.edu            accCode += "Base = Base %s;\n" % offset
1907132Sgblack@eecs.umich.edu        base = buildMemBase("MemoryReg", post, writeback)
1917128Sgblack@eecs.umich.edu
1927128Sgblack@eecs.umich.edu        emitLoad(name, Name, False, eaCode, accCode, [], [], base)
1937128Sgblack@eecs.umich.edu
1947119Sgblack@eecs.umich.edu    def buildLoads(mnem, size=4, sign=False, user=False):
1957119Sgblack@eecs.umich.edu        buildImmLoad(mnem, True, True, True, size, sign, user)
1967119Sgblack@eecs.umich.edu        buildRegLoad(mnem, True, True, True, size, sign, user)
1977119Sgblack@eecs.umich.edu        buildImmLoad(mnem, True, False, True, size, sign, user)
1987119Sgblack@eecs.umich.edu        buildRegLoad(mnem, True, False, True, size, sign, user)
1997119Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, True, True, size, sign, user)
2007119Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, True, True, size, sign, user)
2017119Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, False, True, size, sign, user)
2027119Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, False, True, size, sign, user)
2037119Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, True, False, size, sign, user)
2047119Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, True, False, size, sign, user)
2057119Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, False, False, size, sign, user)
2067119Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, False, False, size, sign, user)
2077119Sgblack@eecs.umich.edu
2087128Sgblack@eecs.umich.edu    def buildDoubleLoads(mnem):
2097128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, True, True, True)
2107128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, True, True, True)
2117128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, True, False, True)
2127128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, True, False, True)
2137128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, False, True, True)
2147128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, False, True, True)
2157128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, False, False, True)
2167128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, False, False, True)
2177128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, False, True, False)
2187128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, False, True, False)
2197128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, False, False, False)
2207128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, False, False, False)
2217128Sgblack@eecs.umich.edu
2227192Sgblack@eecs.umich.edu    def buildPrefetches(mnem):
2237192Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, False, False, size=1, prefetch=True)
2247192Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, False, False, size=1, prefetch=True)
2257192Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, True, False, size=1, prefetch=True)
2267192Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, True, False, size=1, prefetch=True)
2277192Sgblack@eecs.umich.edu
2287119Sgblack@eecs.umich.edu    buildLoads("ldr")
2297119Sgblack@eecs.umich.edu    buildLoads("ldrt", user=True)
2307119Sgblack@eecs.umich.edu    buildLoads("ldrb", size=1)
2317119Sgblack@eecs.umich.edu    buildLoads("ldrbt", size=1, user=True)
2327119Sgblack@eecs.umich.edu    buildLoads("ldrsb", size=1, sign=True)
2337119Sgblack@eecs.umich.edu    buildLoads("ldrsbt", size=1, sign=True, user=True)
2347119Sgblack@eecs.umich.edu    buildLoads("ldrh", size=2)
2357119Sgblack@eecs.umich.edu    buildLoads("ldrht", size=2, user=True)
2367119Sgblack@eecs.umich.edu    buildLoads("hdrsh", size=2, sign=True)
2377119Sgblack@eecs.umich.edu    buildLoads("ldrsht", size=2, sign=True, user=True)
2387128Sgblack@eecs.umich.edu
2397128Sgblack@eecs.umich.edu    buildDoubleLoads("ldrd")
2407192Sgblack@eecs.umich.edu
2417192Sgblack@eecs.umich.edu    buildPrefetches("pld")
2427192Sgblack@eecs.umich.edu    buildPrefetches("pldw")
2437192Sgblack@eecs.umich.edu    buildPrefetches("pli")
2447119Sgblack@eecs.umich.edu}};
245