From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pekka Enberg Subject: Re: [PATCH 5/5] sparse: Add end-to-end compiler shell script Date: Thu, 25 Aug 2011 13:28:59 +0300 Message-ID: <4E5623EB.10707@kernel.org> References: <1314021451-24808-1-git-send-email-penberg@kernel.org> <1314021451-24808-5-git-send-email-penberg@kernel.org> <4E526D0E.8030008@garzik.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from mail-ey0-f174.google.com ([209.85.215.174]:42576 "EHLO mail-ey0-f174.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751951Ab1HYK3E (ORCPT ); Thu, 25 Aug 2011 06:29:04 -0400 Received: by eyx24 with SMTP id 24so1438022eyx.19 for ; Thu, 25 Aug 2011 03:29:02 -0700 (PDT) In-Reply-To: <4E526D0E.8030008@garzik.org> Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Jeff Garzik Cc: linux-sparse@vger.kernel.org, Christopher Li , Jeff Garzik , Linus Torvalds On 8/22/11 5:51 PM, Jeff Garzik wrote: > On 08/22/2011 09:57 AM, Pekka Enberg wrote: >> This patch adds a 'kcc' shell script that combines the sparse's i386 >> backend >> with GCC and GNU assembler to make it easier for people to find bugs >> in sparse. >> You can, for example, attempt to build sparse with itself and see it >> crash and >> burn: >> >> make&& find . -name "*.o" | xargs rm >> make CC=./kcc >> CC test-lexing.o >> FIXME! no value for symbol preprocess_only. creating pseudo 1 >> (stack offset 4) >> {standard input}: Assembler messages: >> {standard input}:79: Error: operand type mismatch for `mov' >> make: *** [test-lexing.o] Error 1 >> >> Cc: Christopher Li >> Cc: Jeff Garzik >> Cc: Linus Torvalds >> Signed-off-by: Pekka Enberg > > For the record, the i386 backend is quite incomplete and awful. > > Ideally, an sparse compiler would work from linearized output, not > from walking the tree as compile-i386 does. Christopher, please drop this patch. I'm not planning to continue hacking on compile-i386.c. Pekka