fluencelabs/lalrpop
1
0
Fork 0
mirror of https://github.com/fluencelabs/lalrpop synced 2025-03-16 17:00:53 +00:00
Code Issues Projects Releases Wiki Activity

Generate asserts to help LLVM

Browse Source
This commit is contained in:
Markus Westerlind 2020-03-03 00:03:18 +01:00
parent 9320f34bd4
commit af88b698c2
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
lalrpop/src/lr1/codegen/parse_table.rs
View File

@ -930,6 +930,16 @@ impl<'ascent, 'grammar, W: Write> CodeGenerator<'ascent, 'grammar, W, TableDrive
rust!(self.out, "// {:?}", production);
// Pop each of the symbols and their associated states.
if production.symbols.len() > 1 {
// By asserting that there are enough elements to pop before popping multiple elements
// we may help LLVM to optimize better since it does not need to generate panic
// branches for each unwrap
rust!(
self.out,
"assert!(symbols.len() >= {});",
production.symbols.len()
);
}
for (index, symbol) in production.symbols.iter().enumerate().rev() {
let name = self.variant_name_for_symbol(symbol);
rust!(