From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR05-DB8-obe.outbound.protection.outlook.com (mail-db8eur05on2064.outbound.protection.outlook.com [40.107.20.64]) by sourceware.org (Postfix) with ESMTPS id 576F13858D1E for ; Tue, 20 Jun 2023 13:00:59 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 576F13858D1E Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=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=LUzPOtVtXz5cSvjnem7CQF2OiBKyR2UVEFaeeH9LBp4=; b=6UjD0fZyGl1QxyYFeJKMa6BzApThbx9omu6laeLG1JHvuoikCExk1RztCG0axuOt+wzRfllHrLh8iWvWGozXrNyONnfjfVjP9huU0iWxZtqD0LuojuWDkvrC4EA3elrCmC7Rg37ZEijDoZ+vm+5ft1rmqhy4GUysvutnVUfJFe4= Received: from DU2PR04CA0043.eurprd04.prod.outlook.com (2603:10a6:10:234::18) by AS8PR08MB6710.eurprd08.prod.outlook.com (2603:10a6:20b:397::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6500.37; Tue, 20 Jun 2023 13:00:55 +0000 Received: from DBAEUR03FT004.eop-EUR03.prod.protection.outlook.com (2603:10a6:10:234:cafe::56) by DU2PR04CA0043.outlook.office365.com (2603:10a6:10:234::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6500.37 via Frontend Transport; Tue, 20 Jun 2023 13:00:53 +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 DBAEUR03FT004.mail.protection.outlook.com (100.127.142.103) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6521.21 via Frontend Transport; Tue, 20 Jun 2023 13:00:53 +0000 Received: ("Tessian outbound 5bb4c51d5a1f:v136"); Tue, 20 Jun 2023 13:00:53 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: 212e25491a1051e0 X-CR-MTA-TID: 64aa7808 Received: from 2f2d5906fa84.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id DF57A890-D412-40EF-88C4-6214A8550415.1; Tue, 20 Jun 2023 13:00:48 +0000 Received: from EUR02-DB5-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id 2f2d5906fa84.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Tue, 20 Jun 2023 13:00:48 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=OncNw07OIENpptxyWuEgTVjHINLfAs1YgR4Xbhmhju+iHRyQO0DXvq/eWV3JiS/jUnxxNJLskEd748NzIV+al67Af+vVFmiQlc9TOUClVdW+yUTfh4Vpo0CxZ6JOMUXkdu+M8+mXCokKkPMtRZAL7u8apgffky7gQ45wo0fUT38qjI50U/7/TecXuRIvAKmIv5mVehQboVX411yuJci+a7YPfJ80HcprMkjwBNglibCyhXgz4kQBDK2rcEcvjfTyB2mSsdCP92F8tTI4O8dOzAIbym/zkzGPacMWQ9kTe6vYB6uC1s79BKWYenPNOmNo6I33FRDbAgVI9vGdrIq7TA== 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=LUzPOtVtXz5cSvjnem7CQF2OiBKyR2UVEFaeeH9LBp4=; b=nmNPEK3u58QctafqkuWMrBVpeD4+DQFVQeyoyuVMPnOLyL6l07LmAnD0spzBNyIxh7RcLYobzdyKB4JItcs7PxzylWxKn5BzrRecB3FD4hQZwsYb011lGB8bCtfYxdF0mgrz5AGH+p85Ejh5WRomsCWsQ9pibqx5m3yGONZh1uAMHjI4AmVjjTiwbZEe78FS+4QZ5W6Mp4s0piariQrQHaU2VX9CyF6YD0Ycj+pvy86pL0wkA+G8dV3nILqnzQgXJxupg9ylAjtiwR6MXl7xNfqGpQCKo01jypvhbGdqL6MDc0I5DJn5XoR5MNJ431EKOJ/YucY4I61lvYP5rccRRA== 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=LUzPOtVtXz5cSvjnem7CQF2OiBKyR2UVEFaeeH9LBp4=; b=6UjD0fZyGl1QxyYFeJKMa6BzApThbx9omu6laeLG1JHvuoikCExk1RztCG0axuOt+wzRfllHrLh8iWvWGozXrNyONnfjfVjP9huU0iWxZtqD0LuojuWDkvrC4EA3elrCmC7Rg37ZEijDoZ+vm+5ft1rmqhy4GUysvutnVUfJFe4= Authentication-Results-Original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com; Received: from PAWPR08MB8958.eurprd08.prod.outlook.com (2603:10a6:102:33e::15) by PA4PR08MB7617.eurprd08.prod.outlook.com (2603:10a6:102:272::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6500.37; Tue, 20 Jun 2023 13:00:46 +0000 Received: from PAWPR08MB8958.eurprd08.prod.outlook.com ([fe80::202a:45b7:3be8:47d5]) by PAWPR08MB8958.eurprd08.prod.outlook.com ([fe80::202a:45b7:3be8:47d5%6]) with mapi id 15.20.6500.036; Tue, 20 Jun 2023 13:00:46 +0000 Date: Tue, 20 Jun 2023 14:00:39 +0100 From: Alex Coplan To: Marc =?utf-8?B?UG91bGhpw6hz?= Cc: gcc-patches@gcc.gnu.org, Daniel King Subject: Re: [COMMITTED] ada: Add CHERI intrinsic bindings and helper functions. Message-ID: References: <20230620074700.1252872-1-poulhies@adacore.com> Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20230620074700.1252872-1-poulhies@adacore.com> X-ClientProxiedBy: DS7PR03CA0270.namprd03.prod.outlook.com (2603:10b6:5:3b3::35) To PAWPR08MB8958.eurprd08.prod.outlook.com (2603:10a6:102:33e::15) MIME-Version: 1.0 X-MS-TrafficTypeDiagnostic: PAWPR08MB8958:EE_|PA4PR08MB7617:EE_|DBAEUR03FT004:EE_|AS8PR08MB6710:EE_ X-MS-Office365-Filtering-Correlation-Id: ce711ce2-b1a1-4fee-d205-08db718e6196 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: Erm51a8kccx7DwmoHMql1uJFtJiO32GzbIQAtDp+1wgUEr5ohasD8UWm5dAECfshgjosTMJzJr9oV8L0zBp1euJKbEUhymPhTjNWC9TPTmDQCG5U+6PcbemSo8vDmTLzJeQHl2gFu9S+6n+hK2vyU+Gk1I/qh3qWGt7Ceh70YeZbsClhvYmMFKICm+lm9qtWgnMvGBpquUJNojRsMbc1GIEAWvDXq3lpR/67qlDa5JPbxU9TMm3U8/Qt5E43fZ6rC2PJW7zPGjOxv4/7H3TOepAMQY4lJiSI3F4PKaZFNI6lPcdLHWjsw7jL78qfUoaJ8XTEK7fWAis3Mo7uvVkDpltZ/PxoqDpUqUJLXn8+C94mhzYVNAV7UxSNFhNVe3TmSPgTFL7I7F6awIvm+7I0IguO37gfdujGK9QkevXBcJC7L0kmOgfwTfDDqq4vAaij8lrJTuy29ybU0OqYbB3ip/7lqc22dFULSiyHluQ3+f9h90gQMGOZp6km7zvHA/aG0XwltUlp2Ao3t/mVE2zIgbLWNgdjaLXrRS0Igg8U2dhaYQN888dXWAAUavHP38DY X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PAWPR08MB8958.eurprd08.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230028)(4636009)(396003)(39860400002)(376002)(346002)(366004)(136003)(451199021)(4326008)(316002)(6916009)(66946007)(66476007)(66556008)(86362001)(2906002)(4744005)(2616005)(53546011)(36756003)(44832011)(8936002)(8676002)(5660300002)(38100700002)(186003)(26005)(6512007)(6506007)(41300700001)(6486002)(6666004)(478600001);DIR:OUT;SFP:1101; X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA4PR08MB7617 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: DBAEUR03FT004.eop-EUR03.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 29dff0be-b9ff-4c27-d169-08db718e5d39 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: dZ3lkLDScgrGLewYHrnQxqxocKGlsJQWsf4dkvE5hStVkjYMyraJE4YsGWVDKZIhItLvmeKWzM92Ny9oRDmz7c3nD41T2JdSYhZ9mKU+3aNvhs364olwAwiNMY5T60RGo97/EFDDcu+CZOXbvKO51DDhcVcNFFGiQkctrAIZjpOuHvNw+yxVfACx2XlmETw1kgjQyhh1iT8gzWYVkYKPeAqdu57ZQayDgAOJz7PAZWWOmRN27x8gi/XS0hgK1g1IDrb1yfnhaqjcmmOAiISPOc4UAtp0OutssgK6b9T23Fm5jnfwIOYyznqB8ogaNPxRfZjOY7lwCOJID0pg5LvPtnEEfJ3HvWPUizuospWzf7/pxwjIM/Fwno8MGgLP7QvPozJm02R3VoHZA3fYUT+a8Lp/7P8E/kH+lolwFmC+V8lF9srADFqPXT6HaivOtTnszXt++CzMuuBYICsvIqe/9Tpj9hF0rUmqhGmjZb+dRjgzQDXfrlqJCGugwfb3oGL7bqin1luzirPK9Nn46scYRDEhTzJ0Ir+G99mh6Vec+xch/Bmkc6vKoPVCH/ajol4qZolrl871yofpcNZ3ed1X5kt13v3EIKr4KW3pZv9J+WT8BnoRliQyMsmmvPp2JedaPbjfY6kmEplJQvgvqTUhpoLEvk3wwycSF3v+DFiYYuItMgNTjfCVhWNKDREeTeIZPZcQMpOMaPD5sEU51gd8b+O3yc1uMKKjJv1MCgXFviQ= 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:(13230028)(4636009)(39860400002)(376002)(346002)(396003)(136003)(451199021)(40470700004)(46966006)(36840700001)(2616005)(82310400005)(47076005)(41300700001)(4744005)(6862004)(5660300002)(8676002)(8936002)(6486002)(44832011)(2906002)(6666004)(478600001)(316002)(336012)(36860700001)(107886003)(186003)(6512007)(6506007)(53546011)(26005)(36756003)(4326008)(70206006)(70586007)(40480700001)(86362001)(40460700003)(356005)(82740400003)(81166007);DIR:OUT;SFP:1101; X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Jun 2023 13:00:53.9625 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: ce711ce2-b1a1-4fee-d205-08db718e6196 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: DBAEUR03FT004.eop-EUR03.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8PR08MB6710 X-Spam-Status: No, score=-6.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,FORGED_SPF_HELO,KAM_DMARC_NONE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_NONE,TXREP,T_SCC_BODY_TEXT_LINE,UNPARSEABLE_RELAY autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi, On 20/06/2023 09:47, Marc Poulhiès via Gcc-patches wrote: > From: Daniel King > > The package Interfaces.CHERI provides intrinsic bindings and > helper functions to allow software to query, create, and > manipulate CHERI capabilities. I'm curious what the motivation for these intrinsic wrappers is, given that GCC trunk doesn't currently support them. Out of interest, can you share what the use case for these is? Thanks, Alex > > gcc/ada/ > > * libgnat/i-cheri.ads: Add CHERI intrinsics and helper functions. > * libgnat/i-cheri.adb: Likewise > > Tested on x86_64-pc-linux-gnu, committed on master. > > --- > gcc/ada/libgnat/i-cheri.adb | 75 ++++++ > gcc/ada/libgnat/i-cheri.ads | 470 ++++++++++++++++++++++++++++++++++++ > 2 files changed, 545 insertions(+) > create mode 100644 gcc/ada/libgnat/i-cheri.adb > create mode 100644 gcc/ada/libgnat/i-cheri.ads