test.c stuff
[nestedvm.git] / src / tests / Simple.c
index b55c272..02f0700 100644 (file)
@@ -1,11 +1,23 @@
-#include <string.h>
 
-char *a = "bar";
+int precision = 7;
+long long r;
 
-volatile char buf[] = "Hello World";
+#define HOST_BITS_PER_WIDE_INT 64
+#define HOST_WIDE_INT long long
 
-long long l = -1614907703LL;
+long long x = 123;
+
+int dec(long long x){
+    return x - 1;
+}
 
 int _start() {
-    return l >= -64;
+    //long long r = (((HOST_WIDE_INT) 1 << (precision - 1)) - 1);
+    //long long r = ((HOST_WIDE_INT) 1 << (precision)) - 1;
+    long long r = x - 1;
+    
+    //r = dec(x);
+    r >>= 32;
+    
+    return r;
 }