diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-11 06:02:13 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-11 06:02:13 +0200 |
commit | d8d22519bff9414f973a1310cb32eb60e6695796 (patch) | |
tree | 54536b71fa366642f30e4a1ab90f219cdff97b12 /test/monniaux | |
parent | 295058286407ec6c4182f2b12b27608fc7d28f95 (diff) | |
download | compcert-kvx-d8d22519bff9414f973a1310cb32eb60e6695796.tar.gz compcert-kvx-d8d22519bff9414f973a1310cb32eb60e6695796.zip |
begin generating Prevsub etc. from Oxxx to Pxxx
Diffstat (limited to 'test/monniaux')
-rw-r--r-- | test/monniaux/lustre-convertible-en-2cgc/convertible_main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/lustre-convertible-en-2cgc/convertible_main.c b/test/monniaux/lustre-convertible-en-2cgc/convertible_main.c index 4dc333dd..6a4db4c3 100644 --- a/test/monniaux/lustre-convertible-en-2cgc/convertible_main.c +++ b/test/monniaux/lustre-convertible-en-2cgc/convertible_main.c @@ -58,7 +58,7 @@ DM_INLINE void Lustre_arrow_3_step(_real i1[50],_real i2[50],_real out[50]/*out* } // End of Lustre_arrow_3_step // Step function(s) for Lustre_hat_ctx -void Lustre_hat_step(_real i1,_real out[50]/*out*/){ +DM_INLINE void Lustre_hat_step(_real i1,_real out[50]/*out*/){ out[0] = i1; out[1] = i1; out[2] = i1; |