1 ; RUN: opt < %s -loop-reduce -S | grep "phi\>" | count 8 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 288
