[llvm-dev] LLVM and strict SSA

[Natanael Ramos via llvm-dev]

Hello to all LLVM Developers.

The LLVM IR is in strict SSA form (i.e. every variable is defined before it
is used along every path from the entry to exit point)?
According to the documentation, currently the LLVM IR is in the SSA form,
but I don't see additional information about *strict* SSA form.

The strict SSA form provide opportunities of optimization in register
allocation, because is proved that all interference graphs of the IR in
*strict* SSA form are chordal and for those, there are polynomial
algorithms for
the graph coloring (http://web.cs.ucla.edu/~palsberg/paper/aplas05.pdf).

-- 
Natanael Ramos
Membro do corpo discente de Ciência da Computação pelo Instituto Federal de
Minas Gerais - Campus Formiga
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150903/eebb2229/attachment.html>