diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-18 13:56:32 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-18 13:56:32 +0100 |
commit | 6cd9c6faecaa830160fbca31924e29a5e791f499 (patch) | |
tree | 323429ad775065bf0e44e1cdc3595f1dfe1037c7 /test | |
parent | e55d69912ce45869fa446c7d98ed306a58c81a92 (diff) | |
download | compcert-kvx-6cd9c6faecaa830160fbca31924e29a5e791f499.tar.gz compcert-kvx-6cd9c6faecaa830160fbca31924e29a5e791f499.zip |
andn / orn long complete I think
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/nand/nand.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/monniaux/nand/nand.c b/test/monniaux/nand/nand.c index 9c2d2298..379a1bad 100644 --- a/test/monniaux/nand/nand.c +++ b/test/monniaux/nand/nand.c @@ -18,6 +18,22 @@ scalar nxor(scalar x, scalar y) { return ~(x ^ y); } +scalar andn1(scalar x, scalar y) { + return ~x & y; +} + +scalar andn2(scalar x, scalar y) { + return x & ~y; +} + +scalar orn1(scalar x, scalar y) { + return ~x | y; +} + +scalar orn2(scalar x, scalar y) { + return x | ~y; +} + int main() { scalar x = 0xF4, y = 0x33; printf("%X\n", nxor(x, y)); |