10b57cec5SDimitry Andric //===-- clzsi2.c - Implement __clzsi2 -------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements __clzsi2 for the compiler_rt library.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric
130b57cec5SDimitry Andric #include "int_lib.h"
140b57cec5SDimitry Andric
150b57cec5SDimitry Andric // Returns: the number of leading 0-bits
160b57cec5SDimitry Andric
170b57cec5SDimitry Andric // Precondition: a != 0
180b57cec5SDimitry Andric
__clzsi2(si_int a)19*5ffd83dbSDimitry Andric COMPILER_RT_ABI int __clzsi2(si_int a) {
200b57cec5SDimitry Andric su_int x = (su_int)a;
210b57cec5SDimitry Andric si_int t = ((x & 0xFFFF0000) == 0) << 4; // if (x is small) t = 16 else 0
220b57cec5SDimitry Andric x >>= 16 - t; // x = [0 - 0xFFFF]
230b57cec5SDimitry Andric su_int r = t; // r = [0, 16]
240b57cec5SDimitry Andric // return r + clz(x)
250b57cec5SDimitry Andric t = ((x & 0xFF00) == 0) << 3;
260b57cec5SDimitry Andric x >>= 8 - t; // x = [0 - 0xFF]
270b57cec5SDimitry Andric r += t; // r = [0, 8, 16, 24]
280b57cec5SDimitry Andric // return r + clz(x)
290b57cec5SDimitry Andric t = ((x & 0xF0) == 0) << 2;
300b57cec5SDimitry Andric x >>= 4 - t; // x = [0 - 0xF]
310b57cec5SDimitry Andric r += t; // r = [0, 4, 8, 12, 16, 20, 24, 28]
320b57cec5SDimitry Andric // return r + clz(x)
330b57cec5SDimitry Andric t = ((x & 0xC) == 0) << 1;
340b57cec5SDimitry Andric x >>= 2 - t; // x = [0 - 3]
350b57cec5SDimitry Andric r += t; // r = [0 - 30] and is even
360b57cec5SDimitry Andric // return r + clz(x)
370b57cec5SDimitry Andric // switch (x)
380b57cec5SDimitry Andric // {
390b57cec5SDimitry Andric // case 0:
400b57cec5SDimitry Andric // return r + 2;
410b57cec5SDimitry Andric // case 1:
420b57cec5SDimitry Andric // return r + 1;
430b57cec5SDimitry Andric // case 2:
440b57cec5SDimitry Andric // case 3:
450b57cec5SDimitry Andric // return r;
460b57cec5SDimitry Andric // }
470b57cec5SDimitry Andric return r + ((2 - x) & -((x & 2) == 0));
480b57cec5SDimitry Andric }
49