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 |
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 |
14 | ; CHECK: __ashldi3 | ||||
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 |
22 | ; CHECK: __ashrdi3 | ||||
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 |
30 | ; CHECK: __lshrdi3 | ||||
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 | } |