From patchwork Tue Mar 22 12:38:26 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ilya Enkovich X-Patchwork-Id: 600764 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 3qTshj3Y1bz9s5Q for ; Tue, 22 Mar 2016 23:39:32 +1100 (AEDT) Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.b=LdeK4roZ; dkim-atps=neutral DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :from:to:subject:message-id:mime-version:content-type; q=dns; s= default; b=ikF4LGFSsLiRq4IeELB6Un+ZxCa37Z+GoxlTWIDIRC9lvfr2BC6fb c0139Y79qFhjEBDJM+1HiDIlYhRUTrEBeRQHU+aO3Fe2PN1LOI3RmM6BxLGafTqi UFH7iKvqTDtJaD5/lYoO0YQr17EVky7zH7EduvaIlB/woD3JtWzHsg= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :from:to:subject:message-id:mime-version:content-type; s= default; bh=jWrf79e0EIgZA2P058Y9m5BDR9M=; b=LdeK4roZwsXTy3/O9Ekc n+CYHujkGymN/i76dwdk4x1NBKC/K2UYGEB+2TsX2K5ZGrwmQhHSoOu4PMGWKOV7 K7X4lLQYwyX7/EJsYU3r6+WL2HiKJsMIPMDzYEd1yf5vzxIgQKkIVRzqh27VOua+ 9zFzxl2guwp+uul5mUojXbw= Received: (qmail 128019 invoked by alias); 22 Mar 2016 12:39:25 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 128009 invoked by uid 89); 22 Mar 2016 12:39:25 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=BAYES_00, FREEMAIL_FROM, RCVD_IN_DNSWL_LOW, SPF_PASS autolearn=ham version=3.3.2 spammy=enkovich.gnu@gmail.com, enkovichgnugmailcom, 2016-03-22 X-HELO: mail-wm0-f41.google.com Received: from mail-wm0-f41.google.com (HELO mail-wm0-f41.google.com) (74.125.82.41) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Tue, 22 Mar 2016 12:39:23 +0000 Received: by mail-wm0-f41.google.com with SMTP id p65so161697365wmp.0 for ; Tue, 22 Mar 2016 05:39:23 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition:user-agent; bh=un/1qvccTZFO4lrSep3nI4FDqzLbwTRJo1Vra0WDQ40=; b=KEqDROVZ+IBUGi/W/cSZZEDBzs5PBQnCltB3CssyXqzZ5E59WUrDdFOi0XoLdu5Y/d czzVYSJTPozB+rNG6whk3kDaoOq3ixJkn5gB3CLudaZ6CTQ7rQym8wLPRrebkqWu9u3L luHbAr+i56yVsWiSlGBHK+NPowNXoUE/j0u6t7yiyYoQ5S7xrq5cbkdRu3gu0rIomU87 MxiUzpLsYiLakTsFz+pr4g0ssDGsLspozhlED+q1YvKfTs5LpkfkutVu/G9IM9A52EzS bBS/ZrH+hjkbN1e+erqc/GaIUsccAXWF8ri9iiAx308TI6XN7DrcEemuMhQBNPivuQXH eXDA== X-Gm-Message-State: AD7BkJLo3LojueytLxq1ZF/BQcUtzSKRnVxH328wb5I+FLVw4QFdtcc+iUw1S0Vr4Kr4vA== X-Received: by 10.194.242.202 with SMTP id ws10mr36258157wjc.3.1458650360275; Tue, 22 Mar 2016 05:39:20 -0700 (PDT) Received: from msticlxl57.ims.intel.com (irdmzpr01-ext.ir.intel.com. [192.198.151.36]) by smtp.gmail.com with ESMTPSA id k125sm17127199wmb.14.2016.03.22.05.39.19 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 22 Mar 2016 05:39:19 -0700 (PDT) Date: Tue, 22 Mar 2016 15:38:26 +0300 From: Ilya Enkovich To: gcc-patches@gcc.gnu.org Subject: [PATCH, PR target/70302] STV: support unitialized register used in converted instructions Message-ID: <20160322123826.GA309@msticlxl57.ims.intel.com> MIME-Version: 1.0 Content-Disposition: inline User-Agent: Mutt/1.5.23 (2014-03-12) X-IsSubscribed: yes Hi, This patch allows uninitialized registers usage in instructions converted by STV pass. Bootstrapped and tested on x86_64-pc-linux-gnu{-m32}. OK for trunk? Thanks, Ilya --- gcc/ 2016-03-22 Ilya Enkovich PR target/70302 * config/i386/i386.c (scalar_chain::convert_op): Support uninitialized register usage case. gcc/testsuite/ 2016-03-22 Ilya Enkovich PR target/70302 * gcc.target/i386/pr70302.c: New test. diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index 3d8dbc4..d25c5c4 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -3409,6 +3409,20 @@ scalar_chain::convert_op (rtx *op, rtx_insn *insn) fprintf (dump_file, " Preloading operand for insn %d into r%d\n", INSN_UID (insn), REGNO (tmp)); } + else if (REG_P (*op)) + { + /* We may have not converted register usage in case + this register has no definition. Otherwise it + should be converted in convert_reg. */ + df_ref ref; + FOR_EACH_INSN_USE (ref, insn) + if (DF_REF_REGNO (ref) == REGNO (*op)) + { + gcc_assert (!DF_REF_CHAIN (ref)); + break; + } + *op = gen_rtx_SUBREG (V2DImode, *op, 0); + } else { gcc_assert (SUBREG_P (*op)); diff --git a/gcc/testsuite/gcc.target/i386/pr70302.c b/gcc/testsuite/gcc.target/i386/pr70302.c new file mode 100644 index 0000000..9b82a0c --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr70302.c @@ -0,0 +1,22 @@ +/* { dg-do compile { target { ia32 } } } */ +/* { dg-options "-O2 -msse2" } */ + +long a, c, e; +int b, d; +unsigned long long f; + +extern void fn2 (const char *, int, int, int); + +void +fn1(long long p1) +{ + unsigned long long g; + int i; + for (; i;) + if (e) + g = c; + if (a) + f = p1; + if (!f && !g) + fn2("", b, d, d); +}