Skip to content
Snippets Groups Projects
Commit 07f2c3ba authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[tests] restore ./src/plugin/loop_analysis/tests from master

parent 482e81aa
No related branches found
No related tags found
No related merge requests found
[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
[kernel] Parsing small_loop.i (no preprocessing)
[loop] Add this to your command line:
-val-slevel-merge-after-loop main \
-slevel-function main:20
[kernel] Parsing small_loop.i (no preprocessing)
[loop] Add this to your command line:
-val-slevel-merge-after-loop main \
-slevel-function main:20
[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
[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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment