1; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s 2 3; Derived from test-suite/SingleSource/UnitTests/Vector/SSE/sse.stepfft.c 4 5; The values %mul.i44 is simplified to constant 4 by ScalarEvolution, but 6; SCEVAffinator used to check whether the sdiv's argument was constant. 7 8target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 9target triple = "x86_64-unknown-linux-gnu" 10 11; Function Attrs: nounwind uwtable 12define void @cfft2(i32 %n, double* %A) local_unnamed_addr #0 { 13entry: 14 br i1 true, label %for.body.lr.ph, label %for.end 15 16for.body.lr.ph: ; preds = %entry 17 br label %for.body 18 19for.body: ; preds = %for.inc, %for.body.lr.ph 20 %mj.017 = phi i32 [ 1, %for.body.lr.ph ], [ undef, %for.inc ] 21 br i1 true, label %if.else, label %if.then 22 23if.then: ; preds = %for.body 24 br label %for.inc 25 26if.else: ; preds = %for.body 27 %mul.i44 = shl i32 %mj.017, 2 28 %div.i45 = sdiv i32 %n, %mul.i44 29 br i1 true, label %for.body.i58.lr.ph, label %for.inc 30 31for.body.i58.lr.ph: ; preds = %if.else 32 br i1 false, label %for.body.i58.us, label %for.body.i58.preheader 33 34for.body.i58.preheader: ; preds = %for.body.i58.lr.ph 35 br label %for.body.i58 36 37for.body.i58.us: ; preds = %for.body.i58.us, %for.body.i58.lr.ph 38 br i1 false, label %for.inc, label %for.body.i58.us 39 40for.body.i58: ; preds = %for.body.i58, %for.body.i58.preheader 41 store double 0.0, double* %A 42 %exitcond42 = icmp eq i32 0, %div.i45 43 br i1 %exitcond42, label %for.inc, label %for.body.i58 44 45for.inc: ; preds = %for.body.i58, %for.body.i58.us, %if.else, %if.then 46 br i1 undef, label %for.end, label %for.body 47 48for.end: ; preds = %for.inc, %entry 49 ret void 50} 51 52attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 53 54!llvm.ident = !{!0} 55 56!0 = !{!"clang version 3.9.0 (trunk 273249) (llvm/trunk 273255)"} 57 58; CHECK-LABEL: Stmt_for_body_i58 59; CHECK-NEXT: Domain := 60; CHECK-NEXT: [n] -> { Stmt_for_body_i58[0] : -3 <= n <= 3 }; 61