polly/test/ScopInfo/parameter-constant-division.ll

   1 ; RUN: opt %loadPolly -polly-stmt-granularity=bb -polly-print-scops \
   2 ; RUN:     -polly-invariant-load-hoisting=true \
   3 ; RUN:     -disable-output < %s | FileCheck %s
   4 ;
   5 ; CHECK:          Invariant Accesses: {
   6 ; CHECK-NEXT:            ReadAccess :=  [Reduction Type: NONE] [Scalar: 0]
   7 ; CHECK-NEXT:                { Stmt_land_lhs_true563[] -> MemRef_tmp0[809] };
   8 ; CHECK-NEXT:            Execution Context: {  :  }
   9 ; CHECK-NEXT:            ReadAccess :=  [Reduction Type: NONE] [Scalar: 0]
  10 ; CHECK-NEXT:                { Stmt_if_then570[] -> MemRef_fs[5] };
  11 ; CHECK-NEXT:            Execution Context: {  :  }
  12 ; CHECK-NEXT:            ReadAccess :=  [Reduction Type: NONE] [Scalar: 0]
  13 ; CHECK-NEXT:                { Stmt_if_then570[] -> MemRef_fs[7] };
  14 ; CHECK-NEXT:            Execution Context: {  :  }
  15 ; CHECK-NEXT:            ReadAccess :=  [Reduction Type: NONE] [Scalar: 0]
  16 ; CHECK-NEXT:                { Stmt_if_then570[] -> MemRef_tmp8[813] };
  17 ; CHECK-NEXT:            Execution Context: {  :  }
  18 ; CHECK-NEXT:            ReadAccess :=  [Reduction Type: NONE] [Scalar: 0]
  19 ; CHECK-NEXT:                { Stmt_if_then570[] -> MemRef_tmp3[813] };
  20 ; CHECK-NEXT:            Execution Context: {  :  }
  21 ; CHECK-NEXT:            ReadAccess :=  [Reduction Type: NONE] [Scalar: 0]
  22 ; CHECK-NEXT:                { Stmt_if_then570[] -> MemRef_tmp5[813] };
  23 ; CHECK-NEXT:            Execution Context: {  :  }
  24 ; CHECK-NEXT:            ReadAccess :=  [Reduction Type: NONE] [Scalar: 0]
  25 ; CHECK-NEXT:                { Stmt_if_then570[] -> MemRef_tmp3[812] };
  26 ; CHECK-NEXT:            Execution Context: {  :  }
  27 ; CHECK-NEXT:    }
  28 ;
  29 ; ModuleID = 'bugpoint-reduced-simplified.bc'
  30 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  31
  32 %struct.frame_store = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr }
  33 %struct.picture = type { i32, i32, i32, i32, i32, i32, [6 x [33 x i64]], [6 x [33 x i64]], [6 x [33 x i64]], [6 x [33 x i64]], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32, i32 }
  34
  35 ; Function Attrs: nounwind uwtable
  36 define void @dpb_split_field(ptr %fs) #0 {
  37 entry:
  38   %frame = getelementptr inbounds %struct.frame_store, ptr %fs, i64 0, i32 10
  39   br label %for.cond538.preheader.lr.ph
  40
  41 for.cond538.preheader.lr.ph:                      ; preds = %entry
  42   %bottom_field578 = getelementptr inbounds %struct.frame_store, ptr %fs, i64 0, i32 12
  43   br label %for.cond538.preheader
  44
  45 for.cond538.preheader:                            ; preds = %for.inc912, %for.cond538.preheader.lr.ph
  46   %tmp0 = phi ptr [ undef, %for.cond538.preheader.lr.ph ], [ %tmp11, %for.inc912 ]
  47   br i1 undef, label %land.lhs.true563, label %for.inc912
  48
  49 land.lhs.true563:                                 ; preds = %for.cond538.preheader
  50   %div552 = sdiv i32 0, 16
  51   %div554 = sdiv i32 0, 4
  52   %mul555 = mul i32 %div552, %div554
  53   %rem558 = srem i32 0, 2
  54   %tmp9a = add i32 %mul555, 0
  55   %tmp10a = shl i32 %tmp9a, 1
  56   %add559 = add i32 %tmp10a, %rem558
  57   %idxprom564 = sext i32 %add559 to i64
  58   %mb_field566 = getelementptr inbounds %struct.picture, ptr %tmp0, i64 0, i32 31
  59   %tmp1 = load ptr, ptr %mb_field566, align 8
  60   %arrayidx567 = getelementptr inbounds i8, ptr %tmp1, i64 %idxprom564
  61   %tmp2 = load i8, ptr %arrayidx567, align 1
  62   store i8 0, ptr %arrayidx567
  63   br i1 false, label %if.end908, label %if.then570
  64
  65 if.then570:                                       ; preds = %land.lhs.true563
  66   %tmp3 = load ptr, ptr %frame, align 8
  67   %mv = getelementptr inbounds %struct.picture, ptr %tmp3, i64 0, i32 35
  68   %tmp4 = load ptr, ptr %mv, align 8
  69   %tmp5 = load ptr, ptr %bottom_field578, align 8
  70   %mv612 = getelementptr inbounds %struct.picture, ptr %tmp5, i64 0, i32 35
  71   %tmp6 = load ptr, ptr %mv612, align 8
  72   %arrayidx647 = getelementptr inbounds ptr, ptr %tmp4, i64 1
  73   %ref_id726 = getelementptr inbounds %struct.picture, ptr %tmp3, i64 0, i32 34
  74   %tmp7 = load ptr, ptr %ref_id726, align 8
  75   %arrayidx746 = getelementptr inbounds ptr, ptr %tmp7, i64 5
  76   %tmp8 = load ptr, ptr %frame, align 8
  77   %mv783 = getelementptr inbounds %struct.picture, ptr %tmp8, i64 0, i32 35
  78   %tmp9 = load ptr, ptr %mv783, align 8
  79   %arrayidx804 = getelementptr inbounds ptr, ptr %tmp9, i64 1
  80   %tmp10 = load ptr, ptr %arrayidx804, align 8
  81   store ptr %tmp10, ptr %arrayidx804
  82   br label %if.end908
  83
  84 if.end908:                                        ; preds = %if.then570, %land.lhs.true563
  85   br label %for.inc912
  86
  87 for.inc912:                                       ; preds = %if.end908, %for.cond538.preheader
  88   %tmp11 = phi ptr [ %tmp0, %for.cond538.preheader ], [ undef, %if.end908 ]
  89   br i1 undef, label %for.cond538.preheader, label %for.cond1392.preheader
  90
  91 for.cond1392.preheader:                           ; preds = %for.inc912
  92   ret void
  93 }