From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x329.google.com (mail-wm1-x329.google.com [IPv6:2a00:1450:4864:20::329]) by sourceware.org (Postfix) with ESMTPS id 03B273858D28 for ; Tue, 20 Jun 2023 13:56:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 03B273858D28 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wm1-x329.google.com with SMTP id 5b1f17b1804b1-3f909853509so26759755e9.3 for ; Tue, 20 Jun 2023 06:56:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1687269369; x=1689861369; h=mime-version:message-id:in-reply-to:date:subject:cc:to:from :user-agent:references:from:to:cc:subject:date:message-id:reply-to; bh=VF86Fxj9uCpMKiPhnI8fHsstK6n1vC3IIfStHwdCmPw=; b=jIALJxcvm3UlpOHUi0VdLOCRyJ5AdshqU01+JFiNMRJbazhR+QT1TBWs/H/XXObG8/ QU3G6Q/ubuvU6CmmoNX3rUKK0LuULtwGFELDWRKbQrGqyz8JU2MWvkJ1ynsQDoA9T6YP aofjQ8u7ltfgFSNrS1LH4AiG0aCMqFiQxw+CJM64rG1ohfgfuq/kIrb3uPF12XkbFB9j Q2zb96J/FBUnRN7UHMu5R9xO4hzaKfD1FEQOsnSnQYx74uORiiEbXBCfUzH5YxbTse0E +YIoqz0lUddrejqbFFlC3YoVIxA7L7WiOeMgJo+AW7IKNCh5UXb2n3f+dV9LmY7LraFw hPAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687269369; x=1689861369; h=mime-version:message-id:in-reply-to:date:subject:cc:to:from :user-agent:references:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=VF86Fxj9uCpMKiPhnI8fHsstK6n1vC3IIfStHwdCmPw=; b=jgFT9vDIXuhsjecq2h08puDoo9HughJis0p1/lWWrc+3dtZ1npG0KPJaH4RlwdX3eM SGh+4KDuVoahgabG30auZvPqby0DhP+PN3LbCvWUbFM6er2GyMGZjnthihdelJyeR0hD hFgMPZnzMROhsoKlhZb3aEvnw24rZ4B7mFzOQDK9VvQ4y5tqBx6oEPMyV6bMIfIst9je AerdIZEln++Rq07UDikne99UoFwNiKbKDVixZzncSHTQT861TOSRJ6Pjpow1DoYvwenf lmAWCUJmsPjgYMVuUlenMKrCV5kBj6yETCglDlYPigZilfZFG3sa7GkDHjk7bBuLSgcU RjTw== X-Gm-Message-State: AC+VfDwrgNWPQiklmvzToBMEQkhjn9RW7izzIACafRoolDU8m+8JW51j 7Nfq2u4UUYlzEVjDWuRZGWw/xA== X-Google-Smtp-Source: ACHHUZ4ygmVhGwB1lRPS/j3youALaDrv2DQV24p2P2LIropr1N1fpVMNWaFBP29oKPxHt2+qHh84kQ== X-Received: by 2002:a05:600c:24d:b0:3f9:c0e:e81b with SMTP id 13-20020a05600c024d00b003f90c0ee81bmr4638474wmj.31.1687269368796; Tue, 20 Jun 2023 06:56:08 -0700 (PDT) Received: from poulhies-Precision-5550 ([2001:861:3382:1a90:4c16:36ea:1b76:c001]) by smtp.gmail.com with ESMTPSA id p25-20020a05600c205900b003f9b1131a90sm2404652wmg.23.2023.06.20.06.56.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 20 Jun 2023 06:56:08 -0700 (PDT) References: <20230620074700.1252872-1-poulhies@adacore.com> User-agent: mu4e 1.10.1; emacs 28.1 From: Marc =?utf-8?Q?Poulhi=C3=A8s?= To: Alex Coplan Cc: gcc-patches@gcc.gnu.org, Daniel King Subject: Re: [COMMITTED] ada: Add CHERI intrinsic bindings and helper functions. Date: Tue, 20 Jun 2023 15:47:05 +0200 In-reply-to: Message-ID: <87o7la2q6g.fsf@adacore.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Status: No, score=-7.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: Hi, >> 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? We share the same Ada frontend with different GCC compilers and contribute it in GCC's master branch. You're correct that this particular change is not useful (yet) with master, but we are testing/using it with a CHERI-aware GCC. Does that answer your question? Marc