Edward O'Callaghan | 4856eef | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 1 | /* ===-- fixxfdi.c - Implement __fixxfdi -----------------------------------=== |
| 2 | * |
| 3 | * The LLVM Compiler Infrastructure |
| 4 | * |
Howard Hinnant | 5b791f6 | 2010-11-16 22:13:33 +0000 | [diff] [blame] | 5 | * This file is dual licensed under the MIT and the University of Illinois Open |
| 6 | * Source Licenses. See LICENSE.TXT for details. |
Edward O'Callaghan | 4856eef | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 7 | * |
| 8 | * ===----------------------------------------------------------------------=== |
| 9 | * |
| 10 | * This file implements __fixxfdi for the compiler_rt library. |
| 11 | * |
| 12 | * ===----------------------------------------------------------------------=== |
| 13 | */ |
Daniel Dunbar | fd08999 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 14 | |
| 15 | #if !_ARCH_PPC |
| 16 | |
| 17 | #include "int_lib.h" |
| 18 | |
Edward O'Callaghan | 4856eef | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 19 | /* Returns: convert a to a signed long long, rounding toward zero. */ |
Daniel Dunbar | fd08999 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 20 | |
Edward O'Callaghan | 4856eef | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 21 | /* Assumption: long double is an intel 80 bit floating point type padded with 6 bytes |
Joerg Sonnenberger | 91bd698 | 2015-03-11 21:13:56 +0000 | [diff] [blame] | 22 | * di_int is a 64 bit integral type |
Edward O'Callaghan | 4856eef | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 23 | * value in long double is representable in di_int (no range checking performed) |
| 24 | */ |
Daniel Dunbar | fd08999 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 25 | |
Edward O'Callaghan | 4856eef | 2009-08-05 04:02:56 +0000 | [diff] [blame] | 26 | /* gggg gggg gggg gggg gggg gggg gggg gggg | gggg gggg gggg gggg seee eeee eeee eeee | |
| 27 | * 1mmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm |
| 28 | */ |
Daniel Dunbar | fd08999 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 29 | |
Joerg Sonnenberger | 6e99daa | 2014-03-01 15:30:50 +0000 | [diff] [blame] | 30 | COMPILER_RT_ABI di_int |
Daniel Dunbar | fd08999 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 31 | __fixxfdi(long double a) |
| 32 | { |
Joerg Sonnenberger | 91bd698 | 2015-03-11 21:13:56 +0000 | [diff] [blame] | 33 | const di_int di_max = (di_int)((~(du_int)0) / 2); |
| 34 | const di_int di_min = -di_max - 1; |
Daniel Dunbar | fd08999 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 35 | long_double_bits fb; |
| 36 | fb.f = a; |
Edward O'Callaghan | ccf4813 | 2009-08-09 18:41:02 +0000 | [diff] [blame] | 37 | int e = (fb.u.high.s.low & 0x00007FFF) - 16383; |
Daniel Dunbar | fd08999 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 38 | if (e < 0) |
| 39 | return 0; |
Joerg Sonnenberger | 91bd698 | 2015-03-11 21:13:56 +0000 | [diff] [blame] | 40 | if ((unsigned)e >= sizeof(di_int) * CHAR_BIT) |
| 41 | return a > 0 ? di_max : di_min; |
Edward O'Callaghan | ccf4813 | 2009-08-09 18:41:02 +0000 | [diff] [blame] | 42 | di_int s = -(si_int)((fb.u.high.s.low & 0x00008000) >> 15); |
Daniel Dunbar | fd08999 | 2009-06-26 16:47:03 +0000 | [diff] [blame] | 43 | di_int r = fb.u.low.all; |
| 44 | r = (du_int)r >> (63 - e); |
| 45 | return (r ^ s) - s; |
| 46 | } |
| 47 | |
Edward O'Callaghan | ccf4813 | 2009-08-09 18:41:02 +0000 | [diff] [blame] | 48 | #endif /* !_ARCH_PPC */ |