Re: [try 2nd 5/8] Displaced stepping for Thumb 32-bit insns

Yao Qi
2011-05-23T11:32:01Z

On 05/18/2011 01:14 AM, Ulrich Weigand wrote:
>> > +static int
>> > +thumb2_copy_copro_load_store (struct gdbarch *gdbarch, uint16_t insn1,
>> > + uint16_t insn2, struct regcache *regs,
>> > + struct displaced_step_closure *dsc)
>> > +{
>> > + unsigned int rn = bits (insn1, 0, 3);
>> > +
>> > + if (rn == ARM_PC_REGNUM)
>> > + return thumb_copy_unmodified_32bit (gdbarch, insn1, insn2,
>> > + "copro load/store", dsc);
>> > +
>> > + if (debug_displaced)
>> > + fprintf_unfiltered (gdb_stdlog, "displaced: copying coprocessor "
>> > + "load/store insn %.4x%.4x\n", insn1, insn2);
>> > +
>> > + dsc->modinsn[0] = insn1 & 0xfff0;
>> > + dsc->modinsn[1] = insn2;
>> > + dsc->numinsns = 2;
> This doesn't look right: you're replacing the RN register if it is anything
> *but* 15 -- but those cases do not need to be replaced!
>

Sorry, the condition check should be reversed.

> In fact, unless I'm missing something, in Thumb mode no coprocessor
> instruction actually uses the PC (either RN == 15 indicates some other
> operation, or else it is specified as unpredictable). So those should
> simply all be copied unmodified ...
>

I can understand almost of your comments except this one. I think you
are right, but there are still some cases that PC is used in this
category of instructions.

thumb2_copy_copro_load_store covers instructions STC/STC2, VLDR/VSTR and
LDC/LDC2 (literal and immediate). I re-read ARM ARM again, and find that,

STC/STC2 doesn't use PC. ARM ARM said "if n == 15 && (wback ||
CurrentInstrSet() != InstrSet_ARM) then UNPREDICTABLE;"

VSTR doesn't use PC. ARM ARM said "if n == 15 && CurrentInstrSet() !=
InstrSet_ARM then UNPREDICTABLE;"

However, LDC/LDC2/VLDR can use PC.

VLDR<c>{.32} <Sd>, [PC, #+/-<imm>]

LDC, LDC2 (literal or immediate)
LDC{L}<c> <coproc>,<CRd>,[PC],

I can write a real VLDR instruction using PC successfully. Still no
luck to fix 'Illegal instruction' when running program having LDC/LDC2
using PC register, but I think LDC/LDC2 should be able to use PC
register. Am I missing something here?

--
Yao (é½å°§)