polly/test/ScopInfo/multidim_with_bitcast.ll

   1 ; RUN: opt %loadPolly -polly-stmt-granularity=bb -polly-print-scops -disable-output < %s | FileCheck %s
   2
   3 target 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
  12 define void @kernel(ptr %A, ptr %B, ptr %C, ptr %D) {
  13 bb:
  14   br label %bb4
  15
  16 bb4:                                              ; 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
  21 bb5:                                              ; preds = %bb4
  22   br label %bb6
  23
  24 bb6:                                              ; 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
  29 bb7:                                              ; 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
  43 bb16:                                             ; preds = %bb7
  44   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  45   br label %bb6
  46
  47 bb17:                                             ; 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
  54 bb21:                                             ; preds = %bb17
  55   %indvars.iv.next2 = add nuw nsw i64 %indvars.iv1, 1
  56   br label %bb4
  57
  58 bb22:                                             ; preds = %bb4
  59   ret void
  60 }