raw
ffa_ch3_shifts.kv       1 ------------------------------------------------------------------------------
ffa_ch3_shifts.kv 2 ------------------------------------------------------------------------------
ffa_ch3_shifts.kv 3 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
ffa_ch3_shifts.kv 4 -- --
ffa_ch3_shifts.kv 5 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org ) --
ffa_ch3_shifts.kv 6 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
ffa_ch3_shifts.kv 7 -- --
ffa_ch3_shifts.kv 8 -- You do not have, nor can you ever acquire the right to use, copy or --
ffa_ch3_shifts.kv 9 -- distribute this software ; Should you use this software for any purpose, --
ffa_ch3_shifts.kv 10 -- or copy and distribute it to anyone or in any manner, you are breaking --
ffa_ch3_shifts.kv 11 -- the laws of whatever soi-disant jurisdiction, and you promise to --
ffa_ch3_shifts.kv 12 -- continue doing so for the indefinite future. In any case, please --
ffa_ch3_shifts.kv 13 -- always : read and understand any software ; verify any PGP signatures --
ffa_ch3_shifts.kv 14 -- that you use - for any purpose. --
ffa_ch3_shifts.kv 15 -- --
ffa_ch3_shifts.kv 16 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
ffa_ch3_shifts.kv 17 ------------------------------------------------------------------------------
ffa_ch3_shifts.kv 18 ------------------------------------------------------------------------------
ffa_ch3_shifts.kv 19
ffa_ch2_logicals.kv 20 with Word_Ops; use Word_Ops;
ffa_ch2_logicals.kv 21
ffa_ch2_logicals.kv 22
ffa_ch2_logicals.kv 23 package body FZ_Basic is
ffa_ch2_logicals.kv 24
ffa_ch2_logicals.kv 25 ---------------------------------------------------------------------------
ffa_ch2_logicals.kv 26 -- Fundamental Operations on FZ (finite integers)
ffa_ch2_logicals.kv 27 ---------------------------------------------------------------------------
ffa_ch2_logicals.kv 28
ffa_ch2_logicals.kv 29 -- N := 0
ffa_ch2_logicals.kv 30 procedure FZ_Clear(N : out FZ) is
ffa_ch2_logicals.kv 31 begin
ffa_ch2_logicals.kv 32 N := (others => 0);
ffa_ch2_logicals.kv 33 end FZ_Clear;
ffa_ch2_logicals.kv 34 pragma Inline_Always(FZ_Clear);
ffa_ch2_logicals.kv 35
ffa_ch2_logicals.kv 36
ffa_ch4_ffacalc.kv 37 -- Set given FZ to a given truth value
ffa_ch4_ffacalc.kv 38 procedure WBool_To_FZ(V : in WBool; N : out FZ) is
ffa_ch4_ffacalc.kv 39 begin
ffa_ch4_ffacalc.kv 40 FZ_Clear(N);
ffa_ch4_ffacalc.kv 41 FZ_Set_Head(N, V);
ffa_ch4_ffacalc.kv 42 end WBool_To_FZ;
ffa_ch4_ffacalc.kv 43 pragma Inline_Always(WBool_To_FZ);
ffa_ch4_ffacalc.kv 44
ffa_ch4_ffacalc.kv 45
ffa_ch2_logicals.kv 46 -- First word of N := Source
ffa_ch2_logicals.kv 47 procedure FZ_Set_Head(N : out FZ; Source : in Word) is
ffa_ch2_logicals.kv 48 begin
ffa_ch2_logicals.kv 49 N(N'First) := Source;
ffa_ch2_logicals.kv 50 end FZ_Set_Head;
ffa_ch2_logicals.kv 51 pragma Inline_Always(FZ_Set_Head);
ffa_ch2_logicals.kv 52
ffa_ch2_logicals.kv 53
ffa_ch2_logicals.kv 54 -- First word of N
ffa_ch2_logicals.kv 55 function FZ_Get_Head(N : in FZ) return Word is
ffa_ch2_logicals.kv 56 begin
ffa_ch2_logicals.kv 57 return N(N'First);
ffa_ch2_logicals.kv 58 end FZ_Get_Head;
ffa_ch2_logicals.kv 59 pragma Inline_Always(FZ_Get_Head);
ffa_ch2_logicals.kv 60
ffa_ch2_logicals.kv 61
ffa_ch2_logicals.kv 62 -- Exchange X and Y
ffa_ch2_logicals.kv 63 procedure FZ_Swap(X : in out FZ; Y : in out FZ) is
ffa_ch3_shifts.kv 64 T : FZ(X'Range);
ffa_ch2_logicals.kv 65 begin
ffa_ch2_logicals.kv 66 T := X;
ffa_ch2_logicals.kv 67 X := Y;
ffa_ch2_logicals.kv 68 Y := T;
ffa_ch2_logicals.kv 69 end FZ_Swap;
ffa_ch2_logicals.kv 70 pragma Inline_Always(FZ_Swap);
ffa_ch2_logicals.kv 71
ffa_ch2_logicals.kv 72
ffa_ch2_logicals.kv 73 -- Constant-time MUX: Sel = 0: Result := X; Sel = 1: Result := Y
ffa_ch2_logicals.kv 74 procedure FZ_Mux(X : in FZ; Y : in FZ; Result : out FZ; Sel : in WBool) is
ffa_ch2_logicals.kv 75 begin
ffa_ch2_logicals.kv 76 for i in X'Range loop
ffa_ch2_logicals.kv 77 Result(i) := W_Mux(X(i), Y(i), Sel);
ffa_ch2_logicals.kv 78 end loop;
ffa_ch2_logicals.kv 79 end FZ_Mux;
ffa_ch2_logicals.kv 80 pragma Inline_Always(FZ_Mux);
ffa_ch2_logicals.kv 81
ffa_ch2_logicals.kv 82 end FZ_Basic;