[LLVMdev] PROPOSAL: struct-access-path aware TBAA

[Manman Ren]

On Mar 11, 2013, at 12:14 PM, Krzysztof Parzyszek wrote:

> On 3/11/2013 1:41 PM, Manman Ren wrote:
>> 
>>   |  x  |
>>          extends
>>   |    z         |
>>       super-type
>>            |  y  |
> 
> What does this mean?  "The type of z extends the type of x, and the type of z is a super-type of y"?
Extends x into a subobject z, and z is a super-type of y.

-Manman
> 
> -Krzysztof
> 
> -- 
> Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, hosted by The Linux Foundation
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev