Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / 3c7d3083e7c99a22ee4803048dfb86c7a57b1006 / . / test / Transforms / IndVarSimplify / ashr-tripcount.ll
blob: baaefdc2bc51dd19784b7b3d4b5e35b83aca77f2 [file] [log] [blame]
Dan Gohman3c7d3082009-09-11 18:01:28 +0000[diff] [blame^]1; RUN: opt < %s -indvars -S > %t
Dan Gohmanbc1e3472009-06-20 00:35:32 +0000[diff] [blame]2; RUN: grep sext %t | count 1
3
4; Indvars should be able to eliminate all of the sign extensions
5; inside the loop.
6
7target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
8@pow_2_tab = external constant [0 x float] ; <[0 x float]*> [#uses=1]
9@pow_2_025_tab = external constant [0 x float] ; <[0 x float]*> [#uses=1]
10@i_pow_2_tab = external constant [0 x float] ; <[0 x float]*> [#uses=1]
11@i_pow_2_025_tab = external constant [0 x float] ; <[0 x float]*> [#uses=1]
12
13define void @foo(i32 %gain, i32 %noOfLines, i32* %quaSpectrum, float* %iquaSpectrum, float* %pow4_3_tab_ptr) nounwind {
14entry:
15 %t0 = icmp slt i32 %gain, 0 ; <i1> [#uses=1]
16 br i1 %t0, label %bb1, label %bb2
17
18bb1: ; preds = %entry
19 %t1 = sub i32 0, %gain ; <i32> [#uses=1]
20 %t2 = sub i32 0, %gain ; <i32> [#uses=1]
21 br label %bb2
22
23bb2: ; preds = %bb1, %entry
24 %pow_2_tab.pn = phi [0 x float]* [ @i_pow_2_tab, %bb1 ], [ @pow_2_tab, %entry ] ; <[0 x float]*> [#uses=1]
25 %.pn3.in.in = phi i32 [ %t1, %bb1 ], [ %gain, %entry ] ; <i32> [#uses=1]
26 %pow_2_025_tab.pn = phi [0 x float]* [ @i_pow_2_025_tab, %bb1 ], [ @pow_2_025_tab, %entry ] ; <[0 x float]*> [#uses=1]
27 %.pn2.in.in = phi i32 [ %t2, %bb1 ], [ %gain, %entry ] ; <i32> [#uses=1]
28 %.pn3.in = ashr i32 %.pn3.in.in, 2 ; <i32> [#uses=1]
29 %.pn2.in = and i32 %.pn2.in.in, 3 ; <i32> [#uses=1]
30 %.pn3 = sext i32 %.pn3.in to i64 ; <i64> [#uses=1]
31 %.pn2 = zext i32 %.pn2.in to i64 ; <i64> [#uses=1]
32 %.pn.in = getelementptr [0 x float]* %pow_2_tab.pn, i64 0, i64 %.pn3 ; <float*> [#uses=1]
33 %.pn1.in = getelementptr [0 x float]* %pow_2_025_tab.pn, i64 0, i64 %.pn2 ; <float*> [#uses=1]
34 %.pn = load float* %.pn.in ; <float> [#uses=1]
35 %.pn1 = load float* %.pn1.in ; <float> [#uses=1]
36 %invQuantizer.0 = fmul float %.pn, %.pn1 ; <float> [#uses=4]
37 %t3 = ashr i32 %noOfLines, 2 ; <i32> [#uses=1]
38 %t4 = icmp sgt i32 %t3, 0 ; <i1> [#uses=1]
39 br i1 %t4, label %bb.nph, label %return
40
41bb.nph: ; preds = %bb2
42 %t5 = ashr i32 %noOfLines, 2 ; <i32> [#uses=1]
43 br label %bb3
44
45bb3: ; preds = %bb4, %bb.nph
46 %i.05 = phi i32 [ %t49, %bb4 ], [ 0, %bb.nph ] ; <i32> [#uses=9]
47 %k.04 = phi i32 [ %t48, %bb4 ], [ 0, %bb.nph ] ; <i32> [#uses=1]
48 %t6 = sext i32 %i.05 to i64 ; <i64> [#uses=1]
49 %t7 = getelementptr i32* %quaSpectrum, i64 %t6 ; <i32*> [#uses=1]
50 %t8 = load i32* %t7, align 4 ; <i32> [#uses=1]
51 %t9 = zext i32 %t8 to i64 ; <i64> [#uses=1]
52 %t10 = getelementptr float* %pow4_3_tab_ptr, i64 %t9 ; <float*> [#uses=1]
53 %t11 = load float* %t10, align 4 ; <float> [#uses=1]
54 %t12 = or i32 %i.05, 1 ; <i32> [#uses=1]
55 %t13 = sext i32 %t12 to i64 ; <i64> [#uses=1]
56 %t14 = getelementptr i32* %quaSpectrum, i64 %t13 ; <i32*> [#uses=1]
57 %t15 = load i32* %t14, align 4 ; <i32> [#uses=1]
58 %t16 = zext i32 %t15 to i64 ; <i64> [#uses=1]
59 %t17 = getelementptr float* %pow4_3_tab_ptr, i64 %t16 ; <float*> [#uses=1]
60 %t18 = load float* %t17, align 4 ; <float> [#uses=1]
61 %t19 = or i32 %i.05, 2 ; <i32> [#uses=1]
62 %t20 = sext i32 %t19 to i64 ; <i64> [#uses=1]
63 %t21 = getelementptr i32* %quaSpectrum, i64 %t20 ; <i32*> [#uses=1]
64 %t22 = load i32* %t21, align 4 ; <i32> [#uses=1]
65 %t23 = zext i32 %t22 to i64 ; <i64> [#uses=1]
66 %t24 = getelementptr float* %pow4_3_tab_ptr, i64 %t23 ; <float*> [#uses=1]
67 %t25 = load float* %t24, align 4 ; <float> [#uses=1]
68 %t26 = or i32 %i.05, 3 ; <i32> [#uses=1]
69 %t27 = sext i32 %t26 to i64 ; <i64> [#uses=1]
70 %t28 = getelementptr i32* %quaSpectrum, i64 %t27 ; <i32*> [#uses=1]
71 %t29 = load i32* %t28, align 4 ; <i32> [#uses=1]
72 %t30 = zext i32 %t29 to i64 ; <i64> [#uses=1]
73 %t31 = getelementptr float* %pow4_3_tab_ptr, i64 %t30 ; <float*> [#uses=1]
74 %t32 = load float* %t31, align 4 ; <float> [#uses=1]
75 %t33 = fmul float %t11, %invQuantizer.0 ; <float> [#uses=1]
76 %t34 = sext i32 %i.05 to i64 ; <i64> [#uses=1]
77 %t35 = getelementptr float* %iquaSpectrum, i64 %t34 ; <float*> [#uses=1]
78 store float %t33, float* %t35, align 4
79 %t36 = or i32 %i.05, 1 ; <i32> [#uses=1]
80 %t37 = fmul float %t18, %invQuantizer.0 ; <float> [#uses=1]
81 %t38 = sext i32 %t36 to i64 ; <i64> [#uses=1]
82 %t39 = getelementptr float* %iquaSpectrum, i64 %t38 ; <float*> [#uses=1]
83 store float %t37, float* %t39, align 4
84 %t40 = or i32 %i.05, 2 ; <i32> [#uses=1]
85 %t41 = fmul float %t25, %invQuantizer.0 ; <float> [#uses=1]
86 %t42 = sext i32 %t40 to i64 ; <i64> [#uses=1]
87 %t43 = getelementptr float* %iquaSpectrum, i64 %t42 ; <float*> [#uses=1]
88 store float %t41, float* %t43, align 4
89 %t44 = or i32 %i.05, 3 ; <i32> [#uses=1]
90 %t45 = fmul float %t32, %invQuantizer.0 ; <float> [#uses=1]
91 %t46 = sext i32 %t44 to i64 ; <i64> [#uses=1]
92 %t47 = getelementptr float* %iquaSpectrum, i64 %t46 ; <float*> [#uses=1]
93 store float %t45, float* %t47, align 4
94 %t48 = add i32 %k.04, 1 ; <i32> [#uses=2]
95 %t49 = add i32 %i.05, 4 ; <i32> [#uses=1]
96 br label %bb4
97
98bb4: ; preds = %bb3
99 %t50 = icmp sgt i32 %t5, %t48 ; <i1> [#uses=1]
100 br i1 %t50, label %bb3, label %bb4.return_crit_edge
101
102bb4.return_crit_edge: ; preds = %bb4
103 br label %return
104
105return: ; preds = %bb4.return_crit_edge, %bb2
106 ret void
107}