2010-06-02 19:58:01 +02:00
|
|
|
// -*- mode:c++ -*-
|
|
|
|
|
|
|
|
// Copyright (c) 2010 ARM Limited
|
|
|
|
// All rights reserved
|
|
|
|
//
|
|
|
|
// The license below extends only to copyright in the software and shall
|
|
|
|
// not be construed as granting a license to any other intellectual
|
|
|
|
// property including but not limited to intellectual property relating
|
|
|
|
// to a hardware implementation of the functionality of the software
|
|
|
|
// licensed hereunder. You may use the software subject to the license
|
|
|
|
// terms below provided that you ensure that this notice is replicated
|
|
|
|
// unmodified and in its entirety in all distributions of the software,
|
|
|
|
// modified or unmodified, in source code or in binary form.
|
|
|
|
//
|
|
|
|
// Redistribution and use in source and binary forms, with or without
|
|
|
|
// modification, are permitted provided that the following conditions are
|
|
|
|
// met: redistributions of source code must retain the above copyright
|
|
|
|
// notice, this list of conditions and the following disclaimer;
|
|
|
|
// redistributions in binary form must reproduce the above copyright
|
|
|
|
// notice, this list of conditions and the following disclaimer in the
|
|
|
|
// documentation and/or other materials provided with the distribution;
|
|
|
|
// neither the name of the copyright holders nor the names of its
|
|
|
|
// contributors may be used to endorse or promote products derived from
|
|
|
|
// this software without specific prior written permission.
|
|
|
|
//
|
|
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
|
|
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
|
|
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
|
|
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
|
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
|
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
//
|
|
|
|
// Authors: Gabe Black
|
|
|
|
|
|
|
|
let {{
|
|
|
|
|
|
|
|
header_output = ""
|
|
|
|
decoder_output = ""
|
|
|
|
exec_output = ""
|
|
|
|
|
|
|
|
def loadImmClassName(post, add, writeback, \
|
|
|
|
size=4, sign=False, user=False):
|
|
|
|
return memClassName("LOAD_IMM", post, add, writeback,
|
|
|
|
size, sign, user)
|
|
|
|
|
|
|
|
def loadRegClassName(post, add, writeback, \
|
|
|
|
size=4, sign=False, user=False):
|
|
|
|
return memClassName("LOAD_REG", post, add, writeback,
|
|
|
|
size, sign, user)
|
|
|
|
|
2010-06-02 19:58:01 +02:00
|
|
|
def loadDoubleImmClassName(post, add, writeback):
|
|
|
|
return memClassName("LOAD_IMMD", post, add, writeback, 4, False, False)
|
|
|
|
|
|
|
|
def loadDoubleRegClassName(post, add, writeback):
|
|
|
|
return memClassName("LOAD_REGD", post, add, writeback, 4, False, False)
|
|
|
|
|
2010-06-02 19:58:01 +02:00
|
|
|
def emitLoad(name, Name, imm, eaCode, accCode, memFlags, instFlags, base):
|
|
|
|
global header_output, decoder_output, exec_output
|
|
|
|
|
|
|
|
(newHeader,
|
|
|
|
newDecoder,
|
2010-06-02 19:58:01 +02:00
|
|
|
newExec) = loadStoreBase(name, Name, imm,
|
|
|
|
eaCode, accCode,
|
|
|
|
memFlags, instFlags,
|
|
|
|
base, execTemplateBase = 'Load')
|
2010-06-02 19:58:01 +02:00
|
|
|
|
|
|
|
header_output += newHeader
|
|
|
|
decoder_output += newDecoder
|
|
|
|
exec_output += newExec
|
|
|
|
|
|
|
|
def buildImmLoad(mnem, post, add, writeback, \
|
2010-06-02 19:58:07 +02:00
|
|
|
size=4, sign=False, user=False, \
|
|
|
|
prefetch=False, ldrex=False):
|
2010-06-02 19:58:01 +02:00
|
|
|
name = mnem
|
|
|
|
Name = loadImmClassName(post, add, writeback, \
|
|
|
|
size, sign, user)
|
|
|
|
|
|
|
|
if add:
|
|
|
|
op = " +"
|
|
|
|
else:
|
|
|
|
op = " -"
|
|
|
|
|
|
|
|
offset = op + " imm"
|
|
|
|
eaCode = "EA = Base"
|
|
|
|
if not post:
|
|
|
|
eaCode += offset
|
|
|
|
eaCode += ";"
|
|
|
|
|
2010-06-02 19:58:05 +02:00
|
|
|
if prefetch:
|
|
|
|
Name = "%s_%s" % (mnem.upper(), Name)
|
|
|
|
memFlags = ["Request::PREFETCH"]
|
|
|
|
accCode = '''
|
|
|
|
uint64_t temp = Mem%s;\n
|
|
|
|
temp = temp;
|
|
|
|
''' % buildMemSuffix(sign, size)
|
|
|
|
else:
|
2010-06-02 19:58:07 +02:00
|
|
|
if ldrex:
|
|
|
|
memFlags = ["Request::LLSC"]
|
|
|
|
Name = "%s_%s" % (mnem.upper(), Name)
|
|
|
|
else:
|
|
|
|
memFlags = []
|
2010-06-02 19:58:05 +02:00
|
|
|
accCode = "IWDest = Mem%s;\n" % buildMemSuffix(sign, size)
|
2010-06-02 19:58:01 +02:00
|
|
|
if writeback:
|
|
|
|
accCode += "Base = Base %s;\n" % offset
|
2010-06-02 19:58:01 +02:00
|
|
|
base = buildMemBase("MemoryImm", post, writeback)
|
2010-06-02 19:58:01 +02:00
|
|
|
|
2010-06-02 19:58:05 +02:00
|
|
|
emitLoad(name, Name, True, eaCode, accCode, memFlags, [], base)
|
2010-06-02 19:58:01 +02:00
|
|
|
|
|
|
|
def buildRegLoad(mnem, post, add, writeback, \
|
2010-06-02 19:58:05 +02:00
|
|
|
size=4, sign=False, user=False, prefetch=False):
|
2010-06-02 19:58:01 +02:00
|
|
|
name = mnem
|
|
|
|
Name = loadRegClassName(post, add, writeback,
|
|
|
|
size, sign, user)
|
|
|
|
|
|
|
|
if add:
|
|
|
|
op = " +"
|
|
|
|
else:
|
|
|
|
op = " -"
|
|
|
|
|
|
|
|
offset = op + " shift_rm_imm(Index, shiftAmt," + \
|
|
|
|
" shiftType, CondCodes<29:>)"
|
|
|
|
eaCode = "EA = Base"
|
|
|
|
if not post:
|
|
|
|
eaCode += offset
|
|
|
|
eaCode += ";"
|
|
|
|
|
2010-06-02 19:58:05 +02:00
|
|
|
if prefetch:
|
|
|
|
Name = "%s_%s" % (mnem.upper(), Name)
|
|
|
|
memFlags = ["Request::PREFETCH"]
|
|
|
|
accCode = '''
|
|
|
|
uint64_t temp = Mem%s;\n
|
|
|
|
temp = temp;
|
|
|
|
''' % buildMemSuffix(sign, size)
|
|
|
|
else:
|
|
|
|
memFlags = []
|
|
|
|
accCode = "IWDest = Mem%s;\n" % buildMemSuffix(sign, size)
|
2010-06-02 19:58:01 +02:00
|
|
|
if writeback:
|
|
|
|
accCode += "Base = Base %s;\n" % offset
|
2010-06-02 19:58:01 +02:00
|
|
|
base = buildMemBase("MemoryReg", post, writeback)
|
2010-06-02 19:58:01 +02:00
|
|
|
|
2010-06-02 19:58:05 +02:00
|
|
|
emitLoad(name, Name, False, eaCode, accCode, memFlags, [], base)
|
2010-06-02 19:58:01 +02:00
|
|
|
|
2010-06-02 19:58:07 +02:00
|
|
|
def buildDoubleImmLoad(mnem, post, add, writeback, ldrex=False):
|
2010-06-02 19:58:01 +02:00
|
|
|
name = mnem
|
|
|
|
Name = loadDoubleImmClassName(post, add, writeback)
|
|
|
|
|
|
|
|
if add:
|
|
|
|
op = " +"
|
|
|
|
else:
|
|
|
|
op = " -"
|
|
|
|
|
|
|
|
offset = op + " imm"
|
|
|
|
eaCode = "EA = Base"
|
|
|
|
if not post:
|
|
|
|
eaCode += offset
|
|
|
|
eaCode += ";"
|
|
|
|
|
|
|
|
accCode = '''
|
|
|
|
Rdo = bits(Mem.ud, 31, 0);
|
|
|
|
Rde = bits(Mem.ud, 63, 32);
|
|
|
|
'''
|
2010-06-02 19:58:07 +02:00
|
|
|
if ldrex:
|
|
|
|
memFlags = ["Request::LLSC"]
|
|
|
|
Name = "%s_%s" % (mnem.upper(), Name)
|
|
|
|
else:
|
|
|
|
memFlags = []
|
2010-06-02 19:58:01 +02:00
|
|
|
if writeback:
|
|
|
|
accCode += "Base = Base %s;\n" % offset
|
2010-06-02 19:58:01 +02:00
|
|
|
base = buildMemBase("MemoryImm", post, writeback)
|
2010-06-02 19:58:01 +02:00
|
|
|
|
2010-06-02 19:58:07 +02:00
|
|
|
emitLoad(name, Name, True, eaCode, accCode, memFlags, [], base)
|
2010-06-02 19:58:01 +02:00
|
|
|
|
|
|
|
def buildDoubleRegLoad(mnem, post, add, writeback):
|
|
|
|
name = mnem
|
|
|
|
Name = loadDoubleRegClassName(post, add, writeback)
|
|
|
|
|
|
|
|
if add:
|
|
|
|
op = " +"
|
|
|
|
else:
|
|
|
|
op = " -"
|
|
|
|
|
|
|
|
offset = op + " shift_rm_imm(Index, shiftAmt," + \
|
|
|
|
" shiftType, CondCodes<29:>)"
|
|
|
|
eaCode = "EA = Base"
|
|
|
|
if not post:
|
|
|
|
eaCode += offset
|
|
|
|
eaCode += ";"
|
|
|
|
|
|
|
|
accCode = '''
|
|
|
|
Rdo = bits(Mem.ud, 31, 0);
|
|
|
|
Rde = bits(Mem.ud, 63, 32);
|
|
|
|
'''
|
|
|
|
if writeback:
|
|
|
|
accCode += "Base = Base %s;\n" % offset
|
2010-06-02 19:58:01 +02:00
|
|
|
base = buildMemBase("MemoryReg", post, writeback)
|
2010-06-02 19:58:01 +02:00
|
|
|
|
|
|
|
emitLoad(name, Name, False, eaCode, accCode, [], [], base)
|
|
|
|
|
2010-06-02 19:58:01 +02:00
|
|
|
def buildLoads(mnem, size=4, sign=False, user=False):
|
|
|
|
buildImmLoad(mnem, True, True, True, size, sign, user)
|
|
|
|
buildRegLoad(mnem, True, True, True, size, sign, user)
|
|
|
|
buildImmLoad(mnem, True, False, True, size, sign, user)
|
|
|
|
buildRegLoad(mnem, True, False, True, size, sign, user)
|
|
|
|
buildImmLoad(mnem, False, True, True, size, sign, user)
|
|
|
|
buildRegLoad(mnem, False, True, True, size, sign, user)
|
|
|
|
buildImmLoad(mnem, False, False, True, size, sign, user)
|
|
|
|
buildRegLoad(mnem, False, False, True, size, sign, user)
|
|
|
|
buildImmLoad(mnem, False, True, False, size, sign, user)
|
|
|
|
buildRegLoad(mnem, False, True, False, size, sign, user)
|
|
|
|
buildImmLoad(mnem, False, False, False, size, sign, user)
|
|
|
|
buildRegLoad(mnem, False, False, False, size, sign, user)
|
|
|
|
|
2010-06-02 19:58:01 +02:00
|
|
|
def buildDoubleLoads(mnem):
|
|
|
|
buildDoubleImmLoad(mnem, True, True, True)
|
|
|
|
buildDoubleRegLoad(mnem, True, True, True)
|
|
|
|
buildDoubleImmLoad(mnem, True, False, True)
|
|
|
|
buildDoubleRegLoad(mnem, True, False, True)
|
|
|
|
buildDoubleImmLoad(mnem, False, True, True)
|
|
|
|
buildDoubleRegLoad(mnem, False, True, True)
|
|
|
|
buildDoubleImmLoad(mnem, False, False, True)
|
|
|
|
buildDoubleRegLoad(mnem, False, False, True)
|
|
|
|
buildDoubleImmLoad(mnem, False, True, False)
|
|
|
|
buildDoubleRegLoad(mnem, False, True, False)
|
|
|
|
buildDoubleImmLoad(mnem, False, False, False)
|
|
|
|
buildDoubleRegLoad(mnem, False, False, False)
|
|
|
|
|
2010-06-02 19:58:05 +02:00
|
|
|
def buildPrefetches(mnem):
|
|
|
|
buildRegLoad(mnem, False, False, False, size=1, prefetch=True)
|
|
|
|
buildImmLoad(mnem, False, False, False, size=1, prefetch=True)
|
|
|
|
buildRegLoad(mnem, False, True, False, size=1, prefetch=True)
|
|
|
|
buildImmLoad(mnem, False, True, False, size=1, prefetch=True)
|
|
|
|
|
2010-06-02 19:58:01 +02:00
|
|
|
buildLoads("ldr")
|
|
|
|
buildLoads("ldrt", user=True)
|
|
|
|
buildLoads("ldrb", size=1)
|
|
|
|
buildLoads("ldrbt", size=1, user=True)
|
|
|
|
buildLoads("ldrsb", size=1, sign=True)
|
|
|
|
buildLoads("ldrsbt", size=1, sign=True, user=True)
|
|
|
|
buildLoads("ldrh", size=2)
|
|
|
|
buildLoads("ldrht", size=2, user=True)
|
|
|
|
buildLoads("hdrsh", size=2, sign=True)
|
|
|
|
buildLoads("ldrsht", size=2, sign=True, user=True)
|
2010-06-02 19:58:01 +02:00
|
|
|
|
|
|
|
buildDoubleLoads("ldrd")
|
2010-06-02 19:58:05 +02:00
|
|
|
|
|
|
|
buildPrefetches("pld")
|
|
|
|
buildPrefetches("pldw")
|
|
|
|
buildPrefetches("pli")
|
2010-06-02 19:58:07 +02:00
|
|
|
|
|
|
|
buildImmLoad("ldrex", False, True, False, size=4, ldrex=True)
|
|
|
|
buildImmLoad("ldrexh", False, True, False, size=2, ldrex=True)
|
|
|
|
buildImmLoad("ldrexb", False, True, False, size=1, ldrex=True)
|
|
|
|
buildDoubleImmLoad("ldrexd", False, True, False, ldrex=True)
|
2010-06-02 19:58:01 +02:00
|
|
|
}};
|