gcc/ada/libgnat/i-cheri.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                       I N T E R F A C E S . C H E R I                    --
   6 --                                                                          --
   7 --                                  S p e c                                 --
   8 --                                                                          --
   9 --                     Copyright (C) 2023-2024, AdaCore                     --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 -- As a special exception under Section 7 of GPL version 3, you are granted --
  19 -- additional permissions described in the GCC Runtime Library Exception,   --
  20 -- version 3.1, as published by the Free Software Foundation.               --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNAT was originally developed  by the GNAT team at  New York University. --
  28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31
  32 package body Interfaces.CHERI is
  33
  34    ----------------------------
  35    -- Set_Address_And_Bounds --
  36    ----------------------------
  37
  38    procedure Set_Address_And_Bounds
  39      (Cap     : in out Capability;
  40       Address :        System.Storage_Elements.Integer_Address;
  41       Length  :        Bounds_Length)
  42    is
  43    begin
  44       Cap := Capability_With_Address_And_Bounds (Cap, Address, Length);
  45    end Set_Address_And_Bounds;
  46
  47    ----------------------------------
  48    -- Set_Address_And_Exact_Bounds --
  49    ----------------------------------
  50
  51    procedure Set_Address_And_Exact_Bounds
  52      (Cap     : in out Capability;
  53       Address :        System.Storage_Elements.Integer_Address;
  54       Length  :        Bounds_Length)
  55    is
  56    begin
  57       Cap := Capability_With_Address_And_Exact_Bounds (Cap, Address, Length);
  58    end Set_Address_And_Exact_Bounds;
  59
  60    ----------------------
  61    -- Align_Address_Up --
  62    ----------------------
  63
  64    function Align_Address_Up
  65      (Address : System.Storage_Elements.Integer_Address;
  66       Length  : Bounds_Length)
  67       return System.Storage_Elements.Integer_Address
  68    is
  69       Mask : constant System.Storage_Elements.Integer_Address :=
  70         Representable_Alignment_Mask (Length);
  71    begin
  72       return (Address + (not Mask)) and Mask;
  73    end Align_Address_Up;
  74
  75 end Interfaces.CHERI;