[LLVMdev] Type unification algorithm

[Chris Lattner]

On Nov 16, 2010, at 5:41 PM, Jianzhou Zhao wrote:

> Hi All,
> 
> I wanted to understand the type unification algorithm (the
> implementations of  'refineAbstractTypeTo') used in LLVM. In the
> source code, there are a lot of code relevant to
> 'refineAbstractTypeTo', and I didn't find a big picture about how it
> works. Does the code implement any standard type unification algorithm
> that I can refer to? What is a good start point to understand this
> algorithm.

Hi Jianzhou, 

There is no good description of the algorithm, your best bet is to read through the code.

-Chris