From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-00069f02.pphosted.com (mx0b-00069f02.pphosted.com [205.220.177.32]) by sourceware.org (Postfix) with ESMTPS id 6CAFD3858D1E for ; Fri, 23 Dec 2022 17:23:57 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 6CAFD3858D1E Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=oracle.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=oracle.com Received: from pps.filterd (m0246631.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 2BNEE18R031206; Fri, 23 Dec 2022 17:23:57 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : references : date : in-reply-to : message-id : content-type : content-transfer-encoding : mime-version; s=corp-2022-7-12; bh=+hNb9QNCvesonus1rEziLxAUpyO5Heo0Zmo+7EbZsvU=; b=3I74DT2m+gy4mfU7wej22vzHoMK8QfYmOPYMiCPnmqVOKDKTDT5c5Lgk5AaVHgQBNVfW L9tXM99gNFXpCIHWn/TC9x6yliYe2ZXsKTnvcmaAF/BGxkQ9kaKsOzZ1/4SOaym8IHZY ybitYGywX39rrlCcbqxOb4eEmNm9v9ioNcWTrAAZVy12YuMP96pRDEYBREs3Ivda3qhF KvhluopT6zVcRmhbYbyKPrloSwESukxIircon+8He6tCpVkYJCnN12kCn9Acs99Gq9Vm bSkTnuwNY4WjKk/qhmUMPsyyR+mgAEEW6WMU4Cot7XZ/tvKDAU6JFR7gIF+hPEASfQZe bA== Received: from phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com (phxpaimrmta01.appoci.oracle.com [138.1.114.2]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3mh6tme8bf-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 23 Dec 2022 17:23:56 +0000 Received: from pps.filterd (phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com [127.0.0.1]) by phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com (8.17.1.5/8.17.1.5) with ESMTP id 2BNFBc2v037777; Fri, 23 Dec 2022 17:23:56 GMT Received: from nam10-mw2-obe.outbound.protection.outlook.com (mail-mw2nam10lp2106.outbound.protection.outlook.com [104.47.55.106]) by phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com (PPS) with ESMTPS id 3mh479ptye-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 23 Dec 2022 17:23:55 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=VZVMOApJ/OZZDHSREwYVEAvD/YMKghOlIE6b12cPb3T5M/AOCQA3/Iux6SYmGBFU+yIEnzjFBlS49dR78dTiorP5tCeTFHOUAWIf5FGvVgv6fVxdh8fnxj2dDR4gKy3W90QF10lRm7j6TrF9mZzJ7nRDuRlFwqpowoOnb+2z8tEAtL2WGtmor7crb46FaL3RrIEdymMyZcLsUttCZddnrfLFEKEm8TVoyt4iikG5t4DxoBMLwneFt8KwgWmUILN72U5cLABuDubK2qFkcWwMv6AVnqqlaW3SJ9h1Iv5up/qvPj/ZQGZ5lnU9J0wSoq6Aq/I+bmoMvHWuDrZvVrTypA== 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=+hNb9QNCvesonus1rEziLxAUpyO5Heo0Zmo+7EbZsvU=; b=hHcg2saYDhHtqkDfhyvuaxTlfy5dwWb7JDu+8+Zoldr2eu6J7A+X6ox9OfQfujSl/OSbZ6VGq6YYFE55/75QtxUj21OGt99RMWJRq5aSa/FOzp4F84Rj2HyCykGCebn1Ivt7Z8R450GwWbJyyN1ged0hXlte7bMVDaQCbGeypvDtGYH7qVDRb7A2oPExnp142U/3ZnX+bGfbt30CjemTISfmssFRqr9O5aDCM/AkN7cVE6acQrZ7E7OxQBbanqhcqsLzW6jV2+aKo45Qc0+V1qTc+XM1sFG9Nae1rrJMyFXcqpJNFr2x7hdAIESNFsRYZtn+YZC2gS67SQqsorrjFg== 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=+hNb9QNCvesonus1rEziLxAUpyO5Heo0Zmo+7EbZsvU=; b=QU5mVtnKvKM5z7gbkLHmgLLNAej4HC59RQCsNFJuKQC2il35Mzewv1K7l8PJrDkcPaFsVgkf4EV1AIz4mBdb9ocHHW0gq7z1VnXvFaGS1n0MMOde0+/gY0IWHzmLbrJ4cNd6h6Ch51Ce3078R0geSmSAjxvlVEW4nST+dfMJ9lc= Received: from BYAPR10MB2888.namprd10.prod.outlook.com (2603:10b6:a03:88::32) by BLAPR10MB5201.namprd10.prod.outlook.com (2603:10b6:208:332::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5924.16; Fri, 23 Dec 2022 17:23:50 +0000 Received: from BYAPR10MB2888.namprd10.prod.outlook.com ([fe80::ebe9:b7c9:82ae:d256]) by BYAPR10MB2888.namprd10.prod.outlook.com ([fe80::ebe9:b7c9:82ae:d256%7]) with mapi id 15.20.5944.013; Fri, 23 Dec 2022 17:23:50 +0000 From: "Jose E. Marchesi" To: Alexander Monakov Cc: Qing Zhao , "gcc-patches@gcc.gnu.org" Subject: Re: [PATCH V2] Disable sched1 in functions that call setjmp References: <20221222173208.13317-1-jose.marchesi@oracle.com> <53b93d7e-a157-9116-d07a-4d51cd43d205@ispras.ru> <35CA4F79-CA10-4560-8920-CDA65810E308@oracle.com> Date: Fri, 23 Dec 2022 18:27:57 +0100 In-Reply-To: (Alexander Monakov's message of "Fri, 23 Dec 2022 18:03:20 +0300 (MSK)") Message-ID: <87h6xmyqqq.fsf@oracle.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ClientProxiedBy: AM4PR07CA0032.eurprd07.prod.outlook.com (2603:10a6:205:1::45) To BYAPR10MB2888.namprd10.prod.outlook.com (2603:10b6:a03:88::32) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: BYAPR10MB2888:EE_|BLAPR10MB5201:EE_ X-MS-Office365-Filtering-Correlation-Id: 34428680-721c-43a2-c2bd-08dae50a7539 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: uSge0AwwQUwqE6sMUK0Hvnc0vr6QXsirpi/Il/U0g9pZ6WatB0sa434+O7YdblsNNcS4KrVJiGfZfjZjwCrYXegOHjBeDJiDMNA1eGeLbCzIdCAWbwBerAeg98UMUop4mXvVM2/bTIq7YxbNimUbZmQnXqbLdBQDvCDtbtLGpQYa/oeB30tYXqvm/yIYXevh6/OYIXN+Sn0hJeHKLSnH+gwK8XZVSVYXLLgCExQHoy7Tz27id5Ud0qFqY5purVbKVVy6Ajn2+A2rqCWPdkk/811f+BKe9EyhFL3GLflZ+BXh8kDRbx36igpDgWPzJFq1RPV6nZCFgqZBRTc+Gcpal3cxpOvSZ4KDrcCd6/5vue/lIO51sHmImB2so+zekywnt6SHh1xnY8YxocPWlJXIU9kpN2KMc4lY25wctfNH76UvFuDez9TqJUd9v2DieYmPLh4L1rJypQVZtSi13w0sdorfxRHrToY9zIEmCgOneM0PcWSq32KXbWbveXrzPHUe1i+rFtJ+r4ec1upIifFFsy8WUWVoaynq7Xc4z1Twoqo3oOpKAWYCCE/aUH7dhm6Spp4Qfy+9cZ5EN3GyVzlPiVcrJjTsPgijOUWYKRR//tj6m4eBnK0vpuTCYiDeXlCdRXzuQdq4689C/7vMSklb0w== X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:BYAPR10MB2888.namprd10.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230022)(366004)(396003)(346002)(39860400002)(136003)(376002)(451199015)(6512007)(41300700001)(54906003)(8936002)(6916009)(26005)(186003)(2616005)(66556008)(66946007)(66476007)(36756003)(4326008)(8676002)(316002)(86362001)(83380400001)(38100700002)(5660300002)(6486002)(2906002)(478600001)(6506007);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?ZWkyVDlZcUJveWpyZERPU2xqQ21PRi90elMyVmwrK1hBSnlaM0J2V0d3dFBN?= =?utf-8?B?K3RJcmRZSkE3ZzEzQS8wWVBpeGF2SnBMdzErbzluK1R0MGZ3K0EyOUZvcnBX?= =?utf-8?B?VFdUeVJNMW5MMUVUQlFDSDh6T0RmbXQyL3U1YXE5Tjg0cmU0MC9ySWtvUG5v?= =?utf-8?B?Nm1lOXo2cXAyNlUyNVVmalJwOEZBYjJ0UjVzTythM2l2U2xOd3FBVDgrcXdK?= =?utf-8?B?ZHArRmhjblhNbWRLT2pjVVpqbm9OK3h3UWxmUmJhMWdZeWVwb0d4dytwZDNv?= =?utf-8?B?RUhWVFA1ZXpDZzFqc25iRDN2T28yczRZM0x2THZlNjRjVlp4TTFHa3RZRHk2?= =?utf-8?B?ODZYdUc4dzdvaUpGZ3YzSFBPYzJsMzJaODB2dW9SS3Fzc09nd0NsQXJkaUxR?= =?utf-8?B?UFJrQ241RHRrWlVoRE9ycmc3cjA2cGVJNDI5d3p5MUNHUG9NbVBHL0tPV3V0?= =?utf-8?B?Z3RqQU9hZiswcVN4SndNVTdUd1RLUzR6dE1Qai9JNm9VcldKcC8ySEx1bmox?= =?utf-8?B?VzcycVdYajJOMGZyQnF3WGE1OTUyWlU4aEZTL1JtWng3bG1DTExnZWZJdVJS?= =?utf-8?B?OTdpR3RybjBPSkxUQ0w2S0VERm5hZ0IzRVlLMlhEUDJaZ1BQVzdxZm91SUZW?= =?utf-8?B?dWZoOE1TNXV3eUJ0WjVBVlY2eGlBUk5nVXd2dVNweVFuV2hEMGNGb3lWM0xM?= =?utf-8?B?ZEJUTUg4WUVab2NPaGpOT1lzZDMvUEFwd2x4eCtZUjVPaVBna3dxSVJPVkhX?= =?utf-8?B?QUhDU2pCRzQ2R0JIRi80ZDdEN3hYa0hRK0IzQ0F1SnFMaW5ialNuZDczc1Zu?= =?utf-8?B?RTFXYTN3ODVBZFdMc1ZIUUhzenc4MC93VmwvMEI4blBweEJxT2ttRVBybitr?= =?utf-8?B?Y3JBYVZNeVJTMnpQTkRuY0tVZGtHSjZOUGdseExrK3hBV2VOcGgvNDI3dmND?= =?utf-8?B?NVZ2Z1RUKzNYR3NsdzgzZlc2L0tJcThBT1hESG9BMGFxVjNoMjVKWTN4RTlt?= =?utf-8?B?bXUrV2hvaWlIVm9oTko2VllqKzQyUGVqSEFUNzdjU1BWMklxS2tlbWsrQnZT?= =?utf-8?B?Z1c3UzhRQnc0bnFuMHo1MDJibWlMWXpRSzYrZER3VVgvdk5KNDlhWTJ2dTcz?= =?utf-8?B?TnpJZnk0cWl3RFJUVitqOFJKQjNBOUlRcHp4dk85dVhIRDQvNFVVazRCWWdF?= =?utf-8?B?Z3QxeG42V3FRQjRNY0h2ZTNKQmdUazFXbC9XYmJWQmk3M1JzZVNrZ2RnRUhW?= =?utf-8?B?WjMyaVB1QjhNNnVhT0l0bVNnOFk1QWNuQnZqSmR1dlRDQ1o0Ri9FSldIWFI1?= =?utf-8?B?VDJaSVg1dHoycEdUSWorNlUvc1pLZVVMUE44ZDQ1Q1pCNWJyVFY3YzFZaXhu?= =?utf-8?B?UXNzY3d1OU1kMWZZUUo1SENnSlYrUjlyWEw0RVlmaStJeGNGWmxtbXE3YjVI?= =?utf-8?B?aER3Q0dkejlxSU45ZGtCSlptMyt5YXlhT2RaYVlrejVBSXBPT0FpKzlBaS9G?= =?utf-8?B?T1UyWHhWQ0lnbXhFZnZFL1pCRC9oSE5RZ0JkbUdlOUhWcGdjM0xHbFFEcWc1?= =?utf-8?B?dTdyTUc1REc2V0syMVZSakdUd1lQdXBrRU5KcnZKbEptN3U2d1d6Sjd1NDh3?= =?utf-8?B?NytxWDVpaWxxRDhRMUJISC9UM3hPZWdBSzlVOW5mS2NWNStyT2Z4OWwrT2Zx?= =?utf-8?B?cVMzMnlISDNFUHJaRHc2L0VWa0RVcEpaMGMrTndkQ0Q1T2tmeCtwcUpNOStt?= =?utf-8?B?b2hGYi9LUnpTblBadWNPdlY5bzFvdS85TDJnUitHOVRZRzdNVEV6bEhBRW5G?= =?utf-8?B?bjVreVlRVGtxQXVCYzUyanEwSlNySjRZM01mUVQwUm9ESDNPTlF0OExnNWZT?= =?utf-8?B?QVU5eTBJNzhocjg5U1p6Q1kwamVDeG4xQ3h4K3J5Wk1ka29FaHFpZ0NVOXlC?= =?utf-8?B?b1E1eGRadkZ6dko2cXVYa1dWL0xEYjZ0N0Uzb0p4SmgzblowcDJiejlVR2Q4?= =?utf-8?B?Y0tCOG1ueGoydEdSYlpQRDNhaWFZR21TY0xLVDdrdVdHKzY5NHhDMmJYZzRo?= =?utf-8?B?T0M4KytYWVJ2dk5jWU9KZTJaMGJ1d1lmemtDOVAzMnRVVURDQXhxKzhFZ3dk?= =?utf-8?B?VlRPSUlJQnpSSlZ0UFZjeXczb2hLMG9zNTZqRjRLOEhWQjJFQ05IdThIVnVY?= =?utf-8?B?NEE9PQ==?= X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-Network-Message-Id: 34428680-721c-43a2-c2bd-08dae50a7539 X-MS-Exchange-CrossTenant-AuthSource: BYAPR10MB2888.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Dec 2022 17:23:50.8155 (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: jUjdgzxgXna0+pvrK0xLMzd4XkEf4MsKxquySoWsCnnU2Xt3cbwVyUlLtZjvVSs015TU9geM16jm2wP0R5YJjtnHlX+yL6SZwyGQAJ7STTc= X-MS-Exchange-Transport-CrossTenantHeadersStamped: BLAPR10MB5201 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.923,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-12-23_06,2022-12-23_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 malwarescore=0 bulkscore=0 mlxscore=0 adultscore=0 phishscore=0 suspectscore=0 spamscore=0 mlxlogscore=999 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2212070000 definitions=main-2212230144 X-Proofpoint-GUID: nGYZqwS0iGyRDxTTqDZbeYw5LF7bV7Lc X-Proofpoint-ORIG-GUID: nGYZqwS0iGyRDxTTqDZbeYw5LF7bV7Lc X-Spam-Status: No, score=-6.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H2,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 List-Id: > On Fri, 23 Dec 2022, Qing Zhao wrote: >> >> I am a little confused, you mean pre-RA scheduler does not look at th= e data flow >> >> information at all when scheduling insns across calls currently? >> >=20 >> > I think it does not inspect liveness info, and may extend lifetime of = a pseudo >> > across a call, transforming >> >=20 >> > call foo >> > reg =3D 1 >> > ... >> > use reg >> >=20 >> > to >> >=20 >> > reg =3D 1 >> > call foo >> > ... >> > use reg >> >=20 >> > but this is undesirable, because now register allocation cannot select= a >> > call-clobbered register for 'reg=E2=80=99. >> Okay, thanks for the explanation. >>=20 >> Then, why not just check the liveness info instead of inhibiting all sch= eduling across calls? > > Because there's almost nothing to gain from pre-RA scheduling across call= s in > the first place. Remember that the call transfers control flow elsewhere = and > therefore the scheduler has no idea about the pipeline state after the ca= ll > and after the return, so modeling-wise it's a gamble. > > For instructions that lie on a critical path such scheduling can be usefu= l when > it substantially reduces the difference between the priority of the call = and > nearby instructions of the critical path. But we don't track which instru= ctions > are on critical path(s) and which are not. > > (scheduling across calls in sched2 is somewhat dubious as well, but > it doesn't risk register pressure issues, and on VLIW CPUs it at least > can result in better VLIW packing) Does sched2 actually schedule across calls? All the comments in the source code stress the fact that the second scheduler pass (after register allocation) works in regions that correspond to basic blocks: "(after reload, each region is of one block)".