Searched refs:BVConvTo (Results 1 – 6 of 6) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/ |
| H A D | README.md | 6 … syntactic sugar for easier bitvector conversions (currently, `VIRExpr::BVConvTo and VIRExpr::BVCo…
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | lib.rs | 213 BVConvTo(Box<Expr>, Box<Expr>), enumerator
296 Expr::BVConvTo(x, y) => write!(f, "(conv_to {x} {y})"), in fmt()
|
| H A D | annotation_ir.rs | 226 BVConvTo(Box<Expr>, Box<Expr>), enumerator
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 180 SpecOp::ConvTo => binop(Expr::BVConvTo, args, pos, env), in spec_op_to_expr()
|
| H A D | type_inference.rs | 1004 annotation_ir::Expr::BVConvTo(w, x) => { in add_annotation_constraints()
1028 (veri_ir::Expr::BVConvTo(Box::new(width), Box::new(e1)), t) in add_annotation_constraints()
1036 (veri_ir::Expr::BVConvTo(Box::new(we), Box::new(e1)), t) in add_annotation_constraints()
|
| H A D | solver.rs | 916 Expr::BVConvTo(x, y) => { in vir_expr_to_sexp()
|