150 lines
3.8 KiB
Rust
150 lines
3.8 KiB
Rust
//! ARM 32-bit Instruction Set Architecture.
|
|
|
|
mod abi;
|
|
mod binemit;
|
|
mod enc_tables;
|
|
mod registers;
|
|
pub mod settings;
|
|
|
|
use super::super::settings as shared_settings;
|
|
#[cfg(feature = "testing_hooks")]
|
|
use crate::binemit::CodeSink;
|
|
use crate::binemit::{emit_function, MemoryCodeSink};
|
|
use crate::ir;
|
|
use crate::isa::enc_tables::{self as shared_enc_tables, lookup_enclist, Encodings};
|
|
use crate::isa::Builder as IsaBuilder;
|
|
use crate::isa::{EncInfo, RegClass, RegInfo, TargetIsa};
|
|
use crate::regalloc;
|
|
use alloc::borrow::Cow;
|
|
use alloc::boxed::Box;
|
|
use core::any::Any;
|
|
use core::fmt;
|
|
use target_lexicon::{Architecture, Triple};
|
|
|
|
#[allow(dead_code)]
|
|
struct Isa {
|
|
triple: Triple,
|
|
shared_flags: shared_settings::Flags,
|
|
isa_flags: settings::Flags,
|
|
cpumode: &'static [shared_enc_tables::Level1Entry<u16>],
|
|
}
|
|
|
|
/// Get an ISA builder for creating ARM32 targets.
|
|
pub fn isa_builder(triple: Triple) -> IsaBuilder {
|
|
IsaBuilder {
|
|
triple,
|
|
setup: settings::builder(),
|
|
constructor: isa_constructor,
|
|
}
|
|
}
|
|
|
|
fn isa_constructor(
|
|
triple: Triple,
|
|
shared_flags: shared_settings::Flags,
|
|
builder: shared_settings::Builder,
|
|
) -> Box<dyn TargetIsa> {
|
|
let level1 = match triple.architecture {
|
|
Architecture::Arm(arm) => {
|
|
if arm.is_thumb() {
|
|
&enc_tables::LEVEL1_T32[..]
|
|
} else {
|
|
&enc_tables::LEVEL1_A32[..]
|
|
}
|
|
}
|
|
_ => panic!(),
|
|
};
|
|
Box::new(Isa {
|
|
triple,
|
|
isa_flags: settings::Flags::new(&shared_flags, builder),
|
|
shared_flags,
|
|
cpumode: level1,
|
|
})
|
|
}
|
|
|
|
impl TargetIsa for Isa {
|
|
fn name(&self) -> &'static str {
|
|
"arm32"
|
|
}
|
|
|
|
fn triple(&self) -> &Triple {
|
|
&self.triple
|
|
}
|
|
|
|
fn flags(&self) -> &shared_settings::Flags {
|
|
&self.shared_flags
|
|
}
|
|
|
|
fn register_info(&self) -> RegInfo {
|
|
registers::INFO.clone()
|
|
}
|
|
|
|
fn encoding_info(&self) -> EncInfo {
|
|
enc_tables::INFO.clone()
|
|
}
|
|
|
|
fn legal_encodings<'a>(
|
|
&'a self,
|
|
func: &'a ir::Function,
|
|
inst: &'a ir::InstructionData,
|
|
ctrl_typevar: ir::Type,
|
|
) -> Encodings<'a> {
|
|
lookup_enclist(
|
|
ctrl_typevar,
|
|
inst,
|
|
func,
|
|
self.cpumode,
|
|
&enc_tables::LEVEL2[..],
|
|
&enc_tables::ENCLISTS[..],
|
|
&enc_tables::LEGALIZE_ACTIONS[..],
|
|
&enc_tables::RECIPE_PREDICATES[..],
|
|
&enc_tables::INST_PREDICATES[..],
|
|
self.isa_flags.predicate_view(),
|
|
)
|
|
}
|
|
|
|
fn legalize_signature(&self, sig: &mut Cow<ir::Signature>, current: bool) {
|
|
abi::legalize_signature(sig, &self.triple, current)
|
|
}
|
|
|
|
fn regclass_for_abi_type(&self, ty: ir::Type) -> RegClass {
|
|
abi::regclass_for_abi_type(ty)
|
|
}
|
|
|
|
fn allocatable_registers(&self, func: &ir::Function) -> regalloc::RegisterSet {
|
|
abi::allocatable_registers(func)
|
|
}
|
|
|
|
#[cfg(feature = "testing_hooks")]
|
|
fn emit_inst(
|
|
&self,
|
|
func: &ir::Function,
|
|
inst: ir::Inst,
|
|
divert: &mut regalloc::RegDiversions,
|
|
sink: &mut dyn CodeSink,
|
|
) {
|
|
binemit::emit_inst(func, inst, divert, sink, self)
|
|
}
|
|
|
|
fn emit_function_to_memory(&self, func: &ir::Function, sink: &mut MemoryCodeSink) {
|
|
emit_function(func, binemit::emit_inst, sink, self)
|
|
}
|
|
|
|
fn unsigned_add_overflow_condition(&self) -> ir::condcodes::IntCC {
|
|
ir::condcodes::IntCC::UnsignedLessThan
|
|
}
|
|
|
|
fn unsigned_sub_overflow_condition(&self) -> ir::condcodes::IntCC {
|
|
ir::condcodes::IntCC::UnsignedGreaterThanOrEqual
|
|
}
|
|
|
|
fn as_any(&self) -> &dyn Any {
|
|
self as &dyn Any
|
|
}
|
|
}
|
|
|
|
impl fmt::Display for Isa {
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
write!(f, "{}\n{}", self.shared_flags, self.isa_flags)
|
|
}
|
|
}
|