Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / c23b933d5f8be9b51a1d22e717c0311f65f87dcd / . / test / Transforms / IndVarSimplify / floating-point-iv.ll
blob: 266eebd5bb656f55ffd3806acafdf47f0fcebe75 [file] [log] [blame]
Chris Lattner203bceb2010-04-03 06:27:56 +0000[diff] [blame]1; RUN: opt < %s -indvars -S | FileCheck %s
2define void @test1() nounwind {
Devang Patel58d43d42008-11-03 18:32:19 +0000[diff] [blame]3entry:
4 br label %bb
5
6bb: ; preds = %bb, %entry
7 %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2]
8 %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0]
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000[diff] [blame]9 %1 = fadd double %x.0.reg2mem.0, 1.000000e+00 ; <double> [#uses=2]
Devang Patel58d43d42008-11-03 18:32:19 +0000[diff] [blame]10 %2 = fcmp olt double %1, 1.000000e+04 ; <i1> [#uses=1]
11 br i1 %2, label %bb, label %return
12
13return: ; preds = %bb
14 ret void
Chris Lattner203bceb2010-04-03 06:27:56 +0000[diff] [blame]15; CHECK: @test1
16; CHECK: icmp
Devang Patel58d43d42008-11-03 18:32:19 +0000[diff] [blame]17}
18
19declare i32 @foo(double)
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]20
Chris Lattner203bceb2010-04-03 06:27:56 +0000[diff] [blame]21define void @test2() nounwind {
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]22entry:
23 br label %bb
24
25bb: ; preds = %bb, %entry
26 %x.0.reg2mem.0 = phi double [ -10.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2]
27 %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0]
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000[diff] [blame]28 %1 = fadd double %x.0.reg2mem.0, 2.000000e+00 ; <double> [#uses=2]
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]29 %2 = fcmp olt double %1, -1.000000e+00 ; <i1> [#uses=1]
30 br i1 %2, label %bb, label %return
31
32return: ; preds = %bb
33 ret void
Chris Lattner203bceb2010-04-03 06:27:56 +0000[diff] [blame]34; CHECK: @test2
35; CHECK: icmp
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]36}
37
38
Chris Lattner203bceb2010-04-03 06:27:56 +0000[diff] [blame]39define void @test3() nounwind {
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]40entry:
41 br label %bb
42
43bb: ; preds = %bb, %entry
Chris Lattner43b85272010-04-03 06:30:03 +0000[diff] [blame]44 %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ]
45 %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind
46 %1 = fadd double %x.0.reg2mem.0, 1.000000e+00
47 %2 = fcmp olt double %1, -1.000000e+00
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]48 br i1 %2, label %bb, label %return
49
Chris Lattner96fd7662010-04-03 07:18:48 +0000[diff] [blame]50return:
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]51 ret void
Chris Lattner203bceb2010-04-03 06:27:56 +0000[diff] [blame]52; CHECK: @test3
Chris Lattner96fd7662010-04-03 07:18:48 +0000[diff] [blame]53; CHECK: fcmp
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]54}
55
Chris Lattner203bceb2010-04-03 06:27:56 +0000[diff] [blame]56define void @test4() nounwind {
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]57entry:
58 br label %bb
59
60bb: ; preds = %bb, %entry
61 %x.0.reg2mem.0 = phi double [ 40.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2]
62 %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0]
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000[diff] [blame]63 %1 = fadd double %x.0.reg2mem.0, -1.000000e+00 ; <double> [#uses=2]
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]64 %2 = fcmp olt double %1, 1.000000e+00 ; <i1> [#uses=1]
65 br i1 %2, label %bb, label %return
66
Chris Lattner96fd7662010-04-03 07:18:48 +0000[diff] [blame]67return:
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]68 ret void
Chris Lattner203bceb2010-04-03 06:27:56 +0000[diff] [blame]69; CHECK: @test4
Andrew Trick94f2c232011-09-13 01:59:32 +0000[diff] [blame]70; CHECK-NOT: cmp
71; CHECK: br i1 false
Devang Patelcd402332008-11-17 23:27:13 +0000[diff] [blame]72}
73
Chris Lattner43b85272010-04-03 06:30:03 +0000[diff] [blame]74; PR6761
75define void @test5() nounwind {
76; <label>:0
77 br label %1
78
79; <label>:1 ; preds = %1, %0
80 %2 = phi double [ 9.000000e+00, %0 ], [ %4, %1 ] ; <double> [#uses=1]
81 %3 = tail call i32 @foo(double 0.0) ; <i32> [#uses=0]
82 %4 = fadd double %2, -1.000000e+00 ; <double> [#uses=2]
83 %5 = fcmp ult double %4, 0.000000e+00 ; <i1> [#uses=1]
84 br i1 %5, label %exit, label %1
85
86exit:
87 ret void
Andrew Trick94f2c232011-09-13 01:59:32 +0000[diff] [blame]88
Chris Lattner43b85272010-04-03 06:30:03 +0000[diff] [blame]89; CHECK: @test5
Andrew Trickb0598b12011-09-15 20:58:37 +0000[diff] [blame]90; CHECK: icmp slt i32 {{.*}}, 0
Chris Lattner43b85272010-04-03 06:30:03 +0000[diff] [blame]91; CHECK-NEXT: br i1
92}