Jim Grosbach | 4a26092 | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=arm | FileCheck %s |
Evan Cheng | 02b985c | 2007-01-19 09:20:23 +0000 | [diff] [blame] | 2 | |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 3 | define i64 @f0(i64 %A, i64 %B) { |
Jim Grosbach | 4a26092 | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 4 | ; CHECK: f0 |
Benjamin Kramer | 823bdbc | 2009-10-31 19:22:24 +0000 | [diff] [blame] | 5 | ; CHECK: rrx |
Evan Cheng | 1091a97 | 2007-01-27 00:04:57 +0000 | [diff] [blame] | 6 | %tmp = bitcast i64 %A to i64 |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 7 | %tmp2 = lshr i64 %B, 1 |
Evan Cheng | 1091a97 | 2007-01-27 00:04:57 +0000 | [diff] [blame] | 8 | %tmp3 = sub i64 %tmp, %tmp2 |
| 9 | ret i64 %tmp3 |
Evan Cheng | 02b985c | 2007-01-19 09:20:23 +0000 | [diff] [blame] | 10 | } |
| 11 | |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 12 | define i32 @f1(i64 %x, i64 %y) { |
Jim Grosbach | 4a26092 | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 13 | ; CHECK: f1 |
Jim Grosbach | c2b879f | 2009-10-31 19:38:01 +0000 | [diff] [blame] | 14 | ; CHECK: mov r0, r0, lsl r2 |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 15 | %a = shl i64 %x, %y |
Evan Cheng | 1091a97 | 2007-01-27 00:04:57 +0000 | [diff] [blame] | 16 | %b = trunc i64 %a to i32 |
| 17 | ret i32 %b |
| 18 | } |
| 19 | |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 20 | define i32 @f2(i64 %x, i64 %y) { |
Jim Grosbach | 4a26092 | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 21 | ; CHECK: f2 |
Jim Grosbach | b4a976c | 2009-10-31 21:00:56 +0000 | [diff] [blame] | 22 | ; CHECK: movge r0, r1, asr r2 |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 23 | %a = ashr i64 %x, %y |
Evan Cheng | 1091a97 | 2007-01-27 00:04:57 +0000 | [diff] [blame] | 24 | %b = trunc i64 %a to i32 |
| 25 | ret i32 %b |
| 26 | } |
| 27 | |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 28 | define i32 @f3(i64 %x, i64 %y) { |
Jim Grosbach | 4a26092 | 2009-10-31 19:06:53 +0000 | [diff] [blame] | 29 | ; CHECK: f3 |
Jim Grosbach | bcf2f2c | 2009-10-31 21:42:19 +0000 | [diff] [blame] | 30 | ; CHECK: movge r0, r1, lsr r2 |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 31 | %a = lshr i64 %x, %y |
Evan Cheng | 1091a97 | 2007-01-27 00:04:57 +0000 | [diff] [blame] | 32 | %b = trunc i64 %a to i32 |
| 33 | ret i32 %b |
| 34 | } |