expected_state.check(state)
def test_execute_trap_warning():
state = new_state()
instr = opcode_factory.trap16(trap=0b11111)
name, executefn = decode(instr)
with pytest.raises(FatalError) as exninfo:
executefn(state, Instruction(instr, None))
expected_state = StateChecker(pc=RESET_ADDR)
expected_text = ('Unknown argument to trap instruction: 31')
expected_state.check(state)
assert expected_text == exninfo.value.msg
@pytest.mark.parametrize('name,instr', [('mbkpt16', opcode_factory.mbkpt16()),
('sync16', opcode_factory.sync16()),
('wand16', opcode_factory.wand16()),
])
def test_execute_multicore_instructions(name, instr):
with pytest.raises(NotImplementedInstError):
state = new_state()
name, executefn = decode(instr)
executefn(state, Instruction(instr, None))
def test_execute_unimpl():
state = new_state()
instr = opcode_factory.unimpl()
name, executefn = decode(instr)
executefn(state, Instruction(instr, None))
('fabs32', opcode_factory.fabs32(rd=1, rn=0, rm=0)),
('movcond32', opcode_factory.movcond32(condition=0b0000, rd=0, rn=0)),
('movcond16', opcode_factory.movcond16(condition=0b0000, rd=0, rn=0)),
('movtimm32', opcode_factory.movtimm32(rd=0b1111, imm=0)),
('movimm32', opcode_factory.movimm32(rd=0b1111, imm=0)),
('movimm16', opcode_factory.movimm16(rd=0b1111, imm=0)),
('movfs32', opcode_factory.movfs32(rn=0b110, rd='IRET')),
('movfs16', opcode_factory.movfs16(rn=0b110, rd='IRET')),
('movts32', opcode_factory.movts32(rn='IRET', rd=0b011)),
('movts16', opcode_factory.movts16(rn='IRET', rd=0)),
('gie16', opcode_factory.gie16()),
('gid16', opcode_factory.gid16()),
('nop16', opcode_factory.nop16()),
('idle16', opcode_factory.idle16()),
('bkpt16', opcode_factory.bkpt16()),
('mbkpt16', opcode_factory.mbkpt16()),
('sync16', opcode_factory.sync16()),
('rti16', opcode_factory.rti16()),
('wand16', opcode_factory.wand16()),
('trap16', opcode_factory.trap16(trap=0b111111)),
('unimpl', opcode_factory.unimpl()),
])
def test_decode(name, instr):
decoded_name, _ = decode(instr)
assert decoded_name == name
def test_bit32_imm():
instr = Instruction(opcode_factory.bitr32_immediate(rd=0b110110, rn=0b101101, imm=0b11111),
None)
assert instr.imm5 == 0b11111
