Searched refs:Bitwidth (Results 1 – 2 of 2) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/tests/ |
| H A D | veri.rs | 199 Bitwidth::I16, in test_broken_iadd_extend()
203 Bitwidth::I32, in test_broken_iadd_extend()
326 Bitwidth::I16, in test_broken_iadd_imm12()
330 Bitwidth::I32, in test_broken_iadd_imm12()
334 Bitwidth::I64, in test_broken_iadd_imm12()
1325 Bitwidth::I64, in test_broken_small_rotr_to_shifts()
1359 Bitwidth::I64, in test_broken_small_rotr_to_shifts_2()
2158 Bitwidth::I32, in test_broken_do_shift_32()
2811 Bitwidth::I16, in test_broken_imm_udiv_cve_underlying()
2815 Bitwidth::I32, in test_broken_imm_udiv_cve_underlying()
[all …]
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/tests/utils/ |
| H A D | mod.rs | 18 pub enum Bitwidth { enum
26 Simple(Vec<(Bitwidth, VerificationResult)>),
30 type TestResultBuilder = dyn Fn(Bitwidth) -> (Bitwidth, VerificationResult);
95 pub fn all_success_result() -> Vec<(Bitwidth, VerificationResult)> { in all_success_result()
101 pub fn all_failure_result() -> Vec<(Bitwidth, VerificationResult)> { in all_failure_result()
108 Bitwidth::iter().map(f).collect() in custom_result()
125 Bitwidth::I8 => veri_ir::Type::BitVector(Some(8)), in test_rules_with_term()
175 tr: Vec<(Bitwidth, VerificationResult)>, in test_from_file_with_lhs_termname_simple() argument
197 tr: Vec<(Bitwidth, VerificationResult)>, in test_aarch64_rule_with_lhs_termname_simple() argument
218 tr: Vec<(Bitwidth, VerificationResult)>, in test_x64_rule_with_lhs_termname_simple() argument
[all …]
|