Searched refs:BitVectorWithWidth (Results 1 – 3 of 3) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | type_inference.rs | 2388 (1, annotation_ir::Type::BitVectorWithWidth(16)), in test_solve_constraints()
2389 (2, annotation_ir::Type::BitVectorWithWidth(16)), in test_solve_constraints()
2390 (3, annotation_ir::Type::BitVectorWithWidth(8)), in test_solve_constraints()
2391 (4, annotation_ir::Type::BitVectorWithWidth(8)), in test_solve_constraints()
2392 (5, annotation_ir::Type::BitVectorWithWidth(8)), in test_solve_constraints()
2393 (6, annotation_ir::Type::BitVectorWithWidth(16)), in test_solve_constraints()
2417 (1, annotation_ir::Type::BitVectorWithWidth(16)), in test_solve_constraints()
2418 (2, annotation_ir::Type::BitVectorWithWidth(16)), in test_solve_constraints()
2419 (3, annotation_ir::Type::BitVectorWithWidth(8)), in test_solve_constraints()
2420 (4, annotation_ir::Type::BitVectorWithWidth(8)), in test_solve_constraints()
[all …]
|
| H A D | annotations.rs | 293 ty: Type::BitVectorWithWidth(*width as usize), in spec_to_expr()
355 annotation_ir::Type::BitVectorWithWidth(*size) in parse_annotations()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | annotation_ir.rs | 88 BitVectorWithWidth(usize), enumerator
110 Type::BitVectorWithWidth(w) => write!(f, "bv{}", *w), in fmt()
|