aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/nand
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-18 13:56:32 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-18 13:56:32 +0100
commit6cd9c6faecaa830160fbca31924e29a5e791f499 (patch)
tree323429ad775065bf0e44e1cdc3595f1dfe1037c7 /test/monniaux/nand
parente55d69912ce45869fa446c7d98ed306a58c81a92 (diff)
downloadcompcert-kvx-6cd9c6faecaa830160fbca31924e29a5e791f499.tar.gz
compcert-kvx-6cd9c6faecaa830160fbca31924e29a5e791f499.zip
andn / orn long complete I think
Diffstat (limited to 'test/monniaux/nand')
-rw-r--r--test/monniaux/nand/nand.c16
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));