From patchwork Fri Nov 11 19:07:18 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andrew Carlotti X-Patchwork-Id: 18979 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a5d:6687:0:0:0:0:0 with SMTP id l7csp919823wru; Fri, 11 Nov 2022 11:12:26 -0800 (PST) X-Google-Smtp-Source: AA0mqf6WHvXe26Xfj61f30f1KONZnAtL3HDZV5Kh6KSWFBJMx1q9fQTTBhHJHmeWnNCdIQVpQOZ4 X-Received: by 2002:a17:906:1dcc:b0:78d:8c1f:9dbe with SMTP id v12-20020a1709061dcc00b0078d8c1f9dbemr3026852ejh.230.1668193946362; Fri, 11 Nov 2022 11:12:26 -0800 (PST) Received: from sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id i10-20020a1709064fca00b007ad8480304dsi3016288ejw.350.2022.11.11.11.12.26 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 11 Nov 2022 11:12:26 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b="x5HU+/BQ"; arc=fail (signature failed); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 256E73858017 for ; Fri, 11 Nov 2022 19:12:25 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 256E73858017 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668193945; bh=oZRYZAn2E/addXOuMJK7ZCKdq1CBg9Rrgx5CEKmmmYE=; h=Date:To:Subject:References:In-Reply-To:List-Id:List-Unsubscribe: List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To: From; b=x5HU+/BQ//imlnyDiDdqqO53ITeFSocdLH9JjnQ4EJFAqtxAUQY+iF1VHxPwGMT27 cCxYEaP4iGXig41S4grxVG2kAs1l/F0JaHexY0GeJYsz57YVKGXbbUq74ab3V23dED Bh37bATTRbPO11056K9OFesuUy/ubKmILdlfYTTk= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from EUR04-DB3-obe.outbound.protection.outlook.com (mail-eopbgr60056.outbound.protection.outlook.com [40.107.6.56]) by sourceware.org (Postfix) with ESMTPS id DC3C43858D1E for ; Fri, 11 Nov 2022 19:11:33 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org DC3C43858D1E ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=g/KdDs4ebMWg1C80XsR5qRgyRgth80sZ0RgTLdLs3KnZHmza+NhBEA9JvFN18+GJJzXyrAQvG9VUEzR8okf+XyAetNtfKX/uDRo8w9tw6NIvY0x+i01+B4PCLzhqt0GmeYXOZZrdaSrjSeyi0beqXcf/YMDe9AkkbCTr3u1tvAcZhDl7xdM0oT93F7I9MWmb2slk+rczXztx20MczpQRxQy32szEYh1y7NLqguILNtFlAdXxJ9z50TogLKhqMI8OA4a/Ozg7j7KmoqXOTDKsvh9WZblFy9Hc0TMGjAUiKS1DqtKZhgAeebmjiXN1d1YWKfT7p+8G3JzNfgxHF6KXZQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=oZRYZAn2E/addXOuMJK7ZCKdq1CBg9Rrgx5CEKmmmYE=; b=QuddBLu/ce0QmmGfQ6vbqUwKKi6R2ZQqBQcMW79IBNm4XUZLCdZgt9yufOd1zMS8lc41XDwpjS0tADGzd3JJlnlr0U+NKnFxHA9ktcpqwLGk8SN1vqowgfIq49XPMzbhZ2pBN2RxFs6jVQ3vNl68ly/gLKKYIBjQaGUVzr+mn3Fkroy1kYQEb1UE5Zq6KVJJC408vGEPQTUNX3UNuByoB6SGWTaqrIdH3L6/ZlvjDD5I16wFH/EwMgO25FgRC3/YgL1ULyvbqU/Sq1AVAc/X+iZ2eF+YEQQQYsL7ij7DHUBhwQbUhkB0yfig0tPwm0mTSFLueVUGG2G1EvF/MSyfMw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 63.35.35.123) smtp.rcpttodomain=gcc.gnu.org smtp.mailfrom=arm.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=arm.com; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com; arc=pass (0 oda=1 ltdi=1 spf=[1,1,smtp.mailfrom=arm.com] dkim=[1,1,header.d=arm.com] dmarc=[1,1,header.from=arm.com]) Received: from AM5PR0602CA0024.eurprd06.prod.outlook.com (2603:10a6:203:a3::34) by AS8PR08MB9978.eurprd08.prod.outlook.com (2603:10a6:20b:631::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5813.13; Fri, 11 Nov 2022 19:11:29 +0000 Received: from VI1EUR03FT017.eop-EUR03.prod.protection.outlook.com (2603:10a6:203:a3:cafe::f3) by AM5PR0602CA0024.outlook.office365.com (2603:10a6:203:a3::34) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5813.13 via Frontend Transport; Fri, 11 Nov 2022 19:11:29 +0000 X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 63.35.35.123) smtp.mailfrom=arm.com; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com;dmarc=pass action=none header.from=arm.com; Received-SPF: Pass (protection.outlook.com: domain of arm.com designates 63.35.35.123 as permitted sender) receiver=protection.outlook.com; client-ip=63.35.35.123; helo=64aa7808-outbound-1.mta.getcheckrecipient.com; pr=C Received: from 64aa7808-outbound-1.mta.getcheckrecipient.com (63.35.35.123) by VI1EUR03FT017.mail.protection.outlook.com (100.127.145.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5813.12 via Frontend Transport; Fri, 11 Nov 2022 19:11:29 +0000 Received: ("Tessian outbound b4aebcc5bc64:v130"); Fri, 11 Nov 2022 19:11:28 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: d7b9b55187779f7f X-CR-MTA-TID: 64aa7808 Received: from d01ef7655075.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id 2E54723C-21A4-4C9A-881A-ACCF1AD6955C.1; Fri, 11 Nov 2022 19:11:21 +0000 Received: from EUR05-DB8-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id d01ef7655075.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Fri, 11 Nov 2022 19:11:21 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=NfjLcgP7HEsNnvGFS65hVT8k0KEgb13Eu+SiaOZPbnv47qfLkxGVFqBRQzaNeJGWbaQIsEz5uBE/128/lO1I99+A1mFUl6/z9glXIxjNQO7qvDI9t7lT7fwbmYHy2ywAHyIfW79TbK5O7jMSrWuaNClXq6VyJmiq9FAOMbVquxrIQ73Dnh4iFOIndX6L8QeSInaVozxjn82slPXoDYqpuKUzbVbpShmLVO/whN2g8iRAgDNAKiDJnt5KGzUVnizgpuQ1RvWw2zVBoLRphprCpYtau9UZwMVw3ebYfO9o9+5HwiR4swsH7HEQUNP6FVDehuxxY92l7nfWIHhhp7wn5w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=oZRYZAn2E/addXOuMJK7ZCKdq1CBg9Rrgx5CEKmmmYE=; b=AVs3NKLwdDcgn2VSi1yKZt9dmAg/BDhk2TZpzU0uj4oD6InHzuB3kzJ4yREM9WVWwy94kMb95BmeGwhqv7SpE9UFxXVnV/v7FlujfYAkwmUzJgSgNxz4JjO1eBNbKFqNT0eJ4hFLPMjcCF6s1aGPO6+I5nEG/HflAkVtz4WsOKDCciwiqe2j3AMDf/EVw//hF9sRIQAujgsMj4BC9JXDz163ScZUsju2e0hwipsdftIort/tSWo1GGOoyYaNFLNAlVlzSXhdH0gsRicJ3LjJ8fq7gLJYYE/6zRWgOR3oPbI8SRYnXUkJUHmcVRXw+m8BKCt5DALNtUcJG9WIJLsZ6w== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none Authentication-Results-Original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com; Received: from PAXPR08MB6686.eurprd08.prod.outlook.com (2603:10a6:102:13e::8) by GV2PR08MB9349.eurprd08.prod.outlook.com (2603:10a6:150:da::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5813.13; Fri, 11 Nov 2022 19:11:20 +0000 Received: from PAXPR08MB6686.eurprd08.prod.outlook.com ([fe80::44db:f442:b299:a701]) by PAXPR08MB6686.eurprd08.prod.outlook.com ([fe80::44db:f442:b299:a701%3]) with mapi id 15.20.5813.013; Fri, 11 Nov 2022 19:11:20 +0000 Date: Fri, 11 Nov 2022 19:07:18 +0000 To: gcc-patches@gcc.gnu.org Subject: [PATCH 8/8] middle-end: Expand comment for tree_niter_desc.max Message-ID: References: Content-Disposition: inline In-Reply-To: X-ClientProxiedBy: LO4P123CA0334.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:18c::15) To PAXPR08MB6686.eurprd08.prod.outlook.com (2603:10a6:102:13e::8) MIME-Version: 1.0 X-MS-TrafficTypeDiagnostic: PAXPR08MB6686:EE_|GV2PR08MB9349:EE_|VI1EUR03FT017:EE_|AS8PR08MB9978:EE_ X-MS-Office365-Filtering-Correlation-Id: 4c2c8a90-36f2-4c2d-cfcd-08dac41889b2 x-checkrecipientrouted: true NoDisclaimer: true X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0; X-Microsoft-Antispam-Message-Info-Original: x9c3fa7sRzcPJrrMw1DuWoheiDdXGLx4giYQ0XCgYqxMtPTHbj1gJPklTqnWoV/EV0wYfeRRV3a5D7op0ua9EZR49WJWMBO8syB5mAhdSZf8umxFaczRw1gQli/fPfZ+X9N8xeNyhg1sv8YLHA41j1NQrC8fxwZRrRUYmQDSVXPL+KAMJfYMGwhaT8kXS9ws/rmJMAlBOiy4lxcFAAc8hAx4YdVSgv1aJ4qGfRDtJOSV3nL/VxJ4xUbDI8rbz9f6/mezJfUdU5GCoxVh0InyceGUM+Zvo1q17oGJLzU7r/XZiFpDyGruYdhHa8iczogb5f9DcuRLN3Q81gwE07z3ZCnVWrfM+iEUaAy8KnTXH4B7ng3On8AUXW22Gt/cULOshWmU7ECXeFaXZvfmzLBzTh9oWFr1Vpx4JZO7avVYw4IyD4o55TWe+Fuvd6qFZYgRJ2Az0SutzCyjqris/4f5vdVqfX3pZqERAC9ElHOHS6KE/3B+ttisOvlg4Tn3hYbzpd0PR5NJyZgTfcpukZCkXySc3RHhqfhuaSdDrjGNXW7jP88jD6dtH2uA8JHuwMU2VGxUiuNEyz1uJMt+TCiLcbSa43GPDBBzQmdvAPXYdror+sR8kd6Cw3Va18Woq1mVpM3UfL6gPdN083ybKbqSfCVSrdJhgyUqSindIhn05ACs7hSM1w4L8I0NKh/t5W4U3LOrNuA8pM15T4YLiM1Cxg== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:PAXPR08MB6686.eurprd08.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230022)(4636009)(346002)(136003)(396003)(376002)(366004)(39860400002)(451199015)(316002)(83380400001)(86362001)(41300700001)(66556008)(8676002)(66476007)(66946007)(44832011)(8936002)(4744005)(5660300002)(38100700002)(186003)(6486002)(478600001)(6512007)(26005)(6916009)(6506007)(2906002); DIR:OUT; SFP:1101; X-MS-Exchange-Transport-CrossTenantHeadersStamped: GV2PR08MB9349 Original-Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com; X-EOPAttributedMessage: 0 X-MS-Exchange-Transport-CrossTenantHeadersStripped: VI1EUR03FT017.eop-EUR03.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 1b98cd02-777a-4ce7-7395-08dac4188400 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: FcPUVFQiQyO+HVXh+KVWVpAnU2OUf24vhBGPuWvpR0CjoUZ65YrhflVqFDq8sapnI4HTpsjuhYjAgEqjekT8DkZcuUCHmTWkA1ogJVqrdLhWfW2BAdLGp/o7muNEpBXl4dFQ/LmMsfJPxwvbxkG/dJzsF94zlv0atQRY2BvM1kkwUOtsywV2gdyySzZcXP3WFiAJ2oHQpuo2w3Utah8c10bY6SUgziT8iahzGHuWD09ccKdZoNTM8iry1DBI52pghmUQXDD0PrOHOs2CKQjiCDb2SQUkml146XXV7YIjU5pO6e1P4BXdbWmD/4TyHDw/aA9JFmwPo2TpIBDqVfzEfHNFhMqFGKlM1zxxBqq09CQOYv+TfdP8e8g9QJjuFoJc90bK5oc8jtBoT+bzB8qAjfwTUDXMTB/BjQlrO7r7TcNuqj9l5emg5hyKRcJFHpebUBdMoqHr+HjzTCRNyAuoEA0UVOXWU4iSJRRxF6U3ac4LGIs9DmxEzmHZRayfaCRJNluGH8YXdkZ6j8a9XE0AzgMUwIf/PqsErwRzI5Ezp0ONSNCp/t0g4GgXzsAOvUwPIfaNpUZPQgjin3A+DyyNzM2d1KKrA2prgO1IMHLVxJbAAlVrV1YKDK5oCHO+phCno/bzvMungjiRUcWbOCJfeHpbd7UICy4Vfd+FaIi4fgUIcPfe0hY7cY2a2U2NXpf1ryVtkvw0NZrwisXbQd4MxfTYR7zsmK+4nBl8oS8p1JgPJmB5yaNEW7GvEuHwkGJcjEyIEcMQs31Bvm536Ze7LA== X-Forefront-Antispam-Report: CIP:63.35.35.123; CTRY:IE; LANG:en; SCL:1; SRV:; IPV:CAL; SFV:NSPM; H:64aa7808-outbound-1.mta.getcheckrecipient.com; PTR:ec2-63-35-35-123.eu-west-1.compute.amazonaws.com; CAT:NONE; SFS:(13230022)(4636009)(376002)(136003)(39860400002)(396003)(346002)(451199015)(40470700004)(46966006)(36840700001)(82740400003)(2906002)(4744005)(81166007)(356005)(40460700003)(83380400001)(36860700001)(8936002)(86362001)(316002)(44832011)(6916009)(336012)(186003)(47076005)(6486002)(478600001)(40480700001)(8676002)(70206006)(82310400005)(41300700001)(5660300002)(6512007)(6506007)(26005)(70586007); DIR:OUT; SFP:1101; X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 11 Nov 2022 19:11:29.3709 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: 4c2c8a90-36f2-4c2d-cfcd-08dac41889b2 X-MS-Exchange-CrossTenant-Id: f34e5979-57d9-4aaa-ad4d-b122a662184d X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=f34e5979-57d9-4aaa-ad4d-b122a662184d; Ip=[63.35.35.123]; Helo=[64aa7808-outbound-1.mta.getcheckrecipient.com] X-MS-Exchange-CrossTenant-AuthSource: VI1EUR03FT017.eop-EUR03.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8PR08MB9978 X-Spam-Status: No, score=-13.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, FORGED_SPF_HELO, GIT_PATCH_0, KAM_DMARC_NONE, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_NONE, TXREP, UNPARSEABLE_RELAY 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.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Andrew Carlotti via Gcc-patches From: Andrew Carlotti Reply-To: Andrew Carlotti Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1749228135361601056?= X-GMAIL-MSGID: =?utf-8?q?1749228135361601056?= This requirement is enforced by a gcc_checking_assert in record_estimate. gcc/ChangeLog: * tree-ssa-loop.h (tree_niter_desc): Update comment. diff --git a/gcc/tree-ssa-loop.h b/gcc/tree-ssa-loop.h index 6c70f795d171f22b3ed75873fec4920fea75255b..c24215be8822c31a05eaedcf4d3a26db0feab6cf 100644 --- a/gcc/tree-ssa-loop.h +++ b/gcc/tree-ssa-loop.h @@ -52,7 +52,8 @@ public: may_be_zero == false), more precisely the number of executions of the latch of the loop. */ widest_int max; /* The upper bound on the number of iterations of - the loop. */ + the loop. If niter is constant, then these values + must agree. */ /* The simplified shape of the exit condition. This information is used by loop unrolling. If CMP is ERROR_MARK, then the loop cannot be unrolled.