Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / compiler-rt / c1a1ed62228288155459d39194995a36aca4a8a6 / . / test / Unit / addvti3_test.c
blob: 1cf066c489177820602136d2634a19848bba31e9 [file] [log] [blame]
Daniel Dunbarb3a69012009-06-26 16:47:03 +0000[diff] [blame]1//===-- addvti3_test.c - Test __addvti3 -----------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Howard Hinnant9ad441f2010-11-16 22:13:33 +0000[diff] [blame]5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Daniel Dunbarb3a69012009-06-26 16:47:03 +0000[diff] [blame]7//
8//===----------------------------------------------------------------------===//
9//
10// This file tests __addvti3 for the compiler_rt library.
11//
12//===----------------------------------------------------------------------===//
13
14#if __x86_64
15
16#include "int_lib.h"
17#include <stdio.h>
18
19// Returns: a + b
20
21// Effects: aborts if a + b overflows
22
23ti_int __addvti3(ti_int a, ti_int b);
24
25int test__addvti3(ti_int a, ti_int b)
26{
27 ti_int x = __addvti3(a, b);
28 ti_int expected = a + b;
29 if (x != expected)
30 {
31 twords at;
32 at.all = a;
33 twords bt;
34 bt.all = b;
35 twords xt;
36 xt.all = x;
37 twords expectedt;
38 expectedt.all = expected;
39 printf("error in test__addvti3(0x%llX%.16llX, 0x%llX%.16llX) = "
40 "0x%llX%.16llX, expected 0x%llX%.16llX\n",
Daniel Dunbarcff52482009-10-27 17:49:07 +0000[diff] [blame]41 at.s.high, at.s.low, bt.s.high, bt.s.low, xt.s.high, xt.s.low,
42 expectedt.s.high, expectedt.s.low);
Daniel Dunbarb3a69012009-06-26 16:47:03 +0000[diff] [blame]43 }
44 return x != expected;
45}
46
47#endif
48
49int main()
50{
51#if __x86_64
52// should abort
53// test__addvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
54// make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL));
55// should abort
56// test__addvti3(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
57// make_ti(0x8000000000000000LL, 0x0000000000000000LL));
58// should abort
59// test__addvti3(make_ti(0x0000000000000000LL, 0x0000000000000001LL),
60// make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL));
61// should abort
62// test__addvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
63// make_ti(0x0000000000000000LL, 0x0000000000000001LL));
64
65 if (test__addvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
66 make_ti(0x0000000000000000LL, 0x0000000000000001LL)))
67 return 1;
68 if (test__addvti3(make_ti(0x0000000000000000LL, 0x0000000000000001LL),
69 make_ti(0x8000000000000000LL, 0x0000000000000000LL)))
70 return 1;
71 if (test__addvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
72 make_ti(0x0000000000000000LL, 0x0000000000000000LL)))
73 return 1;
74 if (test__addvti3(make_ti(0x0000000000000000LL, 0x0000000000000000LL),
75 make_ti(0x8000000000000000LL, 0x0000000000000000LL)))
76 return 1;
77 if (test__addvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
78 make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
79 return 1;
80 if (test__addvti3(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
81 make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
82 return 1;
83 if (test__addvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
84 make_ti(0x0000000000000000LL, 0x0000000000000000LL)))
85 return 1;
86 if (test__addvti3(make_ti(0x0000000000000000LL, 0x0000000000000000LL),
87 make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
88 return 1;
89
Joerg Sonnenberger74828152011-05-29 21:43:29 +0000[diff] [blame]90#else
91 printf("skipped\n");
Daniel Dunbarb3a69012009-06-26 16:47:03 +0000[diff] [blame]92#endif
93 return 0;
94}