1// RUN: %clang_builtins %s %librt -o %t && %run %t
2// REQUIRES: int128
3//===-- fixdfti_test.c - Test __fixdfti -----------------------------------===//
4//
5// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
6// See https://llvm.org/LICENSE.txt for license information.
7// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
8//
9//===----------------------------------------------------------------------===//
10//
11// This file tests __fixdfti for the compiler_rt library.
12//
13//===----------------------------------------------------------------------===//
14
15#include "int_lib.h"
16#include <stdio.h>
17
18#ifdef CRT_HAS_128BIT
19
20// Returns: convert a to a signed long long, rounding toward zero.
21
22// Assumption: double is a IEEE 64 bit floating point type
23//             su_int is a 32 bit integral type
24//             value in double is representable in ti_int (no range checking performed)
25
26// seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm
27
28COMPILER_RT_ABI ti_int __fixdfti(double a);
29
30int test__fixdfti(double a, ti_int expected)
31{
32    ti_int x = __fixdfti(a);
33    if (x != expected)
34    {
35        twords xt;
36        xt.all = x;
37        twords expectedt;
38        expectedt.all = expected;
39        printf("error in __fixdfti(%A) = 0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n",
40        a, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
41    }
42    return x != expected;
43}
44
45char assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0};
46char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0};
47char assumption_3[sizeof(double)*CHAR_BIT == 64] = {0};
48
49#endif
50
51int main()
52{
53#ifdef CRT_HAS_128BIT
54    if (test__fixdfti(0.0, 0))
55        return 1;
56
57    if (test__fixdfti(0.5, 0))
58        return 1;
59    if (test__fixdfti(0.99, 0))
60        return 1;
61    if (test__fixdfti(1.0, 1))
62        return 1;
63    if (test__fixdfti(1.5, 1))
64        return 1;
65    if (test__fixdfti(1.99, 1))
66        return 1;
67    if (test__fixdfti(2.0, 2))
68        return 1;
69    if (test__fixdfti(2.01, 2))
70        return 1;
71    if (test__fixdfti(-0.5, 0))
72        return 1;
73    if (test__fixdfti(-0.99, 0))
74        return 1;
75    if (test__fixdfti(-1.0, -1))
76        return 1;
77    if (test__fixdfti(-1.5, -1))
78        return 1;
79    if (test__fixdfti(-1.99, -1))
80        return 1;
81    if (test__fixdfti(-2.0, -2))
82        return 1;
83    if (test__fixdfti(-2.01, -2))
84        return 1;
85
86    if (test__fixdfti(0x1.FFFFFEp+62, 0x7FFFFF8000000000LL))
87        return 1;
88    if (test__fixdfti(0x1.FFFFFCp+62, 0x7FFFFF0000000000LL))
89        return 1;
90
91    if (test__fixdfti(-0x1.FFFFFEp+62, make_ti(0xFFFFFFFFFFFFFFFFLL,
92                                               0x8000008000000000LL)))
93        return 1;
94    if (test__fixdfti(-0x1.FFFFFCp+62, make_ti(0xFFFFFFFFFFFFFFFFLL,
95                                               0x8000010000000000LL)))
96        return 1;
97
98    if (test__fixdfti(0x1.FFFFFFFFFFFFFp+62, 0x7FFFFFFFFFFFFC00LL))
99        return 1;
100    if (test__fixdfti(0x1.FFFFFFFFFFFFEp+62, 0x7FFFFFFFFFFFF800LL))
101        return 1;
102
103    if (test__fixdfti(-0x1.FFFFFFFFFFFFFp+62, make_ti(0xFFFFFFFFFFFFFFFFLL,
104                                                      0x8000000000000400LL)))
105        return 1;
106    if (test__fixdfti(-0x1.FFFFFFFFFFFFEp+62, make_ti(0xFFFFFFFFFFFFFFFFLL,
107                                                      0x8000000000000800LL)))
108        return 1;
109
110    if (test__fixdfti(0x1.FFFFFFFFFFFFFp+126, make_ti(0x7FFFFFFFFFFFFC00LL, 0)))
111        return 1;
112    if (test__fixdfti(0x1.FFFFFFFFFFFFEp+126, make_ti(0x7FFFFFFFFFFFF800LL, 0)))
113        return 1;
114
115    if (test__fixdfti(-0x1.FFFFFFFFFFFFFp+126, make_ti(0x8000000000000400LL, 0)))
116        return 1;
117    if (test__fixdfti(-0x1.FFFFFFFFFFFFEp+126, make_ti(0x8000000000000800LL, 0)))
118        return 1;
119
120#else
121    printf("skipped\n");
122#endif
123   return 0;
124}
125