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


Hi Jianzhou,

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