From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 50708 invoked by alias); 8 Apr 2019 01:28:18 -0000 Mailing-List: contact cgen-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cgen-owner@sourceware.org Received: (qmail 50659 invoked by uid 89); 8 Apr 2019 01:28:17 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=AWL,BAYES_00,SPF_HELO_PASS autolearn=ham version=3.3.1 spammy=driver, H*Ad:U*cgen X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 08 Apr 2019 01:28:16 +0000 Received: from smtp.corp.redhat.com (int-mx08.intmail.prod.int.phx2.redhat.com [10.5.11.23]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id A2819C04F4D3; Mon, 8 Apr 2019 01:28:14 +0000 (UTC) Received: from redhat.com (ovpn-116-49.phx2.redhat.com [10.3.116.49]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 842751948D; Mon, 8 Apr 2019 01:28:14 +0000 (UTC) Received: from fche by redhat.com with local (Exim 4.91) (envelope-from ) id 1hDJ53-0004Un-1n; Sun, 07 Apr 2019 21:28:13 -0400 Date: Mon, 08 Apr 2019 01:28:00 -0000 From: "Frank Ch. Eigler" To: Paulo Matos Cc: cgen@sourceware.org Subject: Re: Macro with same operands is misbehaving Message-ID: <20190408012812.GD1874@redhat.com> References: <2978b83b-e5eb-434d-f39b-b763782c11cf@linki.tools> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <2978b83b-e5eb-434d-f39b-b763782c11cf@linki.tools> User-Agent: Mutt/1.5.21 (2010-09-15) X-IsSubscribed: yes X-SW-Source: 2019-q2/txt/msg00001.txt.bz2 Hi - > If I define the instruction fsgnj.s and followed by fmv.s macro, during > disassembly `fsgnj.s` is always chosen, although assembly works fine. > [...] > I can't find a way to say: `fmv.s` matches for disassembly but only if > `f1` == `f2` in `fsgnj.s f0, f1, f2`. I don't know of a way either, at the cgen .cpu level. But I must ask ... why is this particular disassembly heuristic seem important, given that those are equivalent? Anyway, it may be possible to handle at the disassmembler driver level (in C code) even if .cpu/cgen can't express it. - FChE