[LLVMdev] Type unification algorithm

[Jianzhou Zhao]

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