[LLVMdev] RefineAbstractType

[David Greene]

On Friday 14 November 2008 18:31, David Greene wrote:
> On Thursday 13 November 2008 18:27, David Greene wrote:
> > On Wednesday 12 November 2008 19:13, Chris Lattner wrote:
> > > You shouldn't be refining the pointer, you should use:
> > >
> > > t1->refineAbstractType(t2)
> >
> > Ok, I tried this and I get further.  But the type system seems to have
> > trouble when refining multiple types and those types resolve to the same
> > thing. I turned on DEBUG_MERGE_TYPES to illustrate:
>
> Attached is some code that illustrates what I think is the problem.
>
> Compile with
> g++ -D__STDC_LIMIT_MACROS -I<path to LLVM headers> -L<path to LLVM
> libraries> -lLLVMCore -lLLVMSupport -lLLVMSystem -ldl
>
> (I built with LLVM 2.4)
>
> Output:
>
> i32 (\1)
> opaque (i32)
>
> This looks totally wrong.  Am I using refineAbstractTypeTo incorrectly?

Silly me.  I am using it incorrectly.  I found the bit of manual that talks 
about PATypeHolder.

Sorry for the waste of bandwidth.

                                                         -Dave