From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 104536 invoked by alias); 14 Oct 2016 09:50:31 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 104526 invoked by uid 89); 14 Oct 2016 09:50:30 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.0 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,RCVD_IN_SORBS_SPAM,SPF_PASS autolearn=ham version=3.3.2 spammy=Hx-languages-length:1160 X-HELO: mail-lf0-f54.google.com Received: from mail-lf0-f54.google.com (HELO mail-lf0-f54.google.com) (209.85.215.54) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 14 Oct 2016 09:50:29 +0000 Received: by mail-lf0-f54.google.com with SMTP id b75so186602652lfg.3 for ; Fri, 14 Oct 2016 02:50:29 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=4uD35IvIHKcQyf9HWBZ/pLNHc788Fv2qII/dghfPa60=; b=GMV2Ub0eS4VqMx2YGb1YaKxEfQGxg57aFQ8cA8/hkTGgANhffnWw5PDNLaDgSTiE9V CgUrJQHTXyDpvOlBmvjVzNhb9Ds5VCprvyMzMmu5oqXACKNT1JeZz5aGOQhubQDDXq/y 5qxLQbpU3sfmX63qtRLYmo5FnonCzMN0G8VLEN/76nsvkyHn1mCN4Dgc+twTXkNxrvm0 QU3UiHWNULvc1QwuaLBeFcN2ELjBCncOkkOo8rWtOArlpO17zVs23n08VLzBuz+c86XL ijz+TLtY7Y14QCryAeW1ylMC9Uf13w+Dr9afrxDrFD4a6OYHR/nAJr9ARpeGBgI3jUAY dRzA== X-Gm-Message-State: AA6/9RmtzxDqLSic0mHmTz9lHM9XgS2PaRtFAqNmMDLD5F6H9tFiDOxrU2vx7kDqYGu7PAmfAHkx3lZrkCoWFQ== X-Received: by 10.28.169.151 with SMTP id s145mr1071695wme.40.1476438627089; Fri, 14 Oct 2016 02:50:27 -0700 (PDT) MIME-Version: 1.0 Received: by 10.28.155.146 with HTTP; Fri, 14 Oct 2016 02:50:26 -0700 (PDT) In-Reply-To: References: <1475855912-44611-1-git-send-email-dmalcolm@redhat.com> From: Richard Biener Date: Fri, 14 Oct 2016 09:50:00 -0000 Message-ID: Subject: Re: [PATCH] Add "__RTL" to cc1 (v2) To: Bernd Schmidt Cc: David Malcolm , Joseph Myers , GCC Patches Content-Type: text/plain; charset=UTF-8 X-IsSubscribed: yes X-SW-Source: 2016-10/txt/msg01122.txt.bz2 On Fri, Oct 14, 2016 at 11:48 AM, Bernd Schmidt wrote: > On 10/14/2016 11:33 AM, Richard Biener wrote: > >> Ok, so at least for the GIMPLE FE side I thought it's useful to allow >> a correctness verification with something simpler than pattern matching >> on the pass output. By means of doing runtime verification of an expected >> result (this necessarily includes running followup passes as we have to >> generate code). I don't see why this shouldn't apply to __RTL -- it might >> be more difficult to get __RTL testcases to the point where they emit >> assembly of course. > > > Also, if this ends up with a lot of testcases, I still think it would be > best to have these use a special rtl-test port so that the tests don't > become a maintenance burden for real ports, and so that we can construct the > tests any way we like. > Such a port might not even be able to produce executable code (unless you > also want to write a sim). Sure - I don't say running only a single pass doesn't make sense in some cases. It just adds a less fragile way of testing for correctness. Richard. > > Bernd