<div dir="ltr">Hi again,<br><div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Apr 29, 2013 at 6:49 PM, Behan Webster <span dir="ltr">&lt;<a href="mailto:behanw@converseincode.com" target="_blank">behanw@converseincode.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="im">On 13-04-29 12:16 PM, Marcelo Sousa wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Hello all,<br>
<br>
Can someone elaborate on what&#39;s the status of the project for X86_64?<br>
</blockquote></div>
It builds, boots and works in our limited testing so far.<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
I&#39;m interested in applying my static analysis tools that I developed for LLVM IR to the Linux Kernel.<br>
</blockquote></div>
Sounds great!<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
However, it&#39;s clear that clang is not there yet to cope with Kernel code.<br>
</blockquote></div>
It&#39;s not that simple. The kernel code does a number of things which are very gcc-ish and in some cases break the C standards. We largely patch around those problems. The work is upstreaming fixes to the kernel, or upstreaming code to LLVM to add compatibility. This is ongoing work.</blockquote>
<div><br></div><div>Where can I read more about which things the kernel is doing that are sketchy in this context?<br> <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 class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Are you applying patches at which level: clang, Kernel or both?<br>
</blockquote></div>
Both code bases. We have a few more things we want to upstream to Clang/LLVM, but it will mostly work fine for clang 3.3 when released. There is a lot more to upstream to the kernel still (mostly because without a clang which works, upstreaming code to the kernel which they can&#39;t test is a non-starter)</blockquote>
<div><br>Can you elaborate on which changes to what? Is this documented 
somewhere? I need to do some sanity check there to praise soundness of 
my tools.<br> <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 class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Some weeks ago I was able to generate LLVM IR for vexpress, but I need a more functional infrastructure that can work for x86 and several version of the Kernel. Is this at all possible at the moment?<br>
</blockquote></div>
Give x86_64 a try.<br>
<br>
Try building it in our build system. It is the easiest way to work with all of these updates (and the easiest to try new code we add).<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
I&#39;m willing to spend time coding and fixing issues, so please feel free to point me around. Furthermore, when will you have the next meeting?<br>
</blockquote></div>
The meetings are scheduled with doodle polls then announced on this mailing list. You should have seen the latest meeting listed here this past Friday. Here it is again for your convenience: :)<br>
<br>
Thursday, May 2 at 3pm UTC (11AM EST) on Google Hangouts. Make sure you circle me on G+ so I can add you to the call.<br>
<br>
We hope to see you there!<span class=""><font color="#888888"><br></font></span></blockquote><div><br></div><div>See you there!<br></div><div><br>Regards,<br></div><div>Marcelo<br> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<span class=""><font color="#888888">
<br>
Behan<br>
<br>
-- <br>
Behan Webster<br>
<a href="mailto:behanw@converseincode.com" target="_blank">behanw@converseincode.com</a><br>
<br>
</font></span></blockquote></div><br></div></div></div>