Decode: Pull instruction decoding out of the StaticInst class into its own.
This change pulls the instruction decoding machinery (including caches) out of
the StaticInst class and puts it into its own class. This has a few intrinsic
benefits. First, the StaticInst code, which has gotten to be quite large, gets
simpler. Second, the code that handles decode caching is now separated out
into its own component and can be looked at in isolation, making it easier to
understand. I took the opportunity to restructure the code a bit which will
hopefully also help.
Beyond that, this change also lays some ground work for each ISA to have its
own, potentially stateful decode object. We'd be able to include less
contextualizing information in the ExtMachInst objects since that context
would be applied at the decoder. Also, the decoder could "know" ahead of time
that all the instructions it's going to see are going to be, for instance, 64
bit mode, and it will have one less thing to check when it decodes them.
Because the decode caching mechanism has been separated out, it's now possible
to have multiple caches which correspond to different types of decoding
context. Having one cache for each element of the cross product of different
configurations may become prohibitive, so it may be desirable to clear out the
cache when relatively static state changes and not to have one for each
setting.
Because the decode function is no longer universally accessible as a static
member of the StaticInst class, a new function was added to the ThreadContexts
that returns the applicable decode object.
2011-09-09 11:30:01 +02:00
|
|
|
/*
|
2014-12-23 15:31:17 +01:00
|
|
|
* Copyright (c) 2012-2014 ARM Limited
|
arm: Add support for ARMv8 (AArch64 & AArch32)
Note: AArch64 and AArch32 interworking is not supported. If you use an AArch64
kernel you are restricted to AArch64 user-mode binaries. This will be addressed
in a later patch.
Note: Virtualization is only supported in AArch32 mode. This will also be fixed
in a later patch.
Contributors:
Giacomo Gabrielli (TrustZone, LPAE, system-level AArch64, AArch64 NEON, validation)
Thomas Grocutt (AArch32 Virtualization, AArch64 FP, validation)
Mbou Eyole (AArch64 NEON, validation)
Ali Saidi (AArch64 Linux support, code integration, validation)
Edmund Grimley-Evans (AArch64 FP)
William Wang (AArch64 Linux support)
Rene De Jong (AArch64 Linux support, performance opt.)
Matt Horsnell (AArch64 MP, validation)
Matt Evans (device models, code integration, validation)
Chris Adeniyi-Jones (AArch64 syscall-emulation)
Prakash Ramrakhyani (validation)
Dam Sunwoo (validation)
Chander Sudanthi (validation)
Stephan Diestelhorst (validation)
Andreas Hansson (code integration, performance opt.)
Eric Van Hensbergen (performance opt.)
Gabe Black
2014-01-24 22:29:34 +01:00
|
|
|
* 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.
|
|
|
|
*
|
2012-05-26 22:44:46 +02:00
|
|
|
* Copyright (c) 2012 Google
|
Decode: Pull instruction decoding out of the StaticInst class into its own.
This change pulls the instruction decoding machinery (including caches) out of
the StaticInst class and puts it into its own class. This has a few intrinsic
benefits. First, the StaticInst code, which has gotten to be quite large, gets
simpler. Second, the code that handles decode caching is now separated out
into its own component and can be looked at in isolation, making it easier to
understand. I took the opportunity to restructure the code a bit which will
hopefully also help.
Beyond that, this change also lays some ground work for each ISA to have its
own, potentially stateful decode object. We'd be able to include less
contextualizing information in the ExtMachInst objects since that context
would be applied at the decoder. Also, the decoder could "know" ahead of time
that all the instructions it's going to see are going to be, for instance, 64
bit mode, and it will have one less thing to check when it decodes them.
Because the decode caching mechanism has been separated out, it's now possible
to have multiple caches which correspond to different types of decoding
context. Having one cache for each element of the cross product of different
configurations may become prohibitive, so it may be desirable to clear out the
cache when relatively static state changes and not to have one for each
setting.
Because the decode function is no longer universally accessible as a static
member of the StaticInst class, a new function was added to the ThreadContexts
that returns the applicable decode object.
2011-09-09 11:30:01 +02:00
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* 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
|
|
|
|
*/
|
|
|
|
|
2012-05-25 09:55:24 +02:00
|
|
|
#include "arch/arm/decoder.hh"
|
2012-05-26 22:44:46 +02:00
|
|
|
#include "arch/arm/isa_traits.hh"
|
|
|
|
#include "arch/arm/utility.hh"
|
|
|
|
#include "base/trace.hh"
|
|
|
|
#include "debug/Decoder.hh"
|
Decode: Pull instruction decoding out of the StaticInst class into its own.
This change pulls the instruction decoding machinery (including caches) out of
the StaticInst class and puts it into its own class. This has a few intrinsic
benefits. First, the StaticInst code, which has gotten to be quite large, gets
simpler. Second, the code that handles decode caching is now separated out
into its own component and can be looked at in isolation, making it easier to
understand. I took the opportunity to restructure the code a bit which will
hopefully also help.
Beyond that, this change also lays some ground work for each ISA to have its
own, potentially stateful decode object. We'd be able to include less
contextualizing information in the ExtMachInst objects since that context
would be applied at the decoder. Also, the decoder could "know" ahead of time
that all the instructions it's going to see are going to be, for instance, 64
bit mode, and it will have one less thing to check when it decodes them.
Because the decode caching mechanism has been separated out, it's now possible
to have multiple caches which correspond to different types of decoding
context. Having one cache for each element of the cross product of different
configurations may become prohibitive, so it may be desirable to clear out the
cache when relatively static state changes and not to have one for each
setting.
Because the decode function is no longer universally accessible as a static
member of the StaticInst class, a new function was added to the ThreadContexts
that returns the applicable decode object.
2011-09-09 11:30:01 +02:00
|
|
|
|
2012-05-25 09:55:24 +02:00
|
|
|
namespace ArmISA
|
2012-05-25 09:53:37 +02:00
|
|
|
{
|
|
|
|
|
2012-05-26 22:45:12 +02:00
|
|
|
GenericISA::BasicDecodeCache Decoder::defaultCache;
|
2012-05-25 09:53:37 +02:00
|
|
|
|
2014-12-23 15:31:17 +01:00
|
|
|
Decoder::Decoder()
|
|
|
|
: data(0), fpscrLen(0), fpscrStride(0)
|
|
|
|
{
|
|
|
|
reset();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
Decoder::reset()
|
|
|
|
{
|
|
|
|
bigThumb = false;
|
|
|
|
offset = 0;
|
|
|
|
emi = 0;
|
|
|
|
instDone = false;
|
|
|
|
outOfBytes = true;
|
|
|
|
foundIt = false;
|
|
|
|
}
|
|
|
|
|
2012-05-26 22:44:46 +02:00
|
|
|
void
|
|
|
|
Decoder::process()
|
|
|
|
{
|
|
|
|
// emi is typically ready, with some caveats below...
|
|
|
|
instDone = true;
|
|
|
|
|
|
|
|
if (!emi.thumb) {
|
|
|
|
emi.instBits = data;
|
arm: Add support for ARMv8 (AArch64 & AArch32)
Note: AArch64 and AArch32 interworking is not supported. If you use an AArch64
kernel you are restricted to AArch64 user-mode binaries. This will be addressed
in a later patch.
Note: Virtualization is only supported in AArch32 mode. This will also be fixed
in a later patch.
Contributors:
Giacomo Gabrielli (TrustZone, LPAE, system-level AArch64, AArch64 NEON, validation)
Thomas Grocutt (AArch32 Virtualization, AArch64 FP, validation)
Mbou Eyole (AArch64 NEON, validation)
Ali Saidi (AArch64 Linux support, code integration, validation)
Edmund Grimley-Evans (AArch64 FP)
William Wang (AArch64 Linux support)
Rene De Jong (AArch64 Linux support, performance opt.)
Matt Horsnell (AArch64 MP, validation)
Matt Evans (device models, code integration, validation)
Chris Adeniyi-Jones (AArch64 syscall-emulation)
Prakash Ramrakhyani (validation)
Dam Sunwoo (validation)
Chander Sudanthi (validation)
Stephan Diestelhorst (validation)
Andreas Hansson (code integration, performance opt.)
Eric Van Hensbergen (performance opt.)
Gabe Black
2014-01-24 22:29:34 +01:00
|
|
|
if (!emi.aarch64) {
|
|
|
|
emi.sevenAndFour = bits(data, 7) && bits(data, 4);
|
|
|
|
emi.isMisc = (bits(data, 24, 23) == 0x2 &&
|
|
|
|
bits(data, 20) == 0);
|
|
|
|
}
|
2012-05-26 22:44:46 +02:00
|
|
|
consumeBytes(4);
|
|
|
|
DPRINTF(Decoder, "Arm inst: %#x.\n", (uint64_t)emi);
|
|
|
|
} else {
|
|
|
|
uint16_t word = (data >> (offset * 8));
|
|
|
|
if (bigThumb) {
|
|
|
|
// A 32 bit thumb inst is half collected.
|
|
|
|
emi.instBits = emi.instBits | word;
|
|
|
|
bigThumb = false;
|
|
|
|
consumeBytes(2);
|
|
|
|
DPRINTF(Decoder, "Second half of 32 bit Thumb: %#x.\n",
|
|
|
|
emi.instBits);
|
|
|
|
} else {
|
|
|
|
uint16_t highBits = word & 0xF800;
|
|
|
|
if (highBits == 0xE800 || highBits == 0xF000 ||
|
|
|
|
highBits == 0xF800) {
|
|
|
|
// The start of a 32 bit thumb inst.
|
|
|
|
emi.bigThumb = 1;
|
|
|
|
if (offset == 0) {
|
|
|
|
// We've got the whole thing.
|
|
|
|
emi.instBits = (data >> 16) | (data << 16);
|
|
|
|
DPRINTF(Decoder, "All of 32 bit Thumb: %#x.\n",
|
|
|
|
emi.instBits);
|
|
|
|
consumeBytes(4);
|
|
|
|
} else {
|
|
|
|
// We only have the first half word.
|
|
|
|
DPRINTF(Decoder,
|
|
|
|
"First half of 32 bit Thumb.\n");
|
|
|
|
emi.instBits = (uint32_t)word << 16;
|
|
|
|
bigThumb = true;
|
|
|
|
consumeBytes(2);
|
|
|
|
// emi not ready yet.
|
|
|
|
instDone = false;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
// A 16 bit thumb inst.
|
|
|
|
consumeBytes(2);
|
|
|
|
emi.instBits = word;
|
|
|
|
// Set the condition code field artificially.
|
|
|
|
emi.condCode = COND_UC;
|
|
|
|
DPRINTF(Decoder, "16 bit Thumb: %#x.\n",
|
|
|
|
emi.instBits);
|
|
|
|
if (bits(word, 15, 8) == 0xbf &&
|
|
|
|
bits(word, 3, 0) != 0x0) {
|
|
|
|
foundIt = true;
|
|
|
|
itBits = bits(word, 7, 0);
|
|
|
|
DPRINTF(Decoder,
|
|
|
|
"IT detected, cond = %#x, mask = %#x\n",
|
|
|
|
itBits.cond, itBits.mask);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-12-23 15:31:17 +01:00
|
|
|
void
|
|
|
|
Decoder::consumeBytes(int numBytes)
|
|
|
|
{
|
|
|
|
offset += numBytes;
|
2014-12-23 15:31:17 +01:00
|
|
|
assert(offset <= sizeof(MachInst) || emi.decoderFault);
|
2014-12-23 15:31:17 +01:00
|
|
|
if (offset == sizeof(MachInst))
|
|
|
|
outOfBytes = true;
|
|
|
|
}
|
|
|
|
|
2012-05-26 22:44:46 +02:00
|
|
|
void
|
|
|
|
Decoder::moreBytes(const PCState &pc, Addr fetchPC, MachInst inst)
|
|
|
|
{
|
|
|
|
data = inst;
|
|
|
|
offset = (fetchPC >= pc.instAddr()) ? 0 : pc.instAddr() - fetchPC;
|
|
|
|
emi.thumb = pc.thumb();
|
arm: Add support for ARMv8 (AArch64 & AArch32)
Note: AArch64 and AArch32 interworking is not supported. If you use an AArch64
kernel you are restricted to AArch64 user-mode binaries. This will be addressed
in a later patch.
Note: Virtualization is only supported in AArch32 mode. This will also be fixed
in a later patch.
Contributors:
Giacomo Gabrielli (TrustZone, LPAE, system-level AArch64, AArch64 NEON, validation)
Thomas Grocutt (AArch32 Virtualization, AArch64 FP, validation)
Mbou Eyole (AArch64 NEON, validation)
Ali Saidi (AArch64 Linux support, code integration, validation)
Edmund Grimley-Evans (AArch64 FP)
William Wang (AArch64 Linux support)
Rene De Jong (AArch64 Linux support, performance opt.)
Matt Horsnell (AArch64 MP, validation)
Matt Evans (device models, code integration, validation)
Chris Adeniyi-Jones (AArch64 syscall-emulation)
Prakash Ramrakhyani (validation)
Dam Sunwoo (validation)
Chander Sudanthi (validation)
Stephan Diestelhorst (validation)
Andreas Hansson (code integration, performance opt.)
Eric Van Hensbergen (performance opt.)
Gabe Black
2014-01-24 22:29:34 +01:00
|
|
|
emi.aarch64 = pc.aarch64();
|
2013-01-05 01:09:35 +01:00
|
|
|
emi.fpscrLen = fpscrLen;
|
|
|
|
emi.fpscrStride = fpscrStride;
|
2012-05-26 22:44:46 +02:00
|
|
|
|
2014-12-23 15:31:17 +01:00
|
|
|
const Addr alignment(pc.thumb() ? 0x1 : 0x3);
|
|
|
|
emi.decoderFault = static_cast<uint8_t>(
|
|
|
|
pc.instAddr() & alignment ? DecoderFault::UNALIGNED : DecoderFault::OK);
|
|
|
|
|
2012-05-26 22:44:46 +02:00
|
|
|
outOfBytes = false;
|
|
|
|
process();
|
|
|
|
}
|
|
|
|
|
2014-12-23 15:31:17 +01:00
|
|
|
StaticInstPtr
|
|
|
|
Decoder::decode(ArmISA::PCState &pc)
|
|
|
|
{
|
|
|
|
if (!instDone)
|
|
|
|
return NULL;
|
|
|
|
|
|
|
|
const int inst_size((!emi.thumb || emi.bigThumb) ? 4 : 2);
|
|
|
|
ExtMachInst this_emi(emi);
|
|
|
|
|
|
|
|
pc.npc(pc.pc() + inst_size);
|
|
|
|
if (foundIt)
|
|
|
|
pc.nextItstate(itBits);
|
|
|
|
this_emi.itstate = pc.itstate();
|
|
|
|
pc.size(inst_size);
|
|
|
|
|
|
|
|
emi = 0;
|
|
|
|
instDone = false;
|
|
|
|
foundIt = false;
|
|
|
|
|
|
|
|
return decode(this_emi, pc.instAddr());
|
|
|
|
}
|
|
|
|
|
2012-05-25 09:53:37 +02:00
|
|
|
}
|