From patchwork Tue Oct 1 18:58:05 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Qing Zhao X-Patchwork-Id: 1991697 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (2048-bit key; unprotected) header.d=oracle.com header.i=@oracle.com header.a=rsa-sha256 header.s=corp-2023-11-20 header.b=PCOXZy48; dkim=pass (1024-bit key; unprotected) header.d=oracle.onmicrosoft.com header.i=@oracle.onmicrosoft.com header.a=rsa-sha256 header.s=selector2-oracle-onmicrosoft-com header.b=Rahze2Dh; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4XJ6fR121Rz1xsq for ; Wed, 2 Oct 2024 04:58:39 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 028113861039 for ; Tue, 1 Oct 2024 18:58:37 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mx0b-00069f02.pphosted.com (mx0b-00069f02.pphosted.com [205.220.177.32]) by sourceware.org (Postfix) with ESMTPS id 3E5EB385EC15 for ; Tue, 1 Oct 2024 18:58:12 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3E5EB385EC15 Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=oracle.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=oracle.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 3E5EB385EC15 Authentication-Results: server2.sourceware.org; arc=pass smtp.remote-ip=205.220.177.32 ARC-Seal: i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1727809094; cv=pass; b=H80xwnc8sBKW0yUr2wmPc8QSCbM7hl21fBL0gq7jvrBmqLthKoVjlvpuaGGNpe8RBwJ+Fx0f6+MttC8blS2Vm9cmOJL4whgoYdxd8pmBUpHfoLod35co0k+FIpQKd/H9Lm2Dqmtq5oSo3KqCnzXJ5gl/5iFUzwgcY5T+diA2zhg= ARC-Message-Signature: i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1727809094; c=relaxed/simple; bh=zjDSTVBIU/bwGOsd7/Y80h0AW8UMgqaUIcZYVkWcJo0=; h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-Id: MIME-Version; b=gE438gISl6Q1AK3aziWi6kBXHfNUQpAvKStdAZEzV5NyeKjH/+bfsJYF2jNgCt4Lf6WxX5J0hBc3oPpUAmJpm/vxLakB1MOYgjOY7Q9RvMhB+L+Es2iigdk/PE2g+maHaF1K9pt+KoDRDIGBrHFW8OcWWRNRWgHfD0RlTcwuqc8= ARC-Authentication-Results: i=2; server2.sourceware.org Received: from pps.filterd (m0246632.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.18.1.2/8.18.1.2) with ESMTP id 491IfZC9024220; Tue, 1 Oct 2024 18:58:11 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h= from:to:subject:date:message-id:content-transfer-encoding :content-type:mime-version; s=corp-2023-11-20; bh=Ul0aAW6MdpRZz7 EaCt1V1eCxxq/HeWGNc7cAvtmNl5c=; b=PCOXZy48gRX0yMHNAsZNc4qWUDIuxY 6pTB8eptm00+eaYbDIYmQzELaQ/efPBkowwH8wfdNOTPziC7MuaikEOUX/0Nk34o FzaXW9JcINvQmCWvA8e5G+T6D8Ipwt4IZnn3RtdIZKgCELHBFX/ol2UfxDn/pHuf 2OLK/5y6lsaeKHpLI+S7h4LinAYRR6bSYKA+QxUoIxDfhplylgPsiMcFcAY+FS6k 3ntDgzEdjNLKjKgnAZFc9Ss2yhnKu5nPLqx4AyXbu5WsJRUGQ2ehgu8g7Hx7V/oT JF7xBvSqkAw1cgAsIdhfLNMDfVONSTshn2rPS+54ObFrWjjViTCqgx6A== Received: from iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (iadpaimrmta03.appoci.oracle.com [130.35.103.27]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 41x9dsy3q2-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 01 Oct 2024 18:58:11 +0000 (GMT) Received: from pps.filterd (iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com [127.0.0.1]) by iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (8.18.1.2/8.18.1.2) with ESMTP id 491ICwC1038672; Tue, 1 Oct 2024 18:58:10 GMT Received: from nam12-bn8-obe.outbound.protection.outlook.com (mail-bn8nam12lp2171.outbound.protection.outlook.com [104.47.55.171]) by iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (PPS) with ESMTPS id 41x8880273-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 01 Oct 2024 18:58:10 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=oNZqZOkcJigwB/zdb5+KXq3Wa2oGBYoDyaPcscMtaiYXQ+aqX5VdR7R6cOKvyjsQO+2THNGjeBKRMqMEyiRvu2Brn4MRlb10qnlZW94CVSL9+jiZxy2yvEKoIM2g1cZxYscxCrpMvHgXFIbfmFkGk1EgDzbpftUvZ5ToqQULP+NuxL5dlJfni4k1oaMPzIa4JjIvRtCA/i8vNmX74M2Eo92cPrFy9iCOwaRGZuhCFhFRZBRrgLmwqKsrstIOsZljBlwFGbpqwXi2yxJqifVV+m9k2PV+gGEWZWubN3xYgR8TyeLJxqiIIeBLYYm7bWADsTC6tjQuhwTVcD5zJLQWjg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Ul0aAW6MdpRZz7EaCt1V1eCxxq/HeWGNc7cAvtmNl5c=; b=XzfOkvTZ5mFtyn3vScjg1uBloRYic661j+UpKoPeItGcGMK4aU3qlK5J9zpK0VqjvpHojSZH/XpMxzSEfsPRkj6tctAsXIjiGKdgE1nLoG9W9+tiOCE3zNO7V3pDlzTiJRpWfJuTox6iJaFHPrYpMFH5Vj6VIlGQPogcXbaJ25Fd7Xh3wk/ACBV/POIXKP+TXZo0Qy62VLYtO6XWzM18n/KErHU7zkKsj53BcdaWwzMRggv8qB0pZuHwHqCSkWISVsBaegfcyuu1QpTaJLNWRI8PQTsVjDGLtKXPAqJNze587iwd89ZtZY3qqateOpBvzHqu6C8ajQus7F7fpnQ9WA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Ul0aAW6MdpRZz7EaCt1V1eCxxq/HeWGNc7cAvtmNl5c=; b=Rahze2Dh4t3ibcPlgmQwpjE2RqG4CZhRHCTSxxbW5ZvvlzmOqvQTOtgYr9f7GeRjxcFgQWPudYTmrfhoPqrcb+JTDCyBdQF32CfW2jVhcpu7gNqoJcFxfl0FeEonoxpsC9yjAiwM67rV4AEnX7hPOyf/vH9OpeTRoC7UrK8I6Do= Received: from CY8PR10MB6538.namprd10.prod.outlook.com (2603:10b6:930:5a::17) by CYYPR10MB7565.namprd10.prod.outlook.com (2603:10b6:930:bb::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8026.15; Tue, 1 Oct 2024 18:58:08 +0000 Received: from CY8PR10MB6538.namprd10.prod.outlook.com ([fe80::8a:61cd:764a:e47]) by CY8PR10MB6538.namprd10.prod.outlook.com ([fe80::8a:61cd:764a:e47%4]) with mapi id 15.20.8026.014; Tue, 1 Oct 2024 18:58:08 +0000 From: Qing Zhao To: rguenther@suse.de, gcc-patches@gcc.gnu.org Subject: [PATCH][Backport][GCC12] tree-optimization/116585 - SSA corruption with split_constant_offset Date: Tue, 1 Oct 2024 18:58:05 +0000 Message-Id: <20241001185805.1332105-1-qing.zhao@oracle.com> X-Mailer: git-send-email 2.31.1 X-ClientProxiedBy: MN0PR02CA0001.namprd02.prod.outlook.com (2603:10b6:208:530::21) To CY8PR10MB6538.namprd10.prod.outlook.com (2603:10b6:930:5a::17) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: CY8PR10MB6538:EE_|CYYPR10MB7565:EE_ X-MS-Office365-Filtering-Correlation-Id: f3552244-e28d-4f52-43ba-08dce24afd5c X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|1800799024|376014|366016; X-Microsoft-Antispam-Message-Info: 243YkZCaPjiGRlp57KIR9bT2tk9Cfi5ipMGYEUPirKW6HMzKJzukiwnMjq9+Z5o+B1Ut+XprN8rpiz4ZaEucRCha/Mac0aKukSFsXOgKf/qnk8Mp+h3TbNTlW+tFztZlMI8d2FVSlCgmoNIibvVtkaGykcdBsoIn3AVtIA1hEpkaryWm63RB9dadGLI/AVbBUF4+KLdssaogf55L1xDj6otZ+iUtPMCRq1Zxb9nPLy24Vx6gNszBvhKHFRwNbM058C+7G6b0v3CqxbQTdYuORj1igzmBYMg7ArYbw/SXCIdUhC5JagEPeoH907LbsTmYLrHkig/3NWHewZ3iLdczdmS1vsiJRYjjPbhsp+gGleBj6yn3ABUZvjdWgv/UeQueHPL5waY4vdUFz/dZ35GvfR5k/866xsiApZ8q8wWhNhYleyY64xjkbb6mCeSxE2G/zM00uzq2fs3zeigeab825PzzEh9Tpuyk12fvg1FT0sK9yg3OIBTVkpEjSwwnC7ZzzCHRjKxkUSIyKa4hLOIvKVb1iQ4e/ceI3qNod6rzDnmDy8GtIUg6M+TZVhuNtrZne87+ZXDUBBSZ1eledx94dOLisStMGTjRFxiA9RJ1VWXqpHE16IYIVEhPhRXiPrU3lEGWnDHWzHzbcsBO6NIax55/lF6cjBPkbhHzeSMPGP1yXNlcODdHd86oLptmN3NZQZne6ETRCfIIjfTvSwl/FmfWFRQ22mdr8sgU6nm6XhtYkJCFvz8DJ1R2u/DVJpc9Y9q8XLgQwAxnMIoPTlzNesf271hvXP52gl33gi4WJ2rkJdVPltoqfecXvlqwPn9yuFWB4dtXukbhpBKfFyNTigZeW/AnmXDWzw5Kby9iBbdOULiiNz9u0HPMewNVc1dyPbaFFZHs+6QzXxYR0yT7hOrr3x46YT7KfOBmCZ7wuqVefEKN3usRHFyj/ypxCzfBwSWYjNH02O/KvuLl3KS6Tbfpwhbm6syk/xGXtO+L3NEmC/DSpEkg8LATSpWboRf9GQ1OufN41p99uWOuOqQvhbeR2mqh36ush19sRWujy3ZXhVgNF+BxvTHMY2SwyszrWKO1Y4pc+zoisqD3Y9vLWoMug7O9WLqmXrqwQ+84ybPonPAM7CVLHtgMWyi16lRSX2vuAX0lUWj0rb53eHAmnHHkOyDMheIwZPoVYIRQuKivzK8ddVbXLIK50I4u77qc6qYvXoCW91FUogTBLHKMWFQHBa02DmE9W0r2OFVTl+Y= X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:CY8PR10MB6538.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230040)(1800799024)(376014)(366016); DIR:OUT; SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: ZfsA+i/xovdBTPO3e1oUrn9el3k36BDw6Mi2mkjm73rUCwm32Qn/iioCAYlDBsGbDwC7iINvmpIYGDLGUWDC72TlI3itFzTgz5boN14IARLBot82or9tyceXESzRYSUKBfsU3gpY7Fjx/MP1xrz7I88zeAG7thRIBC6JeE3efV+kiVhiM6I6o53hhDl5ieA2ihU5lGeHb0aqpAPlb5GsXb0WDivyEKwHk8ZT5aEAnUAfpnVlfRo5Zcm7oGaQp3vbGHfLarLBn0nCZ2e84sbFATmf1vHzP2GkHiE06qQWfea/LayzjyebSEMdb/bnPTohWOLm+RHNhCoMdJoCZMAFF0pB5JYGcfGkhwY6AStLteL8tRfn6WNgfEUge5LC0dyPNAY1gN72qNm58XxdMzE+w2jqKyQGvCxbWQNyPrTwnI0qREmGtJaKVOPpN8Olmz1401piBa7EMng9tyxtW87/r5bbjFNqX/xhb7JLVYwKXzXh7DydbRaXebHWEXnVbKRnwTtVHfoeZhUYa2sAR6CJ8AlLK9ldSzncEctB3p5jJNWxcvkyMENVVA4z9GK6YwgPiL00GLeGdRFSh0WKtBT2fA9CM2dY7nJjeqDH2L3erBZCFM+w1cu4+C5MVa2WKtCVzX4UdW+ikj6TO5fkMlXoS1HzvlUEZMM0tW/e4zvFAkXS5oqS+wDr6tI8iV3W00yxgbViOslHEujBYMpINsezSZD1WGATtyd+5d70v9j4RGnCHxJqjp6wUyJ1QxN1KxhWWBn8pdGunKy+p2s0ulLVzlioBZbVjn72qOrnKiQTcVrZErLN1cU1n/KzUsJcK+eG6auU5YsBQEdkFACHzytkeuCo6Ry70ddrRckGtVdJBjI2A30FvPZAsYTZWxHP4LCgT3JfUV4shgQqM1HcHRY9iGc8IgrWrJDZLP7goTWcvDWK0Dng5JJpEwyjXWZoPIEpCOoW2xoSuz16pTKS9gPC+aqK5+e77AUdn/yDD27EuSkO127HEohXU3W9g97KixgMoVUliFf/Vq8EpXziEBStbt5a/u3WC4wZF0NksoFwhnPDRJHgjUI4YTq7gl0qDoFvPFJ8sul/L0dyXPJZNjUSGBed9cFSQ+VMe0f8DCIpsmTnRm2Lxag5dv2Zzv5wxOx0ZuMOhWTChAE7HcHfnAY4vLAYjL8QYZ+emxYp3QTUVcqh/xf0uDOdNFkD6XeB23miMrQqzdI8oDk5dbHoziqZ+DKd1XgzTE703Gt3TbIJEPbRvbifLmfYqbsmhq3MxNhj3y2Y/pAZDOMc4aP5qKsfPrhlBSIKQVDzzn1mFpRQg5HEHASVhl3ZMdoZagCuuQrNtwjb+7LFWLar2oSWmHZGkjaK5e+x3zOmTAt/oqvQ3p9Y5g603NYw30VfWBpGyblPTuHCrQ20ZASKyU9dk0gHjviHALvMejLUIh4V+DaspVoH4XGZheLGMsxfdnVLfRKAxFGgfPfnRKAUjk38G6++z1upiNyzTvojbEBT/PIZGqusJ3pjkMSMg4pxI3sUdYozFMb/8lrNtdiz4/HCCZ6oFQYbN8lAyKRxPToVRRRsxc7N8Y7ILbIm8Xdq3ueH5+u8 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: ZSJwkkoNCCd5dLu1NKEzz2EbbsONbV3CDaVeJJnktXGJQrnKlror6pOLuOtL5EUiXpRJgBmwpVblfHYbz2OmGP++Qcu6GHiaf5BbJhNajNiZ2swMlDnPU6knAVdM31bBzNqYQLhm+DQz1j3ugrrLpuI/eb1/YGfQCfKCV4ZSB13U38SebsbJu21sk9y2TFoEB/76QsN0LG+GOe71zkjY7jbDFaE5fydxTnfJESxGrkZFN++KfQro0Q+/M6Ac1GgpypWB2NDJZoHI3NqpYjimX2V5QShiS9yaHK2YcYTslFLoIWCVQFdDJb+ruO+tx/O6VjHrVUvRgNAd+0Z323QvNoQv/kwln5cQ5xSHs2Sf4sZu9HTU/a6e5IRmCneS/d+G7ct+MTsvKMA7JX12bTsAolchsSRmg5EtRAXt7vzQ4N6kf3pRoKL6dgI5h4/L9xaqbbmhBboAxJmX7Y73QDWwZAtEr3c5E73ShC3s4r50pvZzcwN4SW1CqDapTwonrQMUvjrAdr6JbAfmOfcbA9P0S16w3aBABajpp9yqF339NJOkbWWq1oU2Xh4KtGQys2k0XVFjwlZ3kucxFljbqYZMRs6U9CCpW2dwbv1nXIZOM9I= X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-Network-Message-Id: f3552244-e28d-4f52-43ba-08dce24afd5c X-MS-Exchange-CrossTenant-AuthSource: CY8PR10MB6538.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 01 Oct 2024 18:58:08.6990 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 7cq5ipq7+h50LiK+RQDjnkgWwQIKSqd92D3gnxx03Xu90fht4fjCN7S4ZIFU2pGuY8WtJZxd2t0bcHLnIwx/gw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CYYPR10MB7565 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1051,Hydra:6.0.680,FMLib:17.12.62.30 definitions=2024-10-01_14,2024-09-30_01,2024-09-30_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 phishscore=0 malwarescore=0 adultscore=0 bulkscore=0 mlxscore=0 suspectscore=0 mlxlogscore=999 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2408220000 definitions=main-2410010123 X-Proofpoint-GUID: vqfNCcSrnaaPDk1kat1W2LqBHvkWqQuU X-Proofpoint-ORIG-GUID: vqfNCcSrnaaPDk1kat1W2LqBHvkWqQuU X-Spam-Status: No, score=-11.5 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H4, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org From: Richard Biener Hi, this is the backport of the fix for PR116585 to GCC12. bootstrapped and regress tested on both X86 and aarch64. Okay for committing? thanks. Qing. ======================== split_constant_offset when looking through SSA defs can end up picking SSA leafs that are subject to abnormal coalescing. This can lead to downstream consumers to insert code based on the result (like from dataref analysis) in places that violate constraints for abnormal coalescing. It's best to not expand defs whose operands are subject to abnormal coalescing - and not either do something when a subexpression has operands like that already. PR tree-optimization/116585 * tree-data-ref.cc (split_constant_offset_1): When either operand is subject to abnormal coalescing do no further processing. * gcc.dg/torture/pr116585.c: New testcase. (cherry picked from commit 1d0cb3b5fca69b81e69cfdb4aea0eebc1ac04750) --- gcc/testsuite/gcc.dg/torture/pr116585.c | 32 +++++++++++++++++++++++++ gcc/tree-data-ref.cc | 11 ++++++--- 2 files changed, 40 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/torture/pr116585.c diff --git a/gcc/testsuite/gcc.dg/torture/pr116585.c b/gcc/testsuite/gcc.dg/torture/pr116585.c new file mode 100644 index 00000000000..108c481e104 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr116585.c @@ -0,0 +1,32 @@ +/* { dg-do compile } */ + +char *s1, *s2; +extern int* my_alloc (int); +extern int _setjmp (); +extern void bar(); +void foo(int s1len, int s2len) +{ + int e; + e = _setjmp (); + { + int l, i; + int *md = my_alloc(((sizeof(int)) * (s1len + 1) * (s2len))); + s1len++; + for (; s1len; l) + for (; s2len; l) + for (; s1len; i) + { + int j = 1; + for (; j < s2len; j++) + { + int cost; + if (s1[1] == s2[1]) + cost = 0; + else + cost = 1; + md[j * s1len ] = ((cost)); + } + } + bar(); + } +} diff --git a/gcc/tree-data-ref.cc b/gcc/tree-data-ref.cc index 706a49f226e..b7bca6a9d06 100644 --- a/gcc/tree-data-ref.cc +++ b/gcc/tree-data-ref.cc @@ -761,6 +761,14 @@ split_constant_offset_1 (tree type, tree op0, enum tree_code code, tree op1, if (INTEGRAL_TYPE_P (type) && TYPE_OVERFLOW_TRAPS (type)) return false; + if (TREE_CODE (op0) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0)) + return false; + if (op1 + && TREE_CODE (op1) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op1)) + return false; + switch (code) { case INTEGER_CST: @@ -853,9 +861,6 @@ split_constant_offset_1 (tree type, tree op0, enum tree_code code, tree op1, case SSA_NAME: { - if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0)) - return false; - gimple *def_stmt = SSA_NAME_DEF_STMT (op0); enum tree_code subcode;