From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12382 invoked by alias); 14 Oct 2016 09:33:20 -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 12371 invoked by uid 89); 14 Oct 2016 09:33:19 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.4 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,RCVD_IN_SORBS_SPAM,SPF_PASS autolearn=no version=3.3.2 spammy=Hx-languages-length:1023 X-HELO: mail-qk0-f193.google.com Received: from mail-qk0-f193.google.com (HELO mail-qk0-f193.google.com) (209.85.220.193) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 14 Oct 2016 09:33:18 +0000 Received: by mail-qk0-f193.google.com with SMTP id n189so8091727qke.1 for ; Fri, 14 Oct 2016 02:33:17 -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=jUn64c0Gg1NdMgMPiz0fABG7+XIqcu+xF0OKaz2Qfis=; b=hsAfvLO1IcYkfWdcPXCLOOtZgvzVOUhEBgkmlePUa6Cwhzf/iXqvG8ZWz91EQZoYV7 lILkORnprQcROMt3a3YZbRTUplktKHB8xkgHvaJ5LKFSc4bUg/nH0FGsoZzxIsiHvVbz TW/pjCXKoluyMgKcDN5M6vxpwhMkK83kRFya/1BUke7yXur248TuOVPzTyCvXqrkPALc WJ8pBySWPrxG5PPms/Tsil30jgt3gPWud0ke8u6nNNSjbkJhIsraiRCGYiK9rMEhjfWF PKjwDAj5CWPXoEShNyqjz0koOAxBHJjlhlkjk4e6VeaF6uR4nz9D2/0Yx1quEINUDHtB BjrQ== X-Gm-Message-State: AA6/9Rma8BsBFnnVkEm8hlpYip7UfaXSvotIXE7FyPtP0E52AP1RCdm562aCCVb7spb81vtyuH1T1aKmtDxYSw== X-Received: by 10.194.30.137 with SMTP id s9mr1354242wjh.77.1476437596295; Fri, 14 Oct 2016 02:33:16 -0700 (PDT) MIME-Version: 1.0 Received: by 10.28.155.146 with HTTP; Fri, 14 Oct 2016 02:33:15 -0700 (PDT) In-Reply-To: References: <1475855912-44611-1-git-send-email-dmalcolm@redhat.com> From: Richard Biener Date: Fri, 14 Oct 2016 09:33: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/msg01116.txt.bz2 On Thu, Oct 13, 2016 at 3:51 PM, Bernd Schmidt wrote: > On 10/13/2016 03:49 PM, Richard Biener wrote: >> >> Does it really run a single pass only? Thus you can't do a { dg-do run } >> test >> with __RTL? > > > I think that's really not the intended use-case. To my mind this is for > unit-testing: ensuring that a given rtl pass performs the expected > transformation on an input. 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. OTOH the question then still is what's the default behavior if you do _not_ specify a "single pass to run". Richard. > > Bernd