From 07f2c3baed2c151a9b2da8f7071ea547d707e382 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Thu, 10 Feb 2022 17:11:35 +0100 Subject: [PATCH] [tests] restore ./src/plugin/loop_analysis/tests from master --- .../oracle/slevel_overflow.res.oracle | 11 --------- .../oracle/small_loop.0.res.oracle | 4 ---- .../oracle/small_loop.1.res.oracle | 4 ---- .../loop_analysis/oracle/test.0.res.oracle | 21 ----------------- .../loop_analysis/oracle/test.1.res.oracle | 23 ------------------- 5 files changed, 63 deletions(-) delete mode 100644 src/plugins/loop_analysis/tests/loop_analysis/oracle/slevel_overflow.res.oracle delete mode 100644 src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.0.res.oracle delete mode 100644 src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.1.res.oracle delete mode 100644 src/plugins/loop_analysis/tests/loop_analysis/oracle/test.0.res.oracle delete mode 100644 src/plugins/loop_analysis/tests/loop_analysis/oracle/test.1.res.oracle diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/slevel_overflow.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/slevel_overflow.res.oracle deleted file mode 100644 index 8a5da7dc963..00000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/slevel_overflow.res.oracle +++ /dev/null @@ -1,11 +0,0 @@ -[kernel] Parsing slevel_overflow.c (with preprocessing) -[loop] Functions with loops whose estimated bounds were larger than -loop-max-slevel - (we recommend setting their slevel to 0 to avoid wasting time): - f2 (estimated bounds: 16777216000000000000000) -[loop] Add this to your command line: - -val-slevel-merge-after-loop f1 \ - -val-slevel-merge-after-loop f2 \ - -val-slevel-merge-after-loop f3 \ - -slevel-function f2:0 \ - -slevel-function f1:1073741824000000 \ - -slevel-function f3:18014398509481984 diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.0.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.0.res.oracle deleted file mode 100644 index a8fbd64ebd5..00000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.0.res.oracle +++ /dev/null @@ -1,4 +0,0 @@ -[kernel] Parsing small_loop.i (no preprocessing) -[loop] Add this to your command line: - -val-slevel-merge-after-loop main \ - -slevel-function main:20 diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.1.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.1.res.oracle deleted file mode 100644 index a8fbd64ebd5..00000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.1.res.oracle +++ /dev/null @@ -1,4 +0,0 @@ -[kernel] Parsing small_loop.i (no preprocessing) -[loop] Add this to your command line: - -val-slevel-merge-after-loop main \ - -slevel-function main:20 diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.0.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.0.res.oracle deleted file mode 100644 index df2ce032de5..00000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.0.res.oracle +++ /dev/null @@ -1,21 +0,0 @@ -[kernel] Parsing test.i (no preprocessing) -[loop] Functions with loops whose bounds we could not find: - g - h6 -[loop] Add this to your command line: - -val-slevel-merge-after-loop g \ - -val-slevel-merge-after-loop h3 \ - -val-slevel-merge-after-loop h4 \ - -val-slevel-merge-after-loop h5 \ - -val-slevel-merge-after-loop h6 \ - -val-slevel-merge-after-loop main \ - -slevel-function g:0 \ - -slevel-function h6:0 \ - -slevel-function f:8 \ - -slevel-function h:9 \ - -slevel-function h2:9 \ - -slevel-function h3:40 \ - -slevel-function h4:20 \ - -slevel-function h5:20 \ - -slevel-function k:2 \ - -slevel-function main:20 diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.1.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.1.res.oracle deleted file mode 100644 index e4f09ad4802..00000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.1.res.oracle +++ /dev/null @@ -1,23 +0,0 @@ -[kernel] Parsing test.i (no preprocessing) -[loop] Functions with loops whose bounds we could not find: - g - h6 -[loop] Add this to your command line: - -val-slevel-merge-after-loop g \ - -val-slevel-merge-after-loop h \ - -val-slevel-merge-after-loop h2 \ - -val-slevel-merge-after-loop h3 \ - -val-slevel-merge-after-loop h4 \ - -val-slevel-merge-after-loop h5 \ - -val-slevel-merge-after-loop h6 \ - -val-slevel-merge-after-loop main \ - -slevel-function g:0 \ - -slevel-function h6:0 \ - -slevel-function f:1 \ - -slevel-function h:9 \ - -slevel-function h2:9 \ - -slevel-function h3:20 \ - -slevel-function h4:10 \ - -slevel-function h5:10 \ - -slevel-function k:1 \ - -slevel-function main:10 -- GitLab