On Fri, Aug 18, 2017 at 6:18 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > > I just realized another side effect of doing the SSA conversion on > the AST directly. It means we will not have access to the linearization > byte code before promoting the memory variable to pseudo. Of course. But consider the other side: it means that you already have already a lot of variables promoted to pseudo *while* doing the linearization. It means that you already can know quite a bit about the 'values' during linearization and avoid to generate code that will be thrown away soon after being created. > Maybe later on we can consider an option to > avoid doing the SSA conversion on memory variable as an option. Sure, but it's a serious research topic too. Lots can be done. A few things are easy and cheap, most are quite complex and expensive. -- Luc -- 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
