Update README

Update to racfed+eddi test names

Author: Gab-San

README.md

@@ -13,6 +13,9 @@ The toolchain has been tested with the following versions:
 - CMake 3.22.1
 - LLVM 16.0.0
 
+> RASM, RACFED and EDDI algorithm are already patched to LLVM 21. 
+> Patching of the other algorithms will is being done in branch patch-16-to-21.
+
 During the development of ASPIS, done mostly on LLVM 15, we discovered a bug in the [`splitBasicBlock()`](https://llvm.org/doxygen/classllvm_1_1BasicBlock.html#a2bc5caaabd6841e4ab97237ebcaeb86d) procedure. The bug has been fixed in LLVM 16, so we recommend using it rather than applying the patch to the previous versions. 
 
 ## Building
@@ -80,6 +83,9 @@ ASPIS does not compile the annotated function or does not duplicate the annotate
 ## Built-in compilation pipeline
 `aspis.sh` is a simple command-line interface that allows users to run the entire compilation pipeline specifying a few command-line arguments. The arguments that are not recognised are passed directly to the front-end, hence all the `clang` arguments are admissible.
 
+> RASM, RACFED and EDDI algorithm are already patched to LLVM 21. 
+> Patching of the other algorithms will is being done in branch patch-16-to-21.
+
 ### Options
  - `-h`, `--help`: Display available options.
  - `-o <file>`: Write the compilation output to `<file>`.
@@ -95,6 +101,7 @@ ASPIS does not compile the annotated function or does not duplicate the annotate
  - `--cfcss`: **(Default)** Enable CFCSS.
  - `--rasm`: Enable RASM.
  - `--inter-rasm`: Enable inter-RASM with the default signature `-0xDEAD`.
+ - `--racfed`: Enable RACFED.
 
 ### Example
 
@@ -184,6 +191,11 @@ opt --enable-new-pm=0 -S -load </path/to/ASPIS/>build/passes/libEDDI.so -duplica
 clang out.ll -o out.elf
 ```
 
+> With newer versions of LLVM:
+> --enable-new-pm is no longer valid.
+> -load has been replaced by -load-pass-plugin=</path/to/ASPIS/>build/passes/lib*.so -passes="passname"
+
+
 ## References
 If you are using this tool in scientific works, please cite the following article:
 - Davide Baroffio, Federico Reghenzani, and William Fornaciari. 2024. Enhanced Compiler Technology for Software-based Hardware Fault Detection. ACM Trans. Des. Autom. Electron. Syst. 29, 5, Article 91 (September 2024), 23 pages. https://doi.org/10.1145/3660524

testing/config/racfed+eddi.toml

@@ -1,101 +1,101 @@
 [[tests]]
-test_name = "racfed_ml_add_eddi"
+test_name = "racfed_eddi_ml_add"
 source_file = "c/multi_instruction/add.c"
 expected_output = "30"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_ml_function_call_eddi"
+test_name = "racfed_eddi_ml_function_call"
 source_file = "c/multi_instruction/function.c"
 expected_output = "foo() 25"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_preserve_runtime_sig_eddi"
+test_name = "racfed_eddi_preserve_runtime_sig"
 source_file = "c/multi_instruction/call_less_two.c"
 expected_output = "0"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_ml_if_then_else_eddi"
+test_name = "racfed_eddi_ml_if_then_else"
 source_file = "c/multi_instruction/if_then_else.c"
 expected_output = "1001"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_ml_phi_instruction_eddi"
+test_name = "racfed_eddi_ml_phi_instruction"
 source_file = "c/multi_instruction/phi.c"
 expected_output = "1"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_function_pointer_eddi"
+test_name = "racfed_eddi_function_pointer"
 source_file = "c/control_flow/function_pointer.c"
 expected_output = "42"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_loop_exit_eddi"
+test_name = "racfed_eddi_loop_exit"
 source_file = "c/control_flow/loop_exit.c"
 expected_output = "2"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_nested-branch_eddi"
+test_name = "racfed_eddi_n-branch_eddi"
 source_file = "c/control_flow/nested-branch.c"
 expected_output = "6"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_simple-branch_eddi"
+test_name = "racfed_eddi_s-branch_eddi"
 source_file = "c/control_flow/simple-branch.c"
 expected_output = "OK"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_switch-case_eddi"
+test_name = "racfed_eddi_s-case_eddi"
 source_file = "c/control_flow/switch-case.c"
 expected_output = "300"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_data_dep_branches_eddi"
+test_name = "racfed_eddi_data_dep_branches"
 source_file = "c/data_duplication_integrity/data_dep_branches.c"
 expected_output = "7"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_global_var_across_functions_eddi"
+test_name = "racfed_eddi_global_var_across_functions"
 source_file = "c/data_duplication_integrity/global_var_across_functions.c"
 expected_output = "2"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_misc_data_dup_eddi"
+test_name = "racfed_eddi_misc_data_dup"
 source_file = "c/data_duplication_integrity/misc_data_dup.c"
 expected_output = "OK"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_volatile_io_eddi"
+test_name = "racfed_eddi_volatile_io"
 source_file = "c/data_duplication_integrity/volatile_io.c"
 expected_output = "42"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_arit_pipeline_eddi"
+test_name = "racfed_eddi_arit_pipeline"
 source_file = "c/misc_math/arit_pipeline.c"
 expected_output = "3"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_mixed_ops_eddi"
+test_name = "racfed_eddi_mixed_ops"
 source_file = "c/misc_math/mixed_ops.c"
 expected_output = "14.5"
 aspis_options = "--eddi --racfed"
 
 [[tests]]
-test_name = "racfed_xor_cypher_eddi"
+test_name = "racfed_eddi_xor_cypher"
 source_file = "c/misc_math/xor_cypher.c"
 expected_output = "SUCCESS"
 aspis_options = "--eddi --racfed"