etisserant@107: /*
etisserant@107:  * (c) 2008 Edouard TISSERANT
etisserant@107:  *
etisserant@107:  * Offered to the public under the terms of the GNU Lesser General Public
etisserant@107:  * License as published by the Free Software Foundation; either version 2
etisserant@107:  * of the License, or (at your option) any later version.
etisserant@107:  *
etisserant@107:  * This program is distributed in the hope that it will be useful, but
etisserant@107:  * WITHOUT ANY WARRANTY; without even the implied warranty of
etisserant@107:  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser
etisserant@107:  * General Public License for more details.
etisserant@107:  *
etisserant@107:  * This code is made available on the understanding that it will not be
etisserant@107:  * used in safety-critical situations without a full and competent review.
etisserant@107:  */
etisserant@107: 
etisserant@40: /****
etisserant@107:  * IEC 61131-3 standard function library
etisserant@40:  */
etisserant@40: 
etisserant@40: #include <limits.h>
etisserant@40: #include <float.h>
etisserant@40: #include <math.h>
etisserant@40: #include <time.h>
etisserant@57: #include <stdint.h>
etisserant@40: 
etisserant@41: #include <stdio.h>
etisserant@40: #include <stdlib.h>
etisserant@40: #include <string.h>
etisserant@40: #include <stdarg.h>
etisserant@40: 
etisserant@43: #ifdef DEBUG_IEC
etisserant@43: #define DBG(...) printf(__VA_ARGS__);
etisserant@43: #define DBG_TYPE(TYPENAME, name) __print_##TYPENAME(name);
etisserant@43: #else
etisserant@43: #define DBG(...)
etisserant@43: #define DBG_TYPE(TYPENAME, name)
etisserant@43: #endif
etisserant@43: 
etisserant@137: /*
etisserant@137:  * Include type defs.
etisserant@137:  */
etisserant@137: #include "iec_types_all.h"
etisserant@40: 
etisserant@41: extern TIME __CURRENT_TIME;
etisserant@140: extern BOOL __DEBUG;
etisserant@40: 
etisserant@40: /* TODO
etisserant@40: typedef struct {
etisserant@40:     __strlen_t len;
etisserant@40:     u_int16_t body[STR_MAX_LEN];
etisserant@40: } WSTRING;
etisserant@40: */
etisserant@40: 
etisserant@57: # if __WORDSIZE == 64
etisserant@57: #define __32b_sufix
etisserant@57: #define __64b_sufix L
etisserant@57: #else
etisserant@57: #define __32b_sufix L
greg@180: #define __64b_sufix LL
greg@180: #endif
etisserant@57: 
etisserant@57: #define __lit(type,value,sfx) (type)value##sfx
greg@180: // Keep this macro expention step to let sfx change into L or LL
etisserant@57: #define __literal(type,value,sfx) __lit(type,value,sfx)
etisserant@57: 
etisserant@57: #define __BOOL_LITERAL(value) __literal(BOOL,value,)
etisserant@57: #define __SINT_LITERAL(value) __literal(SINT,value,)
etisserant@57: #define __INT_LITERAL(value) __literal(INT,value,)
etisserant@57: #define __DINT_LITERAL(value) __literal(DINT,value,__32b_sufix)
etisserant@57: #define __LINT_LITERAL(value) __literal(LINT,value,__64b_sufix)
etisserant@57: #define __USINT_LITERAL(value) __literal(USINT,value,)
etisserant@57: #define __UINT_LITERAL(value) __literal(UINT,value,)
etisserant@57: #define __UDINT_LITERAL(value) __literal(UDINT,value,__32b_sufix)
etisserant@57: #define __ULINT_LITERAL(value) __literal(ULINT,value,__64b_sufix)
etisserant@57: #define __REAL_LITERAL(value) __literal(REAL,value,__32b_sufix)
etisserant@57: #define __LREAL_LITERAL(value) __literal(LREAL,value,__64b_sufix)
etisserant@57: #define __TIME_LITERAL(value) __literal(TIME,value,)
etisserant@57: #define __DATE_LITERAL(value) __literal(DATE,value,)
etisserant@57: #define __TOD_LITERAL(value) __literal(TOD,value,)
etisserant@57: #define __DT_LITERAL(value) __literal(DT,value,)
etisserant@57: #define __STRING_LITERAL(value) __literal(STRING,value,)
etisserant@57: #define __BYTE_LITERAL(value) __literal(BYTE,value,)
etisserant@57: #define __WORD_LITERAL(value) __literal(WORD,value,)
etisserant@57: #define __DWORD_LITERAL(value) __literal(DWORD,value,__32b_sufix)
etisserant@57: #define __LWORD_LITERAL(value) __literal(LWORD,value,__32b_sufix)
etisserant@55: 
etisserant@55: 
etisserant@55: 
etisserant@41: #define __INIT_REAL 0
etisserant@41: #define __INIT_LREAL 0
etisserant@41: #define __INIT_SINT 0
etisserant@41: #define __INIT_INT 0
etisserant@41: #define __INIT_DINT 0
etisserant@41: #define __INIT_LINT 0
etisserant@41: #define __INIT_USINT 0
etisserant@41: #define __INIT_UINT 0
etisserant@41: #define __INIT_UDINT 0
etisserant@41: #define __INIT_ULINT 0
etisserant@41: #define __INIT_TIME (TIME){0,0}
etisserant@41: #define __INIT_BOOL 0
etisserant@41: #define __INIT_BYTE 0
etisserant@41: #define __INIT_WORD 0
etisserant@41: #define __INIT_DWORD 0
etisserant@41: #define __INIT_LWORD 0
etisserant@41: #define __INIT_STRING (STRING){0,""}
etisserant@41: //#define __INIT_WSTRING
etisserant@41: #define __INIT_DATE (DATE){0,0}
etisserant@41: #define __INIT_TOD (TOD){0,0}
etisserant@41: #define __INIT_DT (DT){0,0}
etisserant@41: 
etisserant@40: typedef union __IL_DEFVAR_T {
etisserant@40:     BOOL    BOOLvar;
etisserant@40: 
etisserant@40:     SINT    SINTvar;
etisserant@40:     INT     INTvar;
etisserant@40:     DINT    DINTvar;
etisserant@40:     LINT    LINTvar;
etisserant@40: 
etisserant@40:     USINT   USINTvar;
etisserant@40:     UINT    UINTvar;
etisserant@40:     UDINT   UDINTvar;
etisserant@40:     ULINT   ULINTvar;
etisserant@40: 
etisserant@40:     BYTE    BYTEvar;
etisserant@40:     WORD    WORDvar;
etisserant@40:     DWORD   DWORDvar;
etisserant@40:     LWORD   LWORDvar;
etisserant@40: 
etisserant@40:     REAL    REALvar;
etisserant@40:     LREAL   LREALvar;
etisserant@40: 
etisserant@40:     TIME    TIMEvar;
etisserant@40:     TOD TODvar;
etisserant@40:     DT  DTvar;
etisserant@40:     DATE    DATEvar;
etisserant@40: } __IL_DEFVAR_T;
etisserant@40: 
etisserant@40: /*****************/
etisserant@40: /* Misc internal */
etisserant@40: /*****************/
etisserant@40: 
etisserant@40: /* function that generates an IEC runtime error */
etisserant@41: static inline void IEC_error(void) {
etisserant@40:   /* TODO... */
etisserant@40:   fprintf(stderr, "IEC 61131-3 runtime error.\n");
etisserant@40:   /*exit(1);*/
etisserant@40: }
etisserant@40: 
etisserant@40: 
etisserant@40: static inline void __normalize_timespec (struct timespec *ts) {
etisserant@40:   if( ts->tv_nsec < -1000000000 || (( ts->tv_sec > 0 ) && ( ts->tv_nsec < 0 ))){
etisserant@40:     ts->tv_sec--;
etisserant@40:     ts->tv_nsec += 1000000000;
etisserant@40:   }
etisserant@40:   if( ts->tv_nsec > 1000000000 || (( ts->tv_sec < 0 ) && ( ts->tv_nsec > 0 ))){
etisserant@40:     ts->tv_sec++;
etisserant@40:     ts->tv_nsec -= 1000000000;
etisserant@40:   }
etisserant@40: }
etisserant@40: 
etisserant@40: static inline struct timespec __time_to_timespec(int sign, double mseconds, double seconds, double minutes, double hours, double days) {
etisserant@40:   struct timespec ts;
greg@180: 
etisserant@40:   /* sign is 1 for positive values, -1 for negative time... */
etisserant@40:   long double total_sec = ((days*24 + hours)*60 + minutes)*60 + seconds + mseconds/1e3;
etisserant@40:   if (sign >= 0) sign = 1; else sign = -1;
etisserant@40:   ts.tv_sec = sign * (long int)total_sec;
etisserant@40:   ts.tv_nsec = sign * (long int)((total_sec - ts.tv_sec)*1e9);
etisserant@40: 
etisserant@40:   return ts;
etisserant@40: }
etisserant@40: 
etisserant@40: 
etisserant@40: static inline struct timespec __tod_to_timespec(double seconds, double minutes, double hours) {
etisserant@40:   struct timespec ts;
greg@180: 
etisserant@40:   long double total_sec = (hours*60 + minutes)*60 + seconds;
etisserant@40:   ts.tv_sec = (long int)total_sec;
etisserant@40:   ts.tv_nsec = (long int)((total_sec - ts.tv_sec)*1e9);
greg@180: 
etisserant@40:   return ts;
etisserant@40: }
etisserant@40: 
etisserant@40: static inline struct timespec __date_to_timespec(int day, int month, int year) {
etisserant@40:   struct timespec ts;
etisserant@40:   struct tm broken_down_time;
laurent@200:   time_t epoch_seconds;
etisserant@40: 
etisserant@40:   broken_down_time.tm_sec = 0;
etisserant@40:   broken_down_time.tm_min = 0;
etisserant@40:   broken_down_time.tm_hour = 0;
etisserant@40:   broken_down_time.tm_mday = day;  /* day of month, from 1 to 31 */
etisserant@40:   broken_down_time.tm_mon = month - 1;   /* month since January, in the range 0 to 11 */
etisserant@40:   broken_down_time.tm_year = year - 1900;  /* number of years since 1900 */
etisserant@40: 
laurent@200:   epoch_seconds = mktime(&broken_down_time); /* determine number of seconds since the epoch, i.e. Jan 1st 1970 */
etisserant@40: 
etisserant@40:   if ((time_t)(-1) == epoch_seconds)
etisserant@40:     IEC_error();
etisserant@40: 
etisserant@40:   ts.tv_sec = epoch_seconds;
etisserant@40:   ts.tv_nsec = 0;
greg@180: 
etisserant@40:   return ts;
etisserant@40: }
etisserant@40: 
etisserant@40: static inline struct timespec __dt_to_timespec(double seconds,  double minutes, double hours, int day, int month, int year) {
etisserant@40:   struct timespec ts;
laurent@200:   struct tm broken_down_time;
laurent@200:   time_t epoch_seconds;
greg@180: 
etisserant@40:   long double total_sec = (hours*60 + minutes)*60 + seconds;
etisserant@40:   ts.tv_sec = (long int)total_sec;
etisserant@40:   ts.tv_nsec = (long int)((total_sec - ts.tv_sec)*1e9);
etisserant@40: 
etisserant@40:   broken_down_time.tm_sec = 0;
etisserant@40:   broken_down_time.tm_min = 0;
etisserant@40:   broken_down_time.tm_hour = 0;
etisserant@40:   broken_down_time.tm_mday = day;  /* day of month, from 1 to 31 */
etisserant@40:   broken_down_time.tm_mon = month - 1;   /* month since January, in the range 0 to 11 */
etisserant@40:   broken_down_time.tm_year = year - 1900;  /* number of years since 1900 */
etisserant@40: 
laurent@200:   epoch_seconds = mktime(&broken_down_time); /* determine number of seconds since the epoch, i.e. Jan 1st 1970 */
etisserant@40:   if ((time_t)(-1) == epoch_seconds)
etisserant@40:     IEC_error();
etisserant@40: 
etisserant@40:   ts.tv_sec += epoch_seconds;
etisserant@40:   if (ts.tv_sec < epoch_seconds)
etisserant@40:     /* since the TOD is always positive, if the above happens then we had an overflow */
etisserant@40:     IEC_error();
etisserant@40: 
etisserant@40:   return ts;
etisserant@40: }
etisserant@40: 
lbessard@149: /********************/
lbessard@149: /*   EN/ENO PARAMS  */
lbessard@149: /********************/
lbessard@149: 
lbessard@149: #define EN_ENO_PARAMS BOOL EN, BOOL *ENO
lbessard@149: #define TEST_EN(TYPENAME)\
lbessard@149:   if (!EN) {\
lbessard@149:     if (ENO != NULL)\
lbessard@149:       *ENO = __BOOL_LITERAL(FALSE);\
lbessard@149:     return __INIT_##TYPENAME;\
lbessard@149:   }\
lbessard@149:   else if (ENO != NULL)\
lbessard@149:     *ENO = __BOOL_LITERAL(TRUE);
lbessard@149: #define TEST_EN_COND(TYPENAME, COND)\
lbessard@149:   if (!EN || (COND)) {\
lbessard@149:     if (ENO != NULL)\
lbessard@149:       *ENO = __BOOL_LITERAL(FALSE);\
lbessard@149:     return __INIT_##TYPENAME;\
lbessard@149:   }\
lbessard@149:   else if (ENO != NULL)\
lbessard@149:     *ENO = __BOOL_LITERAL(TRUE);
lbessard@149: 
etisserant@40: /***************/
etisserant@40: /*   Time ops  */
etisserant@40: /***************/
greg@180: #define __TIME_CMP(t1, t2) (t2.tv_sec == t1.tv_sec ? t1.tv_nsec - t2.tv_nsec : t1.tv_sec - t2.tv_sec)
lbessard@149: 
lbessard@149: static inline TIME __TIME_ADD(TIME IN1, TIME IN2){
etisserant@40:   TIME res ={IN1.tv_sec + IN2.tv_sec,
etisserant@40:              IN1.tv_nsec + IN2.tv_nsec };
etisserant@40:   __normalize_timespec(&res);
etisserant@40:   return res;
etisserant@40: }
lbessard@149: static inline TIME __TIME_SUB(TIME IN1, TIME IN2){
etisserant@40:   TIME res ={IN1.tv_sec - IN2.tv_sec,
etisserant@40:              IN1.tv_nsec - IN2.tv_nsec };
etisserant@40:   __normalize_timespec(&res);
etisserant@40:   return res;
etisserant@40: }
lbessard@149: static inline TIME __TIME_MUL(TIME IN1, LREAL IN2){
etisserant@40:   LREAL s_f = IN1.tv_sec * IN2;
etisserant@40:   time_t s = s_f;
etisserant@40:   div_t ns = div((LREAL)IN1.tv_nsec * IN2, 1000000000);
etisserant@40:   TIME res = {s + ns.quot,
etisserant@40:               ns.rem + (s_f - s) * 1000000000 };
etisserant@40:   __normalize_timespec(&res);
etisserant@40:   return res;
etisserant@40: }
lbessard@149: static inline TIME __TIME_DIV(TIME IN1, LREAL IN2){
etisserant@40:   LREAL s_f = IN1.tv_sec / IN2;
etisserant@40:   time_t s = s_f;
etisserant@40:   TIME res = {s,
etisserant@40:               IN1.tv_nsec / IN2 + (s_f - s) * 1000000000 };
etisserant@40:   __normalize_timespec(&res);
etisserant@40:   return res;
etisserant@40: }
etisserant@40: 
lbessard@149: static inline TIME __date_and_time_to_time_of_day(EN_ENO_PARAMS, TIME IN){
lbessard@149:   TEST_EN(TIME)
lbessard@149:   return (TIME){IN.tv_sec % 86400, IN.tv_nsec};
lbessard@149: }
lbessard@149: static inline TIME __date_and_time_to_date(EN_ENO_PARAMS, TIME IN){
lbessard@149:   TEST_EN(TIME)
lbessard@149:   return (TIME){IN.tv_sec - (IN.tv_sec % (24*60*60)), 0};
lbessard@149: }
lbessard@149: static inline TIME __time_add(EN_ENO_PARAMS, TIME IN1, TIME IN2){
lbessard@149:   TEST_EN(TIME)
lbessard@149:   return __TIME_ADD(IN1, IN2);
lbessard@149: }
lbessard@149: static inline TIME __time_sub(EN_ENO_PARAMS, TIME IN1, TIME IN2){
lbessard@149:   TEST_EN(TIME)
lbessard@149:   return __TIME_SUB(IN1, IN2);
lbessard@149: }
lbessard@149: static inline TIME __time_mul(EN_ENO_PARAMS, TIME IN1, LREAL IN2){
lbessard@149:   TEST_EN(TIME)
lbessard@149:   return __TIME_MUL(IN1, IN2);
lbessard@149: }
lbessard@149: static inline TIME __time_div(EN_ENO_PARAMS, TIME IN1, LREAL IN2){
lbessard@149:   TEST_EN(TIME)
lbessard@149:   return __TIME_DIV(IN1, IN2);
lbessard@149: }
lbessard@149: 
etisserant@40: /***************/
etisserant@40: /* String ops  */
etisserant@40: /***************/
lbessard@149: #define __STR_CMP(str1, str2) memcmp((char*)&str1.body,(char*)&str2.body, str1.len < str2.len ? str1.len : str2.len)
lbessard@149: 
etisserant@161: static inline __strlen_t __len(EN_ENO_PARAMS, STRING IN){
lbessard@149:     TEST_EN(UINT)
etisserant@40:     return IN.len;
etisserant@40: }
etisserant@161: static inline STRING __left(EN_ENO_PARAMS, STRING IN, __strlen_t L){
laurent@200:     STRING res;
lbessard@149:     TEST_EN_COND(STRING, L < 0)
laurent@200:     res = __INIT_STRING;
etisserant@40:     L = L < IN.len ? L : IN.len;
etisserant@41:     memcpy(&res.body, &IN.body, L);
etisserant@40:     res.len = L;
etisserant@40:     return res;
etisserant@40: }
etisserant@161: static inline STRING __right(EN_ENO_PARAMS, STRING IN, __strlen_t L){
laurent@200:     STRING res;
lbessard@149:     TEST_EN_COND(STRING, L < 0)
laurent@200:     res = __INIT_STRING;
etisserant@41:     L = L < IN.len ? L : IN.len;
etisserant@41:     memcpy(&res.body, &IN.body[IN.len - L], L);
etisserant@41:     res.len = L;
etisserant@41:     return res;
etisserant@41: }
etisserant@161: static inline STRING __mid(EN_ENO_PARAMS, STRING IN, __strlen_t L, __strlen_t P){
laurent@200:     STRING res;
lbessard@149:     TEST_EN_COND(STRING, L < 0 || P < 0)
laurent@200:     res = __INIT_STRING;
etisserant@40:     if(P <= IN.len){
etisserant@40: 	    P -= 1; /* now can be used as [index]*/
etisserant@40: 	    L = L + P <= IN.len ? L : IN.len - P;
etisserant@41: 	    memcpy(&res.body, &IN.body[P] , L);
etisserant@40:         res.len = L;
etisserant@40:     }
etisserant@40:     return res;
etisserant@40: }
etisserant@161: static inline STRING __concat(EN_ENO_PARAMS, UINT param_count, ...){
laurent@200:   UINT i;
laurent@200:   STRING res;
laurent@200:   va_list ap;
laurent@200:   __strlen_t charcount;
lbessard@149:   TEST_EN(STRING)
laurent@200:   charcount = 0;
laurent@200:   res = __INIT_STRING;
etisserant@40: 
etisserant@40:   va_start (ap, param_count);         /* Initialize the argument list.  */
etisserant@40: 
etisserant@40:   for (i = 0; i < param_count && charcount < STR_MAX_LEN; i++)
etisserant@40:   {
etisserant@40:     STRING tmp = va_arg(ap, STRING);
etisserant@40:     __strlen_t charrem = STR_MAX_LEN - charcount;
etisserant@40:     __strlen_t to_write = tmp.len > charrem ? charrem : tmp.len;
etisserant@40:     memcpy(&res.body[charcount], &tmp.body , to_write);
etisserant@40:     charcount += to_write;
etisserant@40:   }
etisserant@40: 
etisserant@40:   res.len = charcount;
etisserant@40: 
etisserant@40:   va_end (ap);                  /* Clean up.  */
etisserant@40:   return res;
etisserant@40: }
etisserant@161: static inline STRING __insert(EN_ENO_PARAMS, STRING IN1, STRING IN2, __strlen_t P){
laurent@200:     STRING res;
laurent@200:     __strlen_t to_copy;
lbessard@149:     TEST_EN_COND(STRING, P < 0)
laurent@200:     res = __INIT_STRING;
greg@180: 
etisserant@41:     to_copy = P > IN1.len ? IN1.len : P - 1;
etisserant@40:     memcpy(&res.body, &IN1.body , to_copy);
etisserant@40:     P = res.len = to_copy;
greg@180: 
etisserant@40:     to_copy = IN2.len + res.len > STR_MAX_LEN ? STR_MAX_LEN - res.len : IN2.len;
etisserant@40:     memcpy(&res.body[res.len], &IN2.body , to_copy);
etisserant@40:     res.len += to_copy;
etisserant@40: 
etisserant@40:     to_copy = IN1.len - P < STR_MAX_LEN - res.len ? IN1.len - P : STR_MAX_LEN - res.len ;
etisserant@40:     memcpy(&res.body[res.len], &IN1.body[P] , to_copy);
etisserant@40:     res.len += to_copy;
etisserant@40: 
etisserant@40:     return res;
etisserant@40: }
etisserant@161: static inline STRING __delete(EN_ENO_PARAMS, STRING IN, __strlen_t L, __strlen_t P){
laurent@200:     STRING res;
laurent@200:     __strlen_t to_copy;
lbessard@149:     TEST_EN_COND(STRING, L < 0 || P < 0)
laurent@200:     res = __INIT_STRING;
greg@180: 
etisserant@41:     to_copy = P > IN.len ? IN.len : P-1;
etisserant@40:     memcpy(&res.body, &IN.body , to_copy);
etisserant@40:     P = res.len = to_copy;
etisserant@40: 
etisserant@41:     if( IN.len > P + L ){
etisserant@41:         to_copy = IN.len - P - L;
etisserant@41:         memcpy(&res.body[res.len], &IN.body[P + L], to_copy);
etisserant@41:         res.len += to_copy;
etisserant@41:     }
etisserant@41: 
etisserant@41:     return res;
etisserant@41: }
etisserant@161: static inline STRING __replace(EN_ENO_PARAMS, STRING IN1, STRING IN2, __strlen_t L, __strlen_t P){
laurent@200:     STRING res;
laurent@200:     __strlen_t to_copy;
lbessard@149:     TEST_EN_COND(STRING, L < 0 || P < 0)
laurent@200:     res = __INIT_STRING;
greg@180: 
etisserant@41:     to_copy = P > IN1.len ? IN1.len : P-1;
etisserant@40:     memcpy(&res.body, &IN1.body , to_copy);
etisserant@40:     P = res.len = to_copy;
greg@180: 
etisserant@41:     to_copy = IN2.len < L ? IN2.len : L;
etisserant@41: 
greg@180:     if( to_copy + res.len > STR_MAX_LEN )
greg@180:        to_copy = STR_MAX_LEN - res.len;
etisserant@41: 
etisserant@40:     memcpy(&res.body[res.len], &IN2.body , to_copy);
etisserant@40:     res.len += to_copy;
etisserant@40: 
etisserant@41:     P += L;
etisserant@41:     if( res.len <  STR_MAX_LEN && P < IN1.len)
etisserant@41:     {
etisserant@41:         to_copy = IN1.len - P;
etisserant@41:         memcpy(&res.body[res.len], &IN1.body[P] , to_copy);
etisserant@41:         res.len += to_copy;
etisserant@41:     }
etisserant@41: 
etisserant@41:     return res;
etisserant@41: }
etisserant@41: 
etisserant@41: 
etisserant@41: 
etisserant@161: static inline __strlen_t __pfind(STRING* IN1, STRING* IN2){
etisserant@41:     UINT count1 = 0; /* offset of first matching char in IN1 */
etisserant@41:     UINT count2 = 0; /* count of matching char */
etisserant@40:     while(count1 + count2 < IN1->len && count2 < IN2->len)
etisserant@40:     {
greg@212:         if(IN1->body[count1 + count2] != IN2->body[count2]){
greg@212:             count1 += count2 + 1;
etisserant@40:             count2 = 0;
greg@180:         }
greg@212:         else {
greg@212:             count2++;
greg@212:         }
etisserant@40:     }
etisserant@41:     return count2 == IN2->len -1 ? 0 : count1 + 1;
etisserant@41: }
etisserant@161: static inline __strlen_t __find(EN_ENO_PARAMS, STRING IN1, STRING IN2){
lbessard@149:     TEST_EN(UINT)
etisserant@40:     return __pfind(&IN1, &IN2);
etisserant@40: }
etisserant@40: 
etisserant@40: /***************/
etisserant@40: /* Convertions */
etisserant@40: /***************/
etisserant@40:     /***************/
etisserant@40:     /*  TO_STRING  */
etisserant@40:     /***************/
lbessard@149: static inline STRING __bool_to_string(EN_ENO_PARAMS, BOOL IN)
etisserant@40: {
lbessard@149:     TEST_EN(STRING)
etisserant@40:     if(IN)
etisserant@40:         return (STRING){4, "TRUE"};
etisserant@40:     return (STRING){5,"FALSE"};
etisserant@40: }
lbessard@149: static inline STRING __bit_to_string(EN_ENO_PARAMS, LWORD IN){
laurent@200:     STRING res;
lbessard@149:     TEST_EN(STRING)
laurent@200:     res = __INIT_STRING;
etisserant@114:     res.len = snprintf((char*)res.body, STR_MAX_LEN, "16#%llx", IN);
etisserant@40:     if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
etisserant@40:     return res;
etisserant@40: }
lbessard@149: static inline STRING __real_to_string(EN_ENO_PARAMS, LREAL IN){
laurent@200:     STRING res;
lbessard@149:     TEST_EN(STRING)
laurent@200:     res = __INIT_STRING;
etisserant@114:     res.len = snprintf((char*)res.body, STR_MAX_LEN, "%.10g", IN);
etisserant@40:     if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
etisserant@40:     return res;
etisserant@40: }
lbessard@149: static inline STRING __sint_to_string(EN_ENO_PARAMS, LINT IN){
laurent@200:     STRING res;
lbessard@149:     TEST_EN(STRING)
laurent@200:     res = __INIT_STRING;
etisserant@114:     res.len = snprintf((char*)res.body, STR_MAX_LEN, "%lld", IN);
etisserant@40:     if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
etisserant@40:     return res;
etisserant@40: }
lbessard@149: static inline STRING __uint_to_string(EN_ENO_PARAMS, ULINT IN){
laurent@200:     STRING res;
lbessard@149:     TEST_EN(STRING)
laurent@200:     res = __INIT_STRING;
etisserant@114:     res.len = snprintf((char*)res.body, STR_MAX_LEN, "%llu", IN);
etisserant@40:     if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
etisserant@40:     return res;
etisserant@40: }
etisserant@40:     /***************/
etisserant@40:     /* FROM_STRING */
etisserant@40:     /***************/
lbessard@149: static inline BOOL __string_to_bool(EN_ENO_PARAMS, STRING IN){
lbessard@149:     TEST_EN(BOOL)
etisserant@40:     return IN.len == 5 ? !memcmp(&IN.body,"TRUE", IN.len) : 0;
etisserant@40: }
etisserant@40: 
etisserant@41: static inline LINT __pstring_to_sint(STRING* IN){
etisserant@40:     LINT res = 0;
etisserant@40:     __strlen_t l;
etisserant@40:     unsigned int shift = 0;
greg@180: 
etisserant@40:     if(IN->body[0]=='2' && IN->body[1]=='#'){
etisserant@40:         /* 2#0101_1010_1011_1111 */
etisserant@40:         for(l = IN->len - 1; l >= 2 && shift < 64; l--)
etisserant@40:         {
etisserant@40:             char c = IN->body[l];
etisserant@40:             if( c >= '0' && c <= '1'){
etisserant@40:                 res |= ( c - '0') << shift;
etisserant@40:                 shift += 1;
etisserant@40:             }
etisserant@40:         }
etisserant@40:     }else if(IN->body[0]=='8' && IN->body[1]=='#'){
etisserant@40:         /* 8#1234_5665_4321 */
etisserant@40:         for(l = IN->len - 1; l >= 2 && shift < 64; l--)
etisserant@40:         {
etisserant@40:             char c = IN->body[l];
etisserant@40:             if( c >= '0' && c <= '7'){
etisserant@40:                 res |= ( c - '0') << shift;
etisserant@40:                 shift += 3;
etisserant@40:             }
etisserant@40:         }
etisserant@43:     }else if(IN->body[0]=='1' && IN->body[1]=='6' && IN->body[2]=='#'){
etisserant@40:         /* 16#1234_5678_9abc_DEFG */
etisserant@40:         for(l = IN->len - 1; l >= 3 && shift < 64; l--)
etisserant@40:         {
etisserant@40:             char c = IN->body[l];
etisserant@40:             if( c >= '0' && c <= '9'){
etisserant@43:                 res |= (LWORD)( c - '0') << shift;
etisserant@40:                 shift += 4;
etisserant@40:             }else if( c >= 'a' && c <= 'f'){
etisserant@43:                 res |= (LWORD)( c - 'a' + 10 ) << shift;
etisserant@40:                 shift += 4;
etisserant@40:             }else if( c >= 'A' && c <= 'F'){
etisserant@43:                 res |= (LWORD)( c - 'A' + 10 ) << shift;
etisserant@40:                 shift += 4;
etisserant@40:             }
etisserant@40:         }
etisserant@40:     }else{
etisserant@40:         /* -123456789 */
etisserant@40:         LINT fac = IN->body[0] == '-' ? -1 : 1;
etisserant@40:         for(l = IN->len - 1; l >= 0 && shift < 20; l--)
etisserant@40:         {
etisserant@40:             char c = IN->body[l];
etisserant@40:             if( c >= '0' && c <= '9'){
etisserant@40:                 res += ( c - '0') * fac;
etisserant@40:                 fac *= 10;
etisserant@40:                 shift += 1;
etisserant@41:             }else if( c >= '.' ){ /* reset value */
etisserant@41:                 res = 0;
etisserant@163:                 fac = IN->body[0] == '-' ? -1 : 1;
etisserant@41:                 shift = 0;
greg@180:             }
etisserant@40:         }
etisserant@40:     }
etisserant@40:     return res;
etisserant@40: }
etisserant@40: 
lbessard@149: static inline LINT __string_to_sint(EN_ENO_PARAMS, STRING IN){
lbessard@149:     TEST_EN(LINT)
etisserant@40:     return (LWORD)__pstring_to_sint(&IN);
etisserant@40: }
lbessard@149: static inline LWORD __string_to_bit(EN_ENO_PARAMS, STRING IN){
lbessard@149:     TEST_EN(LWORD)
etisserant@40:     return (LWORD)__pstring_to_sint(&IN);
etisserant@40: }
lbessard@149: static inline ULINT __string_to_uint(EN_ENO_PARAMS, STRING IN){
lbessard@149:     TEST_EN(ULINT)
etisserant@40:     return (ULINT)__pstring_to_sint(&IN);
etisserant@40: }
lbessard@149: static inline LREAL __string_to_real(EN_ENO_PARAMS, STRING IN){
laurent@200: 	__strlen_t l;
laurent@200: 	TEST_EN(LREAL)
laurent@200: 	l = IN.len;
etisserant@40:     /* search the dot */
etisserant@40:     while(--l > 0 && IN.body[l] != '.');
etisserant@40:     if(l != 0){
etisserant@40:         return atof((const char *)&IN.body);
etisserant@40:     }else{
etisserant@40:         return (LREAL)__pstring_to_sint(&IN);
greg@180:     }
etisserant@40: }
etisserant@40: 
etisserant@40:     /***************/
etisserant@40:     /*   TO_TIME   */
etisserant@40:     /***************/
lbessard@149: static inline TIME __int_to_time(EN_ENO_PARAMS, LINT IN){
lbessard@149:     TEST_EN(TIME)
etisserant@40:     return (TIME){IN, 0};
etisserant@40: }
etisserant@40: 
lbessard@149: static inline TIME __real_to_time(EN_ENO_PARAMS, LREAL IN){
lbessard@149:     TEST_EN(TIME)
etisserant@40:     return (TIME){IN, (IN - (LINT)IN) * 1000000000};
etisserant@40: }
lbessard@149: static inline TIME __string_to_time(EN_ENO_PARAMS, STRING IN){
laurent@200: 	__strlen_t l;
laurent@200: 	TEST_EN(TIME)
etisserant@40:     /* TODO :
etisserant@40:      *
etisserant@40:      *  Duration literals without underlines: T#14ms    T#-14ms   T#14.7s   T#14.7m
etisserant@40:      *                short prefix            T#14.7h    t#14.7d   t#25h15m
etisserant@40:      *                                        t#5d14h12m18s3.5ms
etisserant@40:      *                long prefix             TIME#14ms    TIME#-14ms   time#14.7s
etisserant@40:      *  Duration literals with underlines:
etisserant@40:      *                short prefix            t#25h_15m t#5d_14h_12m_18s_3.5ms
etisserant@40:      *                long prefix             TIME#25h_15m
etisserant@40:      *                                        time#5d_14h_12m_18s_3.5ms
etisserant@40:      *
etisserant@40:      *  Long prefix notation                 Short prefix notation
etisserant@40:      *  DATE#1984-06-25                      D#1984-06-25
etisserant@40:      *  date#1984-06-25                      d#1984-06-25
etisserant@40:      *  TIME_OF_DAY#15:36:55.36              TOD#15:36:55.36
etisserant@40:      *  time_of_day#15:36:55.36              tod#15:36:55.36
etisserant@40:      *  DATE_AND_TIME#1984-06-25-15:36:55.36 DT#1984-06-25-15:36:55.36
etisserant@40:      *  date_and_time#1984-06-25-15:36:55.36 dt#1984-06-25-15:36:55.36
etisserant@40:      *
etisserant@40:      */
etisserant@40:     /* Quick hack : only transform seconds */
etisserant@40:     /* search the dot */
laurent@200: 	l = IN.len;
etisserant@40:     while(--l > 0 && IN.body[l] != '.');
etisserant@40:     if(l != 0){
etisserant@40:         LREAL IN_val = atof((const char *)&IN.body);
etisserant@40:         return  (TIME){IN_val, (IN_val - (LINT)IN_val)*1000000000};
etisserant@40:     }else{
etisserant@40:         return  (TIME){__pstring_to_sint(&IN), 0};
etisserant@40:     }
etisserant@40: }
etisserant@40: 
etisserant@40:     /***************/
etisserant@40:     /*  FROM_TIME  */
etisserant@40:     /***************/
lbessard@149: static inline LREAL __time_to_real(EN_ENO_PARAMS, TIME IN){
lbessard@149:     TEST_EN(LREAL)
etisserant@40:     return (LREAL)IN.tv_sec + ((LREAL)IN.tv_nsec/1000000000);
etisserant@40: }
lbessard@149: static inline LINT __time_to_int(EN_ENO_PARAMS, TIME IN){
lbessard@149:     TEST_EN(LINT)
etisserant@40:     return IN.tv_sec;
etisserant@40: }
lbessard@149: static inline STRING __time_to_string(EN_ENO_PARAMS, TIME IN){
laurent@200:     STRING res;
laurent@200:     div_t days;
lbessard@149:     TEST_EN(STRING)
etisserant@40:     /*t#5d14h12m18s3.5ms*/
laurent@200:     res = __INIT_STRING;
laurent@200:     days = div(IN.tv_sec ,86400);
etisserant@40:     if(!days.rem && IN.tv_nsec == 0){
etisserant@40:         res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd", days.quot);
etisserant@40:     }else{
etisserant@40:         div_t hours = div(days.rem, 3600);
etisserant@40:         if(!hours.rem && IN.tv_nsec == 0){
etisserant@40:             res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd%dh", days.quot, hours.quot);
etisserant@40:         }else{
etisserant@40:             div_t minuts = div(hours.rem, 60);
etisserant@40:             if(!minuts.rem && IN.tv_nsec == 0){
etisserant@40:                 res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd%dh%dm", days.quot, hours.quot, minuts.quot);
etisserant@40:             }else{
etisserant@40:                 if(IN.tv_nsec == 0){
etisserant@40:                     res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd%dh%dm%ds", days.quot, hours.quot, minuts.quot, minuts.rem);
etisserant@40:                 }else{
etisserant@42:                     res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd%dh%dm%ds%gms", days.quot, hours.quot, minuts.quot, minuts.rem, (LREAL)IN.tv_nsec / 1000000);
etisserant@40:                 }
etisserant@40:             }
etisserant@40:         }
etisserant@40:     }
etisserant@40:     if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
etisserant@40:     return res;
etisserant@40: }
lbessard@149: static inline STRING __date_to_string(EN_ENO_PARAMS, DATE IN){
laurent@200:     STRING res;
laurent@200:     struct tm* broken_down_time;
laurent@200:     time_t seconds;
laurent@200: 	TEST_EN(STRING)
etisserant@40:     /* D#1984-06-25 */
laurent@200:     res = __INIT_STRING;
laurent@200:     seconds = IN.tv_sec;
etisserant@57:     if (NULL == (broken_down_time = localtime(&seconds))){ /* get the UTC (GMT) broken down time */
etisserant@40:         IEC_error();
etisserant@40:         return (STRING){7,"D#ERROR"};
etisserant@40:     }
etisserant@57:     res.len = snprintf((char*)&res.body, STR_MAX_LEN, "D#%d-%2.2d-%2.2d", broken_down_time->tm_year + 1900, broken_down_time->tm_mon + 1, broken_down_time->tm_mday);
etisserant@40:     if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
etisserant@40:     return res;
etisserant@40: }
lbessard@149: static inline STRING __tod_to_string(EN_ENO_PARAMS, TOD IN){
laurent@200:     STRING res;
laurent@200:     struct tm* broken_down_time;
laurent@200:     time_t seconds;
lbessard@149:     TEST_EN(STRING)
etisserant@40:     /* TOD#15:36:55.36 */
laurent@200:     res = __INIT_STRING;
laurent@200:     seconds = IN.tv_sec;
etisserant@57:     if (NULL == (broken_down_time = localtime(&seconds))){ /* get the UTC (GMT) broken down time */
etisserant@40:         IEC_error();
etisserant@40:         return (STRING){9,"TOD#ERROR"};
etisserant@40:     }
etisserant@40:     if(IN.tv_nsec == 0){
etisserant@57:         res.len = snprintf((char*)&res.body, STR_MAX_LEN, "TOD#%2.2d:%2.2d:%d", broken_down_time->tm_hour, broken_down_time->tm_min, broken_down_time->tm_sec);
etisserant@40:     }else{
etisserant@57:         res.len = snprintf((char*)&res.body, STR_MAX_LEN, "TOD#%2.2d:%2.2d:%g", broken_down_time->tm_hour, broken_down_time->tm_min, (LREAL)broken_down_time->tm_sec + (LREAL)IN.tv_nsec / 1e9);
etisserant@40:     }
etisserant@40:     if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
etisserant@40:     return res;
etisserant@40: }
lbessard@149: static inline STRING __dt_to_string(EN_ENO_PARAMS, DT IN){
laurent@200:     STRING res;
laurent@200:     struct tm* broken_down_time;
laurent@200:     time_t seconds;
lbessard@149:     TEST_EN(STRING)
etisserant@40:     /* DT#1984-06-25-15:36:55.36 */
laurent@200:     seconds = IN.tv_sec;
etisserant@57:     if (NULL == (broken_down_time = localtime(&seconds))){ /* get the UTC (GMT) broken down time */
etisserant@40:         IEC_error();
etisserant@40:         return (STRING){8,"DT#ERROR"};
etisserant@40:     }
etisserant@40:     if(IN.tv_nsec == 0){
etisserant@40:         res.len = snprintf((char*)&res.body, STR_MAX_LEN, "DT#%d-%2.2d-%2.2d-%2.2d:%2.2d:%d",
etisserant@57:                  broken_down_time->tm_year,
etisserant@57:                  broken_down_time->tm_mon,
etisserant@57:                  broken_down_time->tm_mday,
etisserant@57:                  broken_down_time->tm_hour,
etisserant@57:                  broken_down_time->tm_min,
etisserant@57:                  broken_down_time->tm_sec);
etisserant@40:     }else{
etisserant@42:         res.len = snprintf((char*)&res.body, STR_MAX_LEN, "DT#%d-%2.2d-%2.2d-%2.2d:%2.2d:%g",
etisserant@57:                  broken_down_time->tm_year,
etisserant@57:                  broken_down_time->tm_mon,
etisserant@57:                  broken_down_time->tm_mday,
etisserant@57:                  broken_down_time->tm_hour,
etisserant@57:                  broken_down_time->tm_min,
etisserant@57:                  (LREAL)broken_down_time->tm_sec + ((LREAL)IN.tv_nsec / 1e9));
etisserant@40:     }
etisserant@40:     if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
etisserant@40:     return res;
etisserant@40: }
etisserant@40:     /* BCD */
greg@180: #define __bcd_digit(fac)
lbessard@149: static inline ULINT __bcd_to_uint(EN_ENO_PARAMS, LWORD IN){
greg@212:     ULINT res;
greg@212:     ULINT i;
lbessard@149:     TEST_EN(ULINT)
greg@212: 
greg@212:     res = IN & 0xf;
greg@212:     for(i = 10ULL; i <= 1000000000000000ULL; i *= 10){
greg@212:         if(!(IN >>= 4))
greg@212:             break;
greg@212:         res += (IN & 0xf) * i;
greg@212:     }
greg@212:     return res;
greg@212: }
greg@212: 
lbessard@149: static inline LWORD __uint_to_bcd(EN_ENO_PARAMS, ULINT IN){
greg@212:     LWORD res;
greg@212:     USINT i;
lbessard@149:     TEST_EN(LWORD)
greg@212: 
greg@212:     res = IN % 10;
greg@212:     for(i = 4; i<=60; i += 4){
greg@212:         if(!(IN /= 10))
greg@212:             break;
greg@212:         res |= (IN % 10) << i;
greg@212:     }
greg@212:     return res;
etisserant@40: }
etisserant@40: 
greg@180: /* workaround for va-atgs limitation on shorter that int params */
etisserant@40: #define VA_ARGS_REAL LREAL
etisserant@40: #define VA_ARGS_LREAL LREAL
etisserant@40: #define VA_ARGS_SINT DINT
etisserant@40: #define VA_ARGS_INT DINT
etisserant@40: #define VA_ARGS_DINT DINT
etisserant@40: #define VA_ARGS_LINT LINT
etisserant@40: #define VA_ARGS_USINT UDINT
etisserant@40: #define VA_ARGS_UINT UDINT
etisserant@40: #define VA_ARGS_UDINT UDINT
etisserant@40: #define VA_ARGS_ULINT ULINT
etisserant@40: #define VA_ARGS_TIME TIME
etisserant@40: #define VA_ARGS_BOOL DWORD
etisserant@40: #define VA_ARGS_BYTE DWORD
etisserant@40: #define VA_ARGS_WORD DWORD
etisserant@40: #define VA_ARGS_DWORD DWORD
etisserant@40: #define VA_ARGS_LWORD LWORD
etisserant@40: #define VA_ARGS_STRING STRING
etisserant@40: #define VA_ARGS_WSTRING WSTRING
etisserant@40: #define VA_ARGS_DATE DATE
etisserant@40: #define VA_ARGS_TOD TOD
etisserant@40: #define VA_ARGS_DT DT
etisserant@40: 
lbessard@149: /*******************************************/
lbessard@149: /*     Arithmetic and bitwise functions    */
lbessard@149: /*******************************************/
lbessard@149: #define __arith_expand(fname,TYPENAME, OP) \
lbessard@149: static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, UINT param_count, TYPENAME op1, ...){\
lbessard@149:   va_list ap;\
lbessard@149:   UINT i;\
laurent@200:   TEST_EN(TYPENAME)\
lbessard@149:   \
lbessard@149:   va_start (ap, op1);         /* Initialize the argument list.  */\
lbessard@149:   \
lbessard@149:   for (i = 0; i < param_count - 1; i++){\
lbessard@149:     op1 = op1 OP va_arg (ap, VA_ARGS_##TYPENAME);\
lbessard@149:   }\
lbessard@149:   \
lbessard@149:   va_end (ap);                  /* Clean up.  */\
lbessard@149:   return op1;\
lbessard@149: }
lbessard@149: 
lbessard@149: #define __arith_static(fname,TYPENAME, OP) \
lbessard@149: static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, TYPENAME op1, TYPENAME op2){\
lbessard@149:   TEST_EN(TYPENAME)\
lbessard@149:   return op1 OP op2;\
lbessard@149: }
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /*     ADD    */
lbessard@149: /**************/
lbessard@149: #define __add_(TYPENAME) __arith_expand(__add_, TYPENAME, + )
lbessard@149: ANY_NUM(__add_)
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /*     MUL    */
lbessard@149: /**************/
lbessard@149: #define __mul_(TYPENAME) __arith_expand(__mul_, TYPENAME, * )
lbessard@149: ANY_NUM(__mul_)
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /*     SUB    */
lbessard@149: /**************/
lbessard@149: #define __sub_(TYPENAME) __arith_static(__sub_, TYPENAME, - )
lbessard@149: ANY_NUM(__sub_)
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /*     DIV    */
lbessard@149: /**************/
lbessard@149: #define __div_(TYPENAME)\
lbessard@149: static inline TYPENAME __div_##TYPENAME(EN_ENO_PARAMS, TYPENAME op1, TYPENAME op2){\
lbessard@149:   TEST_EN_COND(TYPENAME, op2 == 0)\
lbessard@149:   return op1 / op2;\
lbessard@149: }
lbessard@149: ANY_NUM(__div_)
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /*     MOD    */
lbessard@149: /**************/
lbessard@149: #define __mod_(TYPENAME) __arith_static(__mod_, TYPENAME, % )
lbessard@149: ANY_INT(__mod_)
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /*     AND    */
lbessard@149: /**************/
lbessard@149: __arith_expand(__and_, BOOL, && )
lbessard@149: #define __and_(TYPENAME) __arith_expand(__and_, TYPENAME, & )
lbessard@149: ANY_NBIT(__and_)
lbessard@149: 
lbessard@149: /*************/
lbessard@149: /*     OR    */
lbessard@149: /*************/
lbessard@149: __arith_expand(__or_, BOOL, || )
lbessard@149: #define __or_(TYPENAME) __arith_expand(__or_, TYPENAME, |)
lbessard@149: ANY_NBIT(__or_)
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /*     XOR    */
lbessard@149: /**************/
lbessard@149: static inline BOOL __xor_BOOL(EN_ENO_PARAMS, UINT param_count, BOOL op1, ...){
lbessard@149:   va_list ap;
lbessard@149:   UINT i;
laurent@200:   TEST_EN(BOOL)
greg@180: 
lbessard@149:   va_start (ap, op1);         /* Initialize the argument list.  */
greg@180: 
lbessard@149:   for (i = 0; i < param_count - 1; i++){
lbessard@149:     BOOL tmp = va_arg (ap, VA_ARGS_BOOL);
lbessard@149:     op1 = (op1 && !tmp) || (!op1 && tmp);
lbessard@149:   }
greg@180: 
lbessard@149:   va_end (ap);                  /* Clean up.  */
lbessard@149:   return op1;
lbessard@149: }
lbessard@149: #define __xor_(TYPENAME) __arith_expand(__xor_, TYPENAME, ^)
lbessard@149: ANY_NBIT(__xor_)
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /*     NOT    */
lbessard@149: /**************/
lbessard@149: static inline BOOL __not_BOOL(EN_ENO_PARAMS, BOOL op1){
lbessard@149:   TEST_EN(BOOL)
lbessard@149:   return !op1;
lbessard@149: }
lbessard@149: 
lbessard@149: #define __not_(TYPENAME)\
lbessard@149: static inline TYPENAME __not_##TYPENAME(EN_ENO_PARAMS, TYPENAME op1){\
lbessard@149:   TEST_EN(TYPENAME)\
lbessard@149:   return ~op1;\
lbessard@149: }
lbessard@149: ANY_NBIT(__not_)
lbessard@149: 
lbessard@149: /***************/
lbessard@149: /*     MOVE    */
lbessard@149: /***************/
lbessard@149: #define __move_(TYPENAME)\
lbessard@149: static inline TYPENAME __move_##TYPENAME(EN_ENO_PARAMS, TYPENAME op1){\
lbessard@149:   TEST_EN(TYPENAME)\
lbessard@149:   return op1;\
lbessard@149: }
lbessard@149: ANY(__move_)
lbessard@149: 
lbessard@149: /**************/
lbessard@149: /* Binary ops */
lbessard@149: /**************/
lbessard@149: #define __shift_(fname, TYPENAME, OP)\
lbessard@149: static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, TYPENAME IN, USINT N) {\
greg@156:   TEST_EN(TYPENAME)\
lbessard@149:   return IN OP N;\
lbessard@149: }
lbessard@149: 
lbessard@149: #define __shl_(TYPENAME) __shift_(__shl_, TYPENAME, << )
lbessard@149: /* Call previously defined macro for each ANY_NBIT */
lbessard@149: ANY_NBIT(__shl_)
lbessard@149: 
lbessard@149: #define __shr_(TYPENAME) __shift_(__shr_, TYPENAME, >> )
lbessard@149: /* Call previously defined macro for each ANY_NBIT */
lbessard@149: ANY_NBIT(__shr_)
lbessard@149: 
lbessard@149: #define __ror_(TYPENAME)\
lbessard@149: static inline TYPENAME __ror_##TYPENAME(EN_ENO_PARAMS, TYPENAME IN, USINT N){\
greg@156:   TEST_EN(TYPENAME)\
lbessard@149:   N %= 8*sizeof(TYPENAME);\
laurent@199:   return (IN >> N) | (IN << (8*sizeof(TYPENAME)-N));\
lbessard@149: }
lbessard@149: /* Call previously defined macro for each ANY_NBIT */
lbessard@149: ANY_NBIT(__ror_)
lbessard@149: 
lbessard@149: #define __rol_(TYPENAME)\
lbessard@149: static inline TYPENAME __rol_##TYPENAME(EN_ENO_PARAMS, TYPENAME IN, USINT N){\
greg@156:   TEST_EN(TYPENAME)\
lbessard@149:   N %= 8*sizeof(TYPENAME);\
laurent@199:   return (IN << N) | (IN >> (8*sizeof(TYPENAME)-N));\
lbessard@149: }
lbessard@149: /* Call previously defined macro for each ANY_NBIT */
lbessard@149: ANY_NBIT(__rol_)
lbessard@149: 
lbessard@165: /*******************************************/
lbessard@165: /*     Arithmetic and bitwise functions    */
lbessard@165: /*******************************************/
lbessard@165: 
lbessard@165: #define __numeric(fname,TYPENAME, FUNC) \
lbessard@165: static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, TYPENAME op){\
lbessard@165:   TEST_EN(TYPENAME)\
lbessard@165:   return FUNC(op);\
lbessard@165: }
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*    ABS     */
lbessard@165:   /**************/
lbessard@187: #define __abs_signed(TYPENAME) \
greg@180: static inline TYPENAME __abs_##TYPENAME(EN_ENO_PARAMS, TYPENAME op){\
greg@180:   TEST_EN(TYPENAME)\
greg@180:   if (op < 0)\
greg@180:     return -op;\
greg@180:   return op;\
greg@180: }
lbessard@187: ANY_REAL(__abs_signed)
lbessard@187: ANY_SINT(__abs_signed)
lbessard@187: 
lbessard@187: #define __abs_unsigned(TYPENAME) \
lbessard@187: static inline TYPENAME __abs_##TYPENAME(EN_ENO_PARAMS, TYPENAME op){\
lbessard@187:   TEST_EN(TYPENAME)\
lbessard@187:   return op;\
lbessard@187: }
lbessard@187: ANY_UINT(__abs_unsigned)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*    SQRT    */
lbessard@165:   /**************/
lbessard@165: #define __sqrt_(TYPENAME) __numeric(__sqrt_, TYPENAME, sqrt)
lbessard@165: ANY_REAL(__sqrt_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*     LN     */
lbessard@165:   /**************/
laurent@199: #define __ln_(TYPENAME) __numeric(__ln_, TYPENAME, log)
lbessard@165: ANY_REAL(__ln_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*     LOG    */
lbessard@165:   /**************/
laurent@199: #define __log_(TYPENAME) __numeric(__log_, TYPENAME, log10)
lbessard@165: ANY_REAL(__log_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*     EXP    */
lbessard@165:   /**************/
lbessard@165: #define __exp_(TYPENAME) __numeric(__exp_, TYPENAME, exp)
lbessard@165: ANY_REAL(__exp_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*     SIN    */
lbessard@165:   /**************/
lbessard@165: #define __sin_(TYPENAME) __numeric(__sin_, TYPENAME, sin)
lbessard@165: ANY_REAL(__sin_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*     COS    */
lbessard@165:   /**************/
lbessard@165: #define __cos_(TYPENAME) __numeric(__cos_, TYPENAME, cos)
lbessard@165: ANY_REAL(__cos_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*     TAN    */
lbessard@165:   /**************/
lbessard@165: #define __tan_(TYPENAME) __numeric(__tan_, TYPENAME, tan)
lbessard@165: ANY_REAL(__tan_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*    ASIN    */
lbessard@165:   /**************/
lbessard@165: #define __asin_(TYPENAME) __numeric(__asin_, TYPENAME, asin)
lbessard@165: ANY_REAL(__asin_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*    ACOS    */
lbessard@165:   /**************/
lbessard@165: #define __acos_(TYPENAME) __numeric(__acos_, TYPENAME, acos)
lbessard@165: ANY_REAL(__acos_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*    ATAN    */
lbessard@165:   /**************/
lbessard@165: #define __atan_(TYPENAME) __numeric(__atan_, TYPENAME, atan)
lbessard@165: ANY_REAL(__atan_)
lbessard@165: 
lbessard@165:   /**************/
lbessard@165:   /*    EXPT    */
lbessard@165:   /**************/
lbessard@165: #define __expt_(TYPENAME)\
lbessard@165: static inline TYPENAME __expt_##TYPENAME(EN_ENO_PARAMS, TYPENAME IN1, REAL IN2){\
lbessard@165:   TEST_EN(TYPENAME)\
lbessard@165:   return pow(IN1, IN2);\
lbessard@165: }ANY_REAL(__expt_)
lbessard@165: 
lbessard@149: /**************/
lbessard@149: /* Selection  */
lbessard@149: /**************/
lbessard@149: 
lbessard@149:   /**************/
lbessard@149:   /*    SEL     */
lbessard@149:   /**************/
lbessard@149: 
lbessard@149: #define __sel_(TYPENAME)\
lbessard@149: static inline TYPENAME __sel_##TYPENAME(EN_ENO_PARAMS, BOOL G, TYPENAME op0, TYPENAME op1){\
lbessard@149:   TEST_EN(TYPENAME)\
lbessard@149:   return G ? op1 : op0;\
lbessard@149: }
lbessard@149: ANY(__sel_)
lbessard@149: 
lbessard@149: 	/**************/
lbessard@149: 	/*   limit    */
lbessard@149: 	/**************/
lbessard@149: 
lbessard@149: #define __limit_(TYPENAME)\
lbessard@149: static inline TYPENAME __limit_##TYPENAME(EN_ENO_PARAMS, TYPENAME MN, TYPENAME IN, TYPENAME MX){\
lbessard@149:   TEST_EN(TYPENAME)\
lbessard@149:   return IN > MN ? IN < MX ? IN : MX : MN;\
lbessard@149: }
lbessard@149: 
lbessard@149: /* Call previously defined macro for each concerned type */
lbessard@149: ANY_NBIT(__limit_)
lbessard@149: ANY_NUM(__limit_)
lbessard@149: 
lbessard@149: #define __limit_time(TYPENAME)\
lbessard@149: static inline TYPENAME __limit_##TYPENAME(EN_ENO_PARAMS, TYPENAME MN, TYPENAME IN, TYPENAME MX){\
lbessard@149:     TEST_EN(TYPENAME)\
lbessard@149:     return __TIME_CMP(IN, MN) > 0 ? /* IN>MN ?*/\
lbessard@149:            __TIME_CMP(IN, MX) < 0 ? /* IN<MX ?*/\
lbessard@149:            IN : MX : MN;\
lbessard@149: }
lbessard@149: 
lbessard@149: /* Call previously defined macro for each concerned type */
lbessard@149: ANY_DATE(__limit_time)
lbessard@149: __limit_time(TIME)
lbessard@149: 
lbessard@149: static inline STRING __limit_STRING(EN_ENO_PARAMS, STRING MN, STRING IN, STRING MX){
lbessard@149:     TEST_EN(STRING)
lbessard@149:     return __STR_CMP(IN, MN) > 0 ? __STR_CMP(IN, MX) < 0 ? IN : MX : MN;
lbessard@149: }
lbessard@149: 
lbessard@149:     /**************/
lbessard@149:     /*     MAX    */
lbessard@149:     /**************/
lbessard@149: 
etisserant@40: #define __extrem_(fname,TYPENAME, COND) \
lbessard@149: static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, UINT param_count, TYPENAME op1, ...){\
etisserant@40:   va_list ap;\
etisserant@40:   UINT i;\
laurent@200:   TEST_EN(TYPENAME)\
etisserant@40:   \
etisserant@40:   va_start (ap, op1);         /* Initialize the argument list.  */\
etisserant@40:   \
lbessard@165:   for (i = 0; i < param_count - 1; i++){\
etisserant@40:     TYPENAME tmp = va_arg (ap, VA_ARGS_##TYPENAME);\
etisserant@40:     op1 = COND ? tmp : op1;\
etisserant@40:   }\
etisserant@40:   \
etisserant@40:   va_end (ap);                  /* Clean up.  */\
etisserant@40:   return op1;\
etisserant@40: }
etisserant@40: 
etisserant@40: #define __max_num(TYPENAME) __extrem_(__max_,TYPENAME, op1 < tmp)
etisserant@40: ANY_NBIT(__max_num)
etisserant@40: ANY_NUM(__max_num)
etisserant@40: 
etisserant@40: __extrem_(__max_, STRING, __STR_CMP(op1,tmp) < 0)
etisserant@40: #define __max_time(TYPENAME) __extrem_(__max_, TYPENAME, __TIME_CMP(op1, tmp) < 0)
etisserant@40: 
etisserant@40: /* Call previously defined macro for each concerned type */
etisserant@40: ANY_DATE(__max_time)
etisserant@40: __max_time(TIME)
etisserant@40: 
etisserant@40:     /**************/
etisserant@40:     /*     MIN    */
etisserant@40:     /**************/
lbessard@165: #define __min_num(TYPENAME) __extrem_(__min_, TYPENAME, op1 > tmp)
etisserant@40: ANY_NBIT(__min_num)
etisserant@40: ANY_NUM(__min_num)
etisserant@40: 
lbessard@165: __extrem_(__min_, STRING, __STR_CMP(op1,tmp) > 0)
etisserant@40: 
etisserant@40: #define __min_time(TYPENAME) __extrem_(__min_, TYPENAME, __TIME_CMP(op1, tmp) > 0)
etisserant@40: 
etisserant@40: /* Call previously defined macro for each concerned type */
etisserant@40: ANY_DATE(__min_time)
etisserant@40: __min_time(TIME)
etisserant@40: 
etisserant@40:     /**************/
etisserant@40:     /*     MUX    */
etisserant@40:     /**************/
etisserant@40: #define __mux_(TYPENAME) \
lbessard@149: static inline TYPENAME __mux_##TYPENAME(EN_ENO_PARAMS, UINT param_count, UINT K, ...){\
etisserant@40:   va_list ap;\
etisserant@40:   UINT i;\
laurent@200:   TYPENAME tmp;\
laurent@200:   TEST_EN_COND(TYPENAME, K >= param_count)\
laurent@200:   tmp = __INIT_##TYPENAME;\
etisserant@40:   \
etisserant@41:   va_start (ap, K);         /* Initialize the argument list.  */\
etisserant@40:   \
etisserant@40:   for (i = 0; i < param_count; i++){\
etisserant@40:     if(K == i){\
etisserant@41:         tmp = va_arg (ap, VA_ARGS_##TYPENAME);\
etisserant@40:         va_end (ap);                  /* Clean up.  */\
etisserant@40:         return tmp;\
etisserant@40:     }else{\
etisserant@40:         va_arg (ap, VA_ARGS_##TYPENAME);\
etisserant@40:     }\
etisserant@40:   }\
etisserant@40:   \
etisserant@40:   va_end (ap);                  /* Clean up.  */\
etisserant@41:   return tmp;\
etisserant@40: }
etisserant@40: 
etisserant@40: ANY(__mux_)
etisserant@40: 
etisserant@40: /**************/
etisserant@40: /* Comparison */
etisserant@40: /**************/
etisserant@40: 
etisserant@40: #define __compare_(fname,TYPENAME, COND) \
lbessard@149: static inline BOOL fname##TYPENAME(EN_ENO_PARAMS, UINT param_count, TYPENAME op1, ...){\
etisserant@40:   va_list ap;\
etisserant@40:   UINT i;\
laurent@200:   TEST_EN(BOOL)\
etisserant@40:   \
etisserant@40:   va_start (ap, op1);         /* Initialize the argument list.  */\
etisserant@43:   DBG(#fname #TYPENAME "\n")\
etisserant@43:   DBG_TYPE(TYPENAME, op1)\
etisserant@40:   \
etisserant@43:   for (i = 0; i < param_count - 1; i++){\
etisserant@40:     TYPENAME tmp = va_arg (ap, VA_ARGS_##TYPENAME);\
etisserant@43:     DBG_TYPE(TYPENAME, tmp)\
etisserant@40:     if(COND){\
etisserant@40:         op1 = tmp;\
etisserant@40:     }else{\
etisserant@40:         va_end (ap);                  /* Clean up.  */\
etisserant@40:         return 0;\
etisserant@40:     }\
etisserant@40:   }\
etisserant@40:   \
etisserant@40:   va_end (ap);                  /* Clean up.  */\
etisserant@40:   return 1;\
etisserant@40: }
etisserant@40: 
etisserant@40: #define __compare_num(fname, TYPENAME, TEST) __compare_(fname, TYPENAME, op1 TEST tmp )
etisserant@40: #define __compare_time(fname, TYPENAME, TEST) __compare_(fname, TYPENAME, __TIME_CMP(op1, tmp) TEST 0)
etisserant@40: #define __compare_string(fname, TEST) __compare_(fname, STRING, __STR_CMP(op1, tmp) TEST 0 )
etisserant@40: 
lbessard@149: 
etisserant@40:     /**************/
etisserant@40:     /*     GT     */
etisserant@40:     /**************/
etisserant@40: 
etisserant@40: #define __gt_num(TYPENAME) __compare_num(__gt_, TYPENAME, > )
etisserant@40: ANY_NBIT(__gt_num)
etisserant@40: ANY_NUM(__gt_num)
etisserant@40: 
etisserant@40: #define __gt_time(TYPENAME) __compare_time(__gt_, TYPENAME, > )
etisserant@40: ANY_DATE(__gt_time)
etisserant@40: __gt_time(TIME)
etisserant@40: 
etisserant@40: __compare_string(__gt_, > )
etisserant@40: 
etisserant@40:     /**************/
etisserant@40:     /*     GE     */
etisserant@40:     /**************/
etisserant@40: 
etisserant@40: #define __ge_num(TYPENAME) __compare_num(__ge_, TYPENAME, >= )
etisserant@43: ANY_BIT(__ge_num)
etisserant@40: ANY_NUM(__ge_num)
etisserant@40: 
etisserant@40: #define __ge_time(TYPENAME) __compare_time(__ge_, TYPENAME, >= )
etisserant@40: ANY_DATE(__ge_time)
etisserant@40: __ge_time(TIME)
etisserant@40: 
etisserant@40: __compare_string(__ge_, >=)
etisserant@40: 
etisserant@40:     /**************/
etisserant@40:     /*     EQ     */
etisserant@40:     /**************/
etisserant@40: 
etisserant@40: #define __eq_num(TYPENAME) __compare_num(__eq_, TYPENAME, == )
etisserant@43: ANY_BIT(__eq_num)
etisserant@40: ANY_NUM(__eq_num)
etisserant@40: 
etisserant@40: #define __eq_time(TYPENAME) __compare_time(__eq_, TYPENAME, == )
etisserant@40: ANY_DATE(__eq_time)
etisserant@40: __eq_time(TIME)
etisserant@40: 
etisserant@40: __compare_string(__eq_, == )
etisserant@40: 
etisserant@40:     /**************/
etisserant@40:     /*     LT     */
etisserant@40:     /**************/
etisserant@40: 
etisserant@40: #define __lt_num(TYPENAME) __compare_num(__lt_, TYPENAME, < )
etisserant@43: ANY_BIT(__lt_num)
etisserant@40: ANY_NUM(__lt_num)
etisserant@40: 
etisserant@40: #define __lt_time(TYPENAME) __compare_time(__lt_, TYPENAME, < )
etisserant@40: ANY_DATE(__lt_time)
etisserant@40: __lt_time(TIME)
etisserant@40: 
etisserant@40: __compare_string(__lt_, < )
etisserant@40: 
etisserant@40:     /**************/
etisserant@40:     /*     LE     */
etisserant@40:     /**************/
etisserant@40: 
etisserant@40: #define __le_num(TYPENAME) __compare_num(__le_, TYPENAME, <= )
etisserant@43: ANY_BIT(__le_num)
etisserant@40: ANY_NUM(__le_num)
etisserant@40: 
etisserant@40: #define __le_time(TYPENAME) __compare_time(__le_, TYPENAME, <= )
etisserant@40: ANY_DATE(__le_time)
etisserant@40: __le_time(TIME)
etisserant@40: 
etisserant@40: __compare_string(__le_, <= )
etisserant@40: 
etisserant@40:     /**************/
etisserant@40:     /*     NE     */
etisserant@40:     /**************/
etisserant@40: 
etisserant@40: #define __ne_num(TYPENAME) __compare_num(__ne_, TYPENAME, != )
etisserant@43: ANY_BIT(__ne_num)
etisserant@40: ANY_NUM(__ne_num)
etisserant@40: 
etisserant@40: #define __ne_time(TYPENAME) __compare_time(__ne_, TYPENAME, != )
etisserant@40: ANY_DATE(__ne_time)
etisserant@40: __ne_time(TIME)
etisserant@40: 
etisserant@40: __compare_string(__ne_, != )
etisserant@40: 
etisserant@40: 
laurent@199: /* Get string representation of variable referenced by a void pointer
laurent@199:  * where type is given as its number */
laurent@199: /*#define __decl_str_case(cat,TYPENAME) \
laurent@199:     case TYPENAME##_ENUM:\
laurent@199:         return __##cat##_to_string(*(TYPENAME*)p);
laurent@199: #define __decl_str_case_bit(TYPENAME) __decl_str_case(bit,TYPENAME)
laurent@199: #define __decl_str_case_real(TYPENAME) __decl_str_case(real,TYPENAME)
laurent@199: #define __decl_str_case_sint(TYPENAME) __decl_str_case(sint,TYPENAME)
laurent@199: #define __decl_str_case_uint(TYPENAME) __decl_str_case(uint,TYPENAME)
laurent@199: static inline STRING __get_type_enum_str(__IEC_types_enum t, void* p){
laurent@199:  switch(t){
laurent@199:   __decl_str_case(bool,BOOL)
laurent@199:   ANY_NBIT(__decl_str_case_bit)
laurent@199:   ANY_REAL(__decl_str_case_real)
laurent@199:   ANY_SINT(__decl_str_case_sint)
laurent@199:   ANY_UINT(__decl_str_case_uint)
laurent@199:   __decl_str_case(time,TIME)
laurent@199:   __decl_str_case(date,DATE)
laurent@199:   __decl_str_case(tod,TOD)
laurent@199:   __decl_str_case(dt, DT)
laurent@199:  }
laurent@199: }
laurent@199: */
laurent@199: 
laurent@199: 
laurent@199: 
laurent@199: 
laurent@199: 
laurent@199: