[LLVMdev] RefineAbstractType

[Chris Lattner]

On Nov 12, 2008, at 3:37 PM, David Greene wrote:
>>> Unfortunately, calling FunctionType::refineAbstractType(opaque, void
>>> (...))
>>> doesn't work because RefineAbstractType doesn't recurse down into  
>>> the
>>> pointee types.
>>
>> What types are you starting out with?  If you had the equivalent of:
>>
>> %t1 = type opaque
>> %t2 = type void(%t1*)
>>
>> and you refine t1 -> t2, it should work.
>
> I'm not sure it will.  %t1* is the "contained" type inside the  
> FunctionType.
> RefineAbstractTypes expects the OldType (%t1 in this case) to be in  
> the
> contained type set.  Since a _pointer_ to %t1 is in the contained  
> set, it
> doesn't see it.

How is this any different than the struct case of {\2*} ?

-Chris