blob: 253fbab76411f33ec3299090c3e7805db66ec66f [file] [log] [blame]
Jim Grosbach4a260922009-10-31 19:06:53 +00001; RUN: llc < %s -march=arm | FileCheck %s
Evan Cheng02b985c2007-01-19 09:20:23 +00002
Reid Spencer832254e2007-02-02 02:16:23 +00003define i64 @f0(i64 %A, i64 %B) {
Jim Grosbach4a260922009-10-31 19:06:53 +00004; CHECK: f0
Benjamin Kramer823bdbc2009-10-31 19:22:24 +00005; CHECK: rrx
Evan Cheng1091a972007-01-27 00:04:57 +00006 %tmp = bitcast i64 %A to i64
Reid Spencer832254e2007-02-02 02:16:23 +00007 %tmp2 = lshr i64 %B, 1
Evan Cheng1091a972007-01-27 00:04:57 +00008 %tmp3 = sub i64 %tmp, %tmp2
9 ret i64 %tmp3
Evan Cheng02b985c2007-01-19 09:20:23 +000010}
11
Reid Spencer832254e2007-02-02 02:16:23 +000012define i32 @f1(i64 %x, i64 %y) {
Jim Grosbach4a260922009-10-31 19:06:53 +000013; CHECK: f1
Jim Grosbachc2b879f2009-10-31 19:38:01 +000014; CHECK: mov r0, r0, lsl r2
Reid Spencer832254e2007-02-02 02:16:23 +000015 %a = shl i64 %x, %y
Evan Cheng1091a972007-01-27 00:04:57 +000016 %b = trunc i64 %a to i32
17 ret i32 %b
18}
19
Reid Spencer832254e2007-02-02 02:16:23 +000020define i32 @f2(i64 %x, i64 %y) {
Jim Grosbach4a260922009-10-31 19:06:53 +000021; CHECK: f2
Jim Grosbachb4a976c2009-10-31 21:00:56 +000022; CHECK: movge r0, r1, asr r2
Reid Spencer832254e2007-02-02 02:16:23 +000023 %a = ashr i64 %x, %y
Evan Cheng1091a972007-01-27 00:04:57 +000024 %b = trunc i64 %a to i32
25 ret i32 %b
26}
27
Reid Spencer832254e2007-02-02 02:16:23 +000028define i32 @f3(i64 %x, i64 %y) {
Jim Grosbach4a260922009-10-31 19:06:53 +000029; CHECK: f3
Jim Grosbachbcf2f2c2009-10-31 21:42:19 +000030; CHECK: movge r0, r1, lsr r2
Reid Spencer832254e2007-02-02 02:16:23 +000031 %a = lshr i64 %x, %y
Evan Cheng1091a972007-01-27 00:04:57 +000032 %b = trunc i64 %a to i32
33 ret i32 %b
34}