Searched refs:exprs (Results 1 – 5 of 5) sorted by relevance
7 in-args as exprs.20 - Turn arg-polarity and exprs on extractors into purer "InstFormat"
206 let exprs = built_expression in clone_die_attributes() localVariable209 if exprs.is_empty() { in clone_die_attributes()215 for (_, _, expr) in &exprs { in clone_die_attributes()231 for (begin, length, data) in exprs { in clone_die_attributes()
1025 TableSegmentElements::Expressions(exprs) => { in table_init_segment()1027 let exprs = exprs in table_init_segment() localVariable1032 for (i, expr) in positions.zip(exprs) { in table_init_segment()
535 let mut exprs = in translate_payload() localVariable539 exprs.push(expr); in translate_payload()544 TableSegmentElements::Expressions(exprs.into()) in translate_payload()
1136 let mut exprs = vec![]; in add_annotation_constraints() localVariable1141 exprs.push(xe); in add_annotation_constraints()1148 (veri_ir::Expr::BVConcat(exprs), t) in add_annotation_constraints()