reorganise procedure summary tests

UQ-PAC · Aug 19, 2024 · b03838e · b03838e
1 parent da8f381
commit b03838e
Show file tree

Hide file tree

Showing 31 changed files with 29 additions and 1,873 deletions.
diff --git a/src/main/scala/util/RunUtils.scala b/src/main/scala/util/RunUtils.scala
@@ -968,9 +968,9 @@ object RunUtils {
         result.reachingDefs,
         ctx.program
       )
-      Logger.info("[!] Generating Function Summaries")
+      Logger.info("[!] Generating Procedure Summaries")
       if (config.summariseProcedures) {
-        IRTransform.generateFunctionSummaries(ctx, ctx.program, result.constPropResult, result.varDepsSummaries)
+        IRTransform.generateProcedureSummaries(ctx, ctx.program, result.constPropResult, result.varDepsSummaries)
       }
       if (modified) {
         iteration += 1

diff --git a/src/test/analysis/procedure-summaries/procedure_summary/config.mk b/src/test/analysis/procedure-summaries/procedure_summary/config.mk
@@ -0,0 +1 @@
+ENABLED_COMPILERS = gcc
diff --git a/...function_summary/gcc/function_summary.adt → ...ocedure_summary/gcc/procedure_summary.adt b/...function_summary/gcc/function_summary.adt → ...ocedure_summary/gcc/procedure_summary.adt
diff --git a/...function_summary/gcc/function_summary.bir → ...ocedure_summary/gcc/procedure_summary.bir b/...function_summary/gcc/function_summary.bir → ...ocedure_summary/gcc/procedure_summary.bir
diff --git a/...function_summary/gcc/function_summary.gts → ...ocedure_summary/gcc/procedure_summary.gts b/...function_summary/gcc/function_summary.gts → ...ocedure_summary/gcc/procedure_summary.gts
diff --git a/...unction_summary/gcc/function_summary.relf → ...cedure_summary/gcc/procedure_summary.relf b/...unction_summary/gcc/function_summary.relf → ...cedure_summary/gcc/procedure_summary.relf
diff --git a/...lysis/function_summary/function_summary.c → ...ies/procedure_summary/procedure_summary.c b/...lysis/function_summary/function_summary.c → ...ies/procedure_summary/procedure_summary.c
diff --git a/...is/function_summary/function_summary.spec → .../procedure_summary/procedure_summary.spec b/...is/function_summary/function_summary.spec → .../procedure_summary/procedure_summary.spec
diff --git a/src/test/analysis/procedure-summaries/procedure_summary2/config.mk b/src/test/analysis/procedure-summaries/procedure_summary2/config.mk
@@ -0,0 +1 @@
+ENABLED_COMPILERS = gcc_O2
diff --git a/...ion_summary2/gcc_O2/function_summary2.adt → ...re_summary2/gcc_O2/procedure_summary2.adt b/...ion_summary2/gcc_O2/function_summary2.adt → ...re_summary2/gcc_O2/procedure_summary2.adt
diff --git a/...ion_summary2/gcc_O2/function_summary2.bir → ...re_summary2/gcc_O2/procedure_summary2.bir b/...ion_summary2/gcc_O2/function_summary2.bir → ...re_summary2/gcc_O2/procedure_summary2.bir
diff --git a/...ion_summary2/gcc_O2/function_summary2.gts → ...re_summary2/gcc_O2/procedure_summary2.gts b/...ion_summary2/gcc_O2/function_summary2.gts → ...re_summary2/gcc_O2/procedure_summary2.gts
diff --git a/...on_summary2/gcc_O2/function_summary2.relf → ...e_summary2/gcc_O2/procedure_summary2.relf b/...on_summary2/gcc_O2/function_summary2.relf → ...e_summary2/gcc_O2/procedure_summary2.relf
diff --git a/...sis/function_summary2/function_summary2.c → ...s/procedure_summary2/procedure_summary2.c b/...sis/function_summary2/function_summary2.c → ...s/procedure_summary2/procedure_summary2.c
diff --git a/.../function_summary2/function_summary2.spec → ...rocedure_summary2/procedure_summary2.spec b/.../function_summary2/function_summary2.spec → ...rocedure_summary2/procedure_summary2.spec
diff --git a/src/test/analysis/procedure-summaries/procedure_summary3/config.mk b/src/test/analysis/procedure-summaries/procedure_summary3/config.mk
@@ -0,0 +1 @@
+ENABLED_COMPILERS = gcc_O2
diff --git a/...ion_summary3/gcc_O2/function_summary3.adt → ...re_summary3/gcc_O2/procedure_summary3.adt b/...ion_summary3/gcc_O2/function_summary3.adt → ...re_summary3/gcc_O2/procedure_summary3.adt
diff --git a/...ion_summary3/gcc_O2/function_summary3.bir → ...re_summary3/gcc_O2/procedure_summary3.bir b/...ion_summary3/gcc_O2/function_summary3.bir → ...re_summary3/gcc_O2/procedure_summary3.bir
diff --git a/...ion_summary3/gcc_O2/function_summary3.gts → ...re_summary3/gcc_O2/procedure_summary3.gts b/...ion_summary3/gcc_O2/function_summary3.gts → ...re_summary3/gcc_O2/procedure_summary3.gts
diff --git a/...on_summary3/gcc_O2/function_summary3.relf → ...e_summary3/gcc_O2/procedure_summary3.relf b/...on_summary3/gcc_O2/function_summary3.relf → ...e_summary3/gcc_O2/procedure_summary3.relf
diff --git a/...sis/function_summary3/function_summary3.c → ...s/procedure_summary3/procedure_summary3.c b/...sis/function_summary3/function_summary3.c → ...s/procedure_summary3/procedure_summary3.c
diff --git a/.../function_summary3/function_summary3.spec → ...rocedure_summary3/procedure_summary3.spec b/.../function_summary3/function_summary3.spec → ...rocedure_summary3/procedure_summary3.spec
diff --git a/src/test/correct-analysis/function_summary/gcc_no_plt_no_pic/function_summary.adt b/src/test/correct-analysis/function_summary/gcc_no_plt_no_pic/function_summary.adt
diff --git a/src/test/correct-analysis/function_summary/gcc_no_plt_no_pic/function_summary.bir b/src/test/correct-analysis/function_summary/gcc_no_plt_no_pic/function_summary.bir
diff --git a/src/test/correct-analysis/function_summary/gcc_no_plt_no_pic/function_summary.gts b/src/test/correct-analysis/function_summary/gcc_no_plt_no_pic/function_summary.gts
diff --git a/src/test/correct-analysis/function_summary/gcc_no_plt_no_pic/function_summary.relf b/src/test/correct-analysis/function_summary/gcc_no_plt_no_pic/function_summary.relf