Searched refs:BVSub (Results 1 – 8 of 8) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | lib.rs | 151 BVSub, enumerator
260 BinaryOp::BVSub => "bvsub", in fmt()
|
| H A D | annotation_ir.rs | 188 BVSub(Box<Expr>, Box<Expr>), enumerator
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 146 SpecOp::BVSub => binop(Expr::BVSub, args, pos, env), in spec_op_to_expr()
|
| H A D | solver.rs | 642 | BinaryOp::BVSub in vir_expr_to_sexp()
806 BinaryOp::BVSub => "bvsub", in vir_expr_to_sexp()
|
| H A D | type_inference.rs | 774 annotation_ir::Expr::BVSub(x, y) => { in add_annotation_constraints()
791 veri_ir::Expr::Binary(veri_ir::BinaryOp::BVSub, Box::new(e1), Box::new(e2)), in add_annotation_constraints()
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 158 BVSub, enumerator
|
| H A D | printer.rs | 513 SpecOp::BVSub => "bvsub", in to_sexpr()
|
| H A D | parser.rs | 492 "bvsub" => Ok(SpecOp::BVSub), in parse_spec_op()
|