diff options
| author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-10 16:31:51 +0200 |
|---|---|---|
| committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-10 16:31:51 +0200 |
| commit | 1701e43316ee8e69e794a025a8c9979af6bb8c93 (patch) | |
| tree | f489f1f3e7c90d04d47536e480cf2b49a0eb440c /test | |
| parent | 386b9053177bb4ef2801cec00b717c400a828139 (diff) | |
| download | compcert-kvx-1701e43316ee8e69e794a025a8c9979af6bb8c93.tar.gz compcert-kvx-1701e43316ee8e69e794a025a8c9979af6bb8c93.zip | |
Work on new schedluer
Renamed a test file, wrote function to compute pressure deltas,
Still need to pass the info in some way; beginning of the actual
scheduler function
Diffstat (limited to 'test')
| -rw-r--r-- | test/nardino/scheduling/entry_regs.c | 5 | ||||
| -rw-r--r-- | test/nardino/scheduling/spille_backw.c (renamed from test/nardino/scheduling/spille_etrange.c) | 0 |
2 files changed, 4 insertions, 1 deletions
diff --git a/test/nardino/scheduling/entry_regs.c b/test/nardino/scheduling/entry_regs.c index 047a613d..9e6adacb 100644 --- a/test/nardino/scheduling/entry_regs.c +++ b/test/nardino/scheduling/entry_regs.c @@ -1,7 +1,10 @@ #include <stdio.h> int f(int n) { - return n; + if (n > 0) + return 42; + else + return n; } diff --git a/test/nardino/scheduling/spille_etrange.c b/test/nardino/scheduling/spille_backw.c index 1c36ee86..1c36ee86 100644 --- a/test/nardino/scheduling/spille_etrange.c +++ b/test/nardino/scheduling/spille_backw.c |