T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Generate an INST_PREDICATES table for each ISA.

Browse Source 
Instead of generating a single `check_instp()` function, create an array
of individual function pointers for checking instruction predicates.

This makes explicit the jump table in the old check_instp() method and
it gives us a way of determining the number of instruction predicates
that exists.
This commit is contained in:
Jakob Stoklund Olesen
2017-07-24 14:13:35 -07:00
parent f39d75fa58
commit 776af93ef2
8 changed files with 35 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/cretonne/src/isa/arm32/enc_tables.rs
View File

@@ -1,6 +1,5 @@
//! Encoding tables for ARM32 ISA.
use ir::InstructionData;
use ir::types;
use isa::EncInfo;
use isa::constraints::*;

2
lib/cretonne/src/isa/arm32/mod.rs
View File

@@ -74,8 +74,8 @@ impl TargetIsa for Isa {
Ok(Encodings::new(enclist_offset,
&enc_tables::ENCLISTS[..],
&enc_tables::RECIPE_PREDICATES[..],
&enc_tables::INST_PREDICATES[..],
inst,
enc_tables::check_instp,
self.isa_flags.predicate_view()))
})
}

1
lib/cretonne/src/isa/arm64/enc_tables.rs
View File

@@ -1,6 +1,5 @@
//! Encoding tables for ARM64 ISA.
use ir::InstructionData;
use ir::types;
use isa::EncInfo;
use isa::constraints::*;

2
lib/cretonne/src/isa/arm64/mod.rs
View File

@@ -67,8 +67,8 @@ impl TargetIsa for Isa {
Ok(Encodings::new(enclist_offset,
&enc_tables::ENCLISTS[..],
&enc_tables::RECIPE_PREDICATES[..],
&enc_tables::INST_PREDICATES[..],
inst,
enc_tables::check_instp,
self.isa_flags.predicate_view()))
})
}

18
lib/cretonne/src/isa/enc_tables.rs
View File

@@ -16,6 +16,12 @@ use std::ops::Range;
/// A None predicate is always satisfied.
pub type RecipePredicate = Option<fn(PredicateView, &InstructionData) -> bool>;
/// An instruction predicate.
///
/// This is a predicate function that needs to be tested in addition to the recipe predicate. It
/// can't depend on ISA settings.
pub type InstPredicate = fn(&InstructionData) -> bool;
/// Legalization action to perform when no encoding can be found for an instruction.
///
/// This is an index into an ISA-specific table of legalization actions.
@@ -152,9 +158,9 @@ pub struct Encodings<'a> {
offset: usize,
enclist: &'static [EncListEntry],
inst: &'a InstructionData,
instp: fn(&InstructionData, EncListEntry) -> bool,
isa_predicates: PredicateView<'a>,
recipe_predicates: &'static [RecipePredicate],
inst_predicates: &'static [InstPredicate],
}
impl<'a> Encodings<'a> {
@@ -176,17 +182,17 @@ impl<'a> Encodings<'a> {
pub fn new(offset: usize,
enclist: &'static [EncListEntry],
recipe_predicates: &'static [RecipePredicate],
inst_predicates: &'static [InstPredicate],
inst: &'a InstructionData,
instp: fn(&InstructionData, EncListEntry) -> bool,
isa_predicates: PredicateView<'a>)
-> Self {
Encodings {
offset,
enclist,
inst,
instp,
isa_predicates,
recipe_predicates,
inst_predicates,
}
}
@@ -208,7 +214,11 @@ impl<'a> Iterator for Encodings<'a> {
if pred <= CODE_ALWAYS {
// This is an instruction predicate followed by recipe and encbits entries.
self.offset += 3;
if pred == CODE_ALWAYS || (self.instp)(self.inst, pred) {
let satisfied = match self.inst_predicates.get(pred as usize) {
Some(p) => p(self.inst),
None => true,
};
if satisfied {
let recipe = self.enclist[self.offset - 2];
if self.check_recipe(recipe) {
let encoding = Encoding::new(recipe, self.enclist[self.offset - 1]);

2
lib/cretonne/src/isa/intel/mod.rs
View File

@@ -74,8 +74,8 @@ impl TargetIsa for Isa {
Ok(Encodings::new(enclist_offset,
&enc_tables::ENCLISTS[..],
&enc_tables::RECIPE_PREDICATES[..],
&enc_tables::INST_PREDICATES[..],
inst,
enc_tables::check_instp,
self.isa_flags.predicate_view()))
})
}

2
lib/cretonne/src/isa/riscv/mod.rs
View File

@@ -74,8 +74,8 @@ impl TargetIsa for Isa {
Ok(Encodings::new(enclist_offset,
&enc_tables::ENCLISTS[..],
&enc_tables::RECIPE_PREDICATES[..],
&enc_tables::INST_PREDICATES[..],
inst,
enc_tables::check_instp,
self.isa_flags.predicate_view()))
})
}