aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/nand
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-16 16:48:54 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-16 16:48:54 +0100
commit33648f1fbee9442190bb85fae1192b7b119daf81 (patch)
tree022bee87ee69ecf113ee3ce9c221645ce70d7dc2 /test/monniaux/nand
parent0d66eae95a8905ff985cd4738808fc93215a4904 (diff)
downloadcompcert-kvx-33648f1fbee9442190bb85fae1192b7b119daf81.tar.gz
compcert-kvx-33648f1fbee9442190bb85fae1192b7b119daf81.zip
some more nand
Diffstat (limited to 'test/monniaux/nand')
-rw-r--r--test/monniaux/nand/nand.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/nand/nand.c b/test/monniaux/nand/nand.c
new file mode 100644
index 00000000..002c2368
--- /dev/null
+++ b/test/monniaux/nand/nand.c
@@ -0,0 +1,3 @@
+unsigned not(unsigned x) {
+ return ~x;
+}