On Sun, Aug 13, 2017 at 10:20 PM, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: >>> I have to disable simplifications anyway to get correct IR in some >>> cases. >> >> Care to send some examples you have problems with? >> > > Sure - you already know this one: > > https://github.com/dibyendumajumdar/dmr_c/blob/master/tests/bugs/simplifybug.c When I'm using all LLVM fixes I've ever submitted and my SSA patches on top available at: git://github.com/lucvoo/sparse.git sssa-next This simplifybug.c doesn't seem to have problems with sparse-LLVM. I'm less sure about the generated code, of course. > Additionally following fails if simplifications are turned on. I have > not analysed the reason yet. > > https://github.com/dibyendumajumdar/dmr_c/blob/master/tests/minilua/minilua.c This 8000 lines file has a lot of header file dependencies, I'm willing to take a look at the preprocessed output if you send it. > Note also that I have a couple of workarounds in my repository: > > http://marc.info/?l=linux-sparse&m=148953605610758&w=2 Only half of the function is there. Care to send to full version? > http://marc.info/?l=linux-sparse&m=148993825216454&w=2 A floating-point test program while sparse has very very poor fp support ... hmmm and with a header file dependencies. Care to send the preprocessed output? Regards, -- 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
