From patchwork Thu Mar 27 00:40:50 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Volodymyr Babchuk X-Patchwork-Id: 14030656 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 0B63AC36008 for ; Thu, 27 Mar 2025 00:41:21 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.928334.1331069 (Exim 4.92) (envelope-from ) id 1txbJ1-0002ia-2s; Thu, 27 Mar 2025 00:41:11 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 928334.1331069; Thu, 27 Mar 2025 00:41:11 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1txbJ0-0002iS-W7; Thu, 27 Mar 2025 00:41:10 +0000 Received: by outflank-mailman (input) for mailman id 928334; Thu, 27 Mar 2025 00:41:10 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1txbJ0-0002GY-2t for xen-devel@lists.xenproject.org; Thu, 27 Mar 2025 00:41:10 +0000 Received: from DU2PR03CU002.outbound.protection.outlook.com (mail-northeuropeazlp170120003.outbound.protection.outlook.com [2a01:111:f403:c200::3]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 2c632a31-0aa4-11f0-9ea3-5ba50f476ded; Thu, 27 Mar 2025 01:41:08 +0100 (CET) Received: from DU5PR03MB10441.eurprd03.prod.outlook.com (2603:10a6:10:516::14) by PAXPR03MB7698.eurprd03.prod.outlook.com (2603:10a6:102:204::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8534.44; Thu, 27 Mar 2025 00:40:52 +0000 Received: from DU5PR03MB10441.eurprd03.prod.outlook.com ([fe80::eeb8:470:6260:e5f4]) by DU5PR03MB10441.eurprd03.prod.outlook.com ([fe80::eeb8:470:6260:e5f4%5]) with mapi id 15.20.8534.043; Thu, 27 Mar 2025 00:40:50 +0000 X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: 2c632a31-0aa4-11f0-9ea3-5ba50f476ded ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=VUo+denI8FQecJlhbUcIyKOtA+KwQ54O2YT6kHhXjcyXxCEtBbNpagOIBwrDjZx/LP/wS9nmM45dzzNPCBEabJbh04/xr2Ooen4pX2rr49HLDefqdib1vI3Lp98JycYoS0609FjRCfxAKfxiZ8Ft5Jsr6mGtJcTrs+RB7/nfjo8vJoXHns/++1CAPvLBnVmJQ2w0TB6KCVFMAZn9zBU2JANK8bu5jLr74/joT/tdSX4Y4Rkdg+etUK77vEiH8JkIEOZJOaZIot09CWGJVhKxPJdRbyplTAUyR41y0J573egmwf96EpM4m1sot7zSkYdtEYQIRm/bNydRSbIpBegdkg== 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=2PNoRs+P8rV3LA1/W8yDEqZfleN+5JFyDrKAcBiYHCc=; b=KMNPya8T3ByC/6B81+oik3ClV7/MzmtoozmS41CjFOF21PNi3qpa6E+Vr2nG+d21dmGICe/w5TYR8j2cn3u3ZgIk0F3pdVpHq+9EJKSz2a3pAisCFBgDxYo1NGA+Epmsm0S8VA0vKyfXb15bstV/HLYq6ZATkZJs0FsZ/i3nMrFkKW0JOqNozkuXyNP15I4X+EkzCYNVKBr7LFhD+AvxIp7Od3MoQo6k2OewecdlUXA2c3W3iDcSrwG/iO7a7eKAn4DM936A0+OPjNLfzcs3bbZ2Sxb/3gKos/+i51Dd/UK2iwMaCgp/QMCfsahAMvwUJGL//Qv7e2FPA9oEQb2wKQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=epam.com; dmarc=pass action=none header.from=epam.com; dkim=pass header.d=epam.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=epam.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=2PNoRs+P8rV3LA1/W8yDEqZfleN+5JFyDrKAcBiYHCc=; b=phaj+ij3ZA8gtZoodwV3hrckIEn+8e+dEf5qVvJAPNt2Yi6sXLEB3hoknrSOFf8BUf0UGXmcjAU1tAIuInzzz4UYNg9Uo3V/ZQquu+SmvM6uzCyriZKCfI3rrPHLMkWos1JsJuBC5nkSJUfXkq+jpqwWgDtL1epBWl89XT3uiaLdSZy0kK7aKUFOJGBQlIZ+FEreDkMehlQroIMDGr2/1opGqRHIi9bRWmTLNkEHzShM8PxcdjYs0PsJtOZUtBCS38T9x8AAHcCAjjDzXEdaqSuXCRk+C2Fa8dcPd38Cc8Vw7uTwWVAlH8eYospVhqB6Vg0MZv+HBsFKr8dQsM/M7Q== From: Volodymyr Babchuk To: "xen-devel@lists.xenproject.org" CC: Volodymyr Babchuk , Andrew Cooper , Anthony PERARD , Michal Orzel , Jan Beulich , Julien Grall , =?utf-8?q?Roger_Pau_Monn=C3=A9?= , Stefano Stabellini Subject: [PATCH v1 0/3] Enable MC/DC support for GCOV Thread-Topic: [PATCH v1 0/3] Enable MC/DC support for GCOV Thread-Index: AQHbnrDjnU9KKdJKZ0alkRNpR7EUwA== Date: Thu, 27 Mar 2025 00:40:50 +0000 Message-ID: <20250327004044.2014048-1-volodymyr_babchuk@epam.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: git-send-email 2.48.1 authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=epam.com; x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DU5PR03MB10441:EE_|PAXPR03MB7698:EE_ x-ms-office365-filtering-correlation-id: c62a440d-d24d-4cce-5037-08dd6cc805cd x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|376014|1800799024|366016|38070700018; x-microsoft-antispam-message-info: =?utf-8?q?dBs0zXlwyJHGHKAuFzFeAbban+9PZfR?= =?utf-8?q?hDxQ69Ys2Tf/Oo6eb8J4eGJrrCye/QR6Rw8M9OT2xaOL7qdNHFEQZW4P/2Z3cP6XT?= =?utf-8?q?rU6DsPXD/ZGqLfAT0LbjVGD1J81mJAfx7sux9/bbQdudGE2v83ZwlSDdr0UmdvQag?= =?utf-8?q?EWSZTX0pNmN7rYpL74pmJ0Jy7Lz/bqcPIVZ3W5TZfGqAyoc2qqTlwjUliVhclQ8hT?= =?utf-8?q?Pyq6O1KLn9EVG/+2C5oh6/0uRTXg6jBARhtQgCQHTZDlhKm2+zfWHRRfL10loMmDX?= =?utf-8?q?uEFs8av3vF+KW3lctXx2wm3maU6P4YLYLPAkfau88hqU3xQ0QdewxI9aCudZHwCFD?= =?utf-8?q?3p2oHnN4vzmnR5D8nEgRDfmQPVGsAy+VLLxy5HuQCt1A95mO8eSI7ToVVB7zUB8bg?= =?utf-8?q?82AlIUc7mfugnknh19lw2Sffk8cvS+6GiSmg0h8WlSEw9J/3M629IgPOqDZvcd6ew?= =?utf-8?q?o84WY1PwWiriIapa735PrszFc2w91R/1Sk7da+FEIJsTHkvDS/dqK/Qv7kxFt4XGj?= =?utf-8?q?F/JyS1b1ZjcnuDuFnM5lg/mweifeczbGGmzaAK40wGzsPW49rUxgwwATi6GWQfv/d?= =?utf-8?q?XPvdpoUQHa6erIRySIj/Sy99834+rJGXhU8PjCQGICwKkSS2rBu4BlY/RnaH2cv+p?= =?utf-8?q?ur9ZZbS6s0Pej49PFLR1i23KZbV7GPfHAEjuVwgp5bvoANpEfNcVD6AG12V9HzJGS?= =?utf-8?q?+X0aplK0NiaDLIvVEcBLXxji/QR7FAOGMpOz9BMeczrQDDuEf+O82xl/cAjbBAmBk?= =?utf-8?q?HP7bLqIWKlV9w+y1ckq6cBN7Zpbf8jVnJZgXVBaWVQdh9/hKVXHbBGjiE7QUsfXwk?= =?utf-8?q?HFZzgXJQD9ra4JSa6heqLo6UEnZRYyX0+jwTD9SkFtMudxHabAQ6qXpLBbPHLA4mJ?= =?utf-8?q?kR3sq2dbrWXKOzqwKG+lcN/fJDqPKwRnVSh/9qQkPB5zrjtByyVsDCn+ueekVc7eB?= =?utf-8?q?BASiWhuN9g4pp4UaX1ClFZnF4RIwtXW+52LUtSc3/9gDQAYgRJK+Of8I9Fe9LcZd9?= =?utf-8?q?HJrEjmSBRToY+QyLoAoeVktj6PCiMVcrnRRPQZ/MOLE23divyugV1GETiKH1JzSx9?= =?utf-8?q?hXByrcjHu4qCathi5Y5PJ7rs72qPiMb/Wx4VtvvkkQ0U+sPDSGJtxzTo6TRqvMPvX?= =?utf-8?q?94gywtrB8pNVn2gen8LjFK/uqNZR6KXadOHrtcE/xptY5oaV6bWyi/1FJsBsqNvSP?= =?utf-8?q?QO20oK6KCd+Wt3ZqpWpDNDiwhDD+MNf/BEWG/sTIHx0KKI0aEQk4SNvWixf8yelxy?= =?utf-8?q?LoYtPhMbzjfUewCS2T1ecrl9q3SB2c5+YIqMDCrtlVJ9jqYdYrD0CDUjt8FBP+ryY?= =?utf-8?q?p0LFil2KagrzqlgnT9yDXrhqskmqXHUBe84osQOvYkx0xUHJo/MMzIOWl3H4J/4Gk?= =?utf-8?q?ZAxWS1Ww/vz?= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DU5PR03MB10441.eurprd03.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(1800799024)(366016)(38070700018);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?q?exuUdRbmMtrxyeVrp9I4kF3u9wk8?= =?utf-8?q?tahRlBECMrX9gM0HQ7aOSXV74U+yfronRKKItkvr2Y2Bus+KyJBFXcefZEC6Cgk4y?= =?utf-8?q?z2kFZAZxfodGkP0tMc9EmbgO97W9uUNHrMDWeRGB/ryFA8F4u6RDnOH84KVUL5Jzy?= =?utf-8?q?4SjTuw+ZRAuvMOKX1GJ9QedBIOfuZhVnv6VX1x118lqAOJ4Jkg8Uqq66A15xt2JgP?= =?utf-8?q?jTL0KS5VUZ6Pnk8xXN9mbIFI1oj10JtL6uFoiPaS6zwueVHZrunZ+sjbZIGAWpnOy?= =?utf-8?q?yrLkKw6imhkM0k/gD6VtNilx29V0m+BmfKPrYkA/FnY7zP9y8wNLGa4XCnt2oUpHW?= =?utf-8?q?9KVVjOD1gT/WuOpmPvnjTUNNUyQMdUDxMvmO94TIgHBVXJNwHgXJSJLXEUwthe1Yy?= =?utf-8?q?nkwNDF3+5ndVTeOB9B/D2YltS5fOqHjRu/68KbRWxk3rY671vXO2lsquE0Z5JgjTQ?= =?utf-8?q?Vms7jYZUQ+++qGJnShDgN+hc85bfN8vCdEe5iY4dz2oklmMPkQtuiimA5xjHhK9AP?= =?utf-8?q?xPjTpLlMIBfD6YGKUBg9c0h7hv6AXjqf35Yl7yJdAxX17cw9YaXzv0czKvKYiIzI1?= =?utf-8?q?V1cqefAjO0nvRWhEmwjos4A6WHnzf+J62woyiJSF5Nj32qQEf53Zgpxyfm7h3Gpkh?= =?utf-8?q?gLS2vBN+qWLHKWSnXcJmD1dbCkxK45nP+gpwwaMdbGzjzvdUgNQQQzMme2UOUpqmL?= =?utf-8?q?V71NGpXJvxFEWv+8kLqcw8S7OOJZlAkNNVvmV8Ti7QLDu9mb26GjJ0YM8uc7YkDOt?= =?utf-8?q?b/pRE4Zmz9Yc1pwwQ8wqpWng7Vec9ZYQiFZ/bESZJTWXzzhaG3CXxGMKzWtlkuwCJ?= =?utf-8?q?ogHjLyL+RYgBRve6LLB0dHJ9VwsApKDwBUbvZDF3C9h/8PzUbpJrfX5zzcbI1T4PX?= =?utf-8?q?2lqfetnd4wrEOH8KTFNyOzTvRzcf0H1v1PHxoCam4WZH6JH3yJYynFuHhnyPao5Om?= =?utf-8?q?6S6pZu4Xfd8+NHAWPMh89UQdW67MOdUPIRIrSTJuArHkIVhHxQZrjlNKWHRRshAFg?= =?utf-8?q?kMoxT9O8vjydloPDZtMWBWT2iFDT63j06w2HJ04NNS/EsUY7Tt4kMp8CGX51kANnp?= =?utf-8?q?vpmv7iebJClaO1OaXwDfz8FQCMx1Vwm7UP8AkA5Ut3ZGloU1ZnHIv+cRPG06PUN5o?= =?utf-8?q?lrsinoDjB57HH5xO3Dwt8IGTcCj8r3WD4NSsgogeIaQzL0iJak+jLPrYiH4cPDTRD?= =?utf-8?q?KrQy9OJyb4f0W+Xh9W8757HJkcHe18RSjx3WHmD0hBfbgl36uwx+4pa+ltv624MLc?= =?utf-8?q?PDKKGeWRpNDpHi1dKFFn7HjC3nelv283oecxIOkMJ2pYVr8YDVViwsAZSq4s928j6?= =?utf-8?q?O4IuB/HrEpXxw+Hmg7xTt/xC6P+a6piYg/2lCtIeKUVPcfU2oeASOiVtXYCtVFiyT?= =?utf-8?q?xgOzgxT1J6x9jaWFHuv9S6buXf2yoktD6giGF9jgtl+t7+PvfiuzeJn3Gt79MmgC0?= =?utf-8?q?XrXsUUPRT0+Pu7x0NzXFqgnn6AHFnjkdQJJuekEwgLGwWY5Lt6IQvjoWylRmLVcsf?= =?utf-8?q?DSzC197Hx8rQ/S34J2N64la9uJvGaCrTNQ=3D=3D?= Content-ID: MIME-Version: 1.0 X-OriginatorOrg: epam.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DU5PR03MB10441.eurprd03.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: c62a440d-d24d-4cce-5037-08dd6cc805cd X-MS-Exchange-CrossTenant-originalarrivaltime: 27 Mar 2025 00:40:50.2449 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: b41b72d0-4e9f-4c26-8a69-f949f367c91d X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: ApznvSSafW6QVPTOhEGsXbBQ5wrKzJE7L/X5O+McswPUgXFpFA5InlG52FYMkGDc2tpfKc7XdAMV0kgcLlYfgqofJe15XgN92kx/Cdeou0A= X-MS-Exchange-Transport-CrossTenantHeadersStamped: PAXPR03MB7698 This series enables MC/DC for Xen when building with GCC. Condition coverage, also known as MC/DC (modified condition/decision coverage) is a coverage metric that tracks separate outcomes in boolean expressions. This metric is used in critical software components, so it natural to collect it for Xen. Second patch in the series ("xen: x86: irq: initialize irq desc in create_irq()") deals with unexpected GCC issue. I haven't found a better way to fix it. This series support only GCC, although Clang, starting with clang 18. supports similar feature. But Clang 18 uses raw profiling format version 10, while Xen supports only version 4, and there are quite substantial changes in headers and structures, so adding new version format is non-trivial. Also, Xen built for aarch64 with clang 19.1.17 and code coverage enabled, completely hangs up during boot, so there is clearly more work required. But at least we can have MC/DC with GCOV. Volodymyr Babchuk (3): xen: gcov: add support for gcc 14.1 xen: x86: irq: initialize irq desc in create_irq() xen: debug: gcov: add condition coverage support xen/Kconfig.debug | 9 +++++++++ xen/Rules.mk | 3 +++ xen/arch/x86/irq.c | 2 +- xen/common/coverage/gcc_4_7.c | 8 +++++++- xen/common/coverage/gcov_base.c | 5 +++++ 5 files changed, 25 insertions(+), 2 deletions(-)