2016-08-17 15:53:36 +01:00
|
|
|
/* This file is part of the dynarmic project.
|
|
|
|
* Copyright (c) 2016 MerryMage
|
|
|
|
* This software may be used and distributed according to the terms of the GNU
|
|
|
|
* General Public License version 2 or any later version.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include <memory>
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
#include <boost/optional.hpp>
|
|
|
|
|
|
|
|
#include "common/common_types.h"
|
|
|
|
#include "common/intrusive_list.h"
|
|
|
|
#include "common/memory_pool.h"
|
|
|
|
#include "frontend/arm_types.h"
|
|
|
|
#include "frontend/ir/microinstruction.h"
|
|
|
|
#include "frontend/ir/terminal.h"
|
|
|
|
|
|
|
|
namespace Dynarmic {
|
|
|
|
namespace IR {
|
|
|
|
|
|
|
|
/**
|
|
|
|
* A basic block. It consists of zero or more instructions followed by exactly one terminal.
|
|
|
|
* Note that this is a linear IR and not a pure tree-based IR: i.e.: there is an ordering to
|
|
|
|
* the microinstructions. This only matters before chaining is done in order to correctly
|
|
|
|
* order memory accesses.
|
|
|
|
*/
|
|
|
|
class Block final {
|
|
|
|
public:
|
basic_block: Add proxy member functions for the instruction list
Currently basic block kind of acts like a 'dumb struct' which makes things
a little more verbose to write (as opposed to keeping it all in one place,
I guess). It's also a little wonky conceptually, considering a block is
composed of instructions (i.e. 'contains' them).
So providing accessors that make it act more like a container can make working
with algorithms a little nicer. It also makes the API a little more
defined.
Ideally, the list would be only available through a function, but
currently, the pool allocator is exposed, which seems somewhat odd,
considering the block itself should manage its overall allocations
(with placement new, and regular new), rather than putting that
sanitizing directly on the IR emitter (it should just care about emission,
not block state). However, recontaining that can be followed up with,
as it's very trivial to do.
2016-08-21 17:35:30 +01:00
|
|
|
using InstructionList = Common::IntrusiveList<Inst>;
|
2016-08-23 18:05:00 +01:00
|
|
|
using size_type = InstructionList::size_type;
|
basic_block: Add proxy member functions for the instruction list
Currently basic block kind of acts like a 'dumb struct' which makes things
a little more verbose to write (as opposed to keeping it all in one place,
I guess). It's also a little wonky conceptually, considering a block is
composed of instructions (i.e. 'contains' them).
So providing accessors that make it act more like a container can make working
with algorithms a little nicer. It also makes the API a little more
defined.
Ideally, the list would be only available through a function, but
currently, the pool allocator is exposed, which seems somewhat odd,
considering the block itself should manage its overall allocations
(with placement new, and regular new), rather than putting that
sanitizing directly on the IR emitter (it should just care about emission,
not block state). However, recontaining that can be followed up with,
as it's very trivial to do.
2016-08-21 17:35:30 +01:00
|
|
|
using iterator = InstructionList::iterator;
|
|
|
|
using const_iterator = InstructionList::const_iterator;
|
|
|
|
using reverse_iterator = InstructionList::reverse_iterator;
|
|
|
|
using const_reverse_iterator = InstructionList::const_reverse_iterator;
|
|
|
|
|
2016-08-17 15:53:36 +01:00
|
|
|
explicit Block(const Arm::LocationDescriptor& location) : location(location) {}
|
|
|
|
|
basic_block: Add proxy member functions for the instruction list
Currently basic block kind of acts like a 'dumb struct' which makes things
a little more verbose to write (as opposed to keeping it all in one place,
I guess). It's also a little wonky conceptually, considering a block is
composed of instructions (i.e. 'contains' them).
So providing accessors that make it act more like a container can make working
with algorithms a little nicer. It also makes the API a little more
defined.
Ideally, the list would be only available through a function, but
currently, the pool allocator is exposed, which seems somewhat odd,
considering the block itself should manage its overall allocations
(with placement new, and regular new), rather than putting that
sanitizing directly on the IR emitter (it should just care about emission,
not block state). However, recontaining that can be followed up with,
as it's very trivial to do.
2016-08-21 17:35:30 +01:00
|
|
|
bool empty() const { return instructions.empty(); }
|
2016-08-23 18:05:00 +01:00
|
|
|
size_type size() const { return instructions.size(); }
|
basic_block: Add proxy member functions for the instruction list
Currently basic block kind of acts like a 'dumb struct' which makes things
a little more verbose to write (as opposed to keeping it all in one place,
I guess). It's also a little wonky conceptually, considering a block is
composed of instructions (i.e. 'contains' them).
So providing accessors that make it act more like a container can make working
with algorithms a little nicer. It also makes the API a little more
defined.
Ideally, the list would be only available through a function, but
currently, the pool allocator is exposed, which seems somewhat odd,
considering the block itself should manage its overall allocations
(with placement new, and regular new), rather than putting that
sanitizing directly on the IR emitter (it should just care about emission,
not block state). However, recontaining that can be followed up with,
as it's very trivial to do.
2016-08-21 17:35:30 +01:00
|
|
|
|
|
|
|
Inst& front() { return instructions.front(); }
|
|
|
|
const Inst& front() const { return instructions.front(); }
|
|
|
|
|
|
|
|
Inst& back() { return instructions.back(); }
|
|
|
|
const Inst& back() const { return instructions.back(); }
|
|
|
|
|
|
|
|
iterator begin() { return instructions.begin(); }
|
|
|
|
const_iterator begin() const { return instructions.begin(); }
|
|
|
|
iterator end() { return instructions.end(); }
|
|
|
|
const_iterator end() const { return instructions.end(); }
|
|
|
|
|
|
|
|
reverse_iterator rbegin() { return instructions.rbegin(); }
|
|
|
|
const_reverse_iterator rbegin() const { return instructions.rbegin(); }
|
|
|
|
reverse_iterator rend() { return instructions.rend(); }
|
|
|
|
const_reverse_iterator rend() const { return instructions.rend(); }
|
|
|
|
|
|
|
|
const_iterator cbegin() const { return instructions.cbegin(); }
|
|
|
|
const_iterator cend() const { return instructions.cend(); }
|
|
|
|
|
|
|
|
const_reverse_iterator crbegin() const { return instructions.crbegin(); }
|
|
|
|
const_reverse_iterator crend() const { return instructions.crend(); }
|
|
|
|
|
2016-08-17 15:53:36 +01:00
|
|
|
/// Description of the starting location of this block
|
|
|
|
Arm::LocationDescriptor location;
|
|
|
|
/// Conditional to pass in order to execute this block
|
|
|
|
Arm::Cond cond = Arm::Cond::AL;
|
|
|
|
/// Block to execute next if `cond` did not pass.
|
|
|
|
boost::optional<Arm::LocationDescriptor> cond_failed = {};
|
|
|
|
|
|
|
|
/// List of instructions in this block.
|
basic_block: Add proxy member functions for the instruction list
Currently basic block kind of acts like a 'dumb struct' which makes things
a little more verbose to write (as opposed to keeping it all in one place,
I guess). It's also a little wonky conceptually, considering a block is
composed of instructions (i.e. 'contains' them).
So providing accessors that make it act more like a container can make working
with algorithms a little nicer. It also makes the API a little more
defined.
Ideally, the list would be only available through a function, but
currently, the pool allocator is exposed, which seems somewhat odd,
considering the block itself should manage its overall allocations
(with placement new, and regular new), rather than putting that
sanitizing directly on the IR emitter (it should just care about emission,
not block state). However, recontaining that can be followed up with,
as it's very trivial to do.
2016-08-21 17:35:30 +01:00
|
|
|
InstructionList instructions;
|
2016-08-17 15:53:36 +01:00
|
|
|
/// Memory pool for instruction list
|
|
|
|
std::unique_ptr<Common::Pool> instruction_alloc_pool = std::make_unique<Common::Pool>(sizeof(Inst), 4096);
|
|
|
|
/// Terminal instruction of this block.
|
|
|
|
Terminal terminal = Term::Invalid{};
|
|
|
|
|
|
|
|
/// Number of cycles this block takes to execute.
|
|
|
|
size_t cycle_count = 0;
|
|
|
|
};
|
|
|
|
|
|
|
|
/// Returns a string representation of the contents of block. Intended for debugging.
|
|
|
|
std::string DumpBlock(const IR::Block& block);
|
|
|
|
|
|
|
|
} // namespace IR
|
|
|
|
} // namespace Dynarmic
|