summaryrefslogtreecommitdiff
path: root/test/Unit/negti2_test.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/Unit/negti2_test.c')
-rw-r--r--test/Unit/negti2_test.c125
1 files changed, 125 insertions, 0 deletions
diff --git a/test/Unit/negti2_test.c b/test/Unit/negti2_test.c
new file mode 100644
index 000000000..ba4844e1a
--- /dev/null
+++ b/test/Unit/negti2_test.c
@@ -0,0 +1,125 @@
+//===-- negti2_test.c - Test __negti2 -------------------------------------===//
+//
+// The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+// This file tests __negti2 for the compiler_rt library.
+//
+//===----------------------------------------------------------------------===//
+
+#if __x86_64
+
+#include "int_lib.h"
+#include <stdio.h>
+
+// Returns: -a
+
+ti_int __negti2(ti_int a);
+
+int test__negti2(ti_int a, ti_int expected)
+{
+ ti_int x = __negti2(a);
+ if (x != expected)
+ {
+ twords at;
+ at.all = a;
+ twords xt;
+ xt.all = x;
+ twords expectedt;
+ expectedt.all = expected;
+ printf("error in __negti2: -0x%.16llX%.16llX = 0x%.16llX%.16llX, "
+ "expected 0x%.16llX%.16llX\n",
+ at.high, at.low, xt.high, xt.low, expectedt.high, expectedt.low);
+ }
+ return x != expected;
+}
+
+char assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0};
+
+#endif
+
+int main()
+{
+#if __x86_64
+ if (test__negti2(0, 0))
+ return 1;
+ if (test__negti2(1, -1))
+ return 1;
+ if (test__negti2(-1, 1))
+ return 1;
+ if (test__negti2(2, -2))
+ return 1;
+ if (test__negti2(-2, 2))
+ return 1;
+ if (test__negti2(3, -3))
+ return 1;
+ if (test__negti2(-3, 3))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))
+ return 1;
+ if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL),
+ make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))
+ return 1;
+ if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL),
+ make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),
+ make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),
+ make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL),
+ make_ti(0x0000000000000000LL, 0x0000000300000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
+ return 1;
+ if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL),
+ make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
+ return 1;
+ if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),
+ make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),
+ make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),
+ make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
+ make_ti(0x8000000000000000LL, 0x0000000000000000LL)))
+ return 1;
+ if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL),
+ make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
+ return 1;
+ if (test__negti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
+ make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
+ return 1;
+
+#endif
+ return 0;
+}