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().
