1214152Sed//===-- lib/floatunsisf.c - uint -> single-precision conversion ---*- C -*-===//
2214152Sed//
3214152Sed//                     The LLVM Compiler Infrastructure
4214152Sed//
5222656Sed// This file is dual licensed under the MIT and the University of Illinois Open
6222656Sed// Source Licenses. See LICENSE.TXT for details.
7214152Sed//
8214152Sed//===----------------------------------------------------------------------===//
9214152Sed//
10214152Sed// This file implements unsigned integer to single-precision conversion for the
11214152Sed// compiler-rt library in the IEEE-754 default round-to-nearest, ties-to-even
12214152Sed// mode.
13214152Sed//
14214152Sed//===----------------------------------------------------------------------===//
15214152Sed
16214152Sed#define SINGLE_PRECISION
17214152Sed#include "fp_lib.h"
18214152Sed
19222656Sed#include "int_lib.h"
20222656Sed
21239138SandrewARM_EABI_FNALIAS(ui2f, floatunsisf)
22222656Sed
23214152Sedfp_t __floatunsisf(unsigned int a) {
24214152Sed
25214152Sed    const int aWidth = sizeof a * CHAR_BIT;
26214152Sed
27214152Sed    // Handle zero as a special case to protect clz
28214152Sed    if (a == 0) return fromRep(0);
29214152Sed
30214152Sed    // Exponent of (fp_t)a is the width of abs(a).
31214152Sed    const int exponent = (aWidth - 1) - __builtin_clz(a);
32214152Sed    rep_t result;
33214152Sed
34214152Sed    // Shift a into the significand field, rounding if it is a right-shift
35214152Sed    if (exponent <= significandBits) {
36214152Sed        const int shift = significandBits - exponent;
37214152Sed        result = (rep_t)a << shift ^ implicitBit;
38214152Sed    } else {
39214152Sed        const int shift = exponent - significandBits;
40214152Sed        result = (rep_t)a >> shift ^ implicitBit;
41214152Sed        rep_t round = (rep_t)a << (typeWidth - shift);
42214152Sed        if (round > signBit) result++;
43214152Sed        if (round == signBit) result += result & 1;
44214152Sed    }
45214152Sed
46214152Sed    // Insert the exponent
47214152Sed    result += (rep_t)(exponent + exponentBias) << significandBits;
48214152Sed    return fromRep(result);
49214152Sed}
50