59 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -S < %s | FileCheck %s2;3; Verify we do not crash when we synthezise code for the udiv in the SCoP.4;5; CHECK: polly.start6;7target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"8 9; Function Attrs: nounwind uwtable10define void @RestartModel() #0 {11entry:12 br label %for.cond32.preheader13 14for.cond32.preheader: ; preds = %entry, %for.body50.715 %i.13 = phi i32 [ 0, %entry ], [ %inc60, %for.body50.7 ]16 %add = add i32 %i.13, 217 %div44 = udiv i32 undef, %add18 %sub45 = sub i32 16384, %div4419 %conv46 = trunc i32 %sub45 to i1620 br label %for.body3521 22for.body35: ; preds = %for.cond32.preheader23 br label %for.body5024 25for.body50: ; preds = %for.body3526 br label %for.body50.127 28for.cond62: ; preds = %for.body50.729 %conv46.lcssa = phi i16 [ %conv46, %for.body50.7 ]30 store i16 %conv46.lcssa, ptr undef, align 231 br label %for.end8332 33for.end83: ; preds = %for.cond6234 ret void35 36for.body50.1: ; preds = %for.body5037 br label %for.body50.238 39for.body50.2: ; preds = %for.body50.140 br label %for.body50.341 42for.body50.3: ; preds = %for.body50.243 br label %for.body50.444 45for.body50.4: ; preds = %for.body50.346 br label %for.body50.547 48for.body50.5: ; preds = %for.body50.449 br label %for.body50.650 51for.body50.6: ; preds = %for.body50.552 br label %for.body50.753 54for.body50.7: ; preds = %for.body50.655 %inc60 = add i32 %i.13, 156 %cmp29 = icmp ult i32 %inc60, 12857 br i1 %cmp29, label %for.cond32.preheader, label %for.cond6258}59