Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=arm -mattr=+vfp2 | FileCheck %s |
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 3 | define i32 @f1(float %a) { |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 4 | ;CHECK: f1: |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 5 | ;CHECK: vcmpe.f32 |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 6 | ;CHECK: movmi |
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 7 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 8 | %tmp = fcmp olt float %a, 1.000000e+00 ; <i1> [#uses=1] |
9 | %tmp1 = zext i1 %tmp to i32 ; <i32> [#uses=1] | ||||
10 | ret i32 %tmp1 | ||||
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 11 | } |
12 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 13 | define i32 @f2(float %a) { |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 14 | ;CHECK: f2: |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 15 | ;CHECK: vcmpe.f32 |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 16 | ;CHECK: moveq |
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 17 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 18 | %tmp = fcmp oeq float %a, 1.000000e+00 ; <i1> [#uses=1] |
19 | %tmp2 = zext i1 %tmp to i32 ; <i32> [#uses=1] | ||||
20 | ret i32 %tmp2 | ||||
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 21 | } |
22 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 23 | define i32 @f3(float %a) { |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 24 | ;CHECK: f3: |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 25 | ;CHECK: vcmpe.f32 |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 26 | ;CHECK: movgt |
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 27 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 28 | %tmp = fcmp ogt float %a, 1.000000e+00 ; <i1> [#uses=1] |
29 | %tmp3 = zext i1 %tmp to i32 ; <i32> [#uses=1] | ||||
30 | ret i32 %tmp3 | ||||
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 31 | } |
32 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 33 | define i32 @f4(float %a) { |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 34 | ;CHECK: f4: |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 35 | ;CHECK: vcmpe.f32 |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 36 | ;CHECK: movge |
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 37 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 38 | %tmp = fcmp oge float %a, 1.000000e+00 ; <i1> [#uses=1] |
39 | %tmp4 = zext i1 %tmp to i32 ; <i32> [#uses=1] | ||||
40 | ret i32 %tmp4 | ||||
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 41 | } |
42 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 43 | define i32 @f5(float %a) { |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 44 | ;CHECK: f5: |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 45 | ;CHECK: vcmpe.f32 |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 46 | ;CHECK: movls |
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 47 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 48 | %tmp = fcmp ole float %a, 1.000000e+00 ; <i1> [#uses=1] |
49 | %tmp5 = zext i1 %tmp to i32 ; <i32> [#uses=1] | ||||
50 | ret i32 %tmp5 | ||||
Rafael Espindola | fb6abd7 | 2006-10-10 14:26:06 +0000 | [diff] [blame] | 51 | } |
Rafael Espindola | 0d9fe76 | 2006-10-10 16:33:47 +0000 | [diff] [blame] | 52 | |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 53 | define i32 @f6(float %a) { |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 54 | ;CHECK: f6: |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 55 | ;CHECK: vcmpe.f32 |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 56 | ;CHECK: movne |
Rafael Espindola | 42b62f3 | 2006-10-13 13:14:59 +0000 | [diff] [blame] | 57 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 58 | %tmp = fcmp une float %a, 1.000000e+00 ; <i1> [#uses=1] |
59 | %tmp6 = zext i1 %tmp to i32 ; <i32> [#uses=1] | ||||
60 | ret i32 %tmp6 | ||||
Rafael Espindola | 42b62f3 | 2006-10-13 13:14:59 +0000 | [diff] [blame] | 61 | } |
62 | |||||
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 63 | define i32 @g1(double %a) { |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 64 | ;CHECK: g1: |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 65 | ;CHECK: vcmpe.f64 |
Bob Wilson | e8e72be | 2009-10-09 17:20:46 +0000 | [diff] [blame] | 66 | ;CHECK: movmi |
Rafael Espindola | 0d9fe76 | 2006-10-10 16:33:47 +0000 | [diff] [blame] | 67 | entry: |
Tanya Lattner | 6263f94 | 2008-02-17 20:02:20 +0000 | [diff] [blame] | 68 | %tmp = fcmp olt double %a, 1.000000e+00 ; <i1> [#uses=1] |
69 | %tmp7 = zext i1 %tmp to i32 ; <i32> [#uses=1] | ||||
70 | ret i32 %tmp7 | ||||
Rafael Espindola | 0d9fe76 | 2006-10-10 16:33:47 +0000 | [diff] [blame] | 71 | } |