kernel, sequential: also patch lms and rijndael_dec

Signed-off-by: Alban Gruin <alban.gruin@irit.fr>

bench/Makefile

@@ -187,7 +187,7 @@ build/mem/%.mem: build/artifacts/%.bin
 	@echo " BIN2MEM	$< -> $@"
 	@$(utils_dir)/bin2mem.py $< $@
 
-sic.patch: sic.cocci
+%.patch: %.cocci $(COCCI_SRC_FILES)
 	@echo " SPATCH $<"
 	@spatch --sp-file $< $(COCCI_SRC_FILES) --patch . >$@
 

bench/kernel/lms/lms.c

@@ -194,10 +194,17 @@ int lms_return( void )
 }
 
 
+#include <siccsrs.h>
 int main()
 {
-  lms_init();
-  lms_main();
+  sicsetup();
+
+  {
+    lms_init();
+    lms_main();
+  }
+
+  siccsrs();
   return ( lms_return() );
 }
 

bench/sequential/rijndael_dec/rijndael_dec.c

@@ -179,12 +179,19 @@ void _Pragma( "entrypoint" ) rijndael_dec_main( void )
   rijndael_dec_decfile( &rijndael_dec_fin, ctx );
 }
 
+#include <siccsrs.h>
 int main()
 {
+  sicsetup();
 
-  rijndael_dec_init();
-  rijndael_dec_main();
+  {
 
+    rijndael_dec_init();
+    rijndael_dec_main();
+
+  }
+
+  siccsrs();
   return ( rijndael_dec_return() );
 }
 

bench/sic.cocci

@@ -3,7 +3,7 @@
 
 + #include <siccsrs.h>
 
-int main(void)
+int main(...)
 {
 + sicsetup();
 +