From mboxrd@z Thu Jan 1 00:00:00 1970 From: Derek M Jones Subject: Re: [ANNOUNCE] LLVM backend for Sparse Date: Mon, 29 Aug 2011 16:14:51 +0100 Message-ID: <4E5BACEB.7020502@knosof.co.uk> References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from queueout04-winn.ispmail.ntl.com ([81.103.221.58]:36798 "EHLO queueout04-winn.ispmail.ntl.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753528Ab1H2P7y (ORCPT ); Mon, 29 Aug 2011 11:59:54 -0400 In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Pekka Enberg Cc: Christopher Li , linux-sparse@vger.kernel.org, Jeff Garzik , Linus Torvalds , Josh Triplett Pekka, >>> Jeff Garzik and myself have been hacking on LLVM backed for Sparse. The ... > It's alive! Congratulations. It is always great to see a compiler generate executable code for the first time. It is useful to have a semantic checker generate executable code because it provides confirmation that lots of internal processing is working as intended and therefore increases confidence that the semantic checks are correct. Can people allay my concern that this work is not on the slippery slope leading to sparse becoming the recommended compiler for building the kernel? -- Derek M. Jones tel: +44 (0) 1252 520 667 Knowledge Software Ltd blog:shape-of-code.codingguidelines.com Source code analysis http://www.knosof.co.uk