8#if !defined(ALIB_C20_MODULES) || ((ALIB_C20_MODULES != 0) && (ALIB_C20_MODULES != 1))
9# error "Symbol ALIB_C20_MODULES has to be given to the compiler as either 0 or 1"
33#define ARG1 (*(args+1))
34#define BOL(box) (box).Unbox<bool >()
35#define INT(box) (box).Unbox<integer>()
36#define ITF(box) double((box).Unbox<integer>() )
37#define BTF(box) double((box).Unbox<bool >() )
38#define FLT(box) (box).Unbox<double >()
39#define FUNC( name,...) Box name( Scope& scope, \
42 { (void) scope; (void) args; (void) end; __VA_ARGS__ }
44#if !ALIB_FEAT_BOXING_BIJECTIVE_INTEGRALS
45# define TOINT(arg) arg
47# define TOINT(arg) integer(arg)
64Box constFalse =
false;
65Box identity =
nullptr;
66Box bool_false =
false;
77FUNC( toInt_B ,
return integer(BOL(ARG0)); )
78FUNC( toInt_I ,
return ARG0; )
79FUNC( toInt_F ,
return integer(FLT(ARG0)); )
80FUNC( toFloat_B,
return double (BOL(ARG0)); )
81FUNC( toFloat_I,
return double (INT(ARG0)); )
82FUNC( toFloat_F,
return ARG0; )
84FUNC( arrLen,
return ARG0.UnboxLength(); )
91FUNC( pos , return ARG0; )
92FUNC( pos_B , return
integer(BOL(ARG0)); )
93FUNC( neg_B , return -
integer(BOL(ARG0)); )
94FUNC( neg_I , return -INT(ARG0); )
95FUNC( neg_F , return -FLT(ARG0); )
96FUNC( bitNot , return ~INT(ARG0); )
97FUNC( boolNot_B, return !BOL(ARG0); )
98FUNC( boolNot_I, return INT(ARG0) ==
integer(0); )
99FUNC( boolNot_F, return FLT(ARG0) == 0.0; )
107 #pragma warning( push )
108 #pragma warning( disable : 4804 )
109 #pragma warning( disable : 4805 )
112FUNC( mul_BB,
return BOL(ARG0) * BOL(ARG1) ; )
113FUNC( mul_BI,
return BOL(ARG0) * INT(ARG1) ; )
114FUNC( mul_BF,
return BOL(ARG0) * FLT(ARG1) ; )
115FUNC( mul_IB,
return INT(ARG0) * BOL(ARG1) ; )
116FUNC( mul_II,
return INT(ARG0) * INT(ARG1) ; )
117FUNC( mul_IF,
return ITF(ARG0) * FLT(ARG1) ; )
118FUNC( mul_FB,
return FLT(ARG0) * BTF(ARG1) ; )
119FUNC( mul_FI,
return FLT(ARG0) * ITF(ARG1) ; )
120FUNC( mul_FF,
return FLT(ARG0) * FLT(ARG1) ; )
121FUNC( div_BI,
return BOL(ARG0) / INT(ARG1) ; )
122FUNC( div_BF,
return BOL(ARG0) / FLT(ARG1) ; )
123FUNC( div_II,
return INT(ARG0) / INT(ARG1) ; )
124FUNC( div_IF,
return ITF(ARG0) / FLT(ARG1) ; )
125FUNC( div_FI,
return FLT(ARG0) / ITF(ARG1) ; )
126FUNC( div_FF,
return FLT(ARG0) / FLT(ARG1) ; )
127FUNC( mod_BI,
return BOL(ARG0) % INT(ARG1) ; )
128FUNC( mod_II,
return INT(ARG0) % INT(ARG1) ; )
129FUNC( mod_BF,
return fmod(BOL(ARG0), FLT(ARG1)); )
130FUNC( mod_FI,
return fmod(FLT(ARG0), INT(ARG1)); )
131FUNC( mod_IF,
return fmod(INT(ARG0), FLT(ARG1)); )
132FUNC( mod_FF,
return fmod(FLT(ARG0), FLT(ARG1)); )
134FUNC( add_BB,
return BOL(ARG0) + BOL(ARG1) ; )
135FUNC( add_BI,
return BOL(ARG0) + INT(ARG1) ; )
136FUNC( add_BF,
return BOL(ARG0) + FLT(ARG1) ; )
137FUNC( add_IB,
return INT(ARG0) + BOL(ARG1) ; )
138FUNC( add_II,
return INT(ARG0) + INT(ARG1) ; )
139FUNC( add_IF,
return ITF(ARG0) + FLT(ARG1) ; )
140FUNC( add_FB,
return FLT(ARG0) + BOL(ARG1) ; )
141FUNC( add_FI,
return FLT(ARG0) + ITF(ARG1) ; )
142FUNC( add_FF,
return FLT(ARG0) + FLT(ARG1) ; )
143FUNC( sub_BB,
return BOL(ARG0) - BOL(ARG1) ; )
144FUNC( sub_BI,
return BOL(ARG0) - INT(ARG1) ; )
145FUNC( sub_BF,
return BOL(ARG0) - FLT(ARG1) ; )
146FUNC( sub_IB,
return INT(ARG0) - BOL(ARG1) ; )
147FUNC( sub_II,
return INT(ARG0) - INT(ARG1) ; )
148FUNC( sub_IF,
return ITF(ARG0) - FLT(ARG1) ; )
149FUNC( sub_FB,
return FLT(ARG0) - BOL(ARG1) ; )
150FUNC( sub_FI,
return FLT(ARG0) - ITF(ARG1) ; )
151FUNC( sub_FF,
return FLT(ARG0) - FLT(ARG1) ; )
153FUNC( shfL_BI,
return TOINT( BOL(ARG0) << INT(ARG1) ); )
154FUNC( shfL_IB,
return INT(ARG0) << BOL(ARG1) ; )
155FUNC( shfL_II,
return INT(ARG0) << INT(ARG1) ; )
156FUNC( shfR_BI,
return TOINT( BOL(ARG0) << INT(ARG1) ); )
157FUNC( shfR_IB,
return INT(ARG0) << BOL(ARG1) ; )
158FUNC( shfR_II,
return INT(ARG0) >> INT(ARG1) ; )
160FUNC( sm_BB,
return BOL(ARG0) < BOL(ARG1) ; )
161FUNC( sm_BI,
return BOL(ARG0) < INT(ARG1) ; )
162FUNC( sm_BF,
return isless(
double(BOL(ARG0)), FLT(ARG1) ); )
163FUNC( sm_IB,
return INT(ARG0) < BOL(ARG1) ; )
164FUNC( sm_II,
return INT(ARG0) < INT(ARG1) ; )
165FUNC( sm_IF,
return isless(
double (INT(ARG0)), FLT(ARG1) ); )
166FUNC( sm_FB,
return isless( FLT(ARG0) ,
double(BOL(ARG1))); )
167FUNC( sm_FI,
return isless( FLT(ARG0) ,
double(INT(ARG1))); )
168FUNC( sm_FF,
return isless( FLT(ARG0) , FLT(ARG1) ); )
169FUNC( smeq_BB,
return BOL(ARG0) <= BOL(ARG1) ; )
170FUNC( smeq_BI,
return BOL(ARG0) <= INT(ARG1) ; )
171FUNC( smeq_BF,
return islessequal(
double(BOL(ARG0)), FLT(ARG1) ); )
172FUNC( smeq_IB,
return INT(ARG0) <= BOL(ARG1) ; )
173FUNC( smeq_II,
return INT(ARG0) <= INT(ARG1) ; )
174FUNC( smeq_IF,
return islessequal(
double(INT(ARG0)), FLT(ARG1) ); )
175FUNC( smeq_FB,
return islessequal( FLT(ARG0) ,
double(BOL(ARG1))); )
176FUNC( smeq_FI,
return islessequal( FLT(ARG0) ,
double(INT(ARG1))); )
177FUNC( smeq_FF,
return islessequal( FLT(ARG0) , FLT(ARG1) ); )
178FUNC( gt_BB,
return BOL(ARG0) > BOL(ARG1) ; )
179FUNC( gt_BI,
return BOL(ARG0) > INT(ARG1) ; )
180FUNC( gt_BF,
return isgreater(
double(BOL(ARG0)), FLT(ARG1) ); )
181FUNC( gt_IB,
return INT(ARG0) > BOL(ARG1) ; )
182FUNC( gt_II,
return INT(ARG0) > INT(ARG1) ; )
183FUNC( gt_IF,
return isgreater(
double(INT(ARG0)), FLT(ARG1) ); )
184FUNC( gt_FB,
return isgreater( FLT(ARG0) ,
double(BOL(ARG1))); )
185FUNC( gt_FI,
return isgreater( FLT(ARG0) ,
double(INT(ARG1))); )
186FUNC( gt_FF,
return isgreater( FLT(ARG0) , FLT(ARG1) ); )
187FUNC( gteq_BB,
return BOL(ARG0) >= BOL(ARG1) ; )
188FUNC( gteq_BI,
return BOL(ARG0) >= INT(ARG1) ; )
189FUNC( gteq_BF,
return isgreaterequal(
double(BOL(ARG0)), FLT(ARG1) ); )
190FUNC( gteq_IB,
return INT(ARG0) >= BOL(ARG1) ; )
191FUNC( gteq_II,
return INT(ARG0) >= INT(ARG1) ; )
192FUNC( gteq_IF,
return isgreaterequal(
double(INT(ARG0)), FLT(ARG1) ); )
193FUNC( gteq_FB,
return isgreaterequal( FLT(ARG0) ,
double(BOL(ARG1))); )
194FUNC( gteq_FI,
return isgreaterequal( FLT(ARG0) ,
double(INT(ARG1))); )
195FUNC( gteq_FF,
return isgreaterequal( FLT(ARG0) , FLT(ARG1) ); )
197FUNC( eq_BB,
return BOL(ARG0) == BOL(ARG1) ; )
198FUNC( eq_BI,
return BOL(ARG0) == INT(ARG1) ; )
199FUNC( eq_BF,
return std::fabs( BOL(ARG0) - FLT(ARG1) ) <= std::numeric_limits<double>::epsilon(); )
200FUNC( eq_IB,
return INT(ARG0) == BOL(ARG1) ; )
201FUNC( eq_II,
return INT(ARG0) == INT(ARG1) ; )
202FUNC( eq_IF,
return std::fabs( ITF(ARG0) - FLT(ARG1) ) <= std::numeric_limits<double>::epsilon(); )
203FUNC( eq_FB,
return std::fabs( FLT(ARG0) - BOL(ARG1) ) <= std::numeric_limits<double>::epsilon(); )
204FUNC( eq_FI,
return std::fabs( FLT(ARG0) - ITF(ARG1) ) <= std::numeric_limits<double>::epsilon(); )
205FUNC( eq_FF,
return std::fabs( FLT(ARG0) - FLT(ARG1) ) <= std::numeric_limits<double>::epsilon(); )
209FUNC( neq_BB,
return BOL(ARG0) != BOL(ARG1) ; )
210FUNC( neq_BI,
return BOL(ARG0) != INT(ARG1) ; )
211FUNC( neq_BF,
return std::fabs( BOL(ARG0) - FLT(ARG1) ) > std::numeric_limits<double>::epsilon(); )
212FUNC( neq_IB,
return INT(ARG0) != BOL(ARG1) ; )
213FUNC( neq_II,
return INT(ARG0) != INT(ARG1) ; )
214FUNC( neq_IF,
return std::fabs( INT(ARG0) - INT(ARG1) ) > std::numeric_limits<double>::epsilon(); )
215FUNC( neq_FB,
return std::fabs( FLT(ARG0) - BOL(ARG1) ) > std::numeric_limits<double>::epsilon(); )
216FUNC( neq_FI,
return std::fabs( FLT(ARG0) - ITF(ARG1) ) > std::numeric_limits<double>::epsilon(); )
217FUNC( neq_FF,
return std::fabs( FLT(ARG0) - FLT(ARG1) ) > std::numeric_limits<double>::epsilon(); )
220FUNC( bitAnd,
return INT(ARG0) & INT(ARG1) ; )
221FUNC( bitXOr,
return INT(ARG0) ^ INT(ARG1) ; )
222FUNC( bitOr ,
return INT(ARG0) | INT(ARG1) ; )
223FUNC( boolAnd_BB,
return BOL(ARG0) && BOL(ARG1) ; )
224FUNC( boolAnd_BI,
return BOL(ARG0) && INT(ARG1) != 0 ; )
225FUNC( boolAnd_BF,
return BOL(ARG0) && FLT(ARG1) != 0.0 ; )
226FUNC( boolAnd_IB,
return INT(ARG0) != 0 && BOL(ARG1) ; )
227FUNC( boolAnd_II,
return INT(ARG0) != 0 && INT(ARG1) != 0 ; )
228FUNC( boolAnd_IF,
return INT(ARG0) != 0 && FLT(ARG1) != 0.0 ; )
229FUNC( boolAnd_FB,
return FLT(ARG0) != 0.0 && BOL(ARG1) ; )
230FUNC( boolAnd_FI,
return FLT(ARG0) != 0.0 && INT(ARG1) != 0 ; )
231FUNC( boolAnd_FF,
return FLT(ARG0) != 0.0 && FLT(ARG1) != 0.0 ; )
232FUNC( boolOr_BB,
return BOL(ARG0) || BOL(ARG1) ; )
233FUNC( boolOr_BI,
return BOL(ARG0) || INT(ARG1) != 0 ; )
234FUNC( boolOr_BF,
return BOL(ARG0) || FLT(ARG1) != 0.0 ; )
235FUNC( boolOr_IB,
return INT(ARG0) != 0 || BOL(ARG1) ; )
236FUNC( boolOr_II,
return INT(ARG0) != 0 || INT(ARG1) != 0 ; )
237FUNC( boolOr_IF,
return INT(ARG0) != 0 || FLT(ARG1) != 0.0 ; )
238FUNC( boolOr_FB,
return FLT(ARG0) != 0.0 || BOL(ARG1) ; )
239FUNC( boolOr_FI,
return FLT(ARG0) != 0.0 || INT(ARG1) != 0 ; )
240FUNC( boolOr_FF,
return FLT(ARG0) != 0.0 || FLT(ARG1) != 0.0 ; )
243 #pragma warning( pop )
452 constexpr int tableSize= 9;
453 Token functionNames[tableSize];
454 strings::util::LoadResourcedTokens( EXPRESSIONS,
"CPA", functionNames
456 Token* descriptor= functionNames;
459 { *descriptor++, constTrue },
460 { *descriptor++, constFalse },
461 { *descriptor++, constTrue },
462 { *descriptor++, constFalse },
463 { *descriptor++, constTrue },
464 { *descriptor++, constFalse },
478 AddOperators( OperatorTable );
480 if(
HasBits(compiler.CfgCompilation, Compilation::AllowBitwiseBooleanOperators ) )
482 AddOperatorAliases( bitwiseOpsAliasBooleanOps );
483 AddOperatorAlias (
A_CHAR(
"~"), Types::Boolean, Types::Void,
A_CHAR(
"!") );
486 AddBinaryOpOptimizations( binaryOperatorOptimizations);
489 "Descriptor table size mismatch: Consumed {} descriptors, {} available.",
490 descriptor - functionNames, tableSize)
493bool Arithmetics::TryCompilation( CIFunction& ciFunction )
495 if( Calculus::TryCompilation( ciFunction ) )
498 if( ciFunction.QtyArgs() == 1 && ciFunction.ArgsBegin->IsArray() )
500 constexpr int tableSize= 1;
501 Token functionNames[tableSize];
503 strings::util::LoadResourcedTokens( EXPRESSIONS,
"CPALen", functionNames
506 if( functionNames[0].Match( ciFunction.Name ) )
508 ciFunction.Name.Reset( functionNames[0] );
509ALIB_DBG( ciFunction.DbgCallbackName =
"arrLen"; )
512 if( ciFunction.AllArgsAreConst )
514 ciFunction.TypeOrValue = ciFunction.ArgsBegin->UnboxLength();
518 ciFunction.Callback = arrLen;
519 ciFunction.TypeOrValue = Types::Integer;
537#undef BIN_ALIAS_ENTRY
#define CALCULUS_CALLBACK(func)
#define CALCULUS_SIGNATURE(BoxPointerArray)
#define ALIB_ASSERT_ERROR(cond, domain,...)
constexpr bool HasBits(TEnum element, TEnum selection) noexcept
ALIB_DLL Box ToBoolean(Scope &scope, ArgIterator args, ArgIterator)
@ Right
Denotes the right side of something.
@ Left
Denotes the left side of something.
strings::util::Token Token
Type alias in namespace alib.
lang::integer integer
Type alias in namespace alib.
boxing::Box Box
Type alias in namespace alib.
expressions::Compiler Compiler
Type alias in namespace alib.
boxing::FIsTrue FIsTrue
Type alias in namespace alib.
static ALIB_DLL Box Integer
Sample type-box for integer types. (Precisely for type integer.)
static ALIB_DLL Box Boolean
Sample type-box for C++ type bool.
static ALIB_DLL Box Void
Sample type-box for C++ type void.
static ALIB_DLL Box Float
Sample type-box for C++ type double.
ALIB_DLL Arithmetics(Compiler &compiler)
const std::tuple< String, lang::Side, Type, const Box &, const Box & > BinaryOpOptimizationsTableEntry
static constexpr CTInvokable CTI
const std::tuple< String, Type, Type, String > OperatorAliasTableEntry
const std::tuple< String, Type, Type, CallbackDecl, Type, CTInvokable > OperatorTableEntry