aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/sandbox/f.c
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-07-11 18:24:02 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-07-11 18:24:02 +0200
commitad8831a83451fc9802a8438256e68e25df5c243d (patch)
tree12bf45270e0ca5554540bc57c4f406d26436d485 /test/monniaux/sandbox/f.c
parent27b99ba6e3f93d098f276419ab57f4fb39297409 (diff)
downloadcompcert-kvx-ad8831a83451fc9802a8438256e68e25df5c243d.tar.gz
compcert-kvx-ad8831a83451fc9802a8438256e68e25df5c243d.zip
Premier jet du framework d'évaluation de perf (pas fini)
Diffstat (limited to 'test/monniaux/sandbox/f.c')
-rw-r--r--test/monniaux/sandbox/f.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/sandbox/f.c b/test/monniaux/sandbox/f.c
new file mode 100644
index 00000000..7705c4f7
--- /dev/null
+++ b/test/monniaux/sandbox/f.c
@@ -0,0 +1,3 @@
+int f(int x, int y){
+ return x+y;
+}