Searched refs:BVNot (Results 1 – 8 of 8) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | lib.rs | 124 BVNot, enumerator
236 UnaryOp::BVNot => "bvnot", in fmt()
|
| H A D | annotation_ir.rs | 177 BVNot(Box<Expr>), enumerator
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 123 SpecOp::BVNot => unop(Expr::BVNot, args, pos, env), in spec_op_to_expr()
|
| H A D | type_inference.rs | 677 annotation_ir::Expr::BVNot(x) => { in add_annotation_constraints()
685 veri_ir::Expr::Unary(veri_ir::UnaryOp::BVNot, Box::new(e1)), in add_annotation_constraints()
|
| H A D | solver.rs | 623 UnaryOp::BVNot => { in vir_expr_to_sexp()
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 150 BVNot, enumerator
|
| H A D | printer.rs | 507 SpecOp::BVNot => "bvnot", in to_sexpr()
|
| H A D | parser.rs | 486 "bvnot" => Ok(SpecOp::BVNot), in parse_spec_op()
|