[Lldb-commits] [PATCH] D16772: Fix single stepping over the IT instruction

[Greg Clayton via lldb-commits]

clayborg added a comment.

In http://reviews.llvm.org/D16772#341629, @tberghammer wrote:

> In http://reviews.llvm.org/D16772#340950, @clayborg wrote:
>
> > Looks good.
> >
> > A related comment about IT instructions. You need to be careful when software single stepping through instructions that are in the middle of an ITSTATE block. You can NOT use a 16 bit instruction that isn't a BKPT otherwise you change your instructions. Are you guys using the BKPT trap for software breakpoints? If not, you should not step through IT instructions that have 32 bit thumb instructions or you will hose your program. Let me know if you need to know more about this.
>
>
> We are currently using 16 bit UDF instruction and as far as I can tell from some manual testing it is working as expected both when stepping over 16 bit and when stepping over 32 bit instructions. I will look into it why we are using UDF instead of BKPT and will create a separate CL for replacing it.


So the problem is this. Lets say you have a ITE (if then else) with the following instructions:

0x1000: 0x1122            ITE
0x1002: 0xaabbccdd    Some 32 bit thumb instruction that is then conditional
0x1006: 0xeeff               Some 16 bit thumb instruction that is else conditional

If you single step over 0x1000 you will end up at 0x1002, but if you have replaced 0x1002 with a 16 bit UDF (whose opcode we will pretend to be 0x1234) , did you just change you instructions in memory to be:

0x1000: 0x1122            ITE
0x1002: 0x1234            UDF that is then conditional
0x1004: 0xccdd            Upper half of orignal 0xaabbccdd instruction that is else conditional
0x1006: 0xeeff              Some 16 bit thumb instruction that is now NOT conditional?

This happened to us in debugserver before we switched over to using a BKPT instruction as they are the only instructions which guarantee that they will work correctly for IT blocks. So make a test case that does this, and set the condition both ways and make sure the values in the registers after the entire IT block are the same for running through it with no breakpoints, and also when stepping through it manually. Note that code has been added to LLDB to figure out when it is stopped in an IT Block at an instruction that shouldn't be stopped at, since the BKPT will get hit regardless of the current condition value, and we don't want to stop in this case, so we detect it and continue.


Repository:
  rL LLVM

http://reviews.llvm.org/D16772