blob: 1cf99b782a60bc0fae46b7dbc5da552077d51c99 [file] [log] [blame]
Stephen Canon04b97962010-07-02 23:05:46 +00001//===-- lib/floatsidf.c - integer -> double-precision conversion --*- C -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Howard Hinnant5b791f62010-11-16 22:13:33 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Stephen Canon04b97962010-07-02 23:05:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements 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
Anton Korobeynikov75e3c192011-04-19 17:51:24 +000019#include "int_lib.h"
20
Chandler Carruth321916a2012-06-22 21:09:15 +000021ARM_EABI_FNALIAS(i2d, floatsidf)
Anton Korobeynikov75e3c192011-04-19 17:51:24 +000022
Joerg Sonnenberger6e99daa2014-03-01 15:30:50 +000023COMPILER_RT_ABI fp_t
24__floatsidf(int a) {
Stephen Canon04b97962010-07-02 23:05:46 +000025
26 const int aWidth = sizeof a * CHAR_BIT;
27
28 // Handle zero as a special case to protect clz
29 if (a == 0)
30 return fromRep(0);
31
32 // All other cases begin by extracting the sign and absolute value of a
33 rep_t sign = 0;
34 if (a < 0) {
35 sign = signBit;
36 a = -a;
37 }
38
39 // Exponent of (fp_t)a is the width of abs(a).
40 const int exponent = (aWidth - 1) - __builtin_clz(a);
41 rep_t result;
42
Stephen Canon5f0e6e72010-08-17 19:13:45 +000043 // Shift a into the significand field and clear the implicit bit. Extra
44 // cast to unsigned int is necessary to get the correct behavior for
45 // the input INT_MIN.
46 const int shift = significandBits - exponent;
47 result = (rep_t)(unsigned int)a << shift ^ implicitBit;
Stephen Canon04b97962010-07-02 23:05:46 +000048
49 // Insert the exponent
50 result += (rep_t)(exponent + exponentBias) << significandBits;
51 // Insert the sign bit and return
52 return fromRep(result | sign);
53}