diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 12:30:49 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 12:30:49 +0200 |
| commit | 56249c0fa5aa96767ce3fd9be76b8a9e7bef0231 (patch) | |
| tree | 11cd3ca4eeec4c49c6b42d6f032b0fcaf1e8dd58 /test/monniaux/nand | |
| parent | 6a267e0bce732e68ab5e5b6c971ba5e0fe226719 (diff) | |
| download | compcert-kvx-56249c0fa5aa96767ce3fd9be76b8a9e7bef0231.tar.gz compcert-kvx-56249c0fa5aa96767ce3fd9be76b8a9e7bef0231.zip | |
some more simplifications
Diffstat (limited to 'test/monniaux/nand')
| -rw-r--r-- | test/monniaux/nand/nand.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/monniaux/nand/nand.c b/test/monniaux/nand/nand.c index 379a1bad..e628c1cf 100644 --- a/test/monniaux/nand/nand.c +++ b/test/monniaux/nand/nand.c @@ -34,6 +34,14 @@ scalar orn2(scalar x, scalar y) { return x | ~y; } +scalar nandimm(scalar x) { + return ~x & 45; +} + +scalar notnot(scalar x) { + return ~ ~ x; +} + int main() { scalar x = 0xF4, y = 0x33; printf("%X\n", nxor(x, y)); |