1 ; RUN: llc < %s -march=arm | FileCheck %s
3 ; FIXME: Fix after peephole optimizer is fixed.
5 define i64 @f0(i64 %A, i64 %B) {
7 ; CHECK: lsrs r3, r3, #1
8 ; CHECK-NEXT: rrx r2, r2
9 ; CHECK-NEXT: subs r0, r0, r2
10 ; CHECK-NEXT: sbc r1, r1, r3
11 %tmp = bitcast i64 %A to i64
12 %tmp2 = lshr i64 %B, 1
13 %tmp3 = sub i64 %tmp, %tmp2
17 define i32 @f1(i64 %x, i64 %y) {
21 %b = trunc i64 %a to i32
25 define i32 @f2(i64 %x, i64 %y) {
28 ; CHECK-NEXT: rsb r3, r2, #32
29 ; CHECK-NEXT: subs r2, r2, #32
30 ; CHECK-NEXT: orr r0, r0, r1, lsl r3
31 ; CHECK-NEXT: movge r0, r1, asr r2
33 %b = trunc i64 %a to i32
37 define i32 @f3(i64 %x, i64 %y) {
40 ; CHECK-NEXT: rsb r3, r2, #32
41 ; CHECK-NEXT: subs r2, r2, #32
42 ; CHECK-NEXT: orr r0, r0, r1, lsl r3
43 ; CHECK-NEXT: movge r0, r1, lsr r2
45 %b = trunc i64 %a to i32