diff --git a/bench/app/powerwindow/powerwindow.c b/bench/app/powerwindow/powerwindow.c index 5a7a9f871c4ffc927f29784f6be9584ad84b74d0..92530f1681e0e203a3c6cc4c538cce84eb2b0edf 100644 --- a/bench/app/powerwindow/powerwindow.c +++ b/bench/app/powerwindow/powerwindow.c @@ -7,7 +7,7 @@ Author: CoSys-Lab, University of Antwerp - Function: powerwindow implement the powerwindow that can be seen in cars nowadays. + Function: powerwindow implement the powerwindow that can be seen in cars nowadays. The window can be controlled by either driver or passenger. When an object is detected between the window frame and the glass during the raising of the glass, the glass will lower down for some distance. This benchmark contains 4 tasks which includes the @@ -23,7 +23,7 @@ */ -#include "powerwindow_HeaderFiles/powerwindow.h" +#include "powerwindow_HeaderFiles/powerwindow.h" #include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_Front.h" #include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackL.h" #include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackR.h" @@ -34,7 +34,6 @@ #include "powerwindow_HeaderFiles/powerwindow_powerwindow_control.h" /* PW passenger control Model's header file */ #include "powerwindow_HeaderFiles/powerwindow_rtwtypes.h" #include "powerwindow_HeaderFiles/powerwindow_model_reference_types.h" -//#include <stdio.h> /* Forward declaration of functions */ diff --git a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_DRV.h b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_DRV.h index a7ea1a688c1c4fdf55d0daa2995c511be991a06a..3ad4ff6e05de578d5e33369fa40b8e0c8f8bf9e0 100644 --- a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_DRV.h +++ b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_DRV.h @@ -19,7 +19,6 @@ #ifndef powerwindow_RTW_HEADER_powerwindow_PW_Control_DRV_h_ #define powerwindow_RTW_HEADER_powerwindow_PW_Control_DRV_h_ -#include <string.h> #ifndef powerwindow_PW_Control_DRV_COMMON_INCLUDES_ # define powerwindow_PW_Control_DRV_COMMON_INCLUDES_ #include "../powerwindow_HeaderFiles/powerwindow_rtwtypes.h" diff --git a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackL.h b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackL.h index 4c1b58a85957e652008847ecf34755725426026b..663edec55118fe5b94b3a00313406f79dc2f0903 100644 --- a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackL.h +++ b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackL.h @@ -19,8 +19,6 @@ #ifndef powerwindow_RTW_HEADER_PW_Control_PSG_BackL_h_ #define powerwindow_RTW_HEADER_PW_Control_PSG_BackL_h_ -#include <stddef.h> -#include <string.h> #ifndef powerwindow_PW_Control_PSG_BackL_COMMON_INCLUDES_ # define powerwindow_PW_Control_PSG_BackL_COMMON_INCLUDES_ #include "../powerwindow_HeaderFiles/powerwindow_rtwtypes.h" diff --git a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackR.h b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackR.h index 27a3f9a17b7316fc3e96967088c602410e5b7e1c..383e2855c35d3b00ae7869240792a3c0ff26c371 100644 --- a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackR.h +++ b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackR.h @@ -19,8 +19,6 @@ #ifndef powerwindow_RTW_HEADER_PW_Control_PSG_BackR_h_ #define powerwindow_RTW_HEADER_PW_Control_PSG_BackR_h_ -#include <stddef.h> -#include <string.h> #ifndef powerwindow_PW_Control_PSG_BackR_COMMON_INCLUDES_ # define powerwindow_PW_Control_PSG_BackR_COMMON_INCLUDES_ #include "../powerwindow_HeaderFiles/powerwindow_rtwtypes.h" diff --git a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_Front.h b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_Front.h index 4709c24cd2954cb2de32b6480a6e58ede149b9d8..9bcdfe8f86a9262b98bb1bae3271eb2403aac96e 100644 --- a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_Front.h +++ b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_Front.h @@ -19,8 +19,6 @@ #ifndef powerwindow_RTW_HEADER_PW_Control_PSG_Front_h_ #define powerwindow_RTW_HEADER_PW_Control_PSG_Front_h_ -#include <stddef.h> -#include <string.h> #ifndef powerwindow_PW_Control_PSG_Front_COMMON_INCLUDES_ # define powerwindow_PW_Control_PSG_Front_COMMON_INCLUDES_ #include "../powerwindow_HeaderFiles/powerwindow_rtwtypes.h" diff --git a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_controlexclusion.h b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_controlexclusion.h index 4bc4679961c5d8043486d08f5114f30c4e1fcf07..d59b8d9934ddcf4248682a2d997917bfa3279579 100644 --- a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_controlexclusion.h +++ b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_controlexclusion.h @@ -19,8 +19,6 @@ #ifndef powerwindow_RTW_HEADER_controlexclusion_h_ #define powerwindow_RTW_HEADER_controlexclusion_h_ -#include <stddef.h> -#include <string.h> #ifndef powerwindow_controlexclusion_COMMON_INCLUDES_ #define powerwindow_controlexclusion_COMMON_INCLUDES_ #include "../powerwindow_HeaderFiles/powerwindow_rtwtypes.h" diff --git a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_debounce.h b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_debounce.h index 7decbca875fb68626de7d69e9588d73f0cf30d6a..d17f467843f456256bad61d7353052a946e8de03 100644 --- a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_debounce.h +++ b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_debounce.h @@ -19,7 +19,6 @@ #ifndef powerwindow_RTW_HEADER_debounce_h_ #define powerwindow_RTW_HEADER_debounce_h_ -#include <string.h> #ifndef powerwindow_debounce_COMMON_INCLUDES_ #define powerwindow_debounce_COMMON_INCLUDES_ #include "../powerwindow_HeaderFiles/powerwindow_rtwtypes.h" diff --git a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_powerwindow_control.h b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_powerwindow_control.h index 4f235b1cdda4dce77d8397e67a0ba75b5eca38d4..1c0f950fcde084ac1d9e32444776e8d07a30c78e 100644 --- a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_powerwindow_control.h +++ b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_powerwindow_control.h @@ -19,7 +19,6 @@ #ifndef powerwindow_RTW_HEADER_PowerWindow_control_h_ #define powerwindow_RTW_HEADER_PowerWindow_control_h_ -#include <string.h> #ifndef powerwindow_powerWindow_control_COMMON_INCLUDES_ # define powerwindow_powerWindow_control_COMMON_INCLUDES_ #include "../powerwindow_HeaderFiles/powerwindow_rtwtypes.h" diff --git a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_tmwtypes.h b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_tmwtypes.h index 8e5dc48a41f4a0efc9a5988d191d6302dd728de0..7b1b7f34215936804e095e329a62f4828d50e970 100644 --- a/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_tmwtypes.h +++ b/bench/app/powerwindow/powerwindow_HeaderFiles/powerwindow_tmwtypes.h @@ -40,11 +40,6 @@ * Define NO_FLOATS to eliminate reference to powerwindow_real_T, etc. */ -#include <limits.h> - -#ifdef __APPLE_CC__ -#include <stdbool.h> -#endif #define LOGICAL_IS_A_TYPE #define SPARSE_GENERALIZATION @@ -54,18 +49,6 @@ # define float float_not_allowed #endif /*NO_FLOATS*/ -#ifndef NO_FLOATS - -#ifndef __MWERKS__ -# ifdef __STDC__ -# include <float.h> -# else -# define FLT_MANT_DIG 24 -# define DBL_MANT_DIG 53 -# endif -#endif - -#endif /*NO_FLOATS*/ /* * The following data types cannot be overridden when building MEX files. @@ -797,10 +780,6 @@ typedef powerwindow_boolean_T bool; */ #define TMW_NAME_LENGTH_MAX 64 -/* - * Maximum values for indices and dimensions - */ -#include <stddef.h> #ifdef MX_COMPAT_32 typedef int powerwindow_mwSize; diff --git a/bench/app/powerwindow/powerwindow_PW_Control_DRV.c b/bench/app/powerwindow/powerwindow_PW_Control_DRV.c index 458ee2569b29bdd667e7c33248cc439d91719325..373985283ce279277f0bef841fa18452eab423e8 100644 --- a/bench/app/powerwindow/powerwindow_PW_Control_DRV.c +++ b/bench/app/powerwindow/powerwindow_PW_Control_DRV.c @@ -16,6 +16,9 @@ License: GNU General Public License */ + + +#include "wcclib.h" #include "powerwindow_HeaderFiles/powerwindow_PW_Control_DRV.h" #include "powerwindow_HeaderFiles/powerwindow_PW_Control_DRV_private.h" diff --git a/bench/app/powerwindow/powerwindow_PW_Control_PSG_BackL.c b/bench/app/powerwindow/powerwindow_PW_Control_PSG_BackL.c index 7f7c5ace5ba47a7b8d0d4dd0b8577dcc726c4437..e2f9be2f2c3f77f1cd6e3b447f61bf9fbfba3363 100644 --- a/bench/app/powerwindow/powerwindow_PW_Control_PSG_BackL.c +++ b/bench/app/powerwindow/powerwindow_PW_Control_PSG_BackL.c @@ -18,8 +18,8 @@ */ +#include "wcclib.h" #include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackL.h" - #include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackL_private.h" /* diff --git a/bench/app/powerwindow/powerwindow_PW_Control_PSG_BackR.c b/bench/app/powerwindow/powerwindow_PW_Control_PSG_BackR.c index 666e6ac5436562d8e276be9e9764b6e0f700f143..64adede617e12f17e2f3e3c4c3f2e2d39fe06060 100644 --- a/bench/app/powerwindow/powerwindow_PW_Control_PSG_BackR.c +++ b/bench/app/powerwindow/powerwindow_PW_Control_PSG_BackR.c @@ -18,8 +18,8 @@ */ +#include "wcclib.h" #include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackR.h" - #include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_BackR_private.h" /* diff --git a/bench/app/powerwindow/powerwindow_PW_Control_PSG_Front.c b/bench/app/powerwindow/powerwindow_PW_Control_PSG_Front.c index dca692933f8f50d33c03c8d590fc49eb29c6072a..517c01407782b48e0a31e9d7f0ab70c3edf5da40 100644 --- a/bench/app/powerwindow/powerwindow_PW_Control_PSG_Front.c +++ b/bench/app/powerwindow/powerwindow_PW_Control_PSG_Front.c @@ -17,8 +17,9 @@ */ -#include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_Front.h" +#include "wcclib.h" +#include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_Front.h" #include "powerwindow_HeaderFiles/powerwindow_PW_Control_PSG_Front_private.h" /* diff --git a/bench/app/powerwindow/powerwindow_debounce.c b/bench/app/powerwindow/powerwindow_debounce.c index 9e97a25cf5efa64a247519e4e3f95201dc4968b6..df0b91d2cb363806878ed0f40ff11ce76e07a0d0 100644 --- a/bench/app/powerwindow/powerwindow_debounce.c +++ b/bench/app/powerwindow/powerwindow_debounce.c @@ -22,6 +22,7 @@ */ +#include "wcclib.h" #include "powerwindow_HeaderFiles/powerwindow_debounce.h" #include "powerwindow_HeaderFiles/powerwindow_debounce_private.h" diff --git a/bench/app/powerwindow/powerwindow_powerwindow_control.c b/bench/app/powerwindow/powerwindow_powerwindow_control.c index 79f4ecd895d493521cbd8c407c762889933887e0..8bce1869bb2c80db84140da69474416663b92d4c 100644 --- a/bench/app/powerwindow/powerwindow_powerwindow_control.c +++ b/bench/app/powerwindow/powerwindow_powerwindow_control.c @@ -20,6 +20,7 @@ */ +#include "wcclib.h" #include "powerwindow_HeaderFiles/powerwindow_powerwindow_control.h" #include "powerwindow_HeaderFiles/powerwindow_powerwindow_control_private.h" @@ -79,7 +80,7 @@ void powerwindow_powerwindow_con_broadcast_ticks(powerwindow_boolean_T *rty_wind /* Entry Internal: PW_PSG/PWExternalClock/stateflow control model */ /* Transition: '<S3>:102' */ localDW->is_c2_PowerWindow_control = powerwindow_powerwindow_control_IN_System; - + /* Entry Internal 'System': '<S3>:94' */ localDW->is_active_Logic = 1U; diff --git a/bench/app/powerwindow/wcclib.c b/bench/app/powerwindow/wcclib.c new file mode 100644 index 0000000000000000000000000000000000000000..20d58fdc0754a28f6642b192a979f1b5cb14e222 --- /dev/null +++ b/bench/app/powerwindow/wcclib.c @@ -0,0 +1,12 @@ +#include "wcclib.h" + + +void *memset( void *s, int c, size_t n ) +{ + unsigned char *p = s; + + _Pragma( "loopbound min 1 max 368" ) + while ( n-- ) + *p++ = (unsigned char) c; + return( s ); +} diff --git a/bench/app/powerwindow/wcclib.h b/bench/app/powerwindow/wcclib.h new file mode 100644 index 0000000000000000000000000000000000000000..5a5dc36fecd6bb670581864bfe42c8f01203d61b --- /dev/null +++ b/bench/app/powerwindow/wcclib.h @@ -0,0 +1,14 @@ +#ifndef _WCCLIB +#define _WCCLIB + +#define size_t unsigned long +#define int32_t int +#define uint32_t unsigned int +#define u_int16_t unsigned short +#define u_int32_t unsigned int + +#define NULL ( (void *) 0) + +void *memset( void *s, int c, size_t n ); + +#endif // _WCCLIB