<div><div dir="auto">Hi Alberto,</div></div><div dir="auto">Can you please file a bug for it, with the test case attached (if you haven't already).</div><div dir="auto"><br></div><div dir="auto">Thanks,</div><div dir="auto">Ehud.</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 1 Feb 2020 at 11:32 Alberto Barbaro via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Hi all,</div><div>just a gentle reminder :) Is there any update on this please?</div><div><br></div><div>Happy to help in any way I can</div></div><div dir="ltr"><div><br></div><div>Alberto<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il giorno ven 3 gen 2020 alle ore 23:04 David Blaikie <<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hey Lang - does any of this look familiar to you?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jan 3, 2020 at 7:04 AM Alberto Barbaro <<a href="mailto:barbaro.alberto@gmail.com" target="_blank">barbaro.alberto@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">David,<div>sorry for this email but I noticed I made a mistake in the previous one. So I managed to compile llvm Debug with asserts release. I have used the following commands:</div><div><br></div><div>cmake -DLLVM_TARGETS_TO_BUILD=X86 -DLLVM_ENABLE_RTTI=ON -DLLVM_ENABLE_FFI=ON -DCMAKE_BUILD_TYPE=Debug -DLLVM_ENABLE_ASSERTIONS=ON ..<br></div><div>cmake --build . -- -j8 && sudo cmake --build . --target install<br></div><div><br></div><div>Once lli was installed it was enough to use the .bc</div><div><br></div><div>/usr/local/bin/lli --debug --force-interpreter pngpixel_crash.bc 0 0 mini.png  </div><div>...</div><div>png_ptr->width: 1<br>max_pixel_depth: 24<br>row_bytes: 28</div><div>...</div><div>About to interpret:   store <2 x %struct.code*> <%struct.code* getelementptr inbounds ([512 x %struct.code], [512 x %struct.code]* @fixedtables.lenfix.681, i64 0, i64 0), %struct.code* getelementptr inbounds ([32 x %struct.code], [32 x %struct.code]* @fixedtables.distfix.682, i64 0, i64 0)>, <2 x %struct.code*>* %96, align 8, !tbaa !50<br>Unknown constant pointer type!<br>UNREACHABLE executed at /home/al/llvm-9.0.0.src/lib/ExecutionEngine/ExecutionEngine.cpp:1008!<br>Stack dump:<br>0.      Program arguments: /usr/local/bin/lli --force-interpreter pngpixel_crash.bc 0 0 mini.png <br> #0 0x0000564bad642af9 llvm::sys::PrintStackTrace(llvm::raw_ostream&) /home/al/llvm-9.0.0.src/lib/Support/Unix/Signals.inc:533:0<br> #1 0x0000564bad642b8c PrintStackTraceSignalHandler(void*) /home/al/llvm-9.0.0.src/lib/Support/Unix/Signals.inc:594:0<br> #2 0x0000564bad640a66 llvm::sys::RunSignalHandlers() /home/al/llvm-9.0.0.src/lib/Support/Signals.cpp:68:0<br> #3 0x0000564bad6424b0 SignalHandler(int) /home/al/llvm-9.0.0.src/lib/Support/Unix/Signals.inc:385:0<br> #4 0x00007f697df61890 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12890)<br> #5 0x00007f697ca0ae97 raise /build/glibc-OTsEL5/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0<br> #6 0x00007f697ca0c801 abort /build/glibc-OTsEL5/glibc-2.27/stdlib/abort.c:81:0<br> #7 0x0000564bad5ce768 bindingsErrorHandler(void*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, bool) /home/al/llvm-9.0.0.src/lib/Support/ErrorHandling.cpp:218:0<br> #8 0x0000564bacfc2e5a llvm::ExecutionEngine::getConstantValue(llvm::Constant const*) /home/al/llvm-9.0.0.src/lib/ExecutionEngine/ExecutionEngine.cpp:1013:0<br> #9 0x0000564bacfeb873 llvm::Interpreter::getOperandValue(llvm::Value*, llvm::ExecutionContext&) /home/al/llvm-9.0.0.src/lib/ExecutionEngine/Interpreter/Execution.cpp:2108:0<br>#10 0x0000564bacfe548a llvm::Interpreter::visitStoreInst(llvm::StoreInst&) /home/al/llvm-9.0.0.src/lib/ExecutionEngine/Interpreter/Execution.cpp:1105:0<br>#11 0x0000564bacfee32f llvm::InstVisitor<llvm::Interpreter, void>::visitStore(llvm::StoreInst&) /home/al/llvm-9.0.0.src/include/llvm/IR/Instruction.def:173:0<br>#12 0x0000564bacfed18d llvm::InstVisitor<llvm::Interpreter, void>::visit(llvm::Instruction&) /home/al/llvm-9.0.0.src/include/llvm/IR/Instruction.def:173:0<br>#13 0x0000564bacfebd7b llvm::Interpreter::run() /home/al/llvm-9.0.0.src/lib/ExecutionEngine/Interpreter/Execution.cpp:2161:0<br>#14 0x0000564bacfd6bdc llvm::Interpreter::runFunction(llvm::Function*, llvm::ArrayRef<llvm::GenericValue>) /home/al/llvm-9.0.0.src/lib/ExecutionEngine/Interpreter/Interpreter.cpp:101:0<br>#15 0x0000564bacfbfb94 llvm::ExecutionEngine::runFunctionAsMain(llvm::Function*, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > const&, char const* const*) /home/al/llvm-9.0.0.src/lib/ExecutionEngine/ExecutionEngine.cpp:470:0<br>#16 0x0000564bac794cc4 main /home/al/llvm-9.0.0.src/tools/lli/lli.cpp:614:0<br>#17 0x00007f697c9edb97 __libc_start_main /build/glibc-OTsEL5/glibc-2.27/csu/../csu/libc-start.c:344:0<br>#18 0x0000564bac791a9a _start (/usr/local/bin/lli+0x110aa9a)<br>[1]    12828 abort (core dumped)  /usr/local/bin/lli --force-interpreter pngpixel_crash.bc 0 0 mini.png<br></div><div><br></div><div>So I'm certaint that the crash happend in ExecutionEngine::getConstantValue. </div><div><br></div><div>In addition, I have noticed that ElemTy->getTypeID() is 15 ( pointer type of type struct.code ) but the switch branch ( Line 917 ) in not able to deal with it so the llvm_unrecheable instruction is reached.</div><div><br></div><div>So I can conclude that the problem is that the switch branch is not able to deal with pointers.. Any suggestion on how to fix it please?</div><div><br></div><div>Do it help to narrow down the problem?</div><div><br></div><div>Thanks</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il giorno ven 3 gen 2020 alle ore 11:28 Alberto Barbaro <<a href="mailto:barbaro.alberto@gmail.com" target="_blank">barbaro.alberto@gmail.com</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">David,<div dir="auto">Using llvm 9 the crash is not present anymore. I think it was just time for me to update my code...</div><div dir="auto"><br></div><div dir="auto">Thanks for your help</div><div dir="auto"><br></div><div dir="auto">Alberto</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Dec 24, 2019, 21:16 Alberto Barbaro <<a href="mailto:barbaro.alberto@gmail.com" target="_blank">barbaro.alberto@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div>Hi David,<div dir="auto">In pretty sure that the crash is due to the instruction I have shared in my first email. In order to run pngpixel you just need libpng and zlib.. honest I thought that the .bc had Al the necessary. I'm happy to help you to reproduce it. As a curiosity, why do you think you cannot reproduce it?</div><div dir="auto"><br></div><div dir="auto">Unfortunately I won't be able to modify the interpreter soon.. anyway, I'll try to dump s much info as possible. </div><div dir="auto"><br></div><div dir="auto">Thanks</div><div dir="auto">Alberto</div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Dec 24, 2019, 22:09 David Blaikie <<a href="mailto:dblaikie@gmail.com" rel="noreferrer" target="_blank">dblaikie@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">I can't reproduce it (just because of other local differences that lead to failures before it reaches this point, not because it passes for me or anything)<br><br>I'd suggest you hop in with a debugger and/or modify the interpreter to print more information at that unreachable - to see what sort of type you do have & maybe then it'll be more clear what should be done with that type, or why it's a weird type, etc.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Dec 19, 2019 at 11:32 AM Alberto Barbaro <<a href="mailto:barbaro.alberto@gmail.com" rel="noreferrer noreferrer" target="_blank">barbaro.alberto@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="auto">Hi David,<div dir="auto">Thanks for the suggestions. I can definitely provide the example bc file and image ( please see the attachments ). For the debug + asserts I need a bit of more time.</div><div dir="auto"><br></div><div>Anyway the full output of lli is:</div><div><br></div><div>lli --force-interpreter examples/pngpixel_crash.bc 0 0 examples/mini.png <br>png_ptr->width: 1<br>max_pixel_depth: 24<br>row_bytes: 28<br>Unknown constant pointer type!<br>UNREACHABLE executed at /home/al/Desktop/llvm-6.0.1.src/lib/ExecutionEngine/ExecutionEngine.cpp:1007!<br>LLVMSymbolizer: error reading file: No such file or directory<br>#0 0x0000000001765ee9 (lli+0x1765ee9)<br>#1 0x0000000001766099 (lli+0x1766099)<br>#2 0x0000000001764643 (lli+0x1764643)<br>#3 0x0000000001766424 (lli+0x1766424)<br>#4 0x00007f5dc5fc7890 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12890)<br>#5 0x00007f5dc4a85e97 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x3ee97)<br>#6 0x00007f5dc4a87801 abort (/lib/x86_64-linux-gnu/libc.so.6+0x40801)<br>#7 0x00000000016d7150 (lli+0x16d7150)<br>#8 0x0000000001139543 (lli+0x1139543)<br>#9 0x00000000011500b8 (lli+0x11500b8)<br>#10 0x000000000115c25d (lli+0x115c25d)<br>#11 0x0000000001167d32 (lli+0x1167d32)<br>#12 0x000000000116430d (lli+0x116430d)<br>#13 0x0000000001163580 (lli+0x1163580)<br>#14 0x000000000114e197 (lli+0x114e197)<br>#15 0x0000000001135ba0 (lli+0x1135ba0)<br>#16 0x00000000008c729d (lli+0x8c729d)<br>#17 0x00007f5dc4a68b97 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x21b97)<br>#18 0x00000000008c4f1a (lli+0x8c4f1a)<br>Stack dump:<br>0.     Program arguments: lli --force-interpreter examples/pngpixel_crash.bc 0 0 examples/mini.png <br>[1]    4344 abort (core dumped)  lli --force-interpreter examples/pngpixel_crash.bc 0 0 examples/mini.png<br></div><div><br></div><div>Please let me know if you can reproduce it!!</div><div><br></div><div>Thanks</div><div>Alberto<br></div><div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Dec 19, 2019, 19:10 David Blaikie <<a href="mailto:dblaikie@gmail.com" rel="noreferrer noreferrer" target="_blank">dblaikie@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Probably need a debug (& probably +Asserts) build to see more about where it's failing & that might help you fix it - if you want other folks to be able to help debug the issue, providing the full reproduction steps (the entire input files, what commands were run, etc) - though, preferably, minimized (simplify the inputs/commands, etc, while still producing the failure)</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Dec 19, 2019 at 11:06 AM Alberto Barbaro via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" rel="noreferrer noreferrer noreferrer" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hi all,</div><div>as usual I'm playing with the Interpreter and unfortunately I hit a crash. I have narrowed down the problem an the crash happens inside the inflate function which is part of zlib and specifically at the instruction:</div><div><br></div><div>store <2 x %struct.code*> <%struct.code* getelementptr inbounds ([512 x %struct.code], [512 x %struct.code]* @fixedtables.lenfix.681, i64 0, i64 0), %struct.code* getelementptr inbounds ([32 x %struct.code], [32 x %struct.code]* @fixedtables.distfix.682, i64 0, i64 0)>, <2 x %struct.code*>* %96, align 8, !tbaa !46</div><div><br></div><div>The output from lli is:</div><div><br></div><div>Unknown constant pointer type!<br>UNREACHABLE executed at /home/al/Desktop/llvm-6.0.1.src/lib/ExecutionEngine/ExecutionEngine.cpp:1007!<br>LLVMSymbolizer: error reading file: No such file or directory<br>#0 0x0000000001765ee9 (lli+0x1765ee9)<br>#1 0x0000000001766099 (lli+0x1766099)<br>#2 0x0000000001764643 (lli+0x1764643)<br>#3 0x0000000001766424 (lli+0x1766424)<br>#4 0x00007faade157890 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12890)<br>#5 0x00007faadcc15e97 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x3ee97)<br>#6 0x00007faadcc17801 abort (/lib/x86_64-linux-gnu/libc.so.6+0x40801)<br>#7 0x00000000016d7150 (lli+0x16d7150)<br>#8 0x0000000001139543 (lli+0x1139543)<br>#9 0x00000000011500b8 (lli+0x11500b8)<br>#10 0x000000000115c25d (lli+0x115c25d)<br>#11 0x0000000001167d32 (lli+0x1167d32)<br>#12 0x000000000116430d (lli+0x116430d)<br>#13 0x0000000001163580 (lli+0x1163580)<br>#14 0x000000000114e197 (lli+0x114e197)<br>#15 0x0000000001135ba0 (lli+0x1135ba0)<br>#16 0x00000000008c729d (lli+0x8c729d)<br>#17 0x00007faadcbf8b97 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x21b97)<br>#18 0x00000000008c4f1a (lli+0x8c4f1a)</div><div><br></div><div>Is there anyone that can help me to understand how to fix it even a simple workaround for the moment would be enough!</div><div><br></div><div>Thanks,</div><div>Alberto<br></div></div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" rel="noreferrer noreferrer noreferrer" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>
</blockquote></div>
</blockquote></div>
</blockquote></div></div></div>
</blockquote></div>
</blockquote></div>
</blockquote></div>
</blockquote></div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div></div>