From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-490307-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 43696 invoked by alias); 16 Nov 2018 16:43:06 -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 43681 invoked by uid 89); 16 Nov 2018 16:43:05 -0000
Authentication-Results: sourceware.org; auth=none
X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,SPF_PASS autolearn=ham version=3.3.2 spammy=lean
X-HELO: mx1.suse.de
Received: from mx2.suse.de (HELO mx1.suse.de) (195.135.220.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 16 Nov 2018 16:43:04 +0000
Received: from relay1.suse.de (unknown [195.135.220.254])	by mx1.suse.de (Postfix) with ESMTP id 6CFFAAFEB;	Fri, 16 Nov 2018 16:43:02 +0000 (UTC)
Date: Fri, 16 Nov 2018 16:43:00 -0000
From: Michael Matz <matz@suse.de>
To: Alexander Monakov <amonakov@ispras.ru>
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.LNX.2.20.13.1811161924260.13928@monopod.intra.ispras.ru>
Message-ID: <alpine.LSU.2.21.1811161641140.18790@wotan.suse.de>
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> <alpine.LNX.2.20.13.1811161924260.13928@monopod.intra.ispras.ru>
User-Agent: Alpine 2.21 (LSU 202 2017-01-01)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
X-IsSubscribed: yes
X-SW-Source: 2018-11/txt/msg01509.txt.bz2

Hi,

On Fri, 16 Nov 2018, Alexander Monakov wrote:

> > 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)?

It seems so, yes.  Obviously we _want_ them to be used for this purpose, 
so something is wrong with my mental model :)  I think I'm starting to 
lean towards your model, hmm.


Ciao,
Michael.