aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/lustrev4_lv6-en-2cgc_heater_control
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-15 16:00:35 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-15 16:00:35 +0200
commit38c52d38442dec9f8043d1157d68bb8eebfe7b4b (patch)
tree589280132e6068273b861f47ad74e7102198595c /test/monniaux/lustrev4_lv6-en-2cgc_heater_control
parenteac500b866318661b509eb96eb3e12183f73895c (diff)
downloadcompcert-kvx-38c52d38442dec9f8043d1157d68bb8eebfe7b4b.tar.gz
compcert-kvx-38c52d38442dec9f8043d1157d68bb8eebfe7b4b.zip
attempt at inlining; not many cycles removed
Diffstat (limited to 'test/monniaux/lustrev4_lv6-en-2cgc_heater_control')
-rw-r--r--test/monniaux/lustrev4_lv6-en-2cgc_heater_control/heater_control_heater_control.c20
1 files changed, 11 insertions, 9 deletions
diff --git a/test/monniaux/lustrev4_lv6-en-2cgc_heater_control/heater_control_heater_control.c b/test/monniaux/lustrev4_lv6-en-2cgc_heater_control/heater_control_heater_control.c
index 1b3cb947..b850598a 100644
--- a/test/monniaux/lustrev4_lv6-en-2cgc_heater_control/heater_control_heater_control.c
+++ b/test/monniaux/lustrev4_lv6-en-2cgc_heater_control/heater_control_heater_control.c
@@ -4,52 +4,54 @@
#include "heater_control_heater_control.h"
//// Defining step functions
// Memory initialisation for Lustre_arrow_ctx
-void Lustre_arrow_ctx_reset(Lustre_arrow_ctx_type* ctx){
+#define DM_INLINE inline
+
+DM_INLINE void Lustre_arrow_ctx_reset(Lustre_arrow_ctx_type* ctx){
int _i;
ctx->_memory = _true;
}
// Initialisation of the internal structure of Lustre_arrow_ctx
-void Lustre_arrow_ctx_init(Lustre_arrow_ctx_type* ctx){
+DM_INLINE void Lustre_arrow_ctx_init(Lustre_arrow_ctx_type* ctx){
// ctx->client_data = cdata;
Lustre_arrow_ctx_reset(ctx);
}
// Step function(s) for Lustre_arrow_ctx
-void Lustre_arrow_step(_boolean i1,_boolean i2,_boolean *out,Lustre_arrow_ctx_type* ctx){ *out = ((ctx->_memory)? i1 : i2);
+DM_INLINE void Lustre_arrow_step(_boolean i1,_boolean i2,_boolean *out,Lustre_arrow_ctx_type* ctx){ *out = ((ctx->_memory)? i1 : i2);
ctx->_memory = _false;
} // End of Lustre_arrow_step
// Memory initialisation for Lustre_pre_ctx
-void Lustre_pre_ctx_reset(Lustre_pre_ctx_type* ctx){
+DM_INLINE void Lustre_pre_ctx_reset(Lustre_pre_ctx_type* ctx){
int _i;
}
// Initialisation of the internal structure of Lustre_pre_ctx
-void Lustre_pre_ctx_init(Lustre_pre_ctx_type* ctx){
+DM_INLINE void Lustre_pre_ctx_init(Lustre_pre_ctx_type* ctx){
// ctx->client_data = cdata;
Lustre_pre_ctx_reset(ctx);
}
// Step function(s) for Lustre_pre_ctx
-void Lustre_pre_get(_boolean *out,Lustre_pre_ctx_type* ctx){
+DM_INLINE void Lustre_pre_get(_boolean *out,Lustre_pre_ctx_type* ctx){
*out = ctx->_memory;
} // End of Lustre_pre_get
-void Lustre_pre_set(_boolean i1,Lustre_pre_ctx_type* ctx){
+DM_INLINE void Lustre_pre_set(_boolean i1,Lustre_pre_ctx_type* ctx){
ctx->_memory = i1;
} // End of Lustre_pre_set
// Step function(s) for Lustre_slash_ctx
-void Lustre_slash_step(_real i1,_real i2,_real *out){
+DM_INLINE void Lustre_slash_step(_real i1,_real i2,_real *out){
*out = (i1 / i2);
} // End of Lustre_slash_step
// Memory initialisation for heater_control_heater_control_ctx
-void heater_control_heater_control_ctx_reset(heater_control_heater_control_ctx_type* ctx){
+DM_INLINE void heater_control_heater_control_ctx_reset(heater_control_heater_control_ctx_type* ctx){
int _i;
Lustre_pre_ctx_reset(&ctx->Lustre_pre_ctx_tab[0]);