aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authornicolas.nardino <nicolas.nardino@ens-lyon.fr>2021-06-14 14:46:01 +0200
committernicolas.nardino <nicolas.nardino@ens-lyon.fr>2021-06-14 14:46:01 +0200
commit3eb3751f84348a20b7ce211fdbf1d01a9c4685a8 (patch)
treee8479e3e6ca285fc71a11b94889e35675ce625cb
parent66e15205c40de54639387a4c9b1cc78994525d55 (diff)
downloadcompcert-kvx-3eb3751f84348a20b7ce211fdbf1d01a9c4685a8.tar.gz
compcert-kvx-3eb3751f84348a20b7ce211fdbf1d01a9c4685a8.zip
One fewer spill with new sched on `test/.../spille_forw.c`
-rw-r--r--test/nardino/scheduling/spille_forw.c53
1 files changed, 50 insertions, 3 deletions
diff --git a/test/nardino/scheduling/spille_forw.c b/test/nardino/scheduling/spille_forw.c
index 0c69efd5..770dfce5 100644
--- a/test/nardino/scheduling/spille_forw.c
+++ b/test/nardino/scheduling/spille_forw.c
@@ -1,6 +1,6 @@
#include <stdio.h>
-int f(int n) {
+int f(int n, float * arr) {
float a1 = (float) n;
float b1 = 2.*a1;
float c = a1;
@@ -79,6 +79,48 @@ int f(int n) {
float a26 = (float) n+25;
float b26 = 2.*a26;
c += a26;
+ float a27 = (float) n+26;
+ float b27 = 2.*a27;
+ c += a27;
+ float a28 = (float) n+27;
+ float b28 = 2.*a28;
+ c += a28;
+ float a29 = (float) n+28;
+ float b29 = 2.*a29;
+ c += a29;
+ float a30 = (float) n+29;
+ float b30 = 2.*a30;
+ c += a30;
+ arr[0] = a1;
+ arr[1] = a2;
+ arr[2] = a3;
+ arr[3] = a4;
+ arr[4] = a5;
+ arr[5] = a6;
+ arr[6] = a7;
+ arr[7] = a8;
+ arr[8] = a9;
+ arr[9] = a10;
+ arr[10] = a11;
+ arr[11] = a12;
+ arr[12] = a13;
+ arr[13] = a14;
+ arr[14] = a15;
+ arr[15] = a16;
+ arr[16] = a17;
+ arr[17] = a18;
+ arr[18] = a19;
+ arr[19] = a20;
+ arr[20] = a21;
+ arr[21] = a22;
+ arr[22] = a23;
+ arr[23] = a24;
+ arr[24] = a25;
+ arr[25] = a26;
+ arr[26] = a27;
+ arr[27] = a28;
+ arr[28] = a29;
+ arr[29] = a30;
return c +
b1+
b2+
@@ -105,7 +147,11 @@ int f(int n) {
b23+
b24+
b25+
- b26;
+ b26+
+ b27+
+ b28+
+ b29+
+ b30;
}
@@ -114,6 +160,7 @@ int f(int n) {
int main(int argc, char *argv[]) {
- f(5);
+ float arr[30];
+ f(5, arr);
return 0;
}