Merge pull request #63 from rems-project/bw-compl

Re-add bitwise complement examples (now working)

src/example-archive/c-testsuite/working/00104.c

@@ -0,0 +1,29 @@
+/*
+internal error: todo: M_BW_COMPL
+cn: internal error, uncaught exception:
+    Failure("internal error: todo: M_BW_COMPL")
+*/
+// Cause: unknown 
+
+#include <stdint.h>
+
+int
+main()
+{
+	int32_t x;
+	int64_t l;
+
+	x = 0;
+	l = 0;
+
+	x = ~x;
+	if (x != 0xffffffff)
+		return 1;
+
+	l = ~l;
+	if (x != 0xffffffffffffffff)
+		return 2;
+
+
+	return 0;
+}

src/example-archive/c-testsuite/working/00126.c

@@ -0,0 +1,21 @@
+/*
+internal error: todo: M_BW_COMPL
+cn: internal error, uncaught exception:
+    Failure("internal error: todo: M_BW_COMPL")
+*/
+// Cause: unknown 
+
+int
+main()
+{
+        int x;
+
+        x = 3;
+        x = !x;
+        x = !x;
+        x = ~x;
+        x = -x;
+        if(x != 2)
+                return 1;
+        return 0;
+}

src/example-archive/simple-examples/working/bit_compl_1.c

@@ -0,0 +1 @@
+void a() { ~0; }