Displaying 1 result from an estimated 1 matches for "ce6af2f2".
2015 Dec 10
2
Field sensitive alias analysis?
Please see inline.
struct S {
>> int a[10];
>> int b;
>> };
>>
>> int foo(struct S *ps, int i) {
>> ps->a[i] = 1;
>> ps->b = 2;
>> return ps->a[0];
>> }
>>
>> define i32 @foo(%struct.S* nocapture %ps, i32 %i) #0 {
>> entry:
>> %idxprom = sext i32 %i to i64
>> %arrayidx = getelementptr