From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x329.google.com (mail-wm1-x329.google.com [IPv6:2a00:1450:4864:20::329]) by sourceware.org (Postfix) with ESMTPS id 3C6BF3885C21 for ; Sun, 5 Apr 2020 20:21:46 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 3C6BF3885C21 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=botcazou@adacore.com Received: by mail-wm1-x329.google.com with SMTP id a81so13627057wmf.5 for ; Sun, 05 Apr 2020 13:21:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore-com.20150623.gappssmtp.com; s=20150623; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=wLgTy7cCKqp4KWLkRpUdBQvmaKeXiGyppPf/8+BGP9w=; b=0OeaV3P0iCLdTBmZekxfu6j7bVfEXRuCJQtpXjSRYKhr6H4asTFk7jZ9TGdPbdJmNQ kx0zYa26cJteB0w5sCD4OA7Kw3lZrCdHYK2GjKE8W7vR+MKhVfKk7YojC1GXwKYq4Mbh SJLhCLm3Oyx8313fpJTbZwMraRg/kgSEvHOtqznV9nbsqsF1aLJWnbpK43Jwvsg7akhs KwZyNHa+QPFnvCecwEvcAAykhRSNtf5r927Hy/gEroJl3qNc8T5Iy3spbC21tBR7ek9b lnmOrwnYMWfX12ZLfZaHc1yfMAeDaG23a2hlyxLpfu6VNDM6fX3gRpA1tCP7x9plorxD /gCg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=wLgTy7cCKqp4KWLkRpUdBQvmaKeXiGyppPf/8+BGP9w=; b=Do6iprcwhj2rv/AHMW8CyZ1iVsCrrNX+GmP4aOAzmJO+yXVEwrjmnlWe7Mg8NA/E7l urWrdbYmRgJoRx7avHGxm7Fx2JofznMp+XXP98MJDLscpXmFh0Ic5rvwutplpFRd+Ogd sIcX8RgXFwwg/ttEGp2gdQYIHzZXgGSpsGkdDHQTKdun/ovLyKXHm4fg4foeeoUTgpW8 kmisAPrkAqLzfR/Z4BUHhS5PdH6+AlzwQxKhBo7slyJXfRUOV9267yV5c0hpJZG5+3qk lE/ED2K0uSrk5CZAf5U4CqjzjroeGFrCNZbfrEtHn56UI4SM+DzebWg4OA5CnPGYqzbJ 8Ibg== X-Gm-Message-State: AGi0Pub1AC9EsBA4FqTi9xudKrH9vvIeamDQKRBOVfX/Q9o5jT/xeVDd 0xaOFjtsaL/nUckpMsVM/hQfbA== X-Google-Smtp-Source: APiQypKKtaGmgtyDDqC2EcZnOwHcg5EuUNG7snZHLoNRF6n75PsNejS1yzTH6XqyKYDXU4RKNJj9hQ== X-Received: by 2002:a7b:ce0b:: with SMTP id m11mr18797710wmc.52.1586118105264; Sun, 05 Apr 2020 13:21:45 -0700 (PDT) Received: from polaris.localnet ([2a01:e0a:41b:9230:1a03:73ff:fe45:373a]) by smtp.gmail.com with ESMTPSA id 189sm21979775wme.31.2020.04.05.13.21.44 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 05 Apr 2020 13:21:44 -0700 (PDT) From: Eric Botcazou X-Google-Original-From: Eric Botcazou To: Richard Biener Cc: gcc-patches@gcc.gnu.org Subject: Re: [RFA/RFC] [PR tree-optimization/80635] Optimize some V_C_Es with limited ranges into NOP_EXPRs Date: Sun, 05 Apr 2020 22:21:43 +0200 Message-ID: <2034252.v2uGeATKoz@polaris> In-Reply-To: <1947142.GPyrdmMyVU@polaris> References: <1947142.GPyrdmMyVU@polaris> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" X-Spam-Status: No, score=-7.3 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 05 Apr 2020 20:21:47 -0000 > Ada no longer uses VIEW_CONVERT_EXPR between scalar types ... between integral types (it does use it if you explicit request an unchecked version between integer and floating-point types for example). -- Eric Botcazou