70 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -S < %s | FileCheck %s2;3; CHECK-LABEL: for.cond:4; CHECK: %num.0 = phi i32 [ %add, %for.body15 ], [ 0, %for.cond.pre_entry_bb ]5; CHECK: br i1 false, label %for.body15, label %for.end226 7; CHECK-LABEL: polly.merge_new_and_old:8; CHECK: %num.0.merge = phi i32 [ %num.0.final_reload, %polly.exiting ], [ %num.0, %for.end22 ]9; CHECK: br label %for.end4410 11target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"12 13define void @func(ptr %p) {14entry:15 %counters = alloca [64 x i32], align 1616 %lenCounters = alloca [17 x i32], align 1617 br label %for.cond18 19for.cond: ; preds = %for.body15, %for.cond20 %num.0 = phi i32 [ 0, %entry ], [ %add, %for.body15 ]21 br i1 false, label %for.body15, label %for.end2222 23for.body15: ; preds = %for.cond24 %0 = load i32, ptr %counters, align 425 %add = add i32 %num.0, %026 br label %for.cond27 28for.end22: ; preds = %for.cond29 br label %for.end4430 31for.end44: ; preds = %for.end2232 br i1 undef, label %if.then50, label %if.end6733 34if.then50: ; preds = %for.end4435 br label %cleanup36 37if.end67: ; preds = %for.end4438 br label %do.body39 40do.body: ; preds = %cond.end109, %if.end6741 %e.0 = phi i32 [ 0, %if.end67 ], [ %inc128, %cond.end109 ]42 br label %cond.end10943 44cond.end109: ; preds = %do.body45 %idxprom122 = zext i32 %e.0 to i6446 %arrayidx123 = getelementptr inbounds i32, ptr %p, i64 %idxprom12247 %inc128 = add i32 %e.0, 148 %sub129 = sub i32 %num.0, %inc12849 %cmp130 = icmp ugt i32 %sub129, 150 br i1 %cmp130, label %do.body, label %do.end51 52do.end: ; preds = %cond.end10953 %1 = load i32, ptr %arrayidx123, align 454 %arrayidx142 = getelementptr inbounds [17 x i32], ptr %lenCounters, i64 0, i64 155 store i32 2, ptr %arrayidx142, align 456 br label %for.cond20157 58for.cond201: ; preds = %for.body204, %do.end59 br i1 undef, label %for.body204, label %for.end21460 61for.body204: ; preds = %for.cond20162 br label %for.cond20163 64for.end214: ; preds = %for.cond20165 br label %cleanup66 67cleanup: ; preds = %for.end214, %if.then5068 ret void69}70