aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Li <li.davidm96@gmail.com>2016-01-08 09:34:29 -0700
committerDavid Li <li.davidm96@gmail.com>2016-01-08 09:34:29 -0700
commit1453ffed396ad5f86fc7c3647378301be09206dd (patch)
treeab319a987c25aea34a8cc6dba7e9fbefe68392b9
parentdb842fedbf46275ec4b3c262f9ca7ad21e74bcbc (diff)
Add MemoryInterface.is_address_accessible
-rw-r--r--src/memory.rs13
1 files changed, 13 insertions, 0 deletions
diff --git a/src/memory.rs b/src/memory.rs
index 5e630b3..b822fac 100644
--- a/src/memory.rs
+++ b/src/memory.rs
@@ -38,6 +38,8 @@ pub trait MemoryInterface {
// fn prefetch(&mut self, address: isa::Address);
// fn invalidate(&mut self, address: isa::Address);
+ fn is_address_accessible(&self, address: isa::Address) -> bool;
+
fn read_word(&mut self, address: isa::Address) -> Result<isa::Word>;
fn write_word(&mut self, address: isa::Address, value: isa::Word) -> Result<()>;
@@ -248,6 +250,10 @@ impl MemoryInterface for Memory {
fn step(&mut self) {}
+ fn is_address_accessible(&self, address: isa::Address) -> bool {
+ ((address / 4) as usize) < self.memory.len()
+ }
+
fn read_word(&mut self, address: isa::Address) -> Result<isa::Word> {
// memory is word-addressed but addresses are byte-addressed
self.memory.get((address / 4) as usize)
@@ -359,6 +365,13 @@ impl<'a> MemoryInterface for DirectMappedCache<'a> {
}
}
+ fn is_address_accessible(&self, address: isa::Address) -> bool {
+ let (tag, index, _) = self.parse_address(address);
+ let ref set = self.cache[index as usize];
+
+ set.valid && set.tag == tag
+ }
+
fn read_word(&mut self, address: isa::Address) -> Result<isa::Word> {
let normalized = self.normalize_address(address);
let (new_tag, _, _) = self.parse_address(address);