Skip to content

Commit

Permalink
Improve reporting of recovered unrecognized statement/directive
Browse files Browse the repository at this point in the history
  • Loading branch information
vosen committed Dec 13, 2021
1 parent 0ca14d7 commit 971951b
Show file tree
Hide file tree
Showing 5 changed files with 60 additions and 31 deletions.
10 changes: 10 additions & 0 deletions ptx/src/ast.rs
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,16 @@ pub enum PtxError {
ArrayInitalizer,
#[error("")]
NonExternPointer,
#[error("{start}:{end}")]
UnrecognizedStatement {
start: usize,
end: usize,
},
#[error("{start}:{end}")]
UnrecognizedDirective {
start: usize,
end: usize,
},
}

// For some weird reson this is illegal:
Expand Down
52 changes: 35 additions & 17 deletions ptx/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@ mod translate;
use std::fmt;

pub use crate::ptx::ModuleParser;
use ast::PtxError;
pub use lalrpop_util::lexer::Token;
pub use lalrpop_util::ParseError;
pub use rspirv::dr::Error as SpirvError;
Expand Down Expand Up @@ -91,33 +92,50 @@ impl ModuleParserExt for ModuleParser {
}
}

pub struct DisplayParseError<'a, Loc, Tok, Err>(pub &'a str, pub &'a ParseError<Loc, Tok, Err>);
pub struct DisplayParseError<'a, Loc, Tok, Err>(&'a str, &'a ParseError<Loc, Tok, Err>);

impl<'a, Loc, Tok, Err> fmt::Display for DisplayParseError<'a, Loc, Tok, Err>
impl<'a, Loc: fmt::Display + Into<usize> + Copy, Tok, Err> DisplayParseError<'a, Loc, Tok, Err> {
// unsafe because there's no guarantee that the input str is the one that this error was created from
pub unsafe fn new(error: &'a ParseError<Loc, Tok, Err>, text: &'a str) -> Self {
Self(text, error)
}
}

impl<'a, Loc, Tok> fmt::Display for DisplayParseError<'a, Loc, Tok, PtxError>
where
Loc: fmt::Display + Into<usize> + Copy,
Loc: fmt::Display,
Tok: fmt::Display,
Err: fmt::Display,
{
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
match self.1 {
ParseError::UnrecognizedToken {
token: (start, token, end),
..
} => {
let full_instruction =
unsafe { self.0.get_unchecked((*start).into()..(*end).into()) };
write!(
f,
"`{}` unrecognized token `{}` found at {}:{}",
full_instruction, token, start, end
)
}
_ => self.fmt(f),
ParseError::User {
error: PtxError::UnrecognizedStatement { start, end },
} => self.fmt_unrecognized(f, *start, *end, "statement"),
ParseError::User {
error: PtxError::UnrecognizedDirective { start, end },
} => self.fmt_unrecognized(f, *start, *end, "directive"),
_ => self.1.fmt(f),
}
}
}

impl<'a, Loc, Tok, Err> DisplayParseError<'a, Loc, Tok, Err> {
fn fmt_unrecognized(
&self,
f: &mut fmt::Formatter,
start: usize,
end: usize,
kind: &'static str,
) -> fmt::Result {
let full_substring = unsafe { self.0.get_unchecked(start..end) };
write!(
f,
"Unrecognized {} `{}` found at {}:{}",
kind, full_substring, start, end
)
}
}

pub(crate) fn without_none<T>(x: Vec<Option<T>>) -> Vec<T> {
x.into_iter().filter_map(|x| x).collect()
}
Expand Down
21 changes: 9 additions & 12 deletions ptx/src/ptx.lalrpop
Original file line number Diff line number Diff line change
Expand Up @@ -394,9 +394,11 @@ Directive: Option<ast::Directive<'input, ast::ParsedArgParams<'input>>> = {
let (linking, var) = v;
Some(ast::Directive::Variable(linking, var))
},
! => {
let err = <>;
errors.push(err.error);
@L ! @R => {
let (start, _, end)= (<>);
errors.push(ParseError::User { error:
ast::PtxError::UnrecognizedDirective { start, end }
});
None
}
};
Expand Down Expand Up @@ -527,15 +529,10 @@ Statement: Option<ast::Statement<ast::ParsedArgParams<'input>>> = {
PragmaStatement => None,
"{" <s:Statement*> "}" => Some(ast::Statement::Block(without_none(s))),
@L ! ";" @R => {
let (start, mut err, _, end) = (<>);
// TODO: report this error more generally, perhaps in user error?
err.error = match err.error {
ParseError::UnrecognizedToken { token: (_, token, _), expected } => {
ParseError::UnrecognizedToken { token: (start, token, end), expected }
}
e => e
};
errors.push(err.error);
let (start, _, _, end) = (<>);
errors.push(ParseError::User { error:
ast::PtxError::UnrecognizedStatement { start, end }
});
None
}
};
Expand Down
4 changes: 3 additions & 1 deletion zluda_dump/README.md
Original file line number Diff line number Diff line change
@@ -1 +1,3 @@
sed 's/(.*//g' log.txt | sort | uniq > uniq.txt
grep -E '^cu.*' log.txt | sed 's/(.*//g' | sort | uniq > uniq_host.txt
cat *.log | grep "^Unrecognized s" | grep -Eo '`([^`]*)`' | sed -E 's/^`([^[:space:]]*).*`/\1/' | sort | uniq > uniq_statements.txt
cat *.log | grep "^Unrecognized d" | grep -Eo '`([^`]*)`' | sed -E 's/^`([^`]*)`/\1/' | sort | uniq > uniq_directives.txt
4 changes: 3 additions & 1 deletion zluda_dump/src/trace.rs
Original file line number Diff line number Diff line change
Expand Up @@ -177,6 +177,7 @@ impl StateTracker {
DumpWriter::get_file_name(module_index, version, submodule_index, "log"),
));
fn_logger.log_io_error(self.writer.save_module_error_log(
module_text,
module_index,
version,
submodule_index,
Expand Down Expand Up @@ -230,6 +231,7 @@ impl DumpWriter {

fn save_module_error_log<'input>(
&self,
module_text: &str,
module_index: usize,
version: Option<usize>,
submodule_index: Option<usize>,
Expand All @@ -247,7 +249,7 @@ impl DumpWriter {
));
let mut file = File::create(log_file)?;
for error in errors {
let pretty_print_error = DisplayParseError("", error);
let pretty_print_error = unsafe { DisplayParseError::new(error, module_text) };
writeln!(file, "{}", pretty_print_error)?;
}
Ok(())
Expand Down

0 comments on commit 971951b

Please sign in to comment.