commit 0496d891778d546ef6c9ae4cc996bc6495f267ba
author Nico Huber <nico.h@gmx.de> Wed Dec 13 16:00:22 2023 +0100
committer Nico Huber <nico.h@gmx.de> Thu Dec 14 00:08:59 2023 +0100
tree ce7d548fc07f0fccaf493cbaece831c6eb75e86f
parent c4c7a5e6bc730c4a1befc9470d7cc06adfc5a1fc

Add Is_Power_Of_2 functions

src/filo.ads

diff --git a/src/filo.ads b/src/filo.ads
index 96f4281..2e02436 100644
--- a/src/filo.ads
+++ b/src/filo.ads
@@ -38,4 +38,14 @@
          Buf'First <= Index_Type32'Last - Off and
          Buf'First + Off + 3 <= Buf'Last;
 
+   generic
+      type T is mod <>;
+   function Gen_Is_Power_Of_2 (Val : T) return Boolean;
+   function Gen_Is_Power_Of_2 (Val : T) return Boolean
+   is
+      (Val /= 0 and (Val and (Val - 1)) = 0);
+
+   function Is_Power_Of_2 is new Gen_Is_Power_Of_2 (Unsigned_16);
+   function Is_Power_Of_2 is new Gen_Is_Power_Of_2 (Unsigned_32);
+
 end FILO;