test/ForwardOpTree/forward_load_tripleuse.ll

   1 ; RUN: opt %loadPolly -polly-optree -polly-codegen -analyze < %s | FileCheck %s -match-full-lines
   2 ;
   3 define void @func1(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B, double* noalias nonnull %C) {
   4 entry:
   5   br label %for
   6
   7 for:
   8   %j = phi i32 [0, %entry], [%j.inc, %inc]
   9   %j.cmp = icmp slt i32 %j, %n
  10   br i1 %j.cmp, label %bodyA, label %exit
  11
  12     bodyA:
  13       %A_idx = getelementptr inbounds double, double* %A, i32 %j
  14       %val1 = load double, double* %A_idx
  15       %val2 = fadd double %val1, %val1
  16       br label %bodyB
  17
  18     bodyB:
  19       %B_idx = getelementptr inbounds double, double* %B, i32 %j
  20       store double %val1, double* %B_idx
  21       %C_idx = getelementptr inbounds double, double* %C, i32 %j
  22       store double %val2, double* %C_idx
  23       br label %inc
  24
  25 inc:
  26   %j.inc = add nuw nsw i32 %j, 1
  27   br label %for
  28
  29 exit:
  30   br label %return
  31
  32 return:
  33   ret void
  34 }
  35
  36
  37 ; CHECK: Statistics {
  38 ; CHECK:     Instructions copied: 1
  39 ; CHECK:     Known loads forwarded: 3
  40 ; CHECK:     Operand trees forwarded: 2
  41 ; CHECK:     Statements with forwarded operand trees: 1
  42 ; CHECK: }
  43
  44 ; CHECK:      After statements {
  45 ; CHECK-NEXT:     Stmt_bodyA
  46 ; CHECK-NEXT:             ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
  47 ; CHECK-NEXT:                 [n] -> { Stmt_bodyA[i0] -> MemRef_A[i0] };
  48 ; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  49 ; CHECK-NEXT:                 [n] -> { Stmt_bodyA[i0] -> MemRef_val1[] };
  50 ; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  51 ; CHECK-NEXT:                 [n] -> { Stmt_bodyA[i0] -> MemRef_val2[] };
  52 ; CHECK-NEXT:             Instructions {
  53 ; CHECK-NEXT:                   %val1 = load double, double* %A_idx
  54 ; CHECK-NEXT:                   %val2 = fadd double %val1, %val1
  55 ; CHECK-NEXT:             }
  56 ; CHECK-NEXT:     Stmt_bodyB
  57 ; CHECK-NEXT:             ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
  58 ; CHECK-NEXT:                 null;
  59 ; CHECK-NEXT:            new: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };
  60 ; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
  61 ; CHECK-NEXT:                 [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] };
  62 ; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
  63 ; CHECK-NEXT:                 [n] -> { Stmt_bodyB[i0] -> MemRef_C[i0] };
  64 ; CHECK-NEXT:             Instructions {
  65 ; CHECK-NEXT:                   %val1 = load double, double* %A_idx
  66 ; CHECK-NEXT:                   %val1 = load double, double* %A_idx
  67 ; CHECK-NEXT:                   %val2 = fadd double %val1, %val1
  68 ; CHECK-NEXT:                   %val1 = load double, double* %A_idx
  69 ; CHECK-NEXT:                   store double %val1, double* %B_idx
  70 ; CHECK-NEXT:                   store double %val2, double* %C_idx
  71 ; CHECK-NEXT:             }
  72 ; CHECK-NEXT: }
  73
  74
  75 define void @func2(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B, double* noalias nonnull %C) {
  76 entry:
  77   br label %for
  78
  79 for:
  80   %j = phi i32 [0, %entry], [%j.inc, %inc]
  81   %j.cmp = icmp slt i32 %j, %n
  82   br i1 %j.cmp, label %bodyA, label %exit
  83
  84     bodyA:
  85       %A_idx = getelementptr inbounds double, double* %A, i32 %j
  86       %val1 = load double, double* %A_idx
  87       %val2 = fadd double %val1, %val1
  88       br label %bodyB
  89
  90     bodyB:
  91       %B_idx = getelementptr inbounds double, double* %B, i32 %j
  92       store double %val2, double* %B_idx
  93       %C_idx = getelementptr inbounds double, double* %C, i32 %j
  94       store double %val1, double* %C_idx
  95       br label %inc
  96
  97 inc:
  98   %j.inc = add nuw nsw i32 %j, 1
  99   br label %for
 100
 101 exit:
 102   br label %return
 103
 104 return:
 105   ret void
 106 }
 107
 108
 109 ; CHECK: Statistics {
 110 ; CHECK:     Instructions copied: 1
 111 ; CHECK:     Known loads forwarded: 2
 112 ; CHECK:     Operand trees forwarded: 1
 113 ; CHECK:     Statements with forwarded operand trees: 1
 114 ; CHECK: }
 115
 116 ; CHECK:      After statements {
 117 ; CHECK-NEXT:     Stmt_bodyA
 118 ; CHECK-NEXT:             ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
 119 ; CHECK-NEXT:                 [n] -> { Stmt_bodyA[i0] -> MemRef_A[i0] };
 120 ; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
 121 ; CHECK-NEXT:                 [n] -> { Stmt_bodyA[i0] -> MemRef_val2[] };
 122 ; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
 123 ; CHECK-NEXT:                 [n] -> { Stmt_bodyA[i0] -> MemRef_val1[] };
 124 ; CHECK-NEXT:             Instructions {
 125 ; CHECK-NEXT:                   %val1 = load double, double* %A_idx
 126 ; CHECK-NEXT:                   %val2 = fadd double %val1, %val1
 127 ; CHECK-NEXT:             }
 128 ; CHECK-NEXT:     Stmt_bodyB
 129 ; CHECK-NEXT:             ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
 130 ; CHECK-NEXT:                 null;
 131 ; CHECK-NEXT:            new: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };
 132 ; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
 133 ; CHECK-NEXT:                 [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] };
 134 ; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
 135 ; CHECK-NEXT:                 [n] -> { Stmt_bodyB[i0] -> MemRef_C[i0] };
 136 ; CHECK-NEXT:             ReadAccess :=       [Reduction Type: NONE] [Scalar: 1]
 137 ; CHECK-NEXT:                 [n] -> { Stmt_bodyB[i0] -> MemRef_val1[] };
 138 ; CHECK-NEXT:             Instructions {
 139 ; CHECK-NEXT:                   %val1 = load double, double* %A_idx
 140 ; CHECK-NEXT:                   %val1 = load double, double* %A_idx
 141 ; CHECK-NEXT:                   %val2 = fadd double %val1, %val1
 142 ; CHECK-NEXT:                   store double %val2, double* %B_idx
 143 ; CHECK-NEXT:                   store double %val1, double* %C_idx
 144 ; CHECK-NEXT:             }
 145 ; CHECK-NEXT: }