1 // RUN: %clang_builtins %s %librt -o %t && %run %t
2 // REQUIRES: librt_has_lshrti3
4 //===-- lshrti3_test.c - Test __lshrti3 -----------------------------------===//
6 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
7 // See https://llvm.org/LICENSE.txt for license information.
8 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
10 //===----------------------------------------------------------------------===//
12 // This file tests __lshrti3 for the compiler_rt library.
14 //===----------------------------------------------------------------------===//
21 // Returns: logical a >> b
23 // Precondition: 0 <= b < bits_in_dword
25 COMPILER_RT_ABI ti_int
__lshrti3(ti_int a
, si_int b
);
27 int test__lshrti3(ti_int a
, si_int b
, ti_int expected
)
29 ti_int x
= __lshrti3(a
, b
);
37 expectedt
.all
= expected
;
38 printf("error in __lshrti3: 0x%llX%.16llX >> %d = 0x%llX%.16llX,"
39 " expected 0x%llX%.16llX\n",
40 at
.s
.high
, at
.s
.low
, b
, xt
.s
.high
, xt
.s
.low
,
41 expectedt
.s
.high
, expectedt
.s
.low
);
46 char assumption_1
[sizeof(ti_int
) == 2*sizeof(di_int
)] = {0};
53 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 0,
54 make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
)))
56 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 1,
57 make_ti(0x7F6E5D4C3B2A190ALL
, 0xFF6E5D4C3B2A190ALL
)))
59 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 2,
60 make_ti(0x3FB72EA61D950C85LL
, 0x7FB72EA61D950C85LL
)))
62 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 3,
63 make_ti(0x1FDB97530ECA8642LL
, 0xBFDB97530ECA8642LL
)))
65 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 4,
66 make_ti(0x0FEDCBA987654321LL
, 0x5FEDCBA987654321LL
)))
69 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 28,
70 make_ti(0x0000000FEDCBA987LL
, 0x6543215FEDCBA987LL
)))
72 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 29,
73 make_ti(0x00000007F6E5D4C3LL
, 0xB2A190AFF6E5D4C3LL
)))
75 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 30,
76 make_ti(0x00000003FB72EA61LL
, 0xD950C857FB72EA61LL
)))
78 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 31,
79 make_ti(0x00000001FDB97530LL
, 0xECA8642BFDB97530LL
)))
82 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 32,
83 make_ti(0x00000000FEDCBA98LL
, 0x76543215FEDCBA98LL
)))
86 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 33,
87 make_ti(0x000000007F6E5D4CLL
, 0x3B2A190AFF6E5D4CLL
)))
89 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 34,
90 make_ti(0x000000003FB72EA6LL
, 0x1D950C857FB72EA6LL
)))
92 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 35,
93 make_ti(0x000000001FDB9753LL
, 0x0ECA8642BFDB9753LL
)))
95 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 36,
96 make_ti(0x000000000FEDCBA9LL
, 0x876543215FEDCBA9LL
)))
99 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 60,
100 make_ti(0x000000000000000FLL
, 0xEDCBA9876543215FLL
)))
102 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 61,
103 make_ti(0x0000000000000007LL
, 0xF6E5D4C3B2A190AFLL
)))
105 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 62,
106 make_ti(0x0000000000000003LL
, 0xFB72EA61D950C857LL
)))
108 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 63,
109 make_ti(0x0000000000000001LL
, 0xFDB97530ECA8642BLL
)))
112 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 64,
113 make_ti(0x0000000000000000LL
, 0xFEDCBA9876543215LL
)))
116 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 65,
117 make_ti(0x0000000000000000LL
, 0x7F6E5D4C3B2A190ALL
)))
119 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 66,
120 make_ti(0x0000000000000000LL
, 0x3FB72EA61D950C85LL
)))
122 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 67,
123 make_ti(0x0000000000000000LL
, 0x1FDB97530ECA8642LL
)))
125 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 68,
126 make_ti(0x0000000000000000LL
, 0x0FEDCBA987654321LL
)))
129 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 92,
130 make_ti(0x0000000000000000LL
, 0x0000000FEDCBA987LL
)))
132 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 93,
133 make_ti(0x0000000000000000LL
, 0x00000007F6E5D4C3LL
)))
135 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 94,
136 make_ti(0x0000000000000000LL
, 0x00000003FB72EA61LL
)))
138 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 95,
139 make_ti(0x0000000000000000LL
, 0x00000001FDB97530LL
)))
142 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 96,
143 make_ti(0x0000000000000000LL
, 0x00000000FEDCBA98LL
)))
146 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 97,
147 make_ti(0x0000000000000000LL
, 0x000000007F6E5D4CLL
)))
149 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 98,
150 make_ti(0x0000000000000000LL
, 0x000000003FB72EA6LL
)))
152 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 99,
153 make_ti(0x0000000000000000LL
, 0x000000001FDB9753LL
)))
155 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 100,
156 make_ti(0x0000000000000000LL
, 0x000000000FEDCBA9LL
)))
159 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 124,
160 make_ti(0x0000000000000000LL
, 0x000000000000000FLL
)))
162 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 125,
163 make_ti(0x0000000000000000LL
, 0x0000000000000007LL
)))
165 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 126,
166 make_ti(0x0000000000000000LL
, 0x0000000000000003LL
)))
168 if (test__lshrti3(make_ti(0xFEDCBA9876543215LL
, 0xFEDCBA9876543215LL
), 127,
169 make_ti(0x0000000000000000LL
, 0x0000000000000001LL
)))