aboutsummaryrefslogtreecommitdiff
path: root/test/Unit/negvti2_test.c
diff options
context:
space:
mode:
authorEd Schouten <ed@FreeBSD.org>2010-10-21 19:02:02 +0000
committerEd Schouten <ed@FreeBSD.org>2010-10-21 19:02:02 +0000
commit217b614317dad692116a3a06fe94ea8f61a59edb (patch)
tree4cfe2eee875a959effca0881df14c079103447fa /test/Unit/negvti2_test.c
downloadsrc-217b614317dad692116a3a06fe94ea8f61a59edb.tar.gz
src-217b614317dad692116a3a06fe94ea8f61a59edb.zip
Import compiler-rt r117047.vendor/compiler-rt/compiler-rt-r117047
Notes
Notes: svn path=/vendor/compiler-rt/dist/; revision=214152 svn path=/vendor/compiler-rt/compiler-rt-r117047/; revision=214153; tag=vendor/compiler-rt/compiler-rt-r117047
Diffstat (limited to 'test/Unit/negvti2_test.c')
-rw-r--r--test/Unit/negvti2_test.c107
1 files changed, 107 insertions, 0 deletions
diff --git a/test/Unit/negvti2_test.c b/test/Unit/negvti2_test.c
new file mode 100644
index 000000000000..7772c08ff06d
--- /dev/null
+++ b/test/Unit/negvti2_test.c
@@ -0,0 +1,107 @@
+//===-- negvti2_test.c - Test __negvti2 -----------------------------------===//
+//
+// The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+// This file tests __negvti2 for the compiler_rt library.
+//
+//===----------------------------------------------------------------------===//
+
+#if __x86_64
+
+#include "int_lib.h"
+#include <stdio.h>
+
+// Returns: -a
+
+// Effects: aborts if -a overflows
+
+ti_int __negvti2(ti_int a);
+ti_int __negti2(ti_int a);
+
+int test__negvti2(ti_int a)
+{
+ ti_int x = __negvti2(a);
+ ti_int expected = __negti2(a);
+ if (x != expected)
+ {
+ twords at;
+ at.all = a;
+ twords xt;
+ xt.all = x;
+ twords expectedt;
+ expectedt.all = expected;
+ printf("error in __negvti2(0x%.16llX%.16llX) = 0x%.16llX%.16llX, "
+ "expected 0x%.16llX%.16llX\n",
+ at.s.high, at.s.low, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
+ }
+ return x != expected;
+}
+
+#endif
+
+int main()
+{
+#if __x86_64
+ if (test__negvti2(0))
+ return 1;
+ if (test__negvti2(1))
+ return 1;
+ if (test__negvti2(-1))
+ return 1;
+ if (test__negvti2(2))
+ return 1;
+ if (test__negvti2(-2))
+ return 1;
+ if (test__negvti2(3))
+ return 1;
+ if (test__negvti2(-3))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))
+ return 1;
+ if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))
+ return 1;
+ if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
+ return 1;
+ if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
+ return 1;
+ if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
+ return 1;
+// if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort
+// return 1;
+ if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
+ return 1;
+ if (test__negvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
+ return 1;
+
+#endif
+ return 0;
+}