Hex Artifact Content
Not logged in

Artifact 6d19a781a8a98421f33a1a4a3048946a762cbd23:


0000: 2f 2f 3d 3d 3d 2d 2d 20 6c 69 62 2f 66 69 78 64  //===-- lib/fixd
0010: 66 73 69 2e 63 20 2d 20 44 6f 75 62 6c 65 2d 70  fsi.c - Double-p
0020: 72 65 63 69 73 69 6f 6e 20 2d 3e 20 69 6e 74 65  recision -> inte
0030: 67 65 72 20 63 6f 6e 76 65 72 73 69 6f 6e 20 2d  ger conversion -
0040: 2d 2d 2d 2a 2d 20 43 20 2d 2a 2d 3d 3d 3d 2f 2f  ---*- C -*-===//
0050: 0a 2f 2f 0a 2f 2f 20 20 20 20 20 20 20 20 20 20  .//.//          
0060: 20 20 20 20 20 20 20 20 20 20 20 54 68 65 20 4c             The L
0070: 4c 56 4d 20 43 6f 6d 70 69 6c 65 72 20 49 6e 66  LVM Compiler Inf
0080: 72 61 73 74 72 75 63 74 75 72 65 0a 2f 2f 0a 2f  rastructure.//./
0090: 2f 20 54 68 69 73 20 66 69 6c 65 20 69 73 20 64  / This file is d
00a0: 75 61 6c 20 6c 69 63 65 6e 73 65 64 20 75 6e 64  ual licensed und
00b0: 65 72 20 74 68 65 20 4d 49 54 20 61 6e 64 20 74  er the MIT and t
00c0: 68 65 20 55 6e 69 76 65 72 73 69 74 79 20 6f 66  he University of
00d0: 20 49 6c 6c 69 6e 6f 69 73 20 4f 70 65 6e 0a 2f   Illinois Open./
00e0: 2f 20 53 6f 75 72 63 65 20 4c 69 63 65 6e 73 65  / Source License
00f0: 73 2e 20 53 65 65 20 4c 49 43 45 4e 53 45 2e 54  s. See LICENSE.T
0100: 58 54 20 66 6f 72 20 64 65 74 61 69 6c 73 2e 0a  XT for details..
0110: 2f 2f 0a 2f 2f 3d 3d 3d 2d 2d 2d 2d 2d 2d 2d 2d  //.//===--------
0120: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0130: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0140: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0150: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 3d 3d  --------------==
0160: 3d 2f 2f 0a 2f 2f 0a 2f 2f 20 54 68 69 73 20 66  =//.//.// This f
0170: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 66  ile implements f
0180: 6c 6f 61 74 20 74 6f 20 69 6e 74 65 67 65 72 20  loat to integer 
0190: 63 6f 6e 76 65 72 73 69 6f 6e 20 66 6f 72 20 74  conversion for t
01a0: 68 65 0a 2f 2f 20 63 6f 6d 70 69 6c 65 72 2d 72  he.// compiler-r
01b0: 74 20 6c 69 62 72 61 72 79 2e 0a 2f 2f 0a 2f 2f  t library..//.//
01c0: 3d 3d 3d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ===-------------
01d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
01e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
01f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0200: 2d 2d 2d 2d 2d 2d 2d 2d 2d 3d 3d 3d 2f 2f 0a 0a  ---------===//..
0210: 23 69 6e 63 6c 75 64 65 20 22 66 70 5f 6c 69 62  #include "fp_lib
0220: 2e 68 22 0a 0a 73 74 61 74 69 63 20 5f 5f 69 6e  .h"..static __in
0230: 6c 69 6e 65 20 66 69 78 69 6e 74 5f 74 20 5f 5f  line fixint_t __
0240: 66 69 78 69 6e 74 28 66 70 5f 74 20 61 29 20 7b  fixint(fp_t a) {
0250: 0a 20 20 20 20 63 6f 6e 73 74 20 66 69 78 69 6e  .    const fixin
0260: 74 5f 74 20 66 69 78 69 6e 74 5f 6d 61 78 20 3d  t_t fixint_max =
0270: 20 28 66 69 78 69 6e 74 5f 74 29 28 28 7e 28 66   (fixint_t)((~(f
0280: 69 78 75 69 6e 74 5f 74 29 30 29 20 2f 20 32 29  ixuint_t)0) / 2)
0290: 3b 0a 20 20 20 20 63 6f 6e 73 74 20 66 69 78 69  ;.    const fixi
02a0: 6e 74 5f 74 20 66 69 78 69 6e 74 5f 6d 69 6e 20  nt_t fixint_min 
02b0: 3d 20 2d 66 69 78 69 6e 74 5f 6d 61 78 20 2d 20  = -fixint_max - 
02c0: 31 3b 0a 20 20 20 20 2f 2f 20 42 72 65 61 6b 20  1;.    // Break 
02d0: 61 20 69 6e 74 6f 20 73 69 67 6e 2c 20 65 78 70  a into sign, exp
02e0: 6f 6e 65 6e 74 2c 20 73 69 67 6e 69 66 69 63 61  onent, significa
02f0: 6e 64 0a 20 20 20 20 63 6f 6e 73 74 20 72 65 70  nd.    const rep
0300: 5f 74 20 61 52 65 70 20 3d 20 74 6f 52 65 70 28  _t aRep = toRep(
0310: 61 29 3b 0a 20 20 20 20 63 6f 6e 73 74 20 72 65  a);.    const re
0320: 70 5f 74 20 61 41 62 73 20 3d 20 61 52 65 70 20  p_t aAbs = aRep 
0330: 26 20 61 62 73 4d 61 73 6b 3b 0a 20 20 20 20 63  & absMask;.    c
0340: 6f 6e 73 74 20 66 69 78 69 6e 74 5f 74 20 73 69  onst fixint_t si
0350: 67 6e 20 3d 20 61 52 65 70 20 26 20 73 69 67 6e  gn = aRep & sign
0360: 42 69 74 20 3f 20 2d 31 20 3a 20 31 3b 0a 20 20  Bit ? -1 : 1;.  
0370: 20 20 63 6f 6e 73 74 20 69 6e 74 20 65 78 70 6f    const int expo
0380: 6e 65 6e 74 20 3d 20 28 61 41 62 73 20 3e 3e 20  nent = (aAbs >> 
0390: 73 69 67 6e 69 66 69 63 61 6e 64 42 69 74 73 29  significandBits)
03a0: 20 2d 20 65 78 70 6f 6e 65 6e 74 42 69 61 73 3b   - exponentBias;
03b0: 0a 20 20 20 20 63 6f 6e 73 74 20 72 65 70 5f 74  .    const rep_t
03c0: 20 73 69 67 6e 69 66 69 63 61 6e 64 20 3d 20 28   significand = (
03d0: 61 41 62 73 20 26 20 73 69 67 6e 69 66 69 63 61  aAbs & significa
03e0: 6e 64 4d 61 73 6b 29 20 7c 20 69 6d 70 6c 69 63  ndMask) | implic
03f0: 69 74 42 69 74 3b 0a 0a 20 20 20 20 2f 2f 20 49  itBit;..    // I
0400: 66 20 65 78 70 6f 6e 65 6e 74 20 69 73 20 6e 65  f exponent is ne
0410: 67 61 74 69 76 65 2c 20 74 68 65 20 72 65 73 75  gative, the resu
0420: 6c 74 20 69 73 20 7a 65 72 6f 2e 0a 20 20 20 20  lt is zero..    
0430: 69 66 20 28 65 78 70 6f 6e 65 6e 74 20 3c 20 30  if (exponent < 0
0440: 29 0a 20 20 20 20 20 20 20 20 72 65 74 75 72 6e  ).        return
0450: 20 30 3b 0a 0a 20 20 20 20 2f 2f 20 49 66 20 74   0;..    // If t
0460: 68 65 20 76 61 6c 75 65 20 69 73 20 74 6f 6f 20  he value is too 
0470: 6c 61 72 67 65 20 66 6f 72 20 74 68 65 20 69 6e  large for the in
0480: 74 65 67 65 72 20 74 79 70 65 2c 20 73 61 74 75  teger type, satu
0490: 72 61 74 65 2e 0a 20 20 20 20 69 66 20 28 28 75  rate..    if ((u
04a0: 6e 73 69 67 6e 65 64 29 65 78 70 6f 6e 65 6e 74  nsigned)exponent
04b0: 20 3e 3d 20 73 69 7a 65 6f 66 28 66 69 78 69 6e   >= sizeof(fixin
04c0: 74 5f 74 29 20 2a 20 43 48 41 52 5f 42 49 54 29  t_t) * CHAR_BIT)
04d0: 0a 20 20 20 20 20 20 20 20 72 65 74 75 72 6e 20  .        return 
04e0: 73 69 67 6e 20 3d 3d 20 31 20 3f 20 66 69 78 69  sign == 1 ? fixi
04f0: 6e 74 5f 6d 61 78 20 3a 20 66 69 78 69 6e 74 5f  nt_max : fixint_
0500: 6d 69 6e 3b 0a 0a 20 20 20 20 2f 2f 20 49 66 20  min;..    // If 
0510: 30 20 3c 3d 20 65 78 70 6f 6e 65 6e 74 20 3c 20  0 <= exponent < 
0520: 73 69 67 6e 69 66 69 63 61 6e 64 42 69 74 73 2c  significandBits,
0530: 20 72 69 67 68 74 20 73 68 69 66 74 20 74 6f 20   right shift to 
0540: 67 65 74 20 74 68 65 20 72 65 73 75 6c 74 2e 0a  get the result..
0550: 20 20 20 20 2f 2f 20 4f 74 68 65 72 77 69 73 65      // Otherwise
0560: 2c 20 73 68 69 66 74 20 6c 65 66 74 2e 0a 20 20  , shift left..  
0570: 20 20 69 66 20 28 65 78 70 6f 6e 65 6e 74 20 3c    if (exponent <
0580: 20 73 69 67 6e 69 66 69 63 61 6e 64 42 69 74 73   significandBits
0590: 29 0a 20 20 20 20 20 20 20 20 72 65 74 75 72 6e  ).        return
05a0: 20 73 69 67 6e 20 2a 20 28 73 69 67 6e 69 66 69   sign * (signifi
05b0: 63 61 6e 64 20 3e 3e 20 28 73 69 67 6e 69 66 69  cand >> (signifi
05c0: 63 61 6e 64 42 69 74 73 20 2d 20 65 78 70 6f 6e  candBits - expon
05d0: 65 6e 74 29 29 3b 0a 20 20 20 20 65 6c 73 65 0a  ent));.    else.
05e0: 20 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 73          return s
05f0: 69 67 6e 20 2a 20 28 28 66 69 78 69 6e 74 5f 74  ign * ((fixint_t
0600: 29 73 69 67 6e 69 66 69 63 61 6e 64 20 3c 3c 20  )significand << 
0610: 28 65 78 70 6f 6e 65 6e 74 20 2d 20 73 69 67 6e  (exponent - sign
0620: 69 66 69 63 61 6e 64 42 69 74 73 29 29 3b 0a 7d  ificandBits));.}
0630: 0a                                               .