blob: 1342c3c45c6253b4f71a3dde52d7b6e6cdee8c23 [file] [log] [blame]
Stephen Canonb6d4e2e2010-07-03 00:56:03 +00001//===-- lib/floatunsidf.c - uint -> double-precision conversion ---*- C -*-===//
Stephen Canon09009c52010-07-02 23:05:46 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements unsigned integer to double-precision conversion for the
11// compiler-rt library in the IEEE-754 default round-to-nearest, ties-to-even
12// mode.
13//
14//===----------------------------------------------------------------------===//
15
16#define DOUBLE_PRECISION
17#include "fp_lib.h"
18
Stephen Canonb6d4e2e2010-07-03 00:56:03 +000019fp_t __floatunsidf(unsigned int a) {
Stephen Canon09009c52010-07-02 23:05:46 +000020
21 const int aWidth = sizeof a * CHAR_BIT;
22
23 // Handle zero as a special case to protect clz
24 if (a == 0) return fromRep(0);
25
26 // Exponent of (fp_t)a is the width of abs(a).
27 const int exponent = (aWidth - 1) - __builtin_clz(a);
28 rep_t result;
29
30 // Shift a into the significand field, rounding if it is a right-shift
31 if (exponent <= significandBits) {
32 const int shift = significandBits - exponent;
33 result = (rep_t)a << shift ^ implicitBit;
34 } else {
35 const int shift = exponent - significandBits;
36 result = (rep_t)a >> shift ^ implicitBit;
37 rep_t round = (rep_t)a << (typeWidth - shift);
38 if (round > signBit) result++;
39 if (round == signBit) result += result & 1;
40 }
41
42 // Insert the exponent
43 result += (rep_t)(exponent + exponentBias) << significandBits;
44 return fromRep(result);
45}