blob: 027c7c59a75dd19d39b2a15d4a1eb6b0d6e40c34 [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
5; 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
14; CHECK: __ashldi3
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
22; CHECK: __ashrdi3
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
30; CHECK: __lshrdi3
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}