Hi, I am trying to get to grips with the Sparse Linear format and the use of pseudos. 1) A Sparse document says that pseudos are akin to SSA variables. Is that a true statement - i.e. do pseudos follow the discipline that only one assignment to a pseudo is allowed. As pseudos have also different sub-types - does this statement apply to all pseudo types or only some sub types? 2) In a recent conversation it was stated that the baseline Linear output from Sparse is already in SSA form. That implies that all pseudos used are in SSA form already. However we know that in the baseline line IR phi nodes may not be present. In LLVM the initial IR lacks phi nodes too - instead local stack memory and load/store sequences are used. However LLVM IR is still SSA at this stage. When it is said that the baseline Linear IR is already SSA is it in this sense? Thanks and Regards Dibyendu -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
