1 ; RUN: opt -irce -S -verify-loop-info -irce-print-changed-loops -irce-skip-profitability-checks < %s 2>&1 | FileCheck %s 2 3 ; CHECK: irce: in function test_inc_eq: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%if.then,%for.inc<latch><exiting> 4 ; CHECK: irce: in function test_inc_ne: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%if.then,%for.inc<latch><exiting> 5 ; CHECK: irce: in function test_inc_slt: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%if.then,%for.inc<latch><exiting> 6 ; CHECK: irce: in function test_inc_ult: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%if.then,%for.inc<latch><exiting> 7 ; CHECK: irce: in function signed_var_imm_dec_sgt: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%for.inc<latch><exiting> 8 ; CHECK-NOT: irce: in function signed_var_imm_dec_slt: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%for.inc<latch><exiting> 9 ; CHECK: irce: in function signed_var_imm_dec_sge: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%for.inc<latch><exiting> 10 ; CHECK: irce: in function signed_var_imm_dec_ne: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%for.inc<latch><exiting> 11 ; CHECK-NOT: irce: in function signed_var_imm_dec_eq: constrained Loop at depth 1 containing: %for.body<header>,%if.else,%for.inc<latch><exiting> 12 13 ; CHECK-LABEL: test_inc_eq( 14 ; CHECK: main.exit.selector: 15 ; CHECK: [[PSEUDO_PHI:%[^ ]+]] = phi i32 [ %inc, %for.inc ] 16 ; CHECK: [[COND:%[^ ]+]] = icmp ult i32 [[PSEUDO_PHI]], %N 17 ; CHECK: br i1 [[COND]], label %main.pseudo.exit, label %for.cond.cleanup.loopexit 18 define void @test_inc_eq(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %N) { 19 entry: 20 %cmp16 = icmp sgt i32 %N, 0 21 br i1 %cmp16, label %for.body, label %for.cond.cleanup 22 23 for.cond.cleanup: 24 ret void 25 26 for.body: 27 %i.017 = phi i32 [ %inc, %for.inc ], [ 0, %entry ] 28 %cmp1 = icmp ult i32 %i.017, 512 29 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %i.017 30 %0 = load i32, i32* %arrayidx, align 4 31 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %i.017 32 %1 = load i32, i32* %arrayidx2, align 4 33 br i1 %cmp1, label %if.then, label %if.else 34 35 if.then: 36 %sub = sub i32 %0, %1 37 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %i.017 38 %2 = load i32, i32* %arrayidx3, align 4 39 %add = add nsw i32 %sub, %2 40 store i32 %add, i32* %arrayidx3, align 4 41 br label %for.inc 42 43 if.else: 44 %add6 = add nsw i32 %1, %0 45 %arrayidx7 = getelementptr inbounds i32, i32* %a, i32 %i.017 46 store i32 %add6, i32* %arrayidx7, align 4 47 br label %for.inc 48 49 for.inc: 50 %inc = add nuw nsw i32 %i.017, 1 51 %exitcond = icmp eq i32 %inc, %N 52 br i1 %exitcond, label %for.cond.cleanup, label %for.body 53 } 54 55 ; CHECK-LABEL: test_inc_ne 56 ; CHECK: main.exit.selector: 57 ; CHECK: [[PSEUDO_PHI:%[^ ]+]] = phi i32 [ %inc, %for.inc ] 58 ; CHECK: [[COND:%[^ ]+]] = icmp ult i32 [[PSEUDO_PHI]], %N 59 ; CHECK: br i1 [[COND]], label %main.pseudo.exit, label %for.cond.cleanup.loopexit 60 define void @test_inc_ne(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %N) { 61 entry: 62 %cmp16 = icmp sgt i32 %N, 0 63 br i1 %cmp16, label %for.body, label %for.cond.cleanup 64 65 for.cond.cleanup: 66 ret void 67 68 for.body: 69 %i.017 = phi i32 [ %inc, %for.inc ], [ 0, %entry ] 70 %cmp1 = icmp ult i32 %i.017, 512 71 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %i.017 72 %0 = load i32, i32* %arrayidx, align 4 73 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %i.017 74 %1 = load i32, i32* %arrayidx2, align 4 75 br i1 %cmp1, label %if.then, label %if.else 76 77 if.then: 78 %sub = sub i32 %0, %1 79 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %i.017 80 %2 = load i32, i32* %arrayidx3, align 4 81 %add = add nsw i32 %sub, %2 82 store i32 %add, i32* %arrayidx3, align 4 83 br label %for.inc 84 85 if.else: 86 %add6 = add nsw i32 %1, %0 87 %arrayidx7 = getelementptr inbounds i32, i32* %a, i32 %i.017 88 store i32 %add6, i32* %arrayidx7, align 4 89 br label %for.inc 90 91 for.inc: 92 %inc = add nuw nsw i32 %i.017, 1 93 %exitcond = icmp ne i32 %inc, %N 94 br i1 %exitcond, label %for.body, label %for.cond.cleanup 95 } 96 97 ; CHECK-LABEL: test_inc_slt( 98 ; CHECK: main.exit.selector: 99 ; CHECK: [[PSEUDO_PHI:%[^ ]+]] = phi i32 [ %inc, %for.inc ] 100 ; CHECK: [[COND:%[^ ]+]] = icmp slt i32 [[PSEUDO_PHI]], %N 101 ; CHECK: br i1 [[COND]], label %main.pseudo.exit, label %for.cond.cleanup.loopexit 102 define void @test_inc_slt(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %N) { 103 entry: 104 %cmp16 = icmp sgt i32 %N, 0 105 br i1 %cmp16, label %for.body, label %for.cond.cleanup 106 107 for.cond.cleanup: 108 ret void 109 110 for.body: 111 %i.017 = phi i32 [ %inc, %for.inc ], [ 0, %entry ] 112 %cmp1 = icmp ult i32 %i.017, 512 113 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %i.017 114 %0 = load i32, i32* %arrayidx, align 4 115 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %i.017 116 %1 = load i32, i32* %arrayidx2, align 4 117 br i1 %cmp1, label %if.then, label %if.else 118 119 if.then: 120 %sub = sub i32 %0, %1 121 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %i.017 122 %2 = load i32, i32* %arrayidx3, align 4 123 %add = add nsw i32 %sub, %2 124 store i32 %add, i32* %arrayidx3, align 4 125 br label %for.inc 126 127 if.else: 128 %add6 = add nsw i32 %1, %0 129 %arrayidx7 = getelementptr inbounds i32, i32* %a, i32 %i.017 130 store i32 %add6, i32* %arrayidx7, align 4 131 br label %for.inc 132 133 for.inc: 134 %inc = add nuw nsw i32 %i.017, 1 135 %exitcond = icmp slt i32 %inc, %N 136 br i1 %exitcond, label %for.body, label %for.cond.cleanup 137 } 138 139 ; CHECK-LABEL: test_inc_ult 140 ; CHECK: main.exit.selector: 141 ; CHECK: [[PSEUDO_PHI:%[^ ]+]] = phi i32 [ %inc, %for.inc ] 142 ; CHECK: [[COND:%[^ ]+]] = icmp ult i32 [[PSEUDO_PHI]], %N 143 ; CHECK: br i1 [[COND]], label %main.pseudo.exit, label %for.cond.cleanup.loopexit 144 define void @test_inc_ult(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %N) { 145 entry: 146 %cmp16 = icmp ugt i32 %N, 0 147 br i1 %cmp16, label %for.body, label %for.cond.cleanup 148 149 for.cond.cleanup: 150 ret void 151 152 for.body: 153 %i.017 = phi i32 [ %inc, %for.inc ], [ 0, %entry ] 154 %cmp1 = icmp ult i32 %i.017, 512 155 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %i.017 156 %0 = load i32, i32* %arrayidx, align 4 157 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %i.017 158 %1 = load i32, i32* %arrayidx2, align 4 159 br i1 %cmp1, label %if.then, label %if.else 160 161 if.then: 162 %sub = sub i32 %0, %1 163 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %i.017 164 %2 = load i32, i32* %arrayidx3, align 4 165 %add = add nsw i32 %sub, %2 166 store i32 %add, i32* %arrayidx3, align 4 167 br label %for.inc 168 169 if.else: 170 %add6 = add nsw i32 %1, %0 171 %arrayidx7 = getelementptr inbounds i32, i32* %a, i32 %i.017 172 store i32 %add6, i32* %arrayidx7, align 4 173 br label %for.inc 174 175 for.inc: 176 %inc = add nuw nsw i32 %i.017, 1 177 %exitcond = icmp ult i32 %inc, %N 178 br i1 %exitcond, label %for.body, label %for.cond.cleanup 179 } 180 181 ; CHECK-LABEL: signed_var_imm_dec_sgt( 182 ; CHECK: main.exit.selector: 183 ; CHECK: [[PSEUDO_PHI:%[^ ]+]] = phi i32 [ %dec, %for.inc ] 184 ; CHECK: [[COND:%[^ ]+]] = icmp sgt i32 [[PSEUDO_PHI]], %M 185 ; CHECK: br i1 [[COND]] 186 define void @signed_var_imm_dec_sgt(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %M) { 187 entry: 188 %cmp14 = icmp slt i32 %M, 1024 189 br i1 %cmp14, label %for.body, label %for.cond.cleanup 190 191 for.cond.cleanup: ; preds = %for.inc, %entry 192 ret void 193 194 for.body: ; preds = %entry, %for.inc 195 %iv = phi i32 [ %dec, %for.inc ], [ 1024, %entry ] 196 %cmp1 = icmp slt i32 %iv, 1024 197 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %iv 198 %0 = load i32, i32* %arrayidx, align 4 199 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %iv 200 %1 = load i32, i32* %arrayidx2, align 4 201 %mul = mul nsw i32 %1, %0 202 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %iv 203 br i1 %cmp1, label %for.inc, label %if.else 204 205 if.else: ; preds = %for.body 206 %2 = load i32, i32* %arrayidx3, align 4 207 %add = add nsw i32 %2, %mul 208 br label %for.inc 209 210 for.inc: ; preds = %for.body, %if.else 211 %storemerge = phi i32 [ %add, %if.else ], [ %mul, %for.body ] 212 store i32 %storemerge, i32* %arrayidx3, align 4 213 %dec = add nsw i32 %iv, -1 214 %cmp = icmp sgt i32 %dec, %M 215 br i1 %cmp, label %for.body, label %for.cond.cleanup 216 } 217 218 ; CHECK-LABEL: signed_var_imm_dec_sge( 219 ; CHECK: main.exit.selector: ; preds = %for.inc 220 ; CHECK: [[PSEUDO_PHI:%[^ ]+]] = phi i32 [ %iv, %for.inc ] 221 ; CHECK: [[COND:%[^ ]+]] = icmp sgt i32 [[PSEUDO_PHI]], %M 222 ; CHECK: br i1 [[COND]] 223 define void @signed_var_imm_dec_sge(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %M) { 224 entry: 225 %cmp14 = icmp sgt i32 %M, 1024 226 br i1 %cmp14, label %for.cond.cleanup, label %for.body 227 228 for.cond.cleanup: ; preds = %for.inc, %entry 229 ret void 230 231 for.body: ; preds = %entry, %for.inc 232 %iv = phi i32 [ %dec, %for.inc ], [ 1024, %entry ] 233 %cmp1 = icmp slt i32 %iv, 1024 234 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %iv 235 %0 = load i32, i32* %arrayidx, align 4 236 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %iv 237 %1 = load i32, i32* %arrayidx2, align 4 238 %mul = mul nsw i32 %1, %0 239 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %iv 240 br i1 %cmp1, label %for.inc, label %if.else 241 242 if.else: ; preds = %for.body 243 %2 = load i32, i32* %arrayidx3, align 4 244 %add = add nsw i32 %2, %mul 245 br label %for.inc 246 247 for.inc: ; preds = %for.body, %if.else 248 %storemerge = phi i32 [ %add, %if.else ], [ %mul, %for.body ] 249 store i32 %storemerge, i32* %arrayidx3, align 4 250 %dec = add nsw i32 %iv, -1 251 %cmp = icmp sgt i32 %iv, %M 252 br i1 %cmp, label %for.body, label %for.cond.cleanup 253 } 254 255 define void @signed_var_imm_dec_slt(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %M) { 256 entry: 257 %cmp14 = icmp sgt i32 %M, 1024 258 br i1 %cmp14, label %for.cond.cleanup, label %for.body 259 260 for.cond.cleanup: ; preds = %for.inc, %entry 261 ret void 262 263 for.body: ; preds = %entry, %for.inc 264 %iv = phi i32 [ %dec, %for.inc ], [ 1024, %entry ] 265 %cmp1 = icmp slt i32 %iv, 1024 266 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %iv 267 %0 = load i32, i32* %arrayidx, align 4 268 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %iv 269 %1 = load i32, i32* %arrayidx2, align 4 270 %mul = mul nsw i32 %1, %0 271 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %iv 272 br i1 %cmp1, label %for.inc, label %if.else 273 274 if.else: ; preds = %for.body 275 %2 = load i32, i32* %arrayidx3, align 4 276 %add = add nsw i32 %2, %mul 277 br label %for.inc 278 279 for.inc: ; preds = %for.body, %if.else 280 %storemerge = phi i32 [ %add, %if.else ], [ %mul, %for.body ] 281 store i32 %storemerge, i32* %arrayidx3, align 4 282 %dec = add nsw i32 %iv, -1 283 %cmp = icmp slt i32 %iv, %M 284 br i1 %cmp, label %for.cond.cleanup, label %for.body 285 } 286 287 ; CHECK-LABEL: signed_var_imm_dec_ne( 288 ; CHECK: main.exit.selector: ; preds = %for.inc 289 ; CHECK: [[PSEUDO_PHI:%[^ ]+]] = phi i32 [ %dec, %for.inc ] 290 ; CHECK: [[COND:%[^ ]+]] = icmp sgt i32 [[PSEUDO_PHI]], %M 291 ; CHECK: br i1 [[COND]] 292 define void @signed_var_imm_dec_ne(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %M) { 293 entry: 294 %cmp14 = icmp slt i32 %M, 1024 295 br i1 %cmp14, label %for.body, label %for.cond.cleanup 296 297 for.cond.cleanup: ; preds = %for.inc, %entry 298 ret void 299 300 for.body: ; preds = %entry, %for.inc 301 %iv = phi i32 [ %dec, %for.inc ], [ 1024, %entry ] 302 %cmp1 = icmp slt i32 %iv, 1024 303 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %iv 304 %0 = load i32, i32* %arrayidx, align 4 305 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %iv 306 %1 = load i32, i32* %arrayidx2, align 4 307 %mul = mul nsw i32 %1, %0 308 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %iv 309 br i1 %cmp1, label %for.inc, label %if.else 310 311 if.else: ; preds = %for.body 312 %2 = load i32, i32* %arrayidx3, align 4 313 %add = add nsw i32 %2, %mul 314 br label %for.inc 315 316 for.inc: ; preds = %for.body, %if.else 317 %storemerge = phi i32 [ %add, %if.else ], [ %mul, %for.body ] 318 store i32 %storemerge, i32* %arrayidx3, align 4 319 %dec = add nsw i32 %iv, -1 320 %cmp = icmp ne i32 %dec, %M 321 br i1 %cmp, label %for.body, label %for.cond.cleanup 322 } 323 324 define void @signed_var_imm_dec_eq(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %M) { 325 entry: 326 %cmp14 = icmp slt i32 %M, 1024 327 br i1 %cmp14, label %for.body, label %for.cond.cleanup 328 329 for.cond.cleanup: ; preds = %for.inc, %entry 330 ret void 331 332 for.body: ; preds = %entry, %for.inc 333 %iv = phi i32 [ %dec, %for.inc ], [ 1024, %entry ] 334 %cmp1 = icmp slt i32 %iv, 1024 335 %arrayidx = getelementptr inbounds i32, i32* %b, i32 %iv 336 %0 = load i32, i32* %arrayidx, align 4 337 %arrayidx2 = getelementptr inbounds i32, i32* %c, i32 %iv 338 %1 = load i32, i32* %arrayidx2, align 4 339 %mul = mul nsw i32 %1, %0 340 %arrayidx3 = getelementptr inbounds i32, i32* %a, i32 %iv 341 br i1 %cmp1, label %for.inc, label %if.else 342 343 if.else: ; preds = %for.body 344 %2 = load i32, i32* %arrayidx3, align 4 345 %add = add nsw i32 %2, %mul 346 br label %for.inc 347 348 for.inc: ; preds = %for.body, %if.else 349 %storemerge = phi i32 [ %add, %if.else ], [ %mul, %for.body ] 350 store i32 %storemerge, i32* %arrayidx3, align 4 351 %dec = add nsw i32 %iv, -1 352 %cmp = icmp eq i32 %dec, %M 353 br i1 %cmp, label %for.cond.cleanup, label %for.body 354 } 355
