On 13 August 2017 at 22:16, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Sun, Aug 13, 2017 at 10:20 PM, Dibyendu Majumdar > <mobile@xxxxxxxxxxxxxxx> wrote: >> 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. > Actually after RC5 merge there is a change in behaviour. Previously it would would fail to compile when simplifications were turned on. Now: 1) Without single store shortcut it fails to compile. The error generated is: error: no result for pseudo minilua.c:5593:24: error: failed to output instruction load.64* %r13018 <- 16[VOID] minilua.c:5593:24: error: failed to output load.64* %r13018 <- 16[VOID] 2) With single store shortcut it appears to compile successfully but when the executable is run against the 'dynasm' test the test fails. The un-simplified version works however. Here are the linearized outputs: Unsimplified: https://github.com/dibyendumajumdar/dmr_c/blob/mergesparse/tests/minilua/minilua.lin Simplified with single store shortcut switched OFF: https://github.com/dibyendumajumdar/dmr_c/blob/mergesparse/tests/minilua/minilua_opt.lin Simplified with single store shortcut switched ON: https://github.com/dibyendumajumdar/dmr_c/blob/mergesparse/tests/minilua/minilua_opt_sss.lin I am not sure this helps you. >> 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? > Maybe we can look at these ones later ... 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
