ldr.isa revision 7128
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,
677119Sgblack@eecs.umich.edu         newExec) = newLoadStoreBase(name, Name, imm,
687119Sgblack@eecs.umich.edu                                     eaCode, accCode,
697119Sgblack@eecs.umich.edu                                     memFlags, instFlags,
707119Sgblack@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, \
777119Sgblack@eecs.umich.edu                     size=4, sign=False, user=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
937119Sgblack@eecs.umich.edu        accCode = "Dest = Mem%s;\n" % buildMemSuffix(sign, size)
947119Sgblack@eecs.umich.edu        if writeback:
957119Sgblack@eecs.umich.edu            accCode += "Base = Base %s;\n" % offset
967119Sgblack@eecs.umich.edu        base = buildMemBase("MemoryNewImm", post, writeback)
977119Sgblack@eecs.umich.edu
987119Sgblack@eecs.umich.edu        emitLoad(name, Name, True, eaCode, accCode, [], [], base)
997119Sgblack@eecs.umich.edu
1007119Sgblack@eecs.umich.edu    def buildRegLoad(mnem, post, add, writeback, \
1017119Sgblack@eecs.umich.edu                     size=4, sign=False, user=False):
1027119Sgblack@eecs.umich.edu        name = mnem
1037119Sgblack@eecs.umich.edu        Name = loadRegClassName(post, add, writeback,
1047119Sgblack@eecs.umich.edu                                size, sign, user)
1057119Sgblack@eecs.umich.edu
1067119Sgblack@eecs.umich.edu        if add:
1077119Sgblack@eecs.umich.edu            op = " +"
1087119Sgblack@eecs.umich.edu        else:
1097119Sgblack@eecs.umich.edu            op = " -"
1107119Sgblack@eecs.umich.edu
1117119Sgblack@eecs.umich.edu        offset = op + " shift_rm_imm(Index, shiftAmt," + \
1127119Sgblack@eecs.umich.edu                      " shiftType, CondCodes<29:>)"
1137119Sgblack@eecs.umich.edu        eaCode = "EA = Base"
1147119Sgblack@eecs.umich.edu        if not post:
1157119Sgblack@eecs.umich.edu            eaCode += offset
1167119Sgblack@eecs.umich.edu        eaCode += ";"
1177119Sgblack@eecs.umich.edu
1187119Sgblack@eecs.umich.edu        accCode = "Dest = Mem%s;\n" % buildMemSuffix(sign, size)
1197119Sgblack@eecs.umich.edu        if writeback:
1207119Sgblack@eecs.umich.edu            accCode += "Base = Base %s;\n" % offset
1217119Sgblack@eecs.umich.edu        base = buildMemBase("MemoryNewReg", post, writeback)
1227119Sgblack@eecs.umich.edu
1237119Sgblack@eecs.umich.edu        emitLoad(name, Name, False, eaCode, accCode, [], [], base)
1247119Sgblack@eecs.umich.edu
1257128Sgblack@eecs.umich.edu    def buildDoubleImmLoad(mnem, post, add, writeback):
1267128Sgblack@eecs.umich.edu        name = mnem
1277128Sgblack@eecs.umich.edu        Name = loadDoubleImmClassName(post, add, writeback)
1287128Sgblack@eecs.umich.edu
1297128Sgblack@eecs.umich.edu        if add:
1307128Sgblack@eecs.umich.edu            op = " +"
1317128Sgblack@eecs.umich.edu        else:
1327128Sgblack@eecs.umich.edu            op = " -"
1337128Sgblack@eecs.umich.edu
1347128Sgblack@eecs.umich.edu        offset = op + " imm"
1357128Sgblack@eecs.umich.edu        eaCode = "EA = Base"
1367128Sgblack@eecs.umich.edu        if not post:
1377128Sgblack@eecs.umich.edu            eaCode += offset
1387128Sgblack@eecs.umich.edu        eaCode += ";"
1397128Sgblack@eecs.umich.edu
1407128Sgblack@eecs.umich.edu        accCode = '''
1417128Sgblack@eecs.umich.edu        Rdo = bits(Mem.ud, 31, 0);
1427128Sgblack@eecs.umich.edu        Rde = bits(Mem.ud, 63, 32);
1437128Sgblack@eecs.umich.edu        '''
1447128Sgblack@eecs.umich.edu        if writeback:
1457128Sgblack@eecs.umich.edu            accCode += "Base = Base %s;\n" % offset
1467128Sgblack@eecs.umich.edu        base = buildMemBase("MemoryNewImm", post, writeback)
1477128Sgblack@eecs.umich.edu
1487128Sgblack@eecs.umich.edu        emitLoad(name, Name, True, eaCode, accCode, [], [], base)
1497128Sgblack@eecs.umich.edu
1507128Sgblack@eecs.umich.edu    def buildDoubleRegLoad(mnem, post, add, writeback):
1517128Sgblack@eecs.umich.edu        name = mnem
1527128Sgblack@eecs.umich.edu        Name = loadDoubleRegClassName(post, add, writeback)
1537128Sgblack@eecs.umich.edu
1547128Sgblack@eecs.umich.edu        if add:
1557128Sgblack@eecs.umich.edu            op = " +"
1567128Sgblack@eecs.umich.edu        else:
1577128Sgblack@eecs.umich.edu            op = " -"
1587128Sgblack@eecs.umich.edu
1597128Sgblack@eecs.umich.edu        offset = op + " shift_rm_imm(Index, shiftAmt," + \
1607128Sgblack@eecs.umich.edu                      " shiftType, CondCodes<29:>)"
1617128Sgblack@eecs.umich.edu        eaCode = "EA = Base"
1627128Sgblack@eecs.umich.edu        if not post:
1637128Sgblack@eecs.umich.edu            eaCode += offset
1647128Sgblack@eecs.umich.edu        eaCode += ";"
1657128Sgblack@eecs.umich.edu
1667128Sgblack@eecs.umich.edu        accCode = '''
1677128Sgblack@eecs.umich.edu        Rdo = bits(Mem.ud, 31, 0);
1687128Sgblack@eecs.umich.edu        Rde = bits(Mem.ud, 63, 32);
1697128Sgblack@eecs.umich.edu        '''
1707128Sgblack@eecs.umich.edu        if writeback:
1717128Sgblack@eecs.umich.edu            accCode += "Base = Base %s;\n" % offset
1727128Sgblack@eecs.umich.edu        base = buildMemBase("MemoryNewReg", post, writeback)
1737128Sgblack@eecs.umich.edu
1747128Sgblack@eecs.umich.edu        emitLoad(name, Name, False, eaCode, accCode, [], [], base)
1757128Sgblack@eecs.umich.edu
1767119Sgblack@eecs.umich.edu    def buildLoads(mnem, size=4, sign=False, user=False):
1777119Sgblack@eecs.umich.edu        buildImmLoad(mnem, True, True, True, size, sign, user)
1787119Sgblack@eecs.umich.edu        buildRegLoad(mnem, True, True, True, size, sign, user)
1797119Sgblack@eecs.umich.edu        buildImmLoad(mnem, True, False, True, size, sign, user)
1807119Sgblack@eecs.umich.edu        buildRegLoad(mnem, True, False, True, size, sign, user)
1817119Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, True, True, size, sign, user)
1827119Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, True, True, size, sign, user)
1837119Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, False, True, size, sign, user)
1847119Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, False, True, size, sign, user)
1857119Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, True, False, size, sign, user)
1867119Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, True, False, size, sign, user)
1877119Sgblack@eecs.umich.edu        buildImmLoad(mnem, False, False, False, size, sign, user)
1887119Sgblack@eecs.umich.edu        buildRegLoad(mnem, False, False, False, size, sign, user)
1897119Sgblack@eecs.umich.edu
1907128Sgblack@eecs.umich.edu    def buildDoubleLoads(mnem):
1917128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, True, True, True)
1927128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, True, True, True)
1937128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, True, False, True)
1947128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, True, False, True)
1957128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, False, True, True)
1967128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, False, True, True)
1977128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, False, False, True)
1987128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, False, False, True)
1997128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, False, True, False)
2007128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, False, True, False)
2017128Sgblack@eecs.umich.edu        buildDoubleImmLoad(mnem, False, False, False)
2027128Sgblack@eecs.umich.edu        buildDoubleRegLoad(mnem, False, False, False)
2037128Sgblack@eecs.umich.edu
2047119Sgblack@eecs.umich.edu    buildLoads("ldr")
2057119Sgblack@eecs.umich.edu    buildLoads("ldrt", user=True)
2067119Sgblack@eecs.umich.edu    buildLoads("ldrb", size=1)
2077119Sgblack@eecs.umich.edu    buildLoads("ldrbt", size=1, user=True)
2087119Sgblack@eecs.umich.edu    buildLoads("ldrsb", size=1, sign=True)
2097119Sgblack@eecs.umich.edu    buildLoads("ldrsbt", size=1, sign=True, user=True)
2107119Sgblack@eecs.umich.edu    buildLoads("ldrh", size=2)
2117119Sgblack@eecs.umich.edu    buildLoads("ldrht", size=2, user=True)
2127119Sgblack@eecs.umich.edu    buildLoads("hdrsh", size=2, sign=True)
2137119Sgblack@eecs.umich.edu    buildLoads("ldrsht", size=2, sign=True, user=True)
2147128Sgblack@eecs.umich.edu
2157128Sgblack@eecs.umich.edu    buildDoubleLoads("ldrd")
2167119Sgblack@eecs.umich.edu}};
217