The condition field is not emulated correctly in 32-bit mode (Aarch32)

[julienfreche]

I came across an interesting case today. It seems like “__currentCond” is never set in the ARM model.
This is useful when executing 32-bit instructions that are conditional. In theory, for A32, it should contain the higher bits of the current instruction (28 to 31). But, it is never set in the model.

As a result, the condition attached to an instruction will not be emulated properly. The fix should be to include this in the decoding step. Probably something as simple as: __currentCond = __currentInst[31 .. 28] is a good start (probably not for Thumb though)