1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s 2 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-dimensional 6; 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 %bb4 15 16bb4: ; preds = %bb21, %bb 17 %indvars.iv1 = phi i64 [ %indvars.iv.next2, %bb21 ], [ 0, %bb ] 18 %exitcond3 = icmp eq i64 %indvars.iv1, 100 19 br i1 %exitcond3, label %bb22, label %bb5 20 21bb5: ; preds = %bb4 22 br label %bb6 23 24bb6: ; preds = %bb16, %bb5 25 %indvars.iv = phi i64 [ %indvars.iv.next, %bb16 ], [ 0, %bb5 ] 26 %exitcond = icmp eq i64 %indvars.iv, 100 27 br i1 %exitcond, label %bb17, label %bb7 28 29bb7: ; preds = %bb6 30 %tmp = getelementptr inbounds float, ptr %D, i64 %indvars.iv 31 %tmp8 = load float, ptr %tmp, align 4 32 %tmp9 = getelementptr inbounds [101 x float], ptr %B, i64 %indvars.iv1, i64 %indvars.iv 33 %tmp10 = load float, ptr %tmp9, align 4 34 %tmp11 = fmul float %tmp8, %tmp10 35 %tmp12 = getelementptr inbounds [101 x float], ptr %C, i64 %indvars.iv1, i64 %indvars.iv 36 store float %tmp11, ptr %tmp12, align 4 37 %tmp13 = getelementptr inbounds float, ptr %A, i64 %indvars.iv 38 %tmp141 = load i32, ptr %tmp13, align 4 39 %tmp15 = getelementptr inbounds [101 x float], ptr %B, i64 %indvars.iv1, i64 %indvars.iv 40 store i32 %tmp141, ptr %tmp15, align 4 41 br label %bb16 42 43bb16: ; preds = %bb7 44 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 45 br label %bb6 46 47bb17: ; preds = %bb6 48 %tmp18 = trunc i64 %indvars.iv1 to i32 49 %tmp19 = sitofp i32 %tmp18 to float 50 %tmp20 = getelementptr inbounds [101 x float], ptr %B, i64 %indvars.iv1, i64 100 51 store float %tmp19, ptr %tmp20, align 4 52 br label %bb21 53 54bb21: ; preds = %bb17 55 %indvars.iv.next2 = add nuw nsw i64 %indvars.iv1, 1 56 br label %bb4 57 58bb22: ; preds = %bb4 59 ret void 60} 61