61 lines · plain
1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4 5; Verify that we can look through a bitcast when delinearizing multi-dimensional6; arrays.7 8; CHECK: Stmt_bb7[i0, i1] -> MemRef_B[i0, i1]9; CHECK: Stmt_bb7[i0, i1] -> MemRef_B[i0, i1]10; CHECK: Stmt_bb17[i0] -> MemRef_B[i0, 100]11 12define void @kernel(ptr %A, ptr %B, ptr %C, ptr %D) {13bb:14 br label %bb415 16bb4: ; preds = %bb21, %bb17 %indvars.iv1 = phi i64 [ %indvars.iv.next2, %bb21 ], [ 0, %bb ]18 %exitcond3 = icmp eq i64 %indvars.iv1, 10019 br i1 %exitcond3, label %bb22, label %bb520 21bb5: ; preds = %bb422 br label %bb623 24bb6: ; preds = %bb16, %bb525 %indvars.iv = phi i64 [ %indvars.iv.next, %bb16 ], [ 0, %bb5 ]26 %exitcond = icmp eq i64 %indvars.iv, 10027 br i1 %exitcond, label %bb17, label %bb728 29bb7: ; preds = %bb630 %tmp = getelementptr inbounds float, ptr %D, i64 %indvars.iv31 %tmp8 = load float, ptr %tmp, align 432 %tmp9 = getelementptr inbounds [101 x float], ptr %B, i64 %indvars.iv1, i64 %indvars.iv33 %tmp10 = load float, ptr %tmp9, align 434 %tmp11 = fmul float %tmp8, %tmp1035 %tmp12 = getelementptr inbounds [101 x float], ptr %C, i64 %indvars.iv1, i64 %indvars.iv36 store float %tmp11, ptr %tmp12, align 437 %tmp13 = getelementptr inbounds float, ptr %A, i64 %indvars.iv38 %tmp141 = load i32, ptr %tmp13, align 439 %tmp15 = getelementptr inbounds [101 x float], ptr %B, i64 %indvars.iv1, i64 %indvars.iv40 store i32 %tmp141, ptr %tmp15, align 441 br label %bb1642 43bb16: ; preds = %bb744 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 145 br label %bb646 47bb17: ; preds = %bb648 %tmp18 = trunc i64 %indvars.iv1 to i3249 %tmp19 = sitofp i32 %tmp18 to float50 %tmp20 = getelementptr inbounds [101 x float], ptr %B, i64 %indvars.iv1, i64 10051 store float %tmp19, ptr %tmp20, align 452 br label %bb2153 54bb21: ; preds = %bb1755 %indvars.iv.next2 = add nuw nsw i64 %indvars.iv1, 156 br label %bb457 58bb22: ; preds = %bb459 ret void60}61