[gesamt] Added ag/codea/codeb testcases

[testub10.git] / gesamt / codea_skinner33_07.call

diff --git a/gesamt/codea_skinner33_07.call b/gesamt/codea_skinner33_07.call
new file mode 100644 (file)
index 0000000..62902cc
--- /dev/null
+++ b/gesamt/codea_skinner33_07.call
@@ -0,0 +1,28 @@
+#define F1(a,b,c)     ((long)(a) -(((long)(b) - (long)(c)) * -2UL))
+#define F2(a,b,c)     ((long)(a) -(((long)(b) - (long)(c)) * -3UL))
+
+
+long f1(long, long, long, long);
+long f2(long, long, long, long);
+
+RET(f1(0,    3,  20, 15) == F1(   3,  20, 15) &&
+    f1(0, -100,  80, 23) == F1(-100,  80, 23) &&
+    f1(0,   50,  -9, -5) == F1(  50,  -9, -5) &&
+    f1(0,  -77, -50, 87) == F1( -77, -50, 87) &&
+
+       f2(0,    3,  20, 15) == F2(   3,  20, 15) &&
+    f2(0, -100,  80, 23) == F2(-100,  80, 23) &&
+    f2(0,   50,  -9, -5) == F2(  50,  -9, -5) &&
+    f2(0,  -77, -50, 87) == F2( -77, -50, 87) &&
+
+    f1(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
+       F1(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
+    f2(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
+       F2(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
+
+    f1(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
+       F1(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) &&
+    f2(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
+       F2(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL)
+   );
+