Searched defs:width (Results 1 – 14 of 14) sorted by relevance
174 let width = settings.iter().map(|s| s.0.name.len()).max().unwrap_or(0); in print_settings_human_readable() localVariable
274 let width = self.address_width; in execute() localVariable
1023 let width = Expr::Terminal(veri_ir::Terminal::Const(w, t2)); in add_annotation_constraints() localVariable1063 let width = match *w { in add_annotation_constraints() localVariable1100 let width = match *w { in add_annotation_constraints() localVariable1731 let width: usize = (*c).try_into().unwrap(); in solve_constraints() localVariable
472 let width = self.bitwidth.checked_sub(narrow_width).unwrap(); in widen_to_register_width() localVariable514 let width = w.unwrap_or(self.bitwidth); in vir_to_smt_ty() localVariable568 let width = self.get_expr_width_var(&e); in vir_expr_to_sexp() localVariable586 let width = w.unwrap_or(self.bitwidth); in vir_expr_to_sexp() localVariable1757 let width = ctx.smt.get_value(vec![atom]).unwrap().first().unwrap().1; in resolve_dynamic_widths() localVariable
220 let width = self.triple().pointer_width().unwrap(); in pointer_bytes() localVariable
130 pub width: usize, field
537 let width = match dfg.value_def(val).inst() { in souper_type_of() localVariable
76 pub fn width(&self) -> u64 { in width() method
67 width: usize, field
633 let width = if self.eat_sym_str("bv")? { in parse_model_type() localVariable
45 width: u32, field
656 pub fn width(&self) -> u8 { in width() method
265 let width = match width { in encode_vmem_load() localVariable
1187 let mut width = 0x20; in get_logical_imm() localVariable