aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/nand
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-16 18:24:03 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-16 18:24:03 +0100
commit4e3b46ca2a30abf520672f4b1a28f91f171f6e7e (patch)
tree044fd5393f5fa563cfc85e7e60a00621d18044da /test/monniaux/nand
parentfb02f9116621a0bcb9bb2c334ad782fee5887d0e (diff)
downloadcompcert-kvx-4e3b46ca2a30abf520672f4b1a28f91f171f6e7e.tar.gz
compcert-kvx-4e3b46ca2a30abf520672f4b1a28f91f171f6e7e.zip
nor implemente
Diffstat (limited to 'test/monniaux/nand')
-rw-r--r--test/monniaux/nand/nand.c6
1 files changed, 5 insertions, 1 deletions
diff --git a/test/monniaux/nand/nand.c b/test/monniaux/nand/nand.c
index bcd30396..86cf84bd 100644
--- a/test/monniaux/nand/nand.c
+++ b/test/monniaux/nand/nand.c
@@ -8,7 +8,11 @@ unsigned nand(unsigned x, unsigned y) {
return ~(x & y);
}
+unsigned nor(unsigned x, unsigned y) {
+ return ~(x | y);
+}
+
int main() {
unsigned x = 0xF4, y = 0x33;
- printf("%X\n", nand(x, y));
+ printf("%X\n", nor(x, y));
}