← Back to branch summary

~drizzle-trunk/drizzle/development

« back to all changes in this revision

Viewing changes to drizzled/function/math/round.cc

  • Committer: Brian Aker
  • Date: 2009-02-20 22:48:37 UTC
  • Revision ID: brian@tangent.org-20090220224837-fw5wrf46n4ru3e6a
First pass of stripping uint

Show diffs side-by-side

added added

removed removed

Lines of Context:
drizzled/function/math/round.cc
 
1
/* -*- mode: c++; c-basic-offset: 2; indent-tabs-mode: nil; -*-
 
2
 *  vim:expandtab:shiftwidth=2:tabstop=2:smarttab:
 
3
 *
 
4
 *  Copyright (C) 2008 Sun Microsystems
 
5
 *
 
6
 *  This program is free software; you can redistribute it and/or modify
 
7
 *  it under the terms of the GNU General Public License as published by
 
8
 *  the Free Software Foundation; version 2 of the License.
 
9
 *
 
10
 *  This program is distributed in the hope that it will be useful,
 
11
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 
12
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
13
 *  GNU General Public License for more details.
 
14
 *
 
15
 *  You should have received a copy of the GNU General Public License
 
16
 *  along with this program; if not, write to the Free Software
 
17
 *  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
 
18
 */
 
19
 
 
20
#include <drizzled/server_includes.h>
 
21
#include CSTDINT_H
 
22
#include <drizzled/function/math/round.h>
 
23
#include CMATH_H
 
24
#include <drizzled/util/math.h>
 
25
 
 
26
#if defined(CMATH_NAMESPACE)
 
27
using namespace CMATH_NAMESPACE;
 
28
#endif
 
29
using namespace std;
 
30
 
 
31
void Item_func_round::fix_length_and_dec()
 
32
{
 
33
  int      decimals_to_set;
 
34
  int64_t val1;
 
35
  bool     val1_unsigned;
 
36
 
 
37
  unsigned_flag= args[0]->unsigned_flag;
 
38
  if (!args[1]->const_item())
 
39
  {
 
40
    max_length= args[0]->max_length;
 
41
    decimals= args[0]->decimals;
 
42
    if (args[0]->result_type() == DECIMAL_RESULT)
 
43
    {
 
44
      max_length++;
 
45
      hybrid_type= DECIMAL_RESULT;
 
46
    }
 
47
    else
 
48
      hybrid_type= REAL_RESULT;
 
49
    return;
 
50
  }
 
51
 
 
52
  val1= args[1]->val_int();
 
53
  val1_unsigned= args[1]->unsigned_flag;
 
54
  if (val1 < 0)
 
55
    decimals_to_set= val1_unsigned ? INT_MAX : 0;
 
56
  else
 
57
    decimals_to_set= (val1 > INT_MAX) ? INT_MAX : (int) val1;
 
58
 
 
59
  if (args[0]->decimals == NOT_FIXED_DEC)
 
60
  {
 
61
    max_length= args[0]->max_length;
 
62
    decimals= cmin(decimals_to_set, NOT_FIXED_DEC);
 
63
    hybrid_type= REAL_RESULT;
 
64
    return;
 
65
  }
 
66
 
 
67
  switch (args[0]->result_type()) {
 
68
  case REAL_RESULT:
 
69
  case STRING_RESULT:
 
70
    hybrid_type= REAL_RESULT;
 
71
    decimals= cmin(decimals_to_set, NOT_FIXED_DEC);
 
72
    max_length= float_length(decimals);
 
73
    break;
 
74
  case INT_RESULT:
 
75
    if ((!decimals_to_set && truncate) || (args[0]->decimal_precision() < DECIMAL_LONGLONG_DIGITS))
 
76
    {
 
77
      int length_can_increase= test(!truncate && (val1 < 0) && !val1_unsigned);
 
78
      max_length= args[0]->max_length + length_can_increase;
 
79
      /* Here we can keep INT_RESULT */
 
80
      hybrid_type= INT_RESULT;
 
81
      decimals= 0;
 
82
      break;
 
83
    }
 
84
    /* fall through */
 
85
  case DECIMAL_RESULT:
 
86
  {
 
87
    hybrid_type= DECIMAL_RESULT;
 
88
    decimals_to_set= cmin(DECIMAL_MAX_SCALE, decimals_to_set);
 
89
    int decimals_delta= args[0]->decimals - decimals_to_set;
 
90
    int precision= args[0]->decimal_precision();
 
91
    int length_increase= ((decimals_delta <= 0) || truncate) ? 0:1;
 
92
 
 
93
    precision-= decimals_delta - length_increase;
 
94
    decimals= cmin(decimals_to_set, DECIMAL_MAX_SCALE);
 
95
    max_length= my_decimal_precision_to_length(precision, decimals,
 
96
                                               unsigned_flag);
 
97
    break;
 
98
  }
 
99
  default:
 
100
    assert(0); /* This result type isn't handled */
 
101
  }
 
102
}
 
103
 
 
104
double my_double_round(double value, int64_t dec, bool dec_unsigned,
 
105
                       bool truncate)
 
106
{
 
107
  double tmp;
 
108
  bool dec_negative= (dec < 0) && !dec_unsigned;
 
109
  uint64_t abs_dec= dec_negative ? -dec : dec;
 
110
  /*
 
111
    tmp2 is here to avoid return the value with 80 bit precision
 
112
    This will fix that the test round(0.1,1) = round(0.1,1) is true
 
113
  */
 
114
  double tmp2;
 
115
 
 
116
  tmp=(abs_dec < array_elements(log_10) ?
 
117
       log_10[abs_dec] : pow(10.0,(double) abs_dec));
 
118
 
 
119
  double value_times_tmp= value * tmp;
 
120
 
 
121
  /*
 
122
    NOTE: This is a workaround for a gcc 4.3 bug on Intel x86 32bit
 
123
    See http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39228
 
124
    See http://bugs.mysql.com/bug.php?id=42965
 
125
 
 
126
    This forces the compiler to store/load the value as 64bit and avoids
 
127
    an optimisation that *could* have the isinf() be done on the 80bit
 
128
    representation.
 
129
   */
 
130
  if(sizeof(double) < sizeof(double_t))
 
131
  {
 
132
    volatile double t= value_times_tmp;
 
133
    value_times_tmp= t;
 
134
  }
 
135
 
 
136
  if (dec_negative && isinf(tmp))
 
137
    tmp2= 0;
 
138
  else if (!dec_negative && isinf(value_times_tmp))
 
139
    tmp2= value;
 
140
  else if (truncate)
 
141
  {
 
142
    if (value >= 0)
 
143
      tmp2= dec < 0 ? floor(value/tmp)*tmp : floor(value*tmp)/tmp;
 
144
    else
 
145
      tmp2= dec < 0 ? ceil(value/tmp)*tmp : ceil(value*tmp)/tmp;
 
146
  }
 
147
  else
 
148
    tmp2=dec < 0 ? rint(value/tmp)*tmp : rint(value*tmp)/tmp;
 
149
  return tmp2;
 
150
}
 
151
 
 
152
 
 
153
double Item_func_round::real_op()
 
154
{
 
155
  double value= args[0]->val_real();
 
156
 
 
157
  if (!(null_value= args[0]->null_value || args[1]->null_value))
 
158
    return my_double_round(value, args[1]->val_int(), args[1]->unsigned_flag,
 
159
                           truncate);
 
160
 
 
161
  return 0.0;
 
162
}
 
163
 
 
164
/*
 
165
  Rounds a given value to a power of 10 specified as the 'to' argument,
 
166
  avoiding overflows when the value is close to the uint64_t range boundary.
 
167
*/
 
168
 
 
169
static inline uint64_t my_unsigned_round(uint64_t value, uint64_t to)
 
170
{
 
171
  uint64_t tmp= value / to * to;
 
172
  return (value - tmp < (to >> 1)) ? tmp : tmp + to;
 
173
}
 
174
 
 
175
 
 
176
int64_t Item_func_round::int_op()
 
177
{
 
178
  int64_t value= args[0]->val_int();
 
179
  int64_t dec= args[1]->val_int();
 
180
  decimals= 0;
 
181
  uint64_t abs_dec;
 
182
  if ((null_value= args[0]->null_value || args[1]->null_value))
 
183
    return 0;
 
184
  if ((dec >= 0) || args[1]->unsigned_flag)
 
185
    return value; // integer have not digits after point
 
186
 
 
187
  abs_dec= -dec;
 
188
  int64_t tmp;
 
189
 
 
190
  if(abs_dec >= array_elements(log_10_int))
 
191
    return 0;
 
192
 
 
193
  tmp= log_10_int[abs_dec];
 
194
 
 
195
  if (truncate)
 
196
    value= (unsigned_flag) ?
 
197
      ((uint64_t) value / tmp) * tmp : (value / tmp) * tmp;
 
198
  else
 
199
    value= (unsigned_flag || value >= 0) ?
 
200
      my_unsigned_round((uint64_t) value, tmp) :
 
201
      -(int64_t) my_unsigned_round((uint64_t) -value, tmp);
 
202
  return value;
 
203
}
 
204
 
 
205
 
 
206
my_decimal *Item_func_round::decimal_op(my_decimal *decimal_value)
 
207
{
 
208
  my_decimal val, *value= args[0]->val_decimal(&val);
 
209
  int64_t dec= args[1]->val_int();
 
210
  if (dec >= 0 || args[1]->unsigned_flag)
 
211
    dec= cmin(dec, (int64_t) decimals);
 
212
  else if (dec < INT_MIN)
 
213
    dec= INT_MIN;
 
214
 
 
215
  if (!(null_value= (args[0]->null_value || args[1]->null_value ||
 
216
                     my_decimal_round(E_DEC_FATAL_ERROR, value, (int) dec,
 
217
                                      truncate, decimal_value) > 1)))
 
218
  {
 
219
    decimal_value->frac= decimals;
 
220
    return decimal_value;
 
221
  }
 
222
  return 0;
 
223
}
 
224