Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=arm | FileCheck %s |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 3 | define i64 @f1() { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 4 | ; CHECK: f1: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 5 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 6 | ret i64 0 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | } |
8 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 9 | define i64 @f2() { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 10 | ; CHECK: f2: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 11 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 12 | ret i64 1 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | } |
14 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 15 | define i64 @f3() { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 16 | ; CHECK: f3: |
17 | ; CHECK: mvn{{.*}}-2147483648 | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 18 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 19 | ret i64 2147483647 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 20 | } |
21 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 22 | define i64 @f4() { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 23 | ; CHECK: f4: |
24 | ; CHECK: -2147483648 | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 25 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 26 | ret i64 2147483648 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 27 | } |
28 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 29 | define i64 @f5() { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 30 | ; CHECK: f5: |
31 | ; CHECK: mvn | ||||
32 | ; CHECK: mvn{{.*}}-2147483648 | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 33 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 34 | ret i64 9223372036854775807 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 35 | } |
36 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 37 | define i64 @f6(i64 %x, i64 %y) { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 38 | ; CHECK: f6: |
39 | ; CHECK: adds | ||||
40 | ; CHECK: adc | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 41 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 42 | %tmp1 = add i64 %y, 1 ; <i64> [#uses=1] |
43 | ret i64 %tmp1 | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 44 | } |
45 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 46 | define void @f7() { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 47 | ; CHECK: f7: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 48 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 49 | %tmp = call i64 @f8( ) ; <i64> [#uses=0] |
50 | ret void | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 51 | } |
52 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 53 | declare i64 @f8() |
54 | |||||
55 | define i64 @f9(i64 %a, i64 %b) { | ||||
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 56 | ; CHECK: f9: |
57 | ; CHECK: subs r | ||||
58 | ; CHECK: sbc | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 59 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 60 | %tmp = sub i64 %a, %b ; <i64> [#uses=1] |
61 | ret i64 %tmp | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 62 | } |
63 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 64 | define i64 @f(i32 %a, i32 %b) { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 65 | ; CHECK: f: |
66 | ; CHECK: smull | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 67 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 68 | %tmp = sext i32 %a to i64 ; <i64> [#uses=1] |
69 | %tmp1 = sext i32 %b to i64 ; <i64> [#uses=1] | ||||
70 | %tmp2 = mul i64 %tmp1, %tmp ; <i64> [#uses=1] | ||||
71 | ret i64 %tmp2 | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 72 | } |
73 | |||||
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 74 | define i64 @g(i32 %a, i32 %b) { |
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 75 | ; CHECK: g: |
76 | ; CHECK: umull | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 77 | entry: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 78 | %tmp = zext i32 %a to i64 ; <i64> [#uses=1] |
79 | %tmp1 = zext i32 %b to i64 ; <i64> [#uses=1] | ||||
80 | %tmp2 = mul i64 %tmp1, %tmp ; <i64> [#uses=1] | ||||
81 | ret i64 %tmp2 | ||||
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 82 | } |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 83 | |
84 | define i64 @f10() { | ||||
Bob Wilson | e811eeb | 2009-10-27 06:16:45 +0000 | [diff] [blame] | 85 | ; CHECK: f10: |
Tanya Lattner | 246a137 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 86 | entry: |
87 | %a = alloca i64, align 8 ; <i64*> [#uses=1] | ||||
88 | %retval = load i64* %a ; <i64> [#uses=1] | ||||
89 | ret i64 %retval | ||||
90 | } |