Hi Luc, On 22 March 2017 at 19:29, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: >> >>>> I am trying to see if sparse-llvm can handle unsimplified IR output >> >>>> from linearizer. I think there is a problem in how it handles phisrc. >> >>> >> >>> Does your non-simplified sparse IR contain the liveness information? >> >>> I think those are needed for the handling of OP_PHI & OP_PHISOURCE >> >>> in sparse-llvm. >> >>> >> >> >> >> Probably not - I commented out everything in linearize_fn() from >> >> simplify_symbol_usage() and downwards. Please tell me if this is >> >> incorrect. >> > >> > As far as I understand, sparse-llvm needs track_pseudo_liveness(). >> > >> >> Tried that - it made no difference. > > I'm not sure liveness info has much sense without simplification, > at least part of it. > You were right - I needed to retain following line: track_pseudo_death(C, ep); I mistakenly thought (going by name) that I had to call: track_pseudo_liveness(C, ep); Anyway it appears that this now populates the phi_users list so that the code works correctly. Thanks for your help. 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
