| Jim Grosbach | dde39bd | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=arm | FileCheck %s |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| 3 | define i64 @f0(i64 %A, i64 %B) { |
| Jim Grosbach | dde39bd | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 4 | ; CHECK: f0 |
| Benjamin Kramer | 55d502f | 2009-10-31 19:22:24 +0000 | [diff] [blame^] | 5 | ; CHECK: rrx |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | %tmp = bitcast i64 %A to i64 |
| 7 | %tmp2 = lshr i64 %B, 1 |
| 8 | %tmp3 = sub i64 %tmp, %tmp2 |
| 9 | ret i64 %tmp3 |
| 10 | } |
| 11 | |
| 12 | define i32 @f1(i64 %x, i64 %y) { |
| Jim Grosbach | dde39bd | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 13 | ; CHECK: f1 |
| 14 | ; CHECK: __ashldi3 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 15 | %a = shl i64 %x, %y |
| 16 | %b = trunc i64 %a to i32 |
| 17 | ret i32 %b |
| 18 | } |
| 19 | |
| 20 | define i32 @f2(i64 %x, i64 %y) { |
| Jim Grosbach | dde39bd | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 21 | ; CHECK: f2 |
| 22 | ; CHECK: __ashrdi3 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 23 | %a = ashr i64 %x, %y |
| 24 | %b = trunc i64 %a to i32 |
| 25 | ret i32 %b |
| 26 | } |
| 27 | |
| 28 | define i32 @f3(i64 %x, i64 %y) { |
| Jim Grosbach | dde39bd | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 29 | ; CHECK: f3 |
| 30 | ; CHECK: __lshrdi3 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 31 | %a = lshr i64 %x, %y |
| 32 | %b = trunc i64 %a to i32 |
| 33 | ret i32 %b |
| 34 | } |