Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass

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));