From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x332.google.com (mail-wm1-x332.google.com [IPv6:2a00:1450:4864:20::332]) by sourceware.org (Postfix) with ESMTPS id 9B54A385B832 for ; Sun, 5 Apr 2020 20:12:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 9B54A385B832 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-x332.google.com with SMTP id a81so13613085wmf.5 for ; Sun, 05 Apr 2020 13:12:10 -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=A9lZI8dOopz3bHEOFYMjquGq6Nj5Vg6kPwo5t2t1Z3w=; b=L797feniBOf21rwO2Q1dvlYPZ4+Bd+OhEjb8SiT59I+GzrIEUvOBIjLY5fsJtIAhLZ a8YkpLaY33HzKglqOhxFFJcklNexBxv3cnE3RmSZHUlF2gf2CewlsAz08gDnFh4+uOJv M/pK4KwLxK6YDPHNWujvn5a/Clwa6rNv7mQI6gfXXiI3EvftyaRT/nRMgoV6TXUTKtoM 2DxnWkXE51ngM+A1P4TwLfoJ3+rHKUHnszzCmXo2GMDiEjr9anSV0tbc7zIR7NSsxHmD ESyg5bARcgBOOM+BwskybFwS5w6lTrg/J0TJiQLhpT3FHP3BDs9ZQDOJBoojpT2vyiwC JnPg== 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=A9lZI8dOopz3bHEOFYMjquGq6Nj5Vg6kPwo5t2t1Z3w=; b=AoHb2uMVJ6CqASC5s4XwT01APIh0kgN4qXiMGg2n4pQB9MEeD/S4xh1AWVobdttWPS w0pOmyvH3NEliOqFS7/gpYj8vY6gzmdFZYeQQ1RHX4sK9BWed2hwrrM5ehZ8R3eInzc9 /SGd+QRv/5FfWCIUcRa/TFJZZo8EtaserbXPRM059JOFu4mUTAlD/p5OZ6TFNFTQmtJU rILprT7716VOMKVP65TizutJunN8TCLrnQMXHhgNTJlq1ErylLcAnzaJ4+MLzDRFTQNo 5Ns3mxr6I+KRWWjh3MvPz+WGo/u10dojtpHJHxdTT8vurknxRnwIL2emu6fyaztk97zN Ym2Q== X-Gm-Message-State: AGi0Puaj+iYODIPzPuoETcjr/VLO2wGG7Hl3+mdzE8vmJ7ZJk2WvYs1n WGWmvgbbRaz8UFMsJZdnuzMxQynTSWZJaw== X-Google-Smtp-Source: APiQypLaxBatDg4/++ZzLkuN/HGXLcicUHl8h+BcbBFs6LaW2d9bJrdugrk/n10/Zjmb7JiBh/nPJw== X-Received: by 2002:a7b:c145:: with SMTP id z5mr19086050wmi.55.1586117528895; Sun, 05 Apr 2020 13:12:08 -0700 (PDT) Received: from polaris.localnet ([2a01:e0a:41b:9230:1a03:73ff:fe45:373a]) by smtp.gmail.com with ESMTPSA id t16sm818213wmi.27.2020.04.05.13.12.08 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 05 Apr 2020 13:12:08 -0700 (PDT) From: Eric Botcazou X-Google-Original-From: Eric Botcazou To: gcc-patches@gcc.gnu.org, Richard Biener 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:12:07 +0200 Message-ID: <1947142.GPyrdmMyVU@polaris> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" X-Spam-Status: No, score=-7.5 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:12:13 -0000 > ISTR Ada uses V_C_E to implement checks on value ranges to types. We need to > make sure to not interfere with this. Yes, Jeff privately asked some time ago whether this would be problematic and I answered that this wouldn't. Ada no longer uses VIEW_CONVERT_EXPR between scalar types, including for checks, for about a decade and I actually said to Jeff that the optimizers ought to do the same. -- Eric Botcazou