Edward O'Callaghan | 2bf6272 | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 1 | /* ===-- clzsi2.c - Implement __clzsi2 -------------------------------------=== |
| 2 | * |
Chandler Carruth | 7a739a0 | 2019-01-19 10:56:40 +0000 | [diff] [blame] | 3 | * Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | * See https://llvm.org/LICENSE.txt for license information. |
| 5 | * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Edward O'Callaghan | 2bf6272 | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 6 | * |
| 7 | * ===----------------------------------------------------------------------=== |
| 8 | * |
| 9 | * This file implements __clzsi2 for the compiler_rt library. |
| 10 | * |
| 11 | * ===----------------------------------------------------------------------=== |
| 12 | */ |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 13 | |
| 14 | #include "int_lib.h" |
| 15 | |
Edward O'Callaghan | 2bf6272 | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 16 | /* Returns: the number of leading 0-bits */ |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 17 | |
Edward O'Callaghan | 2bf6272 | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 18 | /* Precondition: a != 0 */ |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 19 | |
Anton Korobeynikov | 1c5f89b | 2011-04-19 17:52:09 +0000 | [diff] [blame] | 20 | COMPILER_RT_ABI si_int |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 21 | __clzsi2(si_int a) |
| 22 | { |
| 23 | su_int x = (su_int)a; |
Edward O'Callaghan | 2bf6272 | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 24 | si_int t = ((x & 0xFFFF0000) == 0) << 4; /* if (x is small) t = 16 else 0 */ |
| 25 | x >>= 16 - t; /* x = [0 - 0xFFFF] */ |
| 26 | su_int r = t; /* r = [0, 16] */ |
| 27 | /* return r + clz(x) */ |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 28 | t = ((x & 0xFF00) == 0) << 3; |
Edward O'Callaghan | 2bf6272 | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 29 | x >>= 8 - t; /* x = [0 - 0xFF] */ |
| 30 | r += t; /* r = [0, 8, 16, 24] */ |
| 31 | /* return r + clz(x) */ |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 32 | t = ((x & 0xF0) == 0) << 2; |
Edward O'Callaghan | 2bf6272 | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 33 | x >>= 4 - t; /* x = [0 - 0xF] */ |
| 34 | r += t; /* r = [0, 4, 8, 12, 16, 20, 24, 28] */ |
| 35 | /* return r + clz(x) */ |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 36 | t = ((x & 0xC) == 0) << 1; |
Edward O'Callaghan | 2bf6272 | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 37 | x >>= 2 - t; /* x = [0 - 3] */ |
| 38 | r += t; /* r = [0 - 30] and is even */ |
| 39 | /* return r + clz(x) */ |
| 40 | /* switch (x) |
| 41 | * { |
| 42 | * case 0: |
| 43 | * return r + 2; |
| 44 | * case 1: |
| 45 | * return r + 1; |
| 46 | * case 2: |
| 47 | * case 3: |
| 48 | * return r; |
| 49 | * } |
| 50 | */ |
Daniel Dunbar | b3a6901 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 51 | return r + ((2 - x) & -((x & 2) == 0)); |
| 52 | } |