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