Re: highest bit, statically determined

[Pascal Obry <pascal@obry.net>]

Georg,

> Is there a shorter/better way of having the compiler
> find the highest bit = 1 in a static numeric constant?
> 
> If N is such a constant, e.g. Some_Type'Last where
> Some_Type'Size = 8 and its bound are static, then
> 
>    Highest_Bit_In_Octet : constant :=
>      Natural'Max
>      (8 * Boolean'Pos (N / 2**7 > 0),
>       Natural'Max
>       (7 * Boolean'Pos (N / 2**6 > 0),
>        Natural'Max
>        (6 * Boolean'Pos (N / 2**5 > 0),
>         Natural'Max
>         (5 * Boolean'Pos (N / 2**4 > 0),
>          Natural'Max
>          (4 * Boolean'Pos (N / 2**3 > 0),
>           Natural'Max
>           (3 * Boolean'Pos (N / 2**2 > 0),
>            Natural'Max
>            (2 * Boolean'Pos (N / 2**1 > 0),
>             Natural'Max
>             (1 * Boolean'Pos (N / 2**0 > 0), 0))))))));

if N > 128 then
   return 8;
elsif N > 64
   return 7;
elsif ...

elsif N > 0 then
   return 1;
end if;

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B