[AVR] Fix miscompilation of zext + add
authorAyke van Laethem <aykevanlaethem@gmail.com>
Sun, 19 Apr 2020 00:22:06 +0000 (02:22 +0200)
committerAyke van Laethem <aykevanlaethem@gmail.com>
Thu, 18 Jun 2020 14:51:37 +0000 (16:51 +0200)
commitb4c91462e84e66684c09d36c3c4ee9a10b9cb2cb
tree7f62a5c7b9ecbfe25ce4812050a1e1a3fee0179f
parent850bb889a56ccf3252792c6d3db59542e94753ae
[AVR] Fix miscompilation of zext + add

Code like the following:

    define i32 @foo(i32 %a, i1 zeroext %b) addrspace(1) {
    entry:
      %conv = zext i1 %b to i32
      %add = add nsw i32 %conv, %a
      ret i32 %add
    }

Would compile to the following (incorrect) code:

    foo:
        mov     r18, r20
        clr     r19
        add     r22, r18
        adc     r23, r19
        sbci    r24, 0
        sbci    r25, 0
        ret

Those sbci instructions are clearly wrong, they should have been adc
instructions.

This commit improves codegen to use adc instead:

    foo:
        mov     r18, r20
        clr     r19
        ldi     r20, 0
        ldi     r21, 0
        add     r22, r18
        adc     r23, r19
        adc     r24, r20
        adc     r25, r21
        ret

This code is not optimal (it could be just 5 instructions instead of the
current 9) but at least it doesn't miscompile.

Differential Revision: https://reviews.llvm.org/D78439
llvm/lib/Target/AVR/AVRInstrInfo.td
llvm/test/CodeGen/AVR/add.ll