1 // RUN: %clang_builtins %s %librt -o %t && %run %t
2 // REQUIRES: librt_has_clzdi2
3 //===-- clzdi2_test.c - Test __clzdi2 -------------------------------------===//
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
9 //===----------------------------------------------------------------------===//
11 // This file tests __clzdi2 for the compiler_rt library.
13 //===----------------------------------------------------------------------===//
18 // Returns: the number of leading 0-bits
20 // Precondition: a != 0
22 COMPILER_RT_ABI si_int
__clzdi2(di_int a
);
24 int test__clzdi2(di_int a
, si_int expected
)
26 si_int x
= __clzdi2(a
);
28 printf("error in __clzdi2(0x%llX) = %d, expected %d\n", a
, x
, expected
);
32 char assumption_1
[sizeof(di_int
) == 2*sizeof(si_int
)] = {0};
36 const int N
= (int)(sizeof(di_int
) * CHAR_BIT
);
37 // if (test__clzdi2(0x00000000, N)) // undefined
39 if (test__clzdi2(0x00000001, N
-1))
41 if (test__clzdi2(0x00000002, N
-2))
43 if (test__clzdi2(0x00000003, N
-2))
45 if (test__clzdi2(0x00000004, N
-3))
47 if (test__clzdi2(0x00000005, N
-3))
49 if (test__clzdi2(0x0000000A, N
-4))
51 if (test__clzdi2(0x1000000A, N
/2+3))
53 if (test__clzdi2(0x2000000A, N
/2+2))
55 if (test__clzdi2(0x6000000A, N
/2+1))
57 if (test__clzdi2(0x8000000AuLL
, N
/2))
59 if (test__clzdi2(0x000005008000000AuLL
, 21))
61 if (test__clzdi2(0x020005008000000AuLL
, 6))
63 if (test__clzdi2(0x720005008000000AuLL
, 1))
65 if (test__clzdi2(0x820005008000000AuLL
, 0))