Searched refs:BVZeroExtToVarWidth (Results 1 – 5 of 5) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | lib.rs | 206 BVZeroExtToVarWidth(Box<Expr>, Box<Expr>), enumerator
293 Expr::BVZeroExtToVarWidth(d, e) => write!(f, "(zero_ext {d} {e})"), in fmt()
|
| H A D | annotation_ir.rs | 206 BVZeroExtToVarWidth(Box<Expr>, Box<Expr>), enumerator
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 171 None => binop(Expr::BVZeroExtToVarWidth, args, pos, env), in spec_op_to_expr()
|
| H A D | type_inference.rs | 1077 annotation_ir::Expr::BVZeroExtToVarWidth(w, x) => { in add_annotation_constraints()
1092 veri_ir::Expr::BVZeroExtToVarWidth(Box::new(we), Box::new(e1)), in add_annotation_constraints()
|
| H A D | solver.rs | 869 Expr::BVZeroExtToVarWidth(i, x) => { in vir_expr_to_sexp()
|