From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=arm.com 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]) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=oZRYZAn2E/addXOuMJK7ZCKdq1CBg9Rrgx5CEKmmmYE=; b=W8KTgrmeqfjkO0KHfgpiEh7osD1PoeiN7T2P9HxdfC+taWims4s3dfn2QHSceX+OyExnFr6cFsfa0tnmdodXHp9FJjAzobaik84FC+4cTtU/rtX2L+x+Rz6h21vr5MdkujJ0mzbiuMtb9VBSI1ZV2nYAbvSqQB+sFvcKA0RVeWY= 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 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=oZRYZAn2E/addXOuMJK7ZCKdq1CBg9Rrgx5CEKmmmYE=; b=W8KTgrmeqfjkO0KHfgpiEh7osD1PoeiN7T2P9HxdfC+taWims4s3dfn2QHSceX+OyExnFr6cFsfa0tnmdodXHp9FJjAzobaik84FC+4cTtU/rtX2L+x+Rz6h21vr5MdkujJ0mzbiuMtb9VBSI1ZV2nYAbvSqQB+sFvcKA0RVeWY= 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 From: Andrew Carlotti To: gcc-patches@gcc.gnu.org Subject: [PATCH 8/8] middle-end: Expand comment for tree_niter_desc.max Message-ID: References: Content-Type: text/plain; charset=us-ascii 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 List-Id: 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.