| 822 | |
| 823 | #[test] |
| 824 | fn test_with_store() { |
| 825 | let reg = pcode::VarNode::new(1, 2); |
| 826 | |
| 827 | let mut block = pcode::Block::new(); |
| 828 | let tmp = block.alloc_tmp(2); |
| 829 | block.push((tmp, pcode::Op::Load(0), 0x1000)); |
| 830 | block.push((reg, pcode::Op::IntAnd, (tmp, 1_u16))); |
| 831 | |
| 832 | let bool_out = block.alloc_tmp(1); |
| 833 | block.push((bool_out, pcode::Op::IntSignedLess, (reg, 0_u16))); |
| 834 | block.push((bool_out, pcode::Op::IntEqual, (reg, 0_u16))); |
| 835 | |
| 836 | block.push((pcode::Op::Store(0), (0x2000, reg))); |
| 837 | check(block, 0, Some((0, 0))); |
| 838 | } |
| 839 | |
| 840 | #[test] |
| 841 | fn test_load_of_load() { |