From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pekka Enberg Subject: Re: [ANNOUNCE] LLVM backend for Sparse Date: Mon, 29 Aug 2011 17:22:47 +0300 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Return-path: Received: from mail-iy0-f174.google.com ([209.85.210.174]:65474 "EHLO mail-iy0-f174.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753372Ab1H2OWs convert rfc822-to-8bit (ORCPT ); Mon, 29 Aug 2011 10:22:48 -0400 Received: by iabu26 with SMTP id u26so528481iab.19 for ; Mon, 29 Aug 2011 07:22:47 -0700 (PDT) In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Christopher Li Cc: linux-sparse@vger.kernel.org, Jeff Garzik , Linus Torvalds , Josh Triplett On Sat, Aug 27, 2011 at 11:08 PM, Pekka Enberg wro= te: >> Jeff Garzik and myself have been hacking on LLVM backed for Sparse. = The >> sources >> are available on Github: >> >> =A0git clone git://github.com/penberg/sparse-llvm.git On Sun, Aug 28, 2011 at 11:51 AM, Christopher Li w= rote: > Very impressive. That is some sparse 0.5 material. > I will start merging it as soon as I release 0.4.4 > > I play around with it a little bit, It seems choke on the hello > world program. Shouldn't be hard to fix though. It's alive! $ cat validation/backend/hello.c #include int main(int argc, char *argv[]) { puts("hello, world"); return 0; } /* * check-name: 'hello, world' code generation * check-command: ./sparsec -c $file -o tmp.o */ $ ./sparsec -c validation/backend/hello.c -o tmp.o && gcc tmp.o && ./a.= out hello, world You can find details in this commit: https://github.com/penberg/sparse-llvm/commit/deb11bd4ee6ed46bce6a5e35a= 69ada519d81a0a8 Pekka -- To unsubscribe from this list: send the line "unsubscribe linux-sparse"= in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html