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: |
| 5 | ;CHECK: fcmpes |
| 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: |
| 15 | ;CHECK: fcmpes |
| 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: |
| 25 | ;CHECK: fcmpes |
| 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: |
| 35 | ;CHECK: fcmpes |
| 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: |
| 45 | ;CHECK: fcmpes |
| 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: |
| 55 | ;CHECK: fcmpes |
| 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: |
| 65 | ;CHECK: fcmped |
| 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 | } |