From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-490299-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 51477 invoked by alias); 16 Nov 2018 16:28:27 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 51340 invoked by uid 89); 16 Nov 2018 16:28:25 -0000
Authentication-Results: sourceware.org; auth=none
X-Spam-SWARE-Status: No, score=-2.3 required=5.0 tests=AWL,BAYES_00,SPF_PASS autolearn=ham version=3.3.2 spammy=matz, Matz, Hx-languages-length:431, H*F:D*ru
X-HELO: smtp.ispras.ru
Received: from bran.ispras.ru (HELO smtp.ispras.ru) (83.149.199.196) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 16 Nov 2018 16:28:23 +0000
Received: from monopod.intra.ispras.ru (monopod.intra.ispras.ru [10.10.3.121])	by smtp.ispras.ru (Postfix) with ESMTP id D6880203B7;	Fri, 16 Nov 2018 19:28:20 +0300 (MSK)
Date: Fri, 16 Nov 2018 16:28:00 -0000
From: Alexander Monakov <amonakov@ispras.ru>
To: Michael Matz <matz@suse.de>
cc: Segher Boessenkool <segher@kernel.crashing.org>,     Jakub Jelinek <jakub@redhat.com>, Martin Sebor <msebor@gmail.com>,     Gcc Patch List <gcc-patches@gcc.gnu.org>
Subject: Re: [PATCH] diagnose unsupported uses of hardware register variables (PR 88000)
In-Reply-To: <alpine.LSU.2.21.1811161515200.18790@wotan.suse.de>
Message-ID: <alpine.LNX.2.20.13.1811161924260.13928@monopod.intra.ispras.ru>
References: <20181114122250.GZ23873@gate.crashing.org> <20181114122726.GW11625@tucnak> <alpine.LNX.2.20.13.1811141531160.10221@monopod.intra.ispras.ru> <20181114135305.GB23873@gate.crashing.org> <alpine.LNX.2.20.13.1811141658570.10221@monopod.intra.ispras.ru> <20181114174723.GD23873@gate.crashing.org> <alpine.LNX.2.20.13.1811142053100.10221@monopod.intra.ispras.ru> <alpine.LSU.2.21.1811151544332.18790@wotan.suse.de> <alpine.LNX.2.20.13.1811151858010.10221@monopod.intra.ispras.ru> <alpine.LSU.2.21.1811161515200.18790@wotan.suse.de>
User-Agent: Alpine 2.20.13 (LNX 116 2015-12-14)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
X-SW-Source: 2018-11/txt/msg01501.txt.bz2

On Fri, 16 Nov 2018, Michael Matz wrote:
> > This follows both your model
> 
> Not really, it ignores the fact that 'a' can change at any time, which is 
> what happens.

Are you saying that local register variables, in your model, are essentially
unfit for passing operands to inline asm on specific registers (i.e. their
primary purpose)?

Alexander