Lines Matching refs:NoAlias

15 ; CHECK: NoAlias: double* %pi, double* %pi.next
41 ; CHECK: NoAlias: double* %pi.j, double* %pi.next.j
42 ; CHECK: NoAlias: double* %pi.j, double* %pi.j.next
43 ; CHECK: NoAlias: double* %pi.j.next, double* %pi.next.j
94 ; p[j+1][i] and p[j][i] can theoretically be determined to be NoAlias,
96 ; TODO: Make the analysis smarter and turn that MayAlias into a NoAlias.
99 ; CHECK: NoAlias: double* %pi.j, double* %pi.next.j
155 ; CHECK: NoAlias: %struct.B* %B, i32* %Z
156 ; CHECK: NoAlias: %struct.B* %B, %struct.B* %C
158 ; CHECK: NoAlias: %struct.B* %B, i32* %X
176 ; CHECK: NoAlias: %struct.B* %N, i32* %P
177 ; CHECK: NoAlias: %struct.B* %N, %struct.B* %R
179 ; CHECK: NoAlias: %struct.B* %N, i32* %W
196 ; CHECK: NoAlias:  i64* %arrayidx, i64* %p