test/Analysis/MemorySSA/phi-translation.ll

   1 ; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT
   2 ; RUN: opt -memssa-check-limit=0 -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT
   3 ; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT
   4 ; RUN: opt -memssa-check-limit=0 -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT
   5
   6 ; %ptr can't alias %local, so we should be able to optimize the use of %local to
   7 ; point to the store to %local.
   8 ; CHECK-LABEL: define void @check
   9 define void @check(i8* %ptr, i1 %bool) {
  10 entry:
  11   %local = alloca i8, align 1
  12 ; CHECK: 1 = MemoryDef(liveOnEntry)
  13 ; CHECK-NEXT: store i8 0, i8* %local, align 1
  14   store i8 0, i8* %local, align 1
  15   br i1 %bool, label %if.then, label %if.end
  16
  17 if.then:
  18   %p2 = getelementptr inbounds i8, i8* %ptr, i32 1
  19 ; CHECK: 2 = MemoryDef(1)
  20 ; CHECK-NEXT: store i8 0, i8* %p2, align 1
  21   store i8 0, i8* %p2, align 1
  22   br label %if.end
  23
  24 if.end:
  25 ; CHECK: 3 = MemoryPhi({entry,1},{if.then,2})
  26 ; NOLIMIT: MemoryUse(1) MayAlias
  27 ; NOLIMIT-NEXT: load i8, i8* %local, align 1
  28 ; LIMIT: MemoryUse(3) MayAlias
  29 ; LIMIT-NEXT: load i8, i8* %local, align 1
  30   load i8, i8* %local, align 1
  31   ret void
  32 }
  33
  34 ; CHECK-LABEL: define void @check2
  35 define void @check2(i1 %val1, i1 %val2, i1 %val3) {
  36 entry:
  37   %local = alloca i8, align 1
  38   %local2 = alloca i8, align 1
  39
  40 ; CHECK: 1 = MemoryDef(liveOnEntry)
  41 ; CHECK-NEXT: store i8 0, i8* %local
  42   store i8 0, i8* %local
  43   br i1 %val1, label %if.then, label %phi.3
  44
  45 if.then:
  46 ; CHECK: 2 = MemoryDef(1)
  47 ; CHECK-NEXT: store i8 2, i8* %local2
  48   store i8 2, i8* %local2
  49   br i1 %val2, label %phi.2, label %phi.3
  50
  51 phi.3:
  52 ; CHECK: 7 = MemoryPhi({entry,1},{if.then,2})
  53 ; CHECK: 3 = MemoryDef(7)
  54 ; CHECK-NEXT: store i8 3, i8* %local2
  55   store i8 3, i8* %local2
  56   br i1 %val3, label %phi.2, label %phi.1
  57
  58 phi.2:
  59 ; CHECK: 5 = MemoryPhi({if.then,2},{phi.3,3})
  60 ; CHECK: 4 = MemoryDef(5)
  61 ; CHECK-NEXT: store i8 4, i8* %local2
  62   store i8 4, i8* %local2
  63   br label %phi.1
  64
  65 phi.1:
  66 ; Order matters here; phi.2 needs to come before phi.3, because that's the order
  67 ; they're visited in.
  68 ; CHECK: 6 = MemoryPhi({phi.2,4},{phi.3,3})
  69 ; NOLIMIT: MemoryUse(1) MayAlias
  70 ; NOLIMIT-NEXT: load i8, i8* %local
  71 ; LIMIT: MemoryUse(6) MayAlias
  72 ; LIMIT-NEXT: load i8, i8* %local
  73   load i8, i8* %local
  74   ret void
  75 }
  76
  77 ; CHECK-LABEL: define void @cross_phi
  78 define void @cross_phi(i8* noalias %p1, i8* noalias %p2) {
  79 ; CHECK: 1 = MemoryDef(liveOnEntry)
  80 ; CHECK-NEXT: store i8 0, i8* %p1
  81   store i8 0, i8* %p1
  82 ; NOLIMIT: MemoryUse(1) MustAlias
  83 ; NOLIMIT-NEXT: load i8, i8* %p1
  84 ; LIMIT: MemoryUse(1) MayAlias
  85 ; LIMIT-NEXT: load i8, i8* %p1
  86   load i8, i8* %p1
  87   br i1 undef, label %a, label %b
  88
  89 a:
  90 ; CHECK: 2 = MemoryDef(1)
  91 ; CHECK-NEXT: store i8 0, i8* %p2
  92   store i8 0, i8* %p2
  93   br i1 undef, label %c, label %d
  94
  95 b:
  96 ; CHECK: 3 = MemoryDef(1)
  97 ; CHECK-NEXT: store i8 1, i8* %p2
  98   store i8 1, i8* %p2
  99   br i1 undef, label %c, label %d
 100
 101 c:
 102 ; CHECK: 6 = MemoryPhi({a,2},{b,3})
 103 ; CHECK: 4 = MemoryDef(6)
 104 ; CHECK-NEXT: store i8 2, i8* %p2
 105   store i8 2, i8* %p2
 106   br label %e
 107
 108 d:
 109 ; CHECK: 7 = MemoryPhi({a,2},{b,3})
 110 ; CHECK: 5 = MemoryDef(7)
 111 ; CHECK-NEXT: store i8 3, i8* %p2
 112   store i8 3, i8* %p2
 113   br label %e
 114
 115 e:
 116 ; 8 = MemoryPhi({c,4},{d,5})
 117 ; NOLIMIT: MemoryUse(1) MustAlias
 118 ; NOLIMIT-NEXT: load i8, i8* %p1
 119 ; LIMIT: MemoryUse(8) MayAlias
 120 ; LIMIT-NEXT: load i8, i8* %p1
 121   load i8, i8* %p1
 122   ret void
 123 }
 124
 125 ; CHECK-LABEL: define void @looped
 126 define void @looped(i8* noalias %p1, i8* noalias %p2) {
 127 ; CHECK: 1 = MemoryDef(liveOnEntry)
 128 ; CHECK-NEXT: store i8 0, i8* %p1
 129   store i8 0, i8* %p1
 130   br label %loop.1
 131
 132 loop.1:
 133 ; CHECK: 6 = MemoryPhi({%0,1},{loop.3,4})
 134 ; CHECK: 2 = MemoryDef(6)
 135 ; CHECK-NEXT: store i8 0, i8* %p2
 136   store i8 0, i8* %p2
 137   br i1 undef, label %loop.2, label %loop.3
 138
 139 loop.2:
 140 ; CHECK: 5 = MemoryPhi({loop.1,2},{loop.3,4})
 141 ; CHECK: 3 = MemoryDef(5)
 142 ; CHECK-NEXT: store i8 1, i8* %p2
 143   store i8 1, i8* %p2
 144   br label %loop.3
 145
 146 loop.3:
 147 ; CHECK: 7 = MemoryPhi({loop.1,2},{loop.2,3})
 148 ; CHECK: 4 = MemoryDef(7)
 149 ; CHECK-NEXT: store i8 2, i8* %p2
 150   store i8 2, i8* %p2
 151 ; NOLIMIT: MemoryUse(1) MayAlias
 152 ; NOLIMIT-NEXT: load i8, i8* %p1
 153 ; LIMIT: MemoryUse(4) MayAlias
 154 ; LIMIT-NEXT: load i8, i8* %p1
 155   load i8, i8* %p1
 156   br i1 undef, label %loop.2, label %loop.1
 157 }
 158
 159 ; CHECK-LABEL: define void @looped_visitedonlyonce
 160 define void @looped_visitedonlyonce(i8* noalias %p1, i8* noalias %p2) {
 161   br label %while.cond
 162
 163 while.cond:
 164 ; CHECK: 5 = MemoryPhi({%0,liveOnEntry},{if.end,3})
 165 ; CHECK-NEXT: br i1 undef, label %if.then, label %if.end
 166   br i1 undef, label %if.then, label %if.end
 167
 168 if.then:
 169 ; CHECK: 1 = MemoryDef(5)
 170 ; CHECK-NEXT: store i8 0, i8* %p1
 171   store i8 0, i8* %p1
 172   br i1 undef, label %if.end, label %if.then2
 173
 174 if.then2:
 175 ; CHECK: 2 = MemoryDef(1)
 176 ; CHECK-NEXT: store i8 1, i8* %p2
 177   store i8 1, i8* %p2
 178   br label %if.end
 179
 180 if.end:
 181 ; CHECK: 4 = MemoryPhi({while.cond,5},{if.then,1},{if.then2,2})
 182 ; CHECK: MemoryUse(4) MayAlias
 183 ; CHECK-NEXT: load i8, i8* %p1
 184   load i8, i8* %p1
 185 ; CHECK: 3 = MemoryDef(4)
 186 ; CHECK-NEXT: store i8 2, i8* %p2
 187   store i8 2, i8* %p2
 188 ; NOLIMIT: MemoryUse(4) MayAlias
 189 ; NOLIMIT-NEXT: load i8, i8* %p1
 190 ; LIMIT: MemoryUse(3) MayAlias
 191 ; LIMIT-NEXT: load i8, i8* %p1
 192   load i8, i8* %p1
 193   br label %while.cond
 194 }
 195