From e4231482a02576e90582af47b8d227ced8136887 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 20 Jun 2024 11:37:46 +0200
Subject: [PATCH] [Eva] In memcpy test, uses loop unroll instead of
-eva-slevel.
---
tests/builtins/memcpy.c | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/tests/builtins/memcpy.c b/tests/builtins/memcpy.c
index 1b7c1e41fbe..86d8e5e99e4 100644
--- a/tests/builtins/memcpy.c
+++ b/tests/builtins/memcpy.c
@@ -1,6 +1,6 @@
/* run.config*
- PLUGIN: @PTEST_PLUGIN@ report
- STDOPT: +"-calldeps -eva-slevel-function init:2000 -eva-msg-key imprecision -eva-plevel 150 -inout -no-deps -absolute-valid-range 100000-100001 -then -report"
+ PLUGIN: @PTEST_PLUGIN@ report
+ STDOPT: +"-calldeps -eva-msg-key imprecision -eva-plevel 150 -inout -no-deps -absolute-valid-range 100000-100001 -then -report"
*/
@@ -12,7 +12,7 @@ char dst1[20], dst2[20], dst3[20], dst4[20], dst5[100];
void init () {
int j;
-
+ //@ loop unroll 20;
for (j=0;j<20;j++) {
src[j] = j+1;
dst1[j] = -1;
@@ -20,7 +20,7 @@ void init () {
dst3[j] = -1;
dst4[j] = -1;
}
-
+ //@ loop unroll 100;
for (j=0;j<100;j++) dst5[j] = -1;
}
--
GitLab