Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 1 | ; RUN: llc < %s -march=arm | FileCheck %s |
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 3 | define i64 @f1() { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 4 | ; CHECK: f1: |
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 5 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 6 | ret i64 0 |
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 7 | } |
8 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 9 | define i64 @f2() { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 10 | ; CHECK: f2: |
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 11 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 12 | ret i64 1 |
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 13 | } |
14 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 15 | define i64 @f3() { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 16 | ; CHECK: f3: |
17 | ; CHECK: mvn{{.*}}-2147483648 | ||||
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 18 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 19 | ret i64 2147483647 |
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 20 | } |
21 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 22 | define i64 @f4() { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 23 | ; CHECK: f4: |
24 | ; CHECK: -2147483648 | ||||
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 25 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 26 | ret i64 2147483648 |
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 27 | } |
28 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 29 | define i64 @f5() { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 30 | ; CHECK: f5: |
31 | ; CHECK: mvn | ||||
32 | ; CHECK: mvn{{.*}}-2147483648 | ||||
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 33 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 34 | ret i64 9223372036854775807 |
Rafael Espindola | 3a02f02 | 2006-09-04 19:05:01 +0000 | [diff] [blame] | 35 | } |
Rafael Espindola | 2d8680a | 2006-10-09 17:30:15 +0000 | [diff] [blame] | 36 | |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 37 | define i64 @f6(i64 %x, i64 %y) { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 38 | ; CHECK: f6: |
39 | ; CHECK: adds | ||||
40 | ; CHECK: adc | ||||
Rafael Espindola | 2d8680a | 2006-10-09 17:30:15 +0000 | [diff] [blame] | 41 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 42 | %tmp1 = add i64 %y, 1 ; <i64> [#uses=1] |
43 | ret i64 %tmp1 | ||||
Rafael Espindola | 2d8680a | 2006-10-09 17:30:15 +0000 | [diff] [blame] | 44 | } |
Rafael Espindola | 26a76d1 | 2006-10-13 16:47:22 +0000 | [diff] [blame] | 45 | |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 46 | define void @f7() { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 47 | ; CHECK: f7: |
Rafael Espindola | 26a76d1 | 2006-10-13 16:47:22 +0000 | [diff] [blame] | 48 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 49 | %tmp = call i64 @f8( ) ; <i64> [#uses=0] |
50 | ret void | ||||
Rafael Espindola | 5395538 | 2006-10-13 17:19:20 +0000 | [diff] [blame] | 51 | } |
Rafael Espindola | bec2e38 | 2006-10-16 16:33:29 +0000 | [diff] [blame] | 52 | |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 53 | declare i64 @f8() |
54 | |||||
55 | define i64 @f9(i64 %a, i64 %b) { | ||||
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 56 | ; CHECK: f9: |
57 | ; CHECK: subs r | ||||
58 | ; CHECK: sbc | ||||
Rafael Espindola | bec2e38 | 2006-10-16 16:33:29 +0000 | [diff] [blame] | 59 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 60 | %tmp = sub i64 %a, %b ; <i64> [#uses=1] |
61 | ret i64 %tmp | ||||
Rafael Espindola | bec2e38 | 2006-10-16 16:33:29 +0000 | [diff] [blame] | 62 | } |
63 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 64 | define i64 @f(i32 %a, i32 %b) { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 65 | ; CHECK: f: |
66 | ; CHECK: smull | ||||
Rafael Espindola | bec2e38 | 2006-10-16 16:33:29 +0000 | [diff] [blame] | 67 | entry: |
Tanya Lattner | 6263f94 | 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 | ||||
Rafael Espindola | bec2e38 | 2006-10-16 16:33:29 +0000 | [diff] [blame] | 72 | } |
Rafael Espindola | 0d479ec | 2006-10-17 14:34:02 +0000 | [diff] [blame] | 73 | |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 74 | define i64 @g(i32 %a, i32 %b) { |
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 75 | ; CHECK: g: |
76 | ; CHECK: umull | ||||
Rafael Espindola | 0d479ec | 2006-10-17 14:34:02 +0000 | [diff] [blame] | 77 | entry: |
Tanya Lattner | 6263f94 | 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 | ||||
Rafael Espindola | 0d479ec | 2006-10-17 14:34:02 +0000 | [diff] [blame] | 82 | } |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 83 | |
84 | define i64 @f10() { | ||||
Bob Wilson | b935031 | 2009-10-27 06:16:45 +0000 | [diff] [blame^] | 85 | ; CHECK: f10: |
Tanya Lattner | 6263f94 | 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 | } |