polly/test/ScopInfo/invariant-loads-leave-read-only-statements.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -polly-invariant-load-hoisting=true -disable-output < %s | FileCheck %s
   2 ; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -disable-output < %s
   3
   4 ; CHECK:      Statements {
   5 ; CHECK-NEXT:   Stmt_L_4
   6 ; CHECK-NEXT:         Domain :=
   7 ; CHECK-NEXT:             [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] : 0 <= i0 < tmp8 and 0 <= i1 < tmp8 and 0 <= i2 < tmp8 };
   8 ; CHECK-NEXT:         Schedule :=
   9 ; CHECK-NEXT:             [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> [i0, i1, i2] };
  10 ; CHECK-NEXT:         ReadAccess :=     [Reduction Type: NONE] [Scalar: 0]
  11 ; CHECK-NEXT:             [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> MemRef_tmp19[i1, i0] };
  12 ; CHECK-NEXT:         ReadAccess :=     [Reduction Type: NONE] [Scalar: 0]
  13 ; CHECK-NEXT:             [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> MemRef_tmp5[i2, i0] };
  14 ; CHECK-NEXT:         ReadAccess :=     [Reduction Type: NONE] [Scalar: 0]
  15 ; CHECK-NEXT:             [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> MemRef_tmp12[i2, i1] };
  16 ; CHECK-NEXT:         MustWriteAccess :=        [Reduction Type: NONE] [Scalar: 0]
  17 ; CHECK-NEXT:             [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> MemRef_tmp19[i1, i0] };
  18 ; CHECK-NEXT: }
  19
  20 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  21
  22 %jl_value_t = type { ptr }
  23
  24 define ptr @julia_gemm_22583(ptr, ptr %tmp1, i32) {
  25 top:
  26   br label %top.split
  27
  28 top.split:                                        ; preds = %top
  29   %tmp3 = load ptr, ptr %tmp1, align 8
  30   %tmp5 = load ptr, ptr %tmp3, align 8
  31   %tmp6 = getelementptr inbounds %jl_value_t, ptr %tmp3, i64 3, i32 0
  32   %tmp8 = load i64, ptr %tmp6, align 8
  33   %tmp9 = getelementptr ptr, ptr %tmp1, i64 1
  34   %tmp10 = load ptr, ptr %tmp9, align 8
  35   %tmp12 = load ptr, ptr %tmp10, align 8
  36   %tmp13 = getelementptr inbounds %jl_value_t, ptr %tmp10, i64 3, i32 0
  37   %tmp15 = load i64, ptr %tmp13, align 8
  38   %tmp16 = getelementptr ptr, ptr %tmp1, i64 2
  39   %tmp17 = load ptr, ptr %tmp16, align 8
  40   %tmp19 = load ptr, ptr %tmp17, align 8
  41   %tmp20 = getelementptr inbounds %jl_value_t, ptr %tmp17, i64 3, i32 0
  42   %tmp22 = load i64, ptr %tmp20, align 8
  43   %tmp23 = icmp sgt i64 %tmp8, 0
  44   %tmp24 = select i1 %tmp23, i64 %tmp8, i64 0
  45   %tmp25 = add i64 %tmp24, 1
  46   %tmp26 = icmp eq i64 %tmp24, 0
  47   br i1 %tmp26, label %L.11, label %L.preheader
  48
  49 L.preheader:                                      ; preds = %top.split
  50   br label %L
  51
  52 L:                                                ; preds = %L.preheader, %L.9
  53   %"#s5.0" = phi i64 [ %tmp27, %L.9 ], [ 1, %L.preheader ]
  54   %tmp27 = add i64 %"#s5.0", 1
  55   br i1 %tmp26, label %L.9, label %L.2.preheader
  56
  57 L.2.preheader:                                    ; preds = %L
  58   br label %L.2
  59
  60 L.2:                                              ; preds = %L.2.preheader, %L.7
  61   %"#s4.0" = phi i64 [ %tmp28, %L.7 ], [ 1, %L.2.preheader ]
  62   %tmp28 = add i64 %"#s4.0", 1
  63   br i1 %tmp26, label %L.7, label %L.4.preheader
  64
  65 L.4.preheader:                                    ; preds = %L.2
  66   br label %L.4
  67
  68 L.4:                                              ; preds = %L.4.preheader, %L.4
  69   %"#s3.0" = phi i64 [ %tmp29, %L.4 ], [ 1, %L.4.preheader ]
  70   %tmp29 = add i64 %"#s3.0", 1
  71   %tmp30 = add i64 %"#s5.0", -1
  72   %tmp31 = add i64 %"#s4.0", -1
  73   %tmp32 = mul i64 %tmp31, %tmp22
  74   %tmp33 = add i64 %tmp32, %tmp30
  75   %tmp34 = getelementptr double, ptr %tmp19, i64 %tmp33
  76   %tmp35 = load double, ptr %tmp34, align 8
  77   %tmp36 = add i64 %"#s3.0", -1
  78   %tmp37 = mul i64 %tmp36, %tmp8
  79   %tmp38 = add i64 %tmp37, %tmp30
  80   %tmp39 = getelementptr double, ptr %tmp5, i64 %tmp38
  81   %tmp40 = load double, ptr %tmp39, align 8
  82   %tmp41 = mul i64 %tmp36, %tmp15
  83   %tmp42 = add i64 %tmp41, %tmp31
  84   %tmp43 = getelementptr double, ptr %tmp12, i64 %tmp42
  85   %tmp44 = load double, ptr %tmp43, align 8
  86   %tmp45 = fmul double %tmp40, %tmp44
  87   %tmp46 = fadd double %tmp35, %tmp45
  88   store double %tmp46, ptr %tmp34, align 8
  89   %tmp47 = icmp eq i64 %tmp29, %tmp25
  90   br i1 %tmp47, label %L.7.loopexit, label %L.4
  91
  92 L.7.loopexit:                                     ; preds = %L.4
  93   br label %L.7
  94
  95 L.7:                                              ; preds = %L.7.loopexit, %L.2
  96   %tmp48 = icmp eq i64 %tmp28, %tmp25
  97   br i1 %tmp48, label %L.9.loopexit, label %L.2
  98
  99 L.9.loopexit:                                     ; preds = %L.7
 100   br label %L.9
 101
 102 L.9:                                              ; preds = %L.9.loopexit, %L
 103   %tmp49 = icmp eq i64 %tmp27, %tmp25
 104   br i1 %tmp49, label %L.11.loopexit, label %L
 105
 106 L.11.loopexit:                                    ; preds = %L.9
 107   br label %L.11
 108
 109 L.11:                                             ; preds = %L.11.loopexit, %top.split
 110   ret ptr inttoptr (i64 140220477440016 to ptr)
 111 }