#A4# #Iron (.ads only) (Ch1)# ## #This is the ONLY machine-dependent section in FFA. # #MachineBitness# #Positive# #64# #32 or 64 depending on your system.# #MachineBitnessLog2# #Positive# #6# #log2(MachineBitness)# #ByteBits# #Positive# #8# ## ## #Words (.ads only) (Ch1)# ## #What the iron can work directly with - essentially register-size. Numbers in FFA are arrays of Words.# #Bitness# #Positive# #Iron.MachineBitness# #The bitness of a word is same as bitness of the iron itself. # #BitnessLog2# #Positive# #Iron.MachineBitnessLog2# ## #Byteness# #Positive# #Iron.MachineBitness/Iron.ByteBits# #Length of a Word in bytes (rather than bits).# #Type Word# ## #mod 2**Bitness# #Word as a modular type i.e. values guaranteed to ALWAYS fit the exact number of bits in use.# #Type WBool# ## #Word range 0..1# #Boolean represented as a Word, with guaranteed 0/1 values.# #Subtype WBit_Index# ## #Natural range 0 .. Bitness - 1# #All valid values for the position of a bit in a Word. # #Word_Ops (Ch1, Ch2)# ## #Fundamental operations on the "unit" of a FFA integer: the Word.# #W_Carry# ## #WBool# #The carry (overflow) (0 or 1, hence W_Bool) of A+B that resulted in S.# #A# #Word# ## ## #B# #Word# ## ## #S# #Word# ## ## #W_Borrow# ## #WBool# #The borrow (underflow) for A-B that resulted in D.# #A# #Word# ## ## #B# #Word# ## ## #D# #Word# ## ## #W_Mux# ## #Word# #The branch-free "IF". A sel=0 returns A while Sel=1 returns B. Fundamental mechanism for FFA.# #A# #Word# ## ## #B# #Word# ## ## #Sel# #WBool# ## ## #W_Shifts (.ads only) (Ch1)# ## #Imports from GNAT to have left/right shift and rotate for Words.# #Shift_Left# ## #Word# ## #Value# #Word# ## ## #Amount# #Natural# ## #Number of bit-positions to shift by.# #Shift_Right# ## #Word# ## #Value# #Word# ## ## #Amount# #Natural# ## #Number of positions to shift by.# #Rotate_Left# ## #Word# ## #Value# #Word# ## ## #Amount# #Natural# ## #Number of bit-positions to rotate by.# #Rotate_Right# ## #Word# ## #Value# #Word# ## ## #Amount# #Natural# ## #Number of bit-positions to rotate by.# #FZ_Type (.ads only) (Ch1)# ## #The FFA integer: an unsigned integer of fixed length, stored as a fixed-size array of Words.# #Type Indices# ## #new Natural# #Meant as generic index of anything that admits indexing at all.# #Subtype Word_Index# ## #Indices# #Meant for all valid positions of a Word inside a FFA number.# #Subtype FZBit_Index# ## #is Indices# #All valid values of a position of a bit (so not word but single bit) inside a FFA number.# #Type FZ# ## #array( Word_Index range<> ) of Word# #The representation of a FFA number.# #Subtype Word_Count# ## #Indices range 1..Indices'Last# #All valid values that may represent the number of Words in a FFA number at some given time. NB: this makes it clear that a FFA number at any given time has AT LEAST 1 Word!# #FZ_Arith (Ch1)# ## #Arithmetic operations with FFA numbers.# #FZ_Add# ## ## ## #X# #FZ# ## ## #Y# #FZ# ## ## #Sum# #FZ# ## ## #Overflow# #WBool# ## ## #FZ_Sub# ## ## ## #X# #FZ# ## ## #Y# #FZ# ## ## #Difference# #FZ# ## ## #Underflow# #WBool# ## ## #FZ_Basic (Ch2)# ## #So-called "basic operations" with FZ. Not sure WHY should this be a separate package really.# #FZ_Clear# ## ## ## #N# #FZ# ## ## #FZ_Set_Head# ## ## ## #N# #FZ# ## ## #Source# #Word# ## ## #FZ_Get_Head# ## #Word# ## #N# #FZ# ## ## #FZ_Swap# ## ## ## #X# #FZ# ## ## #Y# #FZ# ## ## #FZ_Mux# ## ## ## #X# #FZ# ## ## #Y# #FZ# ## ## #Result# #FZ# ## ## #Sel# #WBool# ## ## #FZ_Bitop (Ch2, Ch3)# ## ## #FZ_And# ## ## ## #X# #FZ# ## ## #Y# #FZ# ## ## #Result# #FZ# ## ## #FZ_And_W# ## ## ## #N# #FZ# ## ## #W# #Word# ## ## #FZ_Or# ## ## ## #X# #FZ# ## ## #Y# #FZ# ## ## #Result# #FZ# ## ## #FZ_Or_W# ## ## ## #N# #FZ# ## ## #W# #Word# ## ## #FZ_Xor# ## ## ## #X# #FZ# ## ## #Y# #FZ# ## ## #Result# #FZ# ## ## #FZ_Xor_W# ## ## ## #N# #FZ# ## ## #W# #Word# ## ## #FZ_Not# ## ## ## #N# #FZ# ## ## #NotN# #FZ# ## ## #FZ_Cmp (Ch2)# ## ## #FZ_EqP# ## #WBool# ## #X# #FZ# ## ## #Y# #FZ# ## ## #FZ_LessThanP# ## #WBool# ## #X# #FZ# ## ## #Y# #FZ# ## ## #FZ_GreaterThanP# ## #WBool# ## #X# #FZ# ## ## #Y# #FZ# ## ## #FZ_Pred (Ch2)# ## ## #FZ_ZeroP# ## #WBool# ## #N# #FZ# ## ## #FZ_OddP# ## ## ## #N# #FZ# ## ## #WPred (Ch2)# ## ## #W_ZeroP# ## #WBool# ## #N# #Word# ## ## #W_NZeroP# ## #WBool# ## #N# #Word# ## ## #W_OddP# ## #WBool# ## #N# #Word# ## ## #W_EqP# ## #WBool# ## #A# #Word# ## ## #B# #Word# ## ## #FZ_Shift# ## ## #FZ_ShiftRight_O_I# ## ## ## #N# #FZ# ## ## #ShiftedN# #FZ# ## ## #Count# #WBit_Index# ## ## #Overflow# #Word# ## ## #OF_In# #Word# ## ## #FZ_ShiftRight_O# ## ## ## #N# #FZ# ## ## #ShiftedN# #FZ# ## ## #Count# #WBit_Index# ## ## #Overflow# #Word# ## ## #FZ_Shift_Right# ## ## ## #N# #FZ# ## ## #ShiftedN# #FZ# ## ## #Count# #WBit_Index# ## ## #FZ_ShiftLeft_O_I# ## ## ## #N# #FZ# ## ## #ShiftedN# #FZ# ## ## #Count# #WBit_Index# ## ## #Overflow# #Word# ## ## #OF_In# #Word# ## ## #FZ_ShiftLeft_O# ## ## ## #N# #FZ# ## ## #ShiftedN# #FZ# ## ## #Count# #WBit_Index# ## ## #Overflow# #Word# ## ## #FZ_ShiftLeft# ## ## ## #N# #FZ# ## ## #ShiftedN# #FZ# ## ## #Count# #WBit_Index# ## ##