test/Transforms/LoopStrengthReduce/pr2570.ll

   1 ; RUN: opt < %s -loop-reduce -S | grep {phi\\>} | count 10
   2 ; PR2570
   3
   4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
   5 target triple = "i386-pc-linux-gnu"
   6 @g_14 = internal global i32 1           ; <i32*> [#uses=1]
   7 @g_39 = internal global i16 -5          ; <i16*> [#uses=2]
   8 @g_43 = internal global i32 -6          ; <i32*> [#uses=3]
   9 @g_33 = internal global i32 -1269044541         ; <i32*> [#uses=1]
  10 @g_137 = internal global i32 8          ; <i32*> [#uses=1]
  11 @g_82 = internal global i32 -5          ; <i32*> [#uses=3]
  12 @g_91 = internal global i32 1           ; <i32*> [#uses=1]
  13 @g_197 = internal global i32 1          ; <i32*> [#uses=4]
  14 @g_207 = internal global i32 1          ; <i32*> [#uses=2]
  15 @g_222 = internal global i16 4165               ; <i16*> [#uses=1]
  16 @g_247 = internal global i8 -21         ; <i8*> [#uses=2]
  17 @g_260 = internal global i32 1          ; <i32*> [#uses=2]
  18 @g_221 = internal global i16 -17503             ; <i16*> [#uses=3]
  19 @g_267 = internal global i16 1          ; <i16*> [#uses=1]
  20 @llvm.used = appending global [1 x i8*] [ i8* bitcast (i32 (i32, i32, i16, i32, i8, i32)* @func_44 to i8*) ], section "llvm.metadata"           ; <[1 x i8*]*> [#uses=0]
  21
  22 define i32 @func_44(i32 %p_45, i32 %p_46, i16 zeroext  %p_48, i32 %p_49, i8 zeroext  %p_50, i32 %p_52) nounwind  {
  23 entry:
  24         tail call i32 @func_116( i8 zeroext  2 ) nounwind               ; <i32>:0 [#uses=0]
  25         tail call i32 @func_63( i16 signext  2 ) nounwind               ; <i32>:1 [#uses=1]
  26         load i16* @g_39, align 2                ; <i16>:2 [#uses=1]
  27         tail call i32 @func_63( i16 signext  %2 ) nounwind              ; <i32>:3 [#uses=1]
  28         trunc i32 %3 to i16             ; <i16>:4 [#uses=1]
  29         and i16 %4, 1           ; <i16>:5 [#uses=1]
  30         trunc i32 %p_52 to i8           ; <i8>:6 [#uses=1]
  31         trunc i32 %1 to i16             ; <i16>:7 [#uses=1]
  32         tail call i32 @func_74( i16 zeroext  %5, i8 zeroext  %6, i16 zeroext  %7, i16 zeroext  0 ) nounwind             ; <i32>:8 [#uses=0]
  33         tail call i32 @func_124( i32 544824386 ) nounwind               ; <i32>:9 [#uses=0]
  34         zext i8 %p_50 to i32            ; <i32>:10 [#uses=1]
  35         load i32* @g_43, align 4                ; <i32>:11 [#uses=1]
  36         icmp sle i32 %10, %11           ; <i1>:12 [#uses=1]
  37         zext i1 %12 to i32              ; <i32>:13 [#uses=2]
  38         load i8* @g_247, align 1                ; <i8>:14 [#uses=1]
  39         trunc i32 %p_45 to i16          ; <i16>:15 [#uses=1]
  40         zext i8 %14 to i16              ; <i16>:16 [#uses=1]
  41         tail call i32 @func_74( i16 zeroext  %15, i8 zeroext  0, i16 zeroext  %16, i16 zeroext  23618 ) nounwind                ; <i32>:17 [#uses=4]
  42         icmp slt i32 %17, 0             ; <i1>:18 [#uses=1]
  43         br i1 %18, label %bb162, label %bb152
  44
  45 bb152:          ; preds = %entry
  46         lshr i32 2147483647, %13                ; <i32>:19 [#uses=1]
  47         icmp slt i32 %19, %17           ; <i1>:20 [#uses=1]
  48         select i1 %20, i32 0, i32 %13           ; <i32>:21 [#uses=1]
  49         %.348 = shl i32 %17, %21                ; <i32> [#uses=1]
  50         br label %bb162
  51
  52 bb162:          ; preds = %bb152, %entry
  53         %.0346 = phi i32 [ %.348, %bb152 ], [ %17, %entry ]             ; <i32> [#uses=1]
  54         tail call i32 @func_124( i32 1 ) nounwind               ; <i32>:22 [#uses=1]
  55         mul i32 %22, %.0346             ; <i32>:23 [#uses=1]
  56         icmp slt i32 %p_45, 0           ; <i1>:24 [#uses=1]
  57         icmp ugt i32 %p_45, 31          ; <i1>:25 [#uses=1]
  58         %or.cond = or i1 %24, %25               ; <i1> [#uses=1]
  59         br i1 %or.cond, label %bb172, label %bb168
  60
  61 bb168:          ; preds = %bb162
  62         lshr i32 2147483647, %p_45              ; <i32>:26 [#uses=1]
  63         shl i32 1392859848, %p_45               ; <i32>:27 [#uses=1]
  64         icmp slt i32 %26, 1392859848            ; <i1>:28 [#uses=1]
  65         %.op355 = add i32 %27, 38978            ; <i32> [#uses=1]
  66         %phitmp = select i1 %28, i32 1392898826, i32 %.op355            ; <i32> [#uses=1]
  67         br label %bb172
  68
  69 bb172:          ; preds = %bb168, %bb162
  70         %.0343 = phi i32 [ %phitmp, %bb168 ], [ 1392898826, %bb162 ]            ; <i32> [#uses=2]
  71         tail call i32 @func_84( i32 1, i16 zeroext  0, i16 zeroext  8 ) nounwind                ; <i32>:29 [#uses=0]
  72         icmp eq i32 %.0343, 0           ; <i1>:30 [#uses=1]
  73         %.0341 = select i1 %30, i32 1, i32 %.0343               ; <i32> [#uses=1]
  74         urem i32 %23, %.0341            ; <i32>:31 [#uses=1]
  75         load i32* @g_137, align 4               ; <i32>:32 [#uses=4]
  76         icmp slt i32 %32, 0             ; <i1>:33 [#uses=1]
  77         br i1 %33, label %bb202, label %bb198
  78
  79 bb198:          ; preds = %bb172
  80         %not. = icmp slt i32 %32, 1073741824            ; <i1> [#uses=1]
  81         zext i1 %not. to i32            ; <i32>:34 [#uses=1]
  82         %.351 = shl i32 %32, %34                ; <i32> [#uses=1]
  83         br label %bb202
  84
  85 bb202:          ; preds = %bb198, %bb172
  86         %.0335 = phi i32 [ %.351, %bb198 ], [ %32, %bb172 ]             ; <i32> [#uses=1]
  87         icmp ne i32 %31, %.0335         ; <i1>:35 [#uses=1]
  88         zext i1 %35 to i32              ; <i32>:36 [#uses=1]
  89         tail call i32 @func_128( i32 %36 ) nounwind             ; <i32>:37 [#uses=0]
  90         icmp eq i32 %p_45, 293685862            ; <i1>:38 [#uses=1]
  91         br i1 %38, label %bb205, label %bb311
  92
  93 bb205:          ; preds = %bb202
  94         icmp sgt i32 %p_46, 214         ; <i1>:39 [#uses=1]
  95         zext i1 %39 to i32              ; <i32>:40 [#uses=2]
  96         tail call i32 @func_128( i32 %40 ) nounwind             ; <i32>:41 [#uses=0]
  97         icmp sgt i32 %p_46, 65532               ; <i1>:42 [#uses=1]
  98         zext i1 %42 to i16              ; <i16>:43 [#uses=1]
  99         tail call i32 @func_74( i16 zeroext  23618, i8 zeroext  -29, i16 zeroext  %43, i16 zeroext  1 ) nounwind                ; <i32>:44 [#uses=2]
 100         tail call i32 @func_103( i16 zeroext  -869 ) nounwind           ; <i32>:45 [#uses=0]
 101         udiv i32 %44, 34162             ; <i32>:46 [#uses=1]
 102         icmp ult i32 %44, 34162         ; <i1>:47 [#uses=1]
 103         %.0331 = select i1 %47, i32 1, i32 %46          ; <i32> [#uses=1]
 104         urem i32 293685862, %.0331              ; <i32>:48 [#uses=1]
 105         tail call i32 @func_112( i32 %p_52, i16 zeroext  1 ) nounwind           ; <i32>:49 [#uses=0]
 106         icmp eq i32 %p_52, 0            ; <i1>:50 [#uses=2]
 107         br i1 %50, label %bb222, label %bb215
 108
 109 bb215:          ; preds = %bb205
 110         zext i16 %p_48 to i32           ; <i32>:51 [#uses=1]
 111         icmp eq i16 %p_48, 0            ; <i1>:52 [#uses=1]
 112         %.0329 = select i1 %52, i32 1, i32 %51          ; <i32> [#uses=1]
 113         udiv i32 -1, %.0329             ; <i32>:53 [#uses=1]
 114         icmp eq i32 %53, 0              ; <i1>:54 [#uses=1]
 115         br i1 %54, label %bb222, label %bb223
 116
 117 bb222:          ; preds = %bb215, %bb205
 118         br label %bb223
 119
 120 bb223:          ; preds = %bb222, %bb215
 121         %iftmp.437.0 = phi i32 [ 0, %bb222 ], [ 1, %bb215 ]             ; <i32> [#uses=1]
 122         load i32* @g_91, align 4                ; <i32>:55 [#uses=3]
 123         tail call i32 @func_103( i16 zeroext  4 ) nounwind              ; <i32>:56 [#uses=0]
 124         tail call i32 @func_112( i32 0, i16 zeroext  -31374 ) nounwind          ; <i32>:57 [#uses=0]
 125         load i32* @g_197, align 4               ; <i32>:58 [#uses=1]
 126         tail call i32 @func_124( i32 28156 ) nounwind           ; <i32>:59 [#uses=1]
 127         load i32* @g_260, align 4               ; <i32>:60 [#uses=1]
 128         load i32* @g_43, align 4                ; <i32>:61 [#uses=1]
 129         xor i32 %61, %60                ; <i32>:62 [#uses=1]
 130         mul i32 %62, %59                ; <i32>:63 [#uses=1]
 131         trunc i32 %63 to i8             ; <i8>:64 [#uses=1]
 132         trunc i32 %58 to i16            ; <i16>:65 [#uses=1]
 133         tail call i32 @func_74( i16 zeroext  0, i8 zeroext  %64, i16 zeroext  %65, i16 zeroext  0 ) nounwind            ; <i32>:66 [#uses=2]
 134         icmp slt i32 %66, 0             ; <i1>:67 [#uses=1]
 135         icmp slt i32 %55, 0             ; <i1>:68 [#uses=1]
 136         icmp ugt i32 %55, 31            ; <i1>:69 [#uses=1]
 137         or i1 %68, %69          ; <i1>:70 [#uses=1]
 138         %or.cond352 = or i1 %70, %67            ; <i1> [#uses=1]
 139         select i1 %or.cond352, i32 0, i32 %55           ; <i32>:71 [#uses=1]
 140         %.353 = ashr i32 %66, %71               ; <i32> [#uses=2]
 141         load i16* @g_221, align 2               ; <i16>:72 [#uses=1]
 142         zext i16 %72 to i32             ; <i32>:73 [#uses=1]
 143         icmp ugt i32 %.353, 31          ; <i1>:74 [#uses=1]
 144         select i1 %74, i32 0, i32 %.353         ; <i32>:75 [#uses=1]
 145         %.0323 = lshr i32 %73, %75              ; <i32> [#uses=1]
 146         add i32 %.0323, %iftmp.437.0            ; <i32>:76 [#uses=1]
 147         and i32 %48, 255                ; <i32>:77 [#uses=2]
 148         add i32 %77, 2042556439         ; <i32>:78 [#uses=1]
 149         load i32* @g_207, align 4               ; <i32>:79 [#uses=2]
 150         icmp ugt i32 %79, 31            ; <i1>:80 [#uses=1]
 151         select i1 %80, i32 0, i32 %79           ; <i32>:81 [#uses=1]
 152         %.0320 = lshr i32 %77, %81              ; <i32> [#uses=1]
 153         icmp ne i32 %78, %.0320         ; <i1>:82 [#uses=1]
 154         zext i1 %82 to i8               ; <i8>:83 [#uses=1]
 155         tail call i32 @func_25( i8 zeroext  %83 ) nounwind              ; <i32>:84 [#uses=1]
 156         xor i32 %84, 1          ; <i32>:85 [#uses=1]
 157         load i32* @g_197, align 4               ; <i32>:86 [#uses=1]
 158         add i32 %86, 1          ; <i32>:87 [#uses=1]
 159         add i32 %87, %85                ; <i32>:88 [#uses=1]
 160         icmp ugt i32 %76, %88           ; <i1>:89 [#uses=1]
 161         br i1 %89, label %bb241, label %bb311
 162
 163 bb241:          ; preds = %bb223
 164         store i16 -9, i16* @g_221, align 2
 165         udiv i32 %p_52, 1538244727              ; <i32>:90 [#uses=1]
 166         load i32* @g_207, align 4               ; <i32>:91 [#uses=1]
 167         sub i32 %91, %90                ; <i32>:92 [#uses=1]
 168         load i32* @g_14, align 4                ; <i32>:93 [#uses=1]
 169         trunc i32 %93 to i16            ; <i16>:94 [#uses=1]
 170         trunc i32 %p_46 to i16          ; <i16>:95 [#uses=2]
 171         sub i16 %94, %95                ; <i16>:96 [#uses=1]
 172         load i32* @g_197, align 4               ; <i32>:97 [#uses=1]
 173         trunc i32 %97 to i16            ; <i16>:98 [#uses=1]
 174         tail call i32 @func_55( i32 -346178830, i16 zeroext  %98, i16 zeroext  %95 ) nounwind           ; <i32>:99 [#uses=0]
 175         zext i16 %p_48 to i32           ; <i32>:100 [#uses=1]
 176         load i8* @g_247, align 1                ; <i8>:101 [#uses=1]
 177         zext i8 %101 to i32             ; <i32>:102 [#uses=1]
 178         sub i32 %100, %102              ; <i32>:103 [#uses=1]
 179         tail call i32 @func_55( i32 %103, i16 zeroext  -2972, i16 zeroext  %96 ) nounwind               ; <i32>:104 [#uses=0]
 180         xor i32 %92, 2968               ; <i32>:105 [#uses=1]
 181         load i32* @g_197, align 4               ; <i32>:106 [#uses=1]
 182         icmp ugt i32 %105, %106         ; <i1>:107 [#uses=1]
 183         zext i1 %107 to i32             ; <i32>:108 [#uses=1]
 184         store i32 %108, i32* @g_33, align 4
 185         br label %bb248
 186
 187 bb248:          ; preds = %bb284, %bb241
 188         %p_49_addr.1.reg2mem.0 = phi i32 [ 0, %bb241 ], [ %134, %bb284 ]                ; <i32> [#uses=2]
 189         %p_48_addr.2.reg2mem.0 = phi i16 [ %p_48, %bb241 ], [ %p_48_addr.1, %bb284 ]            ; <i16> [#uses=1]
 190         %p_46_addr.1.reg2mem.0 = phi i32 [ %p_46, %bb241 ], [ %133, %bb284 ]            ; <i32> [#uses=1]
 191         %p_45_addr.1.reg2mem.0 = phi i32 [ %p_45, %bb241 ], [ %p_45_addr.0, %bb284 ]            ; <i32> [#uses=2]
 192         tail call i32 @func_63( i16 signext  1 ) nounwind               ; <i32>:109 [#uses=1]
 193         icmp eq i32 %109, 0             ; <i1>:110 [#uses=1]
 194         br i1 %110, label %bb272.thread, label %bb255.thread
 195
 196 bb272.thread:           ; preds = %bb248
 197         store i32 1, i32* @g_82
 198         load i16* @g_267, align 2               ; <i16>:111 [#uses=1]
 199         icmp eq i16 %111, 0             ; <i1>:112 [#uses=1]
 200         br i1 %112, label %bb311.loopexit.split, label %bb268
 201
 202 bb255.thread:           ; preds = %bb248
 203         load i32* @g_260, align 4               ; <i32>:113 [#uses=1]
 204         sub i32 %113, %p_52             ; <i32>:114 [#uses=1]
 205         and i32 %114, -20753            ; <i32>:115 [#uses=1]
 206         icmp ne i32 %115, 0             ; <i1>:116 [#uses=1]
 207         zext i1 %116 to i16             ; <i16>:117 [#uses=1]
 208         store i16 %117, i16* @g_221, align 2
 209         br label %bb284
 210
 211 bb268:          ; preds = %bb268, %bb272.thread
 212         %indvar = phi i32 [ 0, %bb272.thread ], [ %g_82.tmp.0, %bb268 ]         ; <i32> [#uses=2]
 213         %p_46_addr.0.reg2mem.0 = phi i32 [ %p_46_addr.1.reg2mem.0, %bb272.thread ], [ %119, %bb268 ]            ; <i32> [#uses=1]
 214         %g_82.tmp.0 = add i32 %indvar, 1                ; <i32> [#uses=2]
 215         trunc i32 %p_46_addr.0.reg2mem.0 to i16         ; <i16>:118 [#uses=1]
 216         and i32 %g_82.tmp.0, 28156              ; <i32>:119 [#uses=1]
 217         add i32 %indvar, 2              ; <i32>:120 [#uses=4]
 218         icmp sgt i32 %120, -1           ; <i1>:121 [#uses=1]
 219         br i1 %121, label %bb268, label %bb274.split
 220
 221 bb274.split:            ; preds = %bb268
 222         store i32 %120, i32* @g_82
 223         br i1 %50, label %bb279, label %bb276
 224
 225 bb276:          ; preds = %bb274.split
 226         store i16 0, i16* @g_222, align 2
 227         br label %bb284
 228
 229 bb279:          ; preds = %bb274.split
 230         icmp eq i32 %120, 0             ; <i1>:122 [#uses=1]
 231         %.0317 = select i1 %122, i32 1, i32 %120                ; <i32> [#uses=1]
 232         udiv i32 -8, %.0317             ; <i32>:123 [#uses=1]
 233         trunc i32 %123 to i16           ; <i16>:124 [#uses=1]
 234         br label %bb284
 235
 236 bb284:          ; preds = %bb279, %bb276, %bb255.thread
 237         %p_49_addr.0 = phi i32 [ %p_49_addr.1.reg2mem.0, %bb279 ], [ %p_49_addr.1.reg2mem.0, %bb276 ], [ 0, %bb255.thread ]             ; <i32> [#uses=1]
 238         %p_48_addr.1 = phi i16 [ %124, %bb279 ], [ %118, %bb276 ], [ %p_48_addr.2.reg2mem.0, %bb255.thread ]            ; <i16> [#uses=1]
 239         %p_45_addr.0 = phi i32 [ %p_45_addr.1.reg2mem.0, %bb279 ], [ %p_45_addr.1.reg2mem.0, %bb276 ], [ 8, %bb255.thread ]             ; <i32> [#uses=3]
 240         load i32* @g_43, align 4                ; <i32>:125 [#uses=1]
 241         trunc i32 %125 to i8            ; <i8>:126 [#uses=1]
 242         tail call i32 @func_116( i8 zeroext  %126 ) nounwind            ; <i32>:127 [#uses=0]
 243         lshr i32 65255, %p_45_addr.0            ; <i32>:128 [#uses=1]
 244         icmp ugt i32 %p_45_addr.0, 31           ; <i1>:129 [#uses=1]
 245         %.op = lshr i32 %128, 31                ; <i32> [#uses=1]
 246         %.op.op = xor i32 %.op, 1               ; <i32> [#uses=1]
 247         %.354..lobit.not = select i1 %129, i32 1, i32 %.op.op           ; <i32> [#uses=1]
 248         load i16* @g_39, align 2                ; <i16>:130 [#uses=1]
 249         zext i16 %130 to i32            ; <i32>:131 [#uses=1]
 250         icmp slt i32 %.354..lobit.not, %131             ; <i1>:132 [#uses=1]
 251         zext i1 %132 to i32             ; <i32>:133 [#uses=1]
 252         add i32 %p_49_addr.0, 1         ; <i32>:134 [#uses=2]
 253         icmp sgt i32 %134, -1           ; <i1>:135 [#uses=1]
 254         br i1 %135, label %bb248, label %bb307
 255
 256 bb307:          ; preds = %bb284
 257         tail call i32 @func_103( i16 zeroext  0 ) nounwind              ; <i32>:136 [#uses=0]
 258         ret i32 %40
 259
 260 bb311.loopexit.split:           ; preds = %bb272.thread
 261         store i32 1, i32* @g_82
 262         ret i32 1
 263
 264 bb311:          ; preds = %bb223, %bb202
 265         %.0 = phi i32 [ 1, %bb202 ], [ 0, %bb223 ]              ; <i32> [#uses=1]
 266         ret i32 %.0
 267 }
 268
 269 declare i32 @func_25(i8 zeroext ) nounwind
 270
 271 declare i32 @func_55(i32, i16 zeroext , i16 zeroext ) nounwind
 272
 273 declare i32 @func_63(i16 signext ) nounwind
 274
 275 declare i32 @func_74(i16 zeroext , i8 zeroext , i16 zeroext , i16 zeroext ) nounwind
 276
 277 declare i32 @func_84(i32, i16 zeroext , i16 zeroext ) nounwind
 278
 279 declare i32 @func_103(i16 zeroext ) nounwind
 280
 281 declare i32 @func_124(i32) nounwind
 282
 283 declare i32 @func_128(i32) nounwind
 284
 285 declare i32 @func_116(i8 zeroext ) nounwind
 286
 287 declare i32 @func_112(i32, i16 zeroext ) nounwind