mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-05 17:30:02 +00:00
Propagate the fix from r185712 to Thumb2 codegen as well. Original commit message applies here as well: A "pkhtb x, x, y asr #num" uses the lower 16 bits of "y asr #num" and packs them in the bottom half of "x". An arithmetic and logic shift are only equivalent in this context if the shift amount is 16. We would be shifting in ones into the bottom 16bits instead of zeros if "y" is negative. rdar://14338767 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@185982 91177308-0d34-0410-b5e6-96231b3b80d8
121 lines
3.3 KiB
LLVM
121 lines
3.3 KiB
LLVM
; RUN: llc < %s -march=thumb -mattr=+thumb2,+t2xtpk | FileCheck %s
|
|
|
|
; CHECK: test1
|
|
; CHECK: pkhbt r0, r0, r1, lsl #16
|
|
define i32 @test1(i32 %X, i32 %Y) {
|
|
%tmp1 = and i32 %X, 65535 ; <i32> [#uses=1]
|
|
%tmp4 = shl i32 %Y, 16 ; <i32> [#uses=1]
|
|
%tmp5 = or i32 %tmp4, %tmp1 ; <i32> [#uses=1]
|
|
ret i32 %tmp5
|
|
}
|
|
|
|
; CHECK: test1a
|
|
; CHECK: pkhbt r0, r0, r1, lsl #16
|
|
define i32 @test1a(i32 %X, i32 %Y) {
|
|
%tmp19 = and i32 %X, 65535 ; <i32> [#uses=1]
|
|
%tmp37 = shl i32 %Y, 16 ; <i32> [#uses=1]
|
|
%tmp5 = or i32 %tmp37, %tmp19 ; <i32> [#uses=1]
|
|
ret i32 %tmp5
|
|
}
|
|
|
|
; CHECK: test2
|
|
; CHECK: pkhbt r0, r0, r1, lsl #12
|
|
define i32 @test2(i32 %X, i32 %Y) {
|
|
%tmp1 = and i32 %X, 65535 ; <i32> [#uses=1]
|
|
%tmp3 = shl i32 %Y, 12 ; <i32> [#uses=1]
|
|
%tmp4 = and i32 %tmp3, -65536 ; <i32> [#uses=1]
|
|
%tmp57 = or i32 %tmp4, %tmp1 ; <i32> [#uses=1]
|
|
ret i32 %tmp57
|
|
}
|
|
|
|
; CHECK: test3
|
|
; CHECK: pkhbt r0, r0, r1, lsl #18
|
|
define i32 @test3(i32 %X, i32 %Y) {
|
|
%tmp19 = and i32 %X, 65535 ; <i32> [#uses=1]
|
|
%tmp37 = shl i32 %Y, 18 ; <i32> [#uses=1]
|
|
%tmp5 = or i32 %tmp37, %tmp19 ; <i32> [#uses=1]
|
|
ret i32 %tmp5
|
|
}
|
|
|
|
; CHECK: test4
|
|
; CHECK: pkhbt r0, r0, r1
|
|
define i32 @test4(i32 %X, i32 %Y) {
|
|
%tmp1 = and i32 %X, 65535 ; <i32> [#uses=1]
|
|
%tmp3 = and i32 %Y, -65536 ; <i32> [#uses=1]
|
|
%tmp46 = or i32 %tmp3, %tmp1 ; <i32> [#uses=1]
|
|
ret i32 %tmp46
|
|
}
|
|
|
|
; CHECK: test5
|
|
; CHECK: pkhtb r0, r0, r1, asr #16
|
|
define i32 @test5(i32 %X, i32 %Y) {
|
|
%tmp17 = and i32 %X, -65536 ; <i32> [#uses=1]
|
|
%tmp2 = bitcast i32 %Y to i32 ; <i32> [#uses=1]
|
|
%tmp4 = lshr i32 %tmp2, 16 ; <i32> [#uses=2]
|
|
%tmp5 = or i32 %tmp4, %tmp17 ; <i32> [#uses=1]
|
|
ret i32 %tmp5
|
|
}
|
|
|
|
; CHECK: test5a
|
|
; CHECK: pkhtb r0, r0, r1, asr #16
|
|
define i32 @test5a(i32 %X, i32 %Y) {
|
|
%tmp110 = and i32 %X, -65536 ; <i32> [#uses=1]
|
|
%tmp37 = lshr i32 %Y, 16 ; <i32> [#uses=1]
|
|
%tmp39 = bitcast i32 %tmp37 to i32 ; <i32> [#uses=1]
|
|
%tmp5 = or i32 %tmp39, %tmp110 ; <i32> [#uses=1]
|
|
ret i32 %tmp5
|
|
}
|
|
|
|
; CHECK: test6
|
|
; CHECK: pkhtb r0, r0, r1, asr #12
|
|
define i32 @test6(i32 %X, i32 %Y) {
|
|
%tmp1 = and i32 %X, -65536 ; <i32> [#uses=1]
|
|
%tmp37 = lshr i32 %Y, 12 ; <i32> [#uses=1]
|
|
%tmp38 = bitcast i32 %tmp37 to i32 ; <i32> [#uses=1]
|
|
%tmp4 = and i32 %tmp38, 65535 ; <i32> [#uses=1]
|
|
%tmp59 = or i32 %tmp4, %tmp1 ; <i32> [#uses=1]
|
|
ret i32 %tmp59
|
|
}
|
|
|
|
; CHECK: test7
|
|
; CHECK: pkhtb r0, r0, r1, asr #18
|
|
define i32 @test7(i32 %X, i32 %Y) {
|
|
%tmp1 = and i32 %X, -65536 ; <i32> [#uses=1]
|
|
%tmp3 = ashr i32 %Y, 18 ; <i32> [#uses=1]
|
|
%tmp4 = and i32 %tmp3, 65535 ; <i32> [#uses=1]
|
|
%tmp57 = or i32 %tmp4, %tmp1 ; <i32> [#uses=1]
|
|
ret i32 %tmp57
|
|
}
|
|
|
|
; CHECK: test8
|
|
; CHECK-NOT: pkhtb r0, r0, r1, asr #22
|
|
; pkhtb does an arithmetic shift, not a logical shift. Make sure we don't
|
|
; use it for problematic cases when whether sign bits would be shifted in
|
|
; would matter.
|
|
define i32 @test8(i32 %X, i32 %Y) {
|
|
%tmp1 = and i32 %X, -65536
|
|
%tmp3 = lshr i32 %Y, 22
|
|
%tmp57 = or i32 %tmp3, %tmp1
|
|
ret i32 %tmp57
|
|
}
|
|
|
|
; CHECK: test9:
|
|
; CHECK: pkhtb r0, r0, r1, asr #16
|
|
define i32 @test9(i32 %src1, i32 %src2) {
|
|
entry:
|
|
%tmp = and i32 %src1, -65536
|
|
%tmp2 = lshr i32 %src2, 16
|
|
%tmp3 = or i32 %tmp, %tmp2
|
|
ret i32 %tmp3
|
|
}
|
|
|
|
; CHECK: test10
|
|
; CHECK: pkhtb r0, r0, r1, asr #22
|
|
define i32 @test10(i32 %X, i32 %Y) {
|
|
%tmp1 = and i32 %X, -65536
|
|
%tmp3 = ashr i32 %Y, 22
|
|
%tmp57 = or i32 %tmp3, %tmp1
|
|
ret i32 %tmp57
|
|
}
|
|
|