presumably using macros everywhere now
This commit is contained in:
parent
0946d13e6e
commit
c53c9684e6
8 changed files with 384 additions and 308 deletions
|
@ -3,63 +3,80 @@
|
|||
use super::*;
|
||||
|
||||
pub(super) fn parse_var<'a>(
|
||||
word_reader : &mut WordReader,
|
||||
parent_scope_idx : ScopeIdx,
|
||||
vcd : &'a mut VCD,
|
||||
signal_map : &mut HashMap<String, SignalIdx>
|
||||
word_reader: &mut WordReader,
|
||||
parent_scope_idx: ScopeIdx,
|
||||
vcd: &'a mut VCD,
|
||||
signal_map: &mut HashMap<String, SignalIdx>,
|
||||
) -> Result<(), String> {
|
||||
let (word, cursor) = word_reader.next_word()?;
|
||||
let expected_types = ["integer", "parameter", "real", "reg", "string", "wire", "tri1", "time"];
|
||||
let (word, cursor) = next_word!(word_reader)?;
|
||||
let expected_types = [
|
||||
"integer",
|
||||
"parameter",
|
||||
"real",
|
||||
"reg",
|
||||
"string",
|
||||
"wire",
|
||||
"tri1",
|
||||
"time",
|
||||
];
|
||||
|
||||
// $var parameter 3 a IDLE $end
|
||||
// ^^^^^^^^^ - var_type
|
||||
let var_type = match word {
|
||||
"integer" => {Ok(SigType::Integer)}
|
||||
"parameter" => {Ok(SigType::Parameter)}
|
||||
"real" => {Ok(SigType::Real)}
|
||||
"reg" => {Ok(SigType::Reg)}
|
||||
"string" => {Ok(SigType::Str)}
|
||||
"wire" => {Ok(SigType::Wire)}
|
||||
"tri1" => {Ok(SigType::Tri1)}
|
||||
"time" => {Ok(SigType::Time)}
|
||||
"integer" => Ok(SigType::Integer),
|
||||
"parameter" => Ok(SigType::Parameter),
|
||||
"real" => Ok(SigType::Real),
|
||||
"reg" => Ok(SigType::Reg),
|
||||
"string" => Ok(SigType::Str),
|
||||
"wire" => Ok(SigType::Wire),
|
||||
"tri1" => Ok(SigType::Tri1),
|
||||
"time" => Ok(SigType::Time),
|
||||
_ => {
|
||||
let err = format!("Error near {}:{} \
|
||||
let err = format!(
|
||||
"Error near {}:{} \
|
||||
found keyword `{word}` but expected one of \
|
||||
{expected_types:?} on {cursor:?}", file!(), line!());
|
||||
{expected_types:?} on {cursor:?}",
|
||||
file!(),
|
||||
line!()
|
||||
);
|
||||
Err(err)
|
||||
}
|
||||
}?;
|
||||
|
||||
let (word, cursor) = word_reader.next_word()?;
|
||||
let (word, cursor) = next_word!(word_reader)?;
|
||||
|
||||
let parse_err = format!("failed to parse as usize on {cursor:?}");
|
||||
|
||||
// $var parameter 3 a IDLE $end
|
||||
// ^ - no_bits
|
||||
let no_bits = match var_type {
|
||||
SigType::Integer | SigType::Parameter |
|
||||
SigType::Real | SigType::Reg |
|
||||
SigType::Wire | SigType::Tri1 |
|
||||
SigType::Time => {
|
||||
SigType::Integer
|
||||
| SigType::Parameter
|
||||
| SigType::Real
|
||||
| SigType::Reg
|
||||
| SigType::Wire
|
||||
| SigType::Tri1
|
||||
| SigType::Time => {
|
||||
let no_bits = word.parse::<usize>().expect(parse_err.as_str());
|
||||
Some(no_bits)
|
||||
}
|
||||
// for strings, we don't really care what the number of bits is
|
||||
_ => {None}
|
||||
_ => None,
|
||||
};
|
||||
|
||||
// $var parameter 3 a IDLE $end
|
||||
// ^ - signal_alias
|
||||
let (word, _) = word_reader.next_word()?;
|
||||
let (word, _) = next_word!(word_reader)?;
|
||||
let signal_alias = word.to_string();
|
||||
|
||||
// $var parameter 3 a IDLE $end
|
||||
// ^^^^ - full_signal_name(can extend until $end)
|
||||
let mut full_signal_name = Vec::<String>::new();
|
||||
loop {
|
||||
let (word, _) = word_reader.next_word()?;
|
||||
let (word, _) = next_word!(word_reader)?;
|
||||
match word {
|
||||
"$end" => {break}
|
||||
_ => {full_signal_name.push(word.to_string())}
|
||||
"$end" => break,
|
||||
_ => full_signal_name.push(word.to_string()),
|
||||
}
|
||||
}
|
||||
let full_signal_name = full_signal_name.join(" ");
|
||||
|
@ -70,15 +87,16 @@ pub(super) fn parse_var<'a>(
|
|||
let (signal, signal_idx) = match signal_map.get(&signal_alias) {
|
||||
Some(ref_signal_idx) => {
|
||||
let signal_idx = SignalIdx(vcd.all_signals.len());
|
||||
let signal = Signal::Alias{
|
||||
let signal = Signal::Alias {
|
||||
name: full_signal_name,
|
||||
signal_alias: *ref_signal_idx};
|
||||
signal_alias: *ref_signal_idx,
|
||||
};
|
||||
(signal, signal_idx)
|
||||
}
|
||||
None => {
|
||||
let signal_idx = SignalIdx(vcd.all_signals.len());
|
||||
signal_map.insert(signal_alias.to_string(), signal_idx);
|
||||
let signal = Signal::Data{
|
||||
let signal = Signal::Data {
|
||||
name: full_signal_name,
|
||||
sig_type: var_type,
|
||||
signal_error: None,
|
||||
|
@ -88,7 +106,8 @@ pub(super) fn parse_var<'a>(
|
|||
u8_timeline_markers: vec![],
|
||||
string_timeline: vec![],
|
||||
string_timeline_markers: vec![],
|
||||
scope_parent: parent_scope_idx };
|
||||
scope_parent: parent_scope_idx,
|
||||
};
|
||||
(signal, signal_idx)
|
||||
}
|
||||
};
|
||||
|
@ -104,9 +123,9 @@ pub(super) fn parse_var<'a>(
|
|||
/// Sometimes, variables can be listed outside of scopes.
|
||||
/// We call these orphaned vars.
|
||||
fn parse_orphaned_vars<'a>(
|
||||
word_reader : &mut WordReader,
|
||||
vcd : &'a mut VCD,
|
||||
signal_map : &mut HashMap<String, SignalIdx>
|
||||
word_reader: &mut WordReader,
|
||||
vcd: &'a mut VCD,
|
||||
signal_map: &mut HashMap<String, SignalIdx>,
|
||||
) -> Result<(), String> {
|
||||
// create scope for unscoped signals if such a scope does not
|
||||
// yet exist
|
||||
|
@ -124,39 +143,41 @@ fn parse_orphaned_vars<'a>(
|
|||
if scope.name == scope_name {
|
||||
scope_idx = scope.self_idx;
|
||||
scope_already_exists = true;
|
||||
break
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
if !scope_already_exists {
|
||||
vcd.all_scopes.push(
|
||||
Scope {
|
||||
name: scope_name.to_string(),
|
||||
parent_idx: None,
|
||||
self_idx: scope_idx,
|
||||
child_signals: vec![],
|
||||
child_scopes: vec![]
|
||||
}
|
||||
);
|
||||
vcd.all_scopes.push(Scope {
|
||||
name: scope_name.to_string(),
|
||||
parent_idx: None,
|
||||
self_idx: scope_idx,
|
||||
child_signals: vec![],
|
||||
child_scopes: vec![],
|
||||
});
|
||||
vcd.scope_roots.push(scope_idx);
|
||||
}
|
||||
|
||||
|
||||
// we can go ahead and parse the current var as we've already encountered
|
||||
// "$var" before now.
|
||||
parse_var(word_reader, scope_idx, vcd, signal_map)?;
|
||||
|
||||
loop {
|
||||
let (word, cursor) = word_reader.next_word()?;
|
||||
let (word, cursor) = next_word!(word_reader)?;
|
||||
|
||||
match word {
|
||||
"$var" => {
|
||||
parse_var(word_reader, scope_idx, vcd, signal_map)?;
|
||||
}
|
||||
"$scope" => {break}
|
||||
"$scope" => break,
|
||||
_ => {
|
||||
let msg = format!("Error near {}:{}.\
|
||||
let msg = format!(
|
||||
"Error near {}:{}.\
|
||||
Expected $scope or $var, found \
|
||||
{word} at {cursor:?}", file!(), line!());
|
||||
{word} at {cursor:?}",
|
||||
file!(),
|
||||
line!()
|
||||
);
|
||||
Err(msg)?;
|
||||
}
|
||||
};
|
||||
|
@ -165,33 +186,36 @@ fn parse_orphaned_vars<'a>(
|
|||
Ok(())
|
||||
}
|
||||
|
||||
pub(super) fn parse_signal_tree<'a>(
|
||||
word_reader : &mut WordReader,
|
||||
parent_scope_idx : Option<ScopeIdx>,
|
||||
vcd : &'a mut VCD,
|
||||
signal_map : &mut HashMap<String, SignalIdx>
|
||||
fn parse_scopes_inner<'a>(
|
||||
word_reader: &mut WordReader,
|
||||
parent_scope_idx: Option<ScopeIdx>,
|
||||
vcd: &'a mut VCD,
|
||||
signal_map: &mut HashMap<String, SignalIdx>,
|
||||
) -> Result<(), String> {
|
||||
|
||||
// $scope module reg_mag_i $end
|
||||
// ^^^^^^ - module keyword
|
||||
let (keyword, cursor) = word_reader.next_word()?;
|
||||
let (keyword, cursor) = next_word!(word_reader)?;
|
||||
|
||||
let expected = ["module", "begin", "task", "function"];
|
||||
if expected.contains(&keyword) {
|
||||
Ok(())
|
||||
} else {
|
||||
let err = format!("Error near {}:{}. \
|
||||
let err = format!(
|
||||
"Error near {}:{}. \
|
||||
found keyword `{keyword}` but expected one of \
|
||||
{expected:?} on {cursor:?}", file!(), line!());
|
||||
{expected:?} on {cursor:?}",
|
||||
file!(),
|
||||
line!()
|
||||
);
|
||||
Err(err)
|
||||
}?;
|
||||
|
||||
// $scope module reg_mag_i $end
|
||||
// ^^^^^^^^^ - scope name
|
||||
let (scope_name, _) = word_reader.next_word()?;
|
||||
let (scope_name, _) = next_word!(word_reader)?;
|
||||
|
||||
let curr_scope_idx = ScopeIdx(vcd.all_scopes.len());
|
||||
|
||||
|
||||
// register this scope as a child of the current parent scope
|
||||
// if there is a parent scope, or else we register this scope as
|
||||
// root scope
|
||||
|
@ -200,64 +224,68 @@ pub(super) fn parse_signal_tree<'a>(
|
|||
let parent_scope = vcd.all_scopes.get_mut(parent_scope_idx).unwrap();
|
||||
parent_scope.child_scopes.push(curr_scope_idx);
|
||||
}
|
||||
None => {
|
||||
vcd.scope_roots.push(curr_scope_idx)
|
||||
}
|
||||
None => vcd.scope_roots.push(curr_scope_idx),
|
||||
}
|
||||
|
||||
// add this scope to list of existing scopes
|
||||
vcd.all_scopes.push(
|
||||
Scope {
|
||||
name: scope_name.to_string(),
|
||||
parent_idx: parent_scope_idx,
|
||||
self_idx: curr_scope_idx,
|
||||
child_signals: vec![],
|
||||
child_scopes: vec![]
|
||||
}
|
||||
);
|
||||
vcd.all_scopes.push(Scope {
|
||||
name: scope_name.to_string(),
|
||||
parent_idx: parent_scope_idx,
|
||||
self_idx: curr_scope_idx,
|
||||
child_signals: vec![],
|
||||
child_scopes: vec![],
|
||||
});
|
||||
|
||||
// $scope module reg_mag_i $end
|
||||
// ^^^^ - end keyword
|
||||
ident(word_reader, "$end")?;
|
||||
|
||||
loop {
|
||||
let (word, cursor) = word_reader.next_word()?;
|
||||
let ParseResult{matched, residual} = tag(word, "$");
|
||||
let (word, cursor) = next_word!(word_reader)?;
|
||||
let ParseResult { matched, residual } = tag(word, "$");
|
||||
match matched {
|
||||
// we hope that this word starts with a `$`
|
||||
"$" => {
|
||||
"$" => {
|
||||
match residual {
|
||||
"scope" => {
|
||||
// recursive - parse inside of current scope tree
|
||||
parse_signal_tree(word_reader, Some(curr_scope_idx), vcd, signal_map)?;
|
||||
parse_scopes_inner(word_reader, Some(curr_scope_idx), vcd, signal_map)?;
|
||||
}
|
||||
"var" => {
|
||||
parse_var(word_reader, curr_scope_idx, vcd, signal_map)?;
|
||||
}
|
||||
"upscope" => {
|
||||
ident(word_reader, "$end")?;
|
||||
break
|
||||
break;
|
||||
}
|
||||
// we ignore comments
|
||||
"comment" => {
|
||||
loop {
|
||||
if ident(word_reader, "$end").is_ok() {break}
|
||||
"comment" => loop {
|
||||
if ident(word_reader, "$end").is_ok() {
|
||||
break;
|
||||
}
|
||||
}
|
||||
},
|
||||
_ => {
|
||||
let err = format!("Error near {}:{}. \
|
||||
let err = format!(
|
||||
"Error near {}:{}. \
|
||||
found keyword `{residual}` but expected \
|
||||
`$scope`, `$var`, `$comment`, or `$upscope` \
|
||||
on {cursor:?}", file!(), line!());
|
||||
return Err(err)
|
||||
on {cursor:?}",
|
||||
file!(),
|
||||
line!()
|
||||
);
|
||||
return Err(err);
|
||||
}
|
||||
}
|
||||
}
|
||||
_ => {
|
||||
let err = format!("Error near {}:{}. \
|
||||
let err = format!(
|
||||
"Error near {}:{}. \
|
||||
found keyword `{matched}` but \
|
||||
expected `$` on {cursor:?}", file!(), line!());
|
||||
return Err(err)
|
||||
expected `$` on {cursor:?}",
|
||||
file!(),
|
||||
line!()
|
||||
);
|
||||
return Err(err);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
@ -266,68 +294,78 @@ pub(super) fn parse_signal_tree<'a>(
|
|||
}
|
||||
|
||||
pub(super) fn parse_scopes<'a>(
|
||||
word_reader : &mut WordReader,
|
||||
vcd : &'a mut VCD,
|
||||
signal_map : &mut HashMap<String, SignalIdx>
|
||||
word_reader: &mut WordReader,
|
||||
vcd: &'a mut VCD,
|
||||
signal_map: &mut HashMap<String, SignalIdx>,
|
||||
) -> Result<(), String> {
|
||||
// get the current word
|
||||
let (word, _) = word_reader.curr_word()?;
|
||||
let (word, cursor) = curr_word!(word_reader)?;
|
||||
|
||||
// we may have orphaned vars that occur before the first scope
|
||||
if word == "$var" {
|
||||
parse_orphaned_vars(word_reader, vcd, signal_map)?;
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
// get the current word
|
||||
let (word, cursor) = word_reader.curr_word()?;
|
||||
let (word, cursor) = curr_word!(word_reader)?;
|
||||
|
||||
// the current word should be "scope", as `parse_orphaned_vars`(if it
|
||||
// was called), should have terminated upon encountering "$scope".
|
||||
// If `parse_orphaned_vars` was not called, `parse_scopes` should still
|
||||
// have only been called if the caller encountered the word "$scope"
|
||||
if word != "$scope" {
|
||||
let msg = format!("Error near {}:{}.\
|
||||
let msg = format!(
|
||||
"Error near {}:{}.\
|
||||
Expected $scope or $var, found \
|
||||
{word} at {cursor:?}", file!(), line!());
|
||||
return Err(msg)
|
||||
{word} at {cursor:?}",
|
||||
file!(),
|
||||
line!()
|
||||
);
|
||||
return Err(msg);
|
||||
}
|
||||
|
||||
// now for the interesting part
|
||||
parse_signal_tree(word_reader, None, vcd, signal_map)?;
|
||||
parse_scopes_inner(word_reader, None, vcd, signal_map)?;
|
||||
|
||||
// let err = format!("reached end of file without parser leaving {}", function_name!());
|
||||
let expected_keywords = ["$scope", "$enddefinitions"];
|
||||
|
||||
// there could be multiple signal trees, and unfortunately, we
|
||||
// can't merge the earlier call to `parse_signal_tree` into this loop
|
||||
// because this loop gets a word from `next_word` instead of
|
||||
// can't merge the earlier call to `parse_scopes_inner` into this loop
|
||||
// because this loop gets a word from `next_word` instead of
|
||||
// `curr_word()`.
|
||||
loop {
|
||||
let (word, cursor) = word_reader.next_word()?;
|
||||
let (word, cursor) = next_word!(word_reader)?;
|
||||
|
||||
match word {
|
||||
"$scope" => {
|
||||
parse_signal_tree(word_reader, None, vcd, signal_map)?;
|
||||
parse_scopes_inner(word_reader, None, vcd, signal_map)?;
|
||||
}
|
||||
"$enddefinitions" => {
|
||||
ident(word_reader, "$end")?;
|
||||
break
|
||||
break;
|
||||
}
|
||||
"comment" => {
|
||||
// although we don't store comments, we still need to advance the
|
||||
// word_reader cursor to the end of the comment
|
||||
loop {
|
||||
if ident(word_reader, "$end").is_ok() {break}
|
||||
if ident(word_reader, "$end").is_ok() {
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
_ => {
|
||||
let err = format!("Error near {}:{} \
|
||||
let err = format!(
|
||||
"Error near {}:{} \
|
||||
found keyword `{word}` but expected one of \
|
||||
{expected_keywords:?} on {cursor:?}", file!(), line!());
|
||||
return Err(err)
|
||||
|
||||
{expected_keywords:?} on {cursor:?}",
|
||||
file!(),
|
||||
line!()
|
||||
);
|
||||
return Err(err);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
}
|
||||
|
|
Reference in a new issue