(
xs: impl IntoIterator<Item = (R0, V)>,
op: impl Into<Op> + Debug,
result: R1,
expected: u64,
)
| 27 | } |
| 28 | |
| 29 | unsafe fn assert_one<R0, R1, V>( |
| 30 | xs: impl IntoIterator<Item = (R0, V)>, |
| 31 | op: impl Into<Op> + Debug, |
| 32 | result: R1, |
| 33 | expected: u64, |
| 34 | ) where |
| 35 | R0: Into<AnyReg>, |
| 36 | R1: Into<AnyReg>, |
| 37 | V: Into<Val>, |
| 38 | { |
| 39 | eprintln!("======================================================="); |
| 40 | let mut vm = Vm::new().unwrap(); |
| 41 | |
| 42 | for (reg, val) in xs { |
| 43 | let reg = reg.into(); |
| 44 | let val = val.into(); |
| 45 | eprintln!("{reg} = {val:#018x}"); |
| 46 | match (reg, val) { |
| 47 | (AnyReg::X(r), Val::XReg(v)) => vm.state_mut()[r] = v, |
| 48 | (AnyReg::F(r), Val::FReg(v)) => vm.state_mut()[r] = v, |
| 49 | (AnyReg::V(_), Val::VReg(_)) => todo!(), |
| 50 | (kind, val) => panic!("register kind and value mismatch: {kind:?} and {val:?}"), |
| 51 | } |
| 52 | } |
| 53 | |
| 54 | eprintln!("op = {op:?}"); |
| 55 | let op = op.into(); |
| 56 | |
| 57 | unsafe { |
| 58 | run(&mut vm, &[op, Op::Ret(Ret {})]).expect("should not trap"); |
| 59 | } |
| 60 | |
| 61 | eprintln!("expected = {expected:#018x}"); |
| 62 | |
| 63 | let actual = match result.into() { |
| 64 | AnyReg::X(r) => vm.state_mut()[r].get_u64(), |
| 65 | AnyReg::F(r) => vm.state_mut()[r].get_f64().to_bits(), |
| 66 | AnyReg::V(_) => todo!(), |
| 67 | }; |
| 68 | eprintln!("actual = {actual:#018x}"); |
| 69 | |
| 70 | assert_eq!(expected, actual); |
| 71 | } |
| 72 | |
| 73 | fn x(x: u8) -> XReg { |
| 74 | XReg::new(x).unwrap() |
no test coverage detected