1; RUN: opt %loadPolly -polly-allow-nonaffine-loops -polly-scops -analyze < %s | FileCheck %s 2; 3; CHECK: Domain := 4; CHECK-NEXT: { Stmt_while_cond_i__TO__while_end_i[] }; 5; 6define i32 @func(i32 %param0, i32 %param1, i64* %param2) #3 { 7 8entry: 9 %var0 = alloca i32 10 %var1 = alloca i32 11 br label %while.cond.i 12 13while.cond.i: ; preds = %while.cond.i.backedge, %entry 14 %var2 = phi i32 [ %param0, %entry ], [ %var3, %while.cond.i.backedge ] 15 %var3 = add nsw i32 %var2, 1 16 %var4 = icmp slt i32 %var2, -1 17 br i1 %var4, label %while.cond.i.backedge, label %if.end.i1.i 18 19if.end.i1.i: ; preds = %while.cond.i 20 %var5 = sdiv i32 %var3, 64 21 %var6 = icmp sgt i32 %param1, %var5 22 br i1 %var6, label %exit1.i, label %while.cond.i.backedge 23 24exit1.i: ; preds = %if.end.i1.i 25 %var7 = srem i32 %var3, 64 26 %var8 = sext i32 %var5 to i64 27 %var9 = getelementptr inbounds i64, i64* %param2, i64 %var8 28 %var10 = load i64, i64* %var9, align 8 29 %var11 = zext i32 %var7 to i64 30 %var12 = shl i64 1, %var11 31 %var13 = and i64 %var10, %var12 32 %var14 = icmp eq i64 %var13, 0 33 store i32 %var2, i32* %var1 34 store i32 %var3, i32* %var0 35 br i1 %var14, label %while.cond.i.backedge, label %while.end.i 36 37while.cond.i.backedge: ; preds = %exit1.i, %while.cond.i, %if.end.i1.i 38 br label %while.cond.i 39 40while.end.i: 41 %var15 = load i32, i32* %var0 42 %var16 = load i32, i32* %var1 43 %var17 = add i32 %var15, %var16 44 ret i32 %var17 45} 46