On Thu, Aug 17, 2017 at 8:16 AM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > On Thu, Aug 17, 2017 at 2:09 AM, Luc Van Oostenryck wrote: > > I assume you need the phi-node relocation similar to the one used > in "dead code elimination using ssa". That will get merge the block > with phi node in it. No, it doesn't seems to be related. It's a miised opportunity of 'try_to_simplify_bb()'. One of the patches in my complete series solves it (and, it seems, the other differences too but I didn't yet checked it thoroughly). It's totally independent of the series, I can send it just after the series. >> just different code. But the context checking is quite limited and see now >> a path where the context could differ. I practice they won't differ and with >> previous code the context checking saw that because this patch was >> unexisting due to more aggressive merge of BB. > > Interesting.Context checking is very sensitive and give a lot of false > positives. Yes, but of course, the general case is impossible to have correctly. -- 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
