On Sun, Aug 06, 2017 at 08:46:10AM -0400, Christopher Li wrote: > On Tue, Mar 28, 2017 at 12:20 PM, Linus Torvalds > > becomes > > > > and.32 %r3 <- %r4, $-65 > > or.32 %r4 <- %r3, $64 > > Sorry I wasn't able to participate this discussion earlier. I am catching > up at the important sparse mailing list discussion. This is one of them. > > This has puzzle me for a long time. From the looks it seems %4 was > used before it was define. Is that legal SSA form? What do you mean exactly by "legal SSA form"? As I've already tried to explain you several times: it's a *symptom* that something have been wrong, either: - the initial code had some undefined variables - it's an internal bug. In both cases you can't do anymore 'normal' processing on it. In this sense it's "illegal". The other way to see it is something like: "ok, this means that the pseudo was not initialized" (and ignore the internal bug aspect) and then process it as such (for example choose any value you like for it). You can call this "a new/legal SSA form" if you like but it will only confuse discussion and won't change it's nature. -- 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
