Hi, Alexei! >>>>> On Thu, 10 Sep 2020 17:25:43 -0700, Alexei Starovoitov wrote: > On Wed, Sep 9, 2020 at 4:37 PM Ilya Leoshkevich <iii@xxxxxxxxxxxxx> wrote: >> >> If the original insn is a jump, then it is not subjected to branch >> adjustment, which is incorrect. As discovered by Yauheni in > I think the problem is elsewhere. > Something is wrong with zext logic. > the branch insn should not have been marked as zext_dst. > and in the line: > zext_patch[0] = insn; > this 'insn' should never be a branch. > See insn_no_def(). Yes, it may be the case, as I mentioned in my analysis, but the patching itself looks much more clear with Ilya's changes. -- WBR, Yauheni Kaliuta
