|
The previous solution was to add 9 (8 for the offset, 1 for the Thumb
state). However, the lowest bit is used for something else (garbage
collection / evaluation status), so this gives some problems.
This solution adds only 8 (the offset), so that we don't alter the
lowest two bits. Then, when jumping, the address is IORed with 1, so
that the Thumb state bit is set.
|