llvm dev - Nov 2010 - [LLVMdev] Type unification algorithm

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.

Thanks.
-- 
Jianzhou

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