Displaying 1 result from an estimated 1 matches for "edf205de".
2019 Feb 11
4
Precise meaning of must alias?
I find myself needing to ask a very basic question. Specifically, what
do we expect "must alias" to mean in practice?
Consider a simple example:
load i64, i64* %p
%p.i32 = bitcast i64* %p to i32*
load i32, i32* %p.i32
Given two memory locations which describe the two memory accesses of
these loads, do we expect that alias analysis returns MustAlias? That
is, when we have two