test/Transforms/IndVarSimplify/ashr-tripcount.ll

   1 ; RUN: opt < %s -indvars -S > %t
   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
   7 target 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-n32:64"
   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
  13 define void @foo(i32 %gain, i32 %noOfLines, i32* %quaSpectrum, float* %iquaSpectrum, float* %pow4_3_tab_ptr) nounwind {
  14 entry:
  15         %t0 = icmp slt i32 %gain, 0             ; <i1> [#uses=1]
  16         br i1 %t0, label %bb1, label %bb2
  17
  18 bb1:            ; 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
  23 bb2:            ; 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], [0 x float]* %pow_2_tab.pn, i64 0, i64 %.pn3               ; <float*> [#uses=1]
  33         %.pn1.in = getelementptr [0 x float], [0 x float]* %pow_2_025_tab.pn, i64 0, i64 %.pn2          ; <float*> [#uses=1]
  34         %.pn = load float, float* %.pn.in               ; <float> [#uses=1]
  35         %.pn1 = load float, 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
  41 bb.nph:         ; preds = %bb2
  42         %t5 = ashr i32 %noOfLines, 2            ; <i32> [#uses=1]
  43         br label %bb3
  44
  45 bb3:            ; 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, i32* %quaSpectrum, i64 %t6             ; <i32*> [#uses=1]
  50         %t8 = load i32, i32* %t7, align 4               ; <i32> [#uses=1]
  51         %t9 = zext i32 %t8 to i64               ; <i64> [#uses=1]
  52         %t10 = getelementptr float, float* %pow4_3_tab_ptr, i64 %t9             ; <float*> [#uses=1]
  53         %t11 = load float, 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, i32* %quaSpectrum, i64 %t13           ; <i32*> [#uses=1]
  57         %t15 = load i32, i32* %t14, align 4             ; <i32> [#uses=1]
  58         %t16 = zext i32 %t15 to i64             ; <i64> [#uses=1]
  59         %t17 = getelementptr float, float* %pow4_3_tab_ptr, i64 %t16            ; <float*> [#uses=1]
  60         %t18 = load float, 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, i32* %quaSpectrum, i64 %t20           ; <i32*> [#uses=1]
  64         %t22 = load i32, i32* %t21, align 4             ; <i32> [#uses=1]
  65         %t23 = zext i32 %t22 to i64             ; <i64> [#uses=1]
  66         %t24 = getelementptr float, float* %pow4_3_tab_ptr, i64 %t23            ; <float*> [#uses=1]
  67         %t25 = load float, 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, i32* %quaSpectrum, i64 %t27           ; <i32*> [#uses=1]
  71         %t29 = load i32, i32* %t28, align 4             ; <i32> [#uses=1]
  72         %t30 = zext i32 %t29 to i64             ; <i64> [#uses=1]
  73         %t31 = getelementptr float, float* %pow4_3_tab_ptr, i64 %t30            ; <float*> [#uses=1]
  74         %t32 = load float, 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, 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, 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, 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, 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
  98 bb4:            ; preds = %bb3
  99         %t50 = icmp sgt i32 %t5, %t48           ; <i1> [#uses=1]
 100         br i1 %t50, label %bb3, label %bb4.return_crit_edge
 101
 102 bb4.return_crit_edge:           ; preds = %bb4
 103         br label %return
 104
 105 return:         ; preds = %bb4.return_crit_edge, %bb2
 106         ret void
 107 }