blob: 8370fbb395b32c8de16e39413d38db597a4e47ab [file] [log] [blame]
Dan Gohmanfce288f2009-09-09 00:09:15 +00001; RUN: llc < %s -march=arm -mattr=+vfp2 > %t
Reid Spencereb1d74e2007-04-16 17:36:08 +00002; RUN: grep movmi %t
3; RUN: grep moveq %t
4; RUN: grep movgt %t
5; RUN: grep movge %t
6; RUN: grep movne %t
Dan Gohman28beeea2007-08-15 13:36:28 +00007; RUN: grep fcmped %t | count 1
8; RUN: grep fcmpes %t | count 6
Rafael Espindolafb6abd72006-10-10 14:26:06 +00009
Tanya Lattner6263f942008-02-17 20:02:20 +000010define i32 @f1(float %a) {
Rafael Espindolafb6abd72006-10-10 14:26:06 +000011entry:
Tanya Lattner6263f942008-02-17 20:02:20 +000012 %tmp = fcmp olt float %a, 1.000000e+00 ; <i1> [#uses=1]
13 %tmp1 = zext i1 %tmp to i32 ; <i32> [#uses=1]
14 ret i32 %tmp1
Rafael Espindolafb6abd72006-10-10 14:26:06 +000015}
16
Tanya Lattner6263f942008-02-17 20:02:20 +000017define i32 @f2(float %a) {
Rafael Espindolafb6abd72006-10-10 14:26:06 +000018entry:
Tanya Lattner6263f942008-02-17 20:02:20 +000019 %tmp = fcmp oeq float %a, 1.000000e+00 ; <i1> [#uses=1]
20 %tmp2 = zext i1 %tmp to i32 ; <i32> [#uses=1]
21 ret i32 %tmp2
Rafael Espindolafb6abd72006-10-10 14:26:06 +000022}
23
Tanya Lattner6263f942008-02-17 20:02:20 +000024define i32 @f3(float %a) {
Rafael Espindolafb6abd72006-10-10 14:26:06 +000025entry:
Tanya Lattner6263f942008-02-17 20:02:20 +000026 %tmp = fcmp ogt float %a, 1.000000e+00 ; <i1> [#uses=1]
27 %tmp3 = zext i1 %tmp to i32 ; <i32> [#uses=1]
28 ret i32 %tmp3
Rafael Espindolafb6abd72006-10-10 14:26:06 +000029}
30
Tanya Lattner6263f942008-02-17 20:02:20 +000031define i32 @f4(float %a) {
Rafael Espindolafb6abd72006-10-10 14:26:06 +000032entry:
Tanya Lattner6263f942008-02-17 20:02:20 +000033 %tmp = fcmp oge float %a, 1.000000e+00 ; <i1> [#uses=1]
34 %tmp4 = zext i1 %tmp to i32 ; <i32> [#uses=1]
35 ret i32 %tmp4
Rafael Espindolafb6abd72006-10-10 14:26:06 +000036}
37
Tanya Lattner6263f942008-02-17 20:02:20 +000038define i32 @f5(float %a) {
Rafael Espindolafb6abd72006-10-10 14:26:06 +000039entry:
Tanya Lattner6263f942008-02-17 20:02:20 +000040 %tmp = fcmp ole float %a, 1.000000e+00 ; <i1> [#uses=1]
41 %tmp5 = zext i1 %tmp to i32 ; <i32> [#uses=1]
42 ret i32 %tmp5
Rafael Espindolafb6abd72006-10-10 14:26:06 +000043}
Rafael Espindola0d9fe762006-10-10 16:33:47 +000044
Tanya Lattner6263f942008-02-17 20:02:20 +000045define i32 @f6(float %a) {
Rafael Espindola42b62f32006-10-13 13:14:59 +000046entry:
Tanya Lattner6263f942008-02-17 20:02:20 +000047 %tmp = fcmp une float %a, 1.000000e+00 ; <i1> [#uses=1]
48 %tmp6 = zext i1 %tmp to i32 ; <i32> [#uses=1]
49 ret i32 %tmp6
Rafael Espindola42b62f32006-10-13 13:14:59 +000050}
51
Tanya Lattner6263f942008-02-17 20:02:20 +000052define i32 @g1(double %a) {
Rafael Espindola0d9fe762006-10-10 16:33:47 +000053entry:
Tanya Lattner6263f942008-02-17 20:02:20 +000054 %tmp = fcmp olt double %a, 1.000000e+00 ; <i1> [#uses=1]
55 %tmp7 = zext i1 %tmp to i32 ; <i32> [#uses=1]
56 ret i32 %tmp7
Rafael Espindola0d9fe762006-10-10 16:33:47 +000057}