octave-nkf: liboctave/oct-inttypes.h annotate

annotate liboctave/oct-inttypes.h @ 10396:a0b51ac0f88a

optimize accumdim with summation

author	Jaroslav Hajek <highegg@gmail.com>
date	Fri, 05 Mar 2010 12:31:30 +0100
parents	65d5776379c3
children	cc69a17ec801

rev	line source
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	1 /*
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	2
8920 eb63fbe60fab update copyright notices John W. Eaton <jwe@octave.org> parents: 8856 diff changeset	3 Copyright (C) 2008, 2009 Jaroslav Hajek
7017 a1dbe9d80eee [project @ 2007-10-12 21:27:11 by jwe] jwe parents: 7016 diff changeset	4 Copyright (C) 2004, 2005, 2006, 2007 John W. Eaton
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	5
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	6 This file is part of Octave.
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	7
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	8 Octave is free software; you can redistribute it and/or modify it
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	9 under the terms of the GNU General Public License as published by the
7016 93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe] jwe parents: 6764 diff changeset	10 Free Software Foundation; either version 3 of the License, or (at your
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe] jwe parents: 6764 diff changeset	11 option) any later version.
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	12
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	13 Octave is distributed in the hope that it will be useful, but WITHOUT
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	16 for more details.
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	17
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	18 You should have received a copy of the GNU General Public License
7016 93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe] jwe parents: 6764 diff changeset	19 along with Octave; see the file COPYING. If not, see
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe] jwe parents: 6764 diff changeset	20 <http://www.gnu.org/licenses/>.
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	21
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	22 */
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	23
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	24 #if !defined (octave_inttypes_h)
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	25 #define octave_inttypes_h 1
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	26
6482 7e958a1532c6 [project @ 2007-04-04 02:37:07 by jwe] jwe parents: 6402 diff changeset	27 #include <climits>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	28 #include <cstdlib>
6482 7e958a1532c6 [project @ 2007-04-04 02:37:07 by jwe] jwe parents: 6402 diff changeset	29
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	30 #include <limits>
8950 d865363208d6 include <iosfwd> instead of <iostream> in header files John W. Eaton <jwe@octave.org> parents: 8920 diff changeset	31 #include <iosfwd>
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	32
8731 5abe5ae55465 use lo-traits in oct-inttypes Jaroslav Hajek <highegg@gmail.com> parents: 8333 diff changeset	33 #include "lo-traits.h"
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	34 #include "lo-math.h"
4969 52f808101130 [project @ 2004-09-08 02:44:04 by jwe] jwe parents: 4968 diff changeset	35 #include "lo-mappers.h"
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	36
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	37 #ifdef OCTAVE_INT_USE_LONG_DOUBLE
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	38 inline long double xround (long double x) { return roundl (x); }
9003 0631d397fbe0 replace lo_ieee_isnan by xisnan, add missing includes Jaroslav Hajek <highegg@gmail.com> parents: 8963 diff changeset	39 inline long double xisnan (long double x) { return xisnan (static_cast<double> (x)); }
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	40 #endif
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	41
8333 9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	42 // FIXME -- we define this by our own because some compilers, such as
9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	43 // MSVC, do not provide std::abs (int64_t) and std::abs (uint64_t). In
9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	44 // the future, it should go away in favor of std::abs.
8293 ad5bb02d267a workaround missing std::abs(int64_t) in MSVC Jaroslav Hajek <highegg@gmail.com> parents: 8202 diff changeset	45 template <class T>
ad5bb02d267a workaround missing std::abs(int64_t) in MSVC Jaroslav Hajek <highegg@gmail.com> parents: 8202 diff changeset	46 inline T octave_int_abs (T x) { return x >= 0 ? x : -x; }
ad5bb02d267a workaround missing std::abs(int64_t) in MSVC Jaroslav Hajek <highegg@gmail.com> parents: 8202 diff changeset	47
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	48 // Query for an integer type of certain sizeof, and signedness.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	49 template<int qsize, bool qsigned>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	50 struct query_integer_type
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	51 {
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	52 public:
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	53 static const bool registered = false;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	54 typedef void type; // Void shall result in a compile-time error if we
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	55 // attempt to use it in computations.
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	56 };
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	57
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	58 #define REGISTER_INT_TYPE(TYPE) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	59 template <> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	60 class query_integer_type<sizeof (TYPE), std::numeric_limits<TYPE>::is_signed> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	61 { \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	62 public: \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	63 static const bool registered = true; \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	64 typedef TYPE type; \
7598 a89b3fa632ee partial specialization for octave_int_fit_to_range John W. Eaton <jwe@octave.org> parents: 7596 diff changeset	65 }
7596 6929e40fc597 compatible handling of NaN -> int conversions John W. Eaton <jwe@octave.org> parents: 7534 diff changeset	66
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	67 // No two registered integers can share sizeof and signedness.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	68 REGISTER_INT_TYPE (int8_t);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	69 REGISTER_INT_TYPE (uint8_t);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	70 REGISTER_INT_TYPE (int16_t);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	71 REGISTER_INT_TYPE (uint16_t);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	72 REGISTER_INT_TYPE (int32_t);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	73 REGISTER_INT_TYPE (uint32_t);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	74 REGISTER_INT_TYPE (int64_t);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	75 REGISTER_INT_TYPE (uint64_t);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	76
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	77 // Rationale: Comparators have a single static method, rel(), that returns the
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	78 // result of the binary relation. They also have two static boolean fields:
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	79 // ltval, gtval determine the value of x OP y if x < y, x > y, respectively.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	80 #define REGISTER_OCTAVE_CMP_OP(NM,OP) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	81 class NM \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	82 { \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	83 public: \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	84 static const bool ltval = (0 OP 1), gtval = (1 OP 0); \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	85 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	86 static bool op (T x, T y) { return x OP y; } \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	87 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	88
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	89 // We also provide two special relations: ct, yielding always true, and cf,
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	90 // yielding always false.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	91 #define REGISTER_OCTAVE_CONST_OP(NM,value) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	92 class NM \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	93 { \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	94 public: \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	95 static const bool ltval = value, gtval = value; \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	96 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	97 static bool op (T, T) { return value; } \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	98 }
4943 1a499d0c58f5 [project @ 2004-08-31 00:51:31 by jwe] jwe parents: 4920 diff changeset	99
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	100 // Handles non-homogeneous integer comparisons. Avoids doing useless tests.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	101 class octave_int_cmp_op
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	102 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	103 // This determines a suitable promotion type for T1 when meeting T2 in a
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	104 // binary relation. If promotion to int or T2 is safe, it is used. Otherwise,
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	105 // the signedness of T1 is preserved and it is widened if T2 is wider.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	106 // Notice that if this is applied to both types, they must end up with equal
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	107 // size.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	108 template <class T1, class T2>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	109 class prom
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	110 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	111 // Promote to int?
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	112 static const bool pint = (sizeof (T1) < sizeof (int)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	113 && sizeof (T2) < sizeof (int));
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	114 static const bool t1sig = std::numeric_limits<T1>::is_signed;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	115 static const bool t2sig = std::numeric_limits<T2>::is_signed;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	116 static const bool psig =
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	117 (pint \|\| (sizeof (T2) > sizeof (T1) && t2sig) \|\| t1sig);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	118 static const int psize =
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	119 (pint ? sizeof (int) : (sizeof (T2) > sizeof (T1)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	120 ? sizeof (T2) : sizeof (T1)));
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	121 public:
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	122 typedef typename query_integer_type<psize, psig>::type type;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	123 };
4943 1a499d0c58f5 [project @ 2004-08-31 00:51:31 by jwe] jwe parents: 4920 diff changeset	124
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	125 // Implements comparisons between two types of equal size but
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	126 // possibly different signedness.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	127 template<class xop, int size>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	128 class uiop
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	129 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	130 typedef typename query_integer_type<size, false>::type utype;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	131 typedef typename query_integer_type<size, true>::type stype;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	132 public:
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	133 static bool op (utype x, utype y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	134 { return xop::op (x, y); }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	135 static bool op (stype x, stype y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	136 { return xop::op (x, y); }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	137 static bool op (stype x, utype y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	138 { return (x < 0) ? xop::ltval : xop::op (static_cast<utype> (x), y); }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	139 static bool op (utype x, stype y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	140 { return (y < 0) ? xop::gtval : xop::op (x, static_cast<utype> (y)); }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	141 };
4943 1a499d0c58f5 [project @ 2004-08-31 00:51:31 by jwe] jwe parents: 4920 diff changeset	142
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	143 public:
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	144 REGISTER_OCTAVE_CMP_OP (lt, <);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	145 REGISTER_OCTAVE_CMP_OP (le, <=);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	146 REGISTER_OCTAVE_CMP_OP (gt, >);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	147 REGISTER_OCTAVE_CMP_OP (ge, >=);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	148 REGISTER_OCTAVE_CMP_OP (eq, ==);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	149 REGISTER_OCTAVE_CMP_OP (ne, !=);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	150 REGISTER_OCTAVE_CONST_OP (ct, true);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	151 REGISTER_OCTAVE_CONST_OP (cf, false);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	152
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	153 // Universal comparison operation.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	154 template<class xop, class T1, class T2>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	155 static bool
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	156 op (T1 x, T2 y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	157 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	158 typedef typename prom<T1, T2>::type PT1;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	159 typedef typename prom<T2, T1>::type PT2;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	160 return uiop<xop, sizeof (PT1)>::op (static_cast<PT1> (x),
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	161 static_cast<PT2> (y));
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	162 }
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	163
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	164 public:
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	165
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	166 // Mixed comparisons
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	167 template <class xop, class T>
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	168 static bool
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	169 mop (T x, double y)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	170 { return xop::op (static_cast<double> (x), y); }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	171
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	172 template <class xop, class T>
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	173 static bool
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	174 mop (double x, T y)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	175 { return xop::op (x, static_cast<double> (y)); }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	176
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	177 // Typecasting to doubles won't work properly for 64-bit integers - they lose precision.
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	178 // If we have long doubles, use them...
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	179 #ifdef OCTAVE_INT_USE_LONG_DOUBLE
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	180 #define DEFINE_LONG_DOUBLE_CMP_OP(T1, T2) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	181 template <class xop> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	182 static bool \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	183 mop (T1 x, T2 y) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	184 { \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	185 return xop::op (static_cast<long double> (x), \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	186 static_cast<long double> (y)); \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	187 }
8856 ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	188 #else
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	189 // ... otherwise, use external handlers
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	190
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	191 // FIXME: We could declare directly the mop methods as external,
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	192 // but we can't do this because bugs in gcc (<= 4.3) prevent
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	193 // explicit instantiations later in that case.
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	194 #define DEFINE_LONG_DOUBLE_CMP_OP(T1, T2) \
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	195 template <class xop> static OCTAVE_API bool \
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	196 emulate_mop (T1, T2); \
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	197 template <class xop> \
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	198 static bool \
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	199 mop (T1 x, T2 y) \
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	200 { \
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	201 return emulate_mop<xop> (x, y); \
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	202 }
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	203 #endif
ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	204
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	205 DEFINE_LONG_DOUBLE_CMP_OP(double, uint64_t)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	206 DEFINE_LONG_DOUBLE_CMP_OP(double, int64_t)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	207 DEFINE_LONG_DOUBLE_CMP_OP(int64_t, double)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	208 DEFINE_LONG_DOUBLE_CMP_OP(uint64_t, double)
8856 ab4db66e286f workaround gcc 4.3 explicit instantiation bug in octave_int_cmp_op Jaroslav Hajek <highegg@gmail.com> parents: 8731 diff changeset	209
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	210 #undef DEFINE_LONG_DOUBLE_CMP_OP
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	211 };
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	212
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	213 // Base integer class. No data, just conversion methods and exception flags.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	214 template <class T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	215 class octave_int_base
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	216 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	217 protected:
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	218
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	219 static T min_val () { return std::numeric_limits<T>:: min (); }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	220 static T max_val () { return std::numeric_limits<T>:: max (); }
4943 1a499d0c58f5 [project @ 2004-08-31 00:51:31 by jwe] jwe parents: 4920 diff changeset	221
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	222 public:
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	223
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	224 // Convert integer value.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	225 template <class S>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	226 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	227 truncate_int (const S& value)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	228 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	229 // An exhaustive test whether the max and/or min check can be omitted.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	230 static const bool t_is_signed = std::numeric_limits<T>::is_signed;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	231 static const bool s_is_signed = std::numeric_limits<S>::is_signed;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	232 static const int t_size = sizeof (T), s_size = sizeof (S);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	233 static const bool omit_chk_min =
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	234 (! s_is_signed \|\| (t_is_signed && t_size >= s_size));
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	235 static const bool omit_chk_max =
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	236 (t_size > s_size \|\| (t_size == s_size
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	237 && (! t_is_signed \|\| s_is_signed)));
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	238 // If the check can be omitted, substitute constant false relation.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	239 typedef octave_int_cmp_op::cf cf;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	240 typedef octave_int_cmp_op::lt lt;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	241 typedef octave_int_cmp_op::gt gt;
8731 5abe5ae55465 use lo-traits in oct-inttypes Jaroslav Hajek <highegg@gmail.com> parents: 8333 diff changeset	242 typedef typename if_then_else<omit_chk_min, cf, lt>::result chk_min;
5abe5ae55465 use lo-traits in oct-inttypes Jaroslav Hajek <highegg@gmail.com> parents: 8333 diff changeset	243 typedef typename if_then_else<omit_chk_max, cf, gt>::result chk_max;
4943 1a499d0c58f5 [project @ 2004-08-31 00:51:31 by jwe] jwe parents: 4920 diff changeset	244
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	245 // Efficiency of the following depends on inlining and dead code
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	246 // elimination, but that should be a piece of cake for most compilers.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	247 if (chk_min::op (value, static_cast<S> (min_val ())))
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	248 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	249 ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	250 return min_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	251 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	252 else if (chk_max::op (value, static_cast<S> (max_val ())))
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	253 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	254 ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	255 return max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	256 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	257 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	258 return static_cast<T> (value);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	259 }
4943 1a499d0c58f5 [project @ 2004-08-31 00:51:31 by jwe] jwe parents: 4920 diff changeset	260
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	261 private:
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	262
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	263 // Computes a real-valued threshold for a max/min check.
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	264 template <class S>
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	265 static S
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	266 compute_threshold (S val, T orig_val)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	267 {
8193 5fd507839b76 remove the int->real conversion code vulnerability to compiler optimization Jaroslav Hajek <highegg@gmail.com> parents: 8191 diff changeset	268 val = xround (val); // Fool optimizations (maybe redundant)
5fd507839b76 remove the int->real conversion code vulnerability to compiler optimization Jaroslav Hajek <highegg@gmail.com> parents: 8191 diff changeset	269 // If val is even, but orig_val is odd, we're one unit off.
5fd507839b76 remove the int->real conversion code vulnerability to compiler optimization Jaroslav Hajek <highegg@gmail.com> parents: 8191 diff changeset	270 if (orig_val % 2 && val / 2 == xround (val / 2))
8333 9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	271 // FIXME -- is this always correct?
8193 5fd507839b76 remove the int->real conversion code vulnerability to compiler optimization Jaroslav Hajek <highegg@gmail.com> parents: 8191 diff changeset	272 val *= (static_cast<S>(1) - (std::numeric_limits<S>::epsilon () / 2));
5fd507839b76 remove the int->real conversion code vulnerability to compiler optimization Jaroslav Hajek <highegg@gmail.com> parents: 8191 diff changeset	273 return val;
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	274 }
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	275
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	276 public:
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	277 // Convert a real number (check NaN and non-int).
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	278 template <class S>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	279 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	280 convert_real (const S& value)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	281 {
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	282 // Compute proper thresholds.
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	283 static const S thmin = compute_threshold (static_cast<S> (min_val ()), min_val ());
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	284 static const S thmax = compute_threshold (static_cast<S> (max_val ()), max_val ());
9003 0631d397fbe0 replace lo_ieee_isnan by xisnan, add missing includes Jaroslav Hajek <highegg@gmail.com> parents: 8963 diff changeset	285 if (xisnan (value))
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	286 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	287 fnan = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	288 return static_cast<T> (0);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	289 }
8193 5fd507839b76 remove the int->real conversion code vulnerability to compiler optimization Jaroslav Hajek <highegg@gmail.com> parents: 8191 diff changeset	290 else if (value < thmin)
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	291 {
8193 5fd507839b76 remove the int->real conversion code vulnerability to compiler optimization Jaroslav Hajek <highegg@gmail.com> parents: 8191 diff changeset	292 ftrunc = true;
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	293 return min_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	294 }
8193 5fd507839b76 remove the int->real conversion code vulnerability to compiler optimization Jaroslav Hajek <highegg@gmail.com> parents: 8191 diff changeset	295 else if (value > thmax)
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	296 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	297 ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	298 return max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	299 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	300 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	301 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	302 S rvalue = xround (value);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	303 if (rvalue != value) fnon_int = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	304 return static_cast<T> (rvalue);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	305 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	306 }
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	307
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	308 // Exception flags rationale:
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	309 // There is little reason to distinguish math and conversion exceptions at
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	310 // octave_int level. Doing this would require special constructors for
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	311 // intermediate int results in math computations.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	312 //
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	313 // Boolean flags are used rather than a single flag, because raising a boolean
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	314 // flag is faster than masking an int flag (single mov versus mov, or, mov).
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	315 // Also, it is atomic, and thus thread-safe (but there is one flag for all
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	316 // threads).
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	317
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	318 static bool get_trunc_flag () { return ftrunc; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	319 static bool get_nan_flag () { return fnan; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	320 static bool get_non_int_flag () { return fnon_int; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	321 static void clear_conv_flags ()
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	322 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	323 ftrunc = false;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	324 fnan = false;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	325 fnon_int = false;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	326 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	327 // For compatibility.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	328 static bool get_math_trunc_flag () { return ftrunc \|\| fnan; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	329 static void clear_conv_flag () { clear_conv_flags (); }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	330
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	331 protected:
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	332
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	333 // Conversion flags.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	334 static bool ftrunc;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	335 static bool fnon_int;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	336 static bool fnan;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	337 };
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	338
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	339 template<class T> bool octave_int_base<T>::ftrunc = false;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	340 template<class T> bool octave_int_base<T>::fnon_int = false;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	341 template<class T> bool octave_int_base<T>::fnan = false;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	342
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	343 // Saturated (homogeneous) integer arithmetics. The signed and unsigned
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	344 // implementations are significantly different, so we implement another layer
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	345 // and completely specialize. Arithmetics inherits from octave_int_base so that
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	346 // it can use its exceptions and truncation functions.
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	347
6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	348 template <class T, bool is_signed>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	349 class octave_int_arith_base
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	350 { };
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	351
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	352 // Unsigned arithmetics. C++ standard requires it to be modular, so the
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	353 // overflows can be handled efficiently and reliably.
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	354 template <class T>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	355 class octave_int_arith_base<T, false> : octave_int_base<T>
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	356 {
6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	357 public:
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	358
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	359 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	360 abs (T x) { return x; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	361
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	362 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	363 signum (T x) { return x ? static_cast<T> (1) : static_cast<T> (0); }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	364
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	365 // Shifts do not overflow.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	366 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	367 rshift (T x, int n) { return x >> n; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	368
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	369 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	370 lshift (T x, int n) { return x << n; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	371
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	372 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	373 minus (T x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	374 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	375 if (x != 0) octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	376 return static_cast<T> (0);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	377 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	378
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	379 // the overflow behaviour for unsigned integers is guaranteed by C/C++,
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	380 // so the following should always work.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	381 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	382 add (T x, T y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	383 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	384 T u = x + y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	385 if (u < x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	386 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	387 u = octave_int_base<T>::max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	388 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	389 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	390 return u;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	391 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	392
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	393 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	394 sub (T x, T y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	395 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	396 T u = x - y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	397 if (u > x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	398 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	399 u = 0;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	400 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	401 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	402 return u;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	403 }
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	404
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	405 // Multiplication is done using promotion to wider integer type. If there is
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	406 // no suitable promotion type, this operation MUST be specialized.
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	407 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	408 mul (T x, T y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	409 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	410 // Promotion type for multiplication (if exists).
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	411 typedef typename query_integer_type<2*sizeof (T), false>::type mptype;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	412 return truncate_int (static_cast<mptype> (x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	413 * static_cast<mptype> (y));
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	414 }
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	415
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	416 // Division with rounding to nearest. Note that / and % are probably
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	417 // computed by a single instruction.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	418 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	419 div (T x, T y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	420 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	421 if (y != 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	422 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	423 T z = x / y, w = x % y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	424 if (w >= y-w) z += 1;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	425 return z;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	426 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	427 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	428 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	429 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	430 return x ? octave_int_base<T>::max_val () : 0;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	431 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	432 }
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	433 };
6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	434
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	435 #ifdef OCTAVE_INT_USE_LONG_DOUBLE
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	436 // Handle 64-bit multiply using long double
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	437 template <>
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	438 inline uint64_t
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	439 octave_int_arith_base<uint64_t, false>:: mul (uint64_t x, uint64_t y)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	440 {
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	441 long double p = static_cast<long double> (x) * static_cast<long double> (y);
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	442 if (p > static_cast<long double> (octave_int_base<uint64_t>::max_val ()))
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	443 {
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	444 octave_int_base<uint64_t>::ftrunc = true;
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	445 return octave_int_base<uint64_t>::max_val ();
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	446 }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	447 else
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	448 return static_cast<uint64_t> (p);
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	449 }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	450 #else
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	451 // Special handler for 64-bit integer multiply.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	452 template <>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	453 OCTAVE_API uint64_t
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	454 octave_int_arith_base<uint64_t, false>::mul (uint64_t, uint64_t);
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	455 #endif
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	456
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	457 // Signed integer arithmetics.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	458 // Rationale: If HAVE_FAST_INT_OPS is defined, the following conditions
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	459 // should hold:
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	460 // 1. Signed numbers are represented by twos complement
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	461 // (see <http://en.wikipedia.org/wiki/Two%27s_complement>)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	462 // 2. static_cast to unsigned int counterpart works like interpreting
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	463 // the signed bit pattern as unsigned (and is thus zero-cost).
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	464 // 3. Signed addition and subtraction yield the same bit results as unsigned.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	465 // (We use casts to prevent optimization interference, so there is no
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	466 // need for things like -ftrapv).
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	467 // 4. Bit operations on signed integers work like on unsigned integers,
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	468 // except for the shifts. Shifts are arithmetic.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	469 //
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	470 // The above conditions are satisfied by most modern platforms. If
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	471 // HAVE_FAST_INT_OPS is defined, bit tricks and wraparound arithmetics are used
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	472 // to avoid conditional jumps as much as possible, thus being friendly to modern
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	473 // pipeline processor architectures.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	474 // Otherwise, we fall back to a bullet-proof code that only uses assumptions
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	475 // guaranteed by the standard.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	476
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	477 template <class T>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	478 class octave_int_arith_base<T, true> : octave_int_base<T>
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	479 {
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	480 // The corresponding unsigned type.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	481 typedef typename query_integer_type<sizeof (T), false>::type UT;
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	482 public:
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	483
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	484 // Returns 1 for negative number, 0 otherwise.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	485 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	486 signbit (T x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	487 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	488 #ifdef HAVE_FAST_INT_OPS
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	489 return static_cast<UT> (x) >> std::numeric_limits<T>::digits;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	490 #else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	491 return (x < 0) ? 1 : 0;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	492 #endif
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	493 }
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	494
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	495 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	496 abs (T x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	497 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	498 #ifdef HAVE_FAST_INT_OPS
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	499 // This is close to how GCC does std::abs, but we can't just use std::abs,
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	500 // because its behaviour for INT_MIN is undefined and the compiler could
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	501 // discard the following test.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	502 T m = x >> std::numeric_limits<T>::digits;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	503 T y = (x ^ m) - m;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	504 if (y < 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	505 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	506 y = octave_int_base<T>::max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	507 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	508 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	509 return y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	510 #else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	511 // -INT_MAX is safe because C++ actually allows only three implementations
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	512 // of integers: sign & magnitude, ones complement and twos complement.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	513 // The first test will, with modest optimizations, evaluate at compile
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	514 // time, and maybe eliminate the branch completely.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	515 T y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	516 if (octave_int_base<T>::min_val () < -octave_int_base<T>::max_val ()
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	517 && x == octave_int_base<T>::min_val ())
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	518 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	519 y = octave_int_base<T>::max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	520 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	521 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	522 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	523 y = (x < 0) ? -x : x;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	524 return y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	525 #endif
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	526 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	527
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	528 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	529 signum (T x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	530 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	531 // With modest optimizations, this will compile without a jump.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	532 return ((x > 0) ? 1 : 0) - signbit (x);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	533 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	534
8333 9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	535 // FIXME -- we do not have an authority what signed shifts should
9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	536 // exactly do, so we define them the easy way. Note that Matlab does
9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	537 // not define signed shifts.
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	538
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	539 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	540 rshift (T x, int n) { return x >> n; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	541
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	542 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	543 lshift (T x, int n) { return x << n; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	544
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	545 // Minus has problems similar to abs.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	546 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	547 minus (T x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	548 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	549 #ifdef HAVE_FAST_INT_OPS
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	550 T y = -x;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	551 if (y == octave_int_base<T>::min_val ())
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	552 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	553 --y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	554 octave_int_base<T>::ftrunc = false;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	555 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	556 return y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	557 #else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	558 T y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	559 if (octave_int_base<T>::min_val () < -octave_int_base<T>::max_val ()
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	560 && x == octave_int_base<T>::min_val ())
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	561 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	562 y = octave_int_base<T>::max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	563 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	564 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	565 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	566 y = -x;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	567 return y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	568 #endif
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	569 }
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	570
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	571 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	572 add (T x, T y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	573 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	574 #ifdef HAVE_FAST_INT_OPS
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	575 // The typecasts do nothing, but they are here to prevent an optimizing
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	576 // compiler from interfering. Also, the signed operations on small types
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	577 // actually return int.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	578 T u = static_cast<UT> (x) + static_cast<UT> (y);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	579 T ux = u ^ x, uy = u ^ y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	580 if ((ux & uy) < 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	581 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	582 u = octave_int_base<T>::max_val () + signbit (~u);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	583 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	584 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	585 return u;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	586 #else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	587 // We shall carefully avoid anything that may overflow.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	588 T u;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	589 if (y < 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	590 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	591 if (x < octave_int_base<T>::min_val () - y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	592 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	593 u = octave_int_base<T>::min_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	594 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	595 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	596 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	597 u = x + y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	598 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	599 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	600 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	601 if (x > octave_int_base<T>::max_val () - y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	602 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	603 u = octave_int_base<T>::max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	604 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	605 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	606 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	607 u = x + y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	608 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	609
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	610 return u;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	611 #endif
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	612 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	613
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	614 // This is very similar to addition.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	615 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	616 sub (T x, T y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	617 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	618 #ifdef HAVE_FAST_INT_OPS
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	619 // The typecasts do nothing, but they are here to prevent an optimizing
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	620 // compiler from interfering. Also, the signed operations on small types
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	621 // actually return int.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	622 T u = static_cast<UT> (x) - static_cast<UT> (y);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	623 T ux = u ^ x, uy = u ^ ~y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	624 if ((ux & uy) < 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	625 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	626 u = octave_int_base<T>::max_val () + signbit (~u);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	627 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	628 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	629 return u;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	630 #else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	631 // We shall carefully avoid anything that may overflow.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	632 T u;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	633 if (y < 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	634 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	635 if (x > octave_int_base<T>::max_val () + y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	636 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	637 u = octave_int_base<T>::max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	638 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	639 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	640 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	641 u = x - y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	642 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	643 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	644 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	645 if (x < octave_int_base<T>::min_val () + y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	646 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	647 u = octave_int_base<T>::min_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	648 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	649 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	650 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	651 u = x - y;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	652 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	653
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	654 return u;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	655 #endif
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	656 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	657
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	658 // Multiplication is done using promotion to wider integer type. If there is
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	659 // no suitable promotion type, this operation MUST be specialized.
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	660 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	661 mul (T x, T y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	662 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	663 // Promotion type for multiplication (if exists).
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	664 typedef typename query_integer_type<2*sizeof (T), true>::type mptype;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	665 return truncate_int (static_cast<mptype> (x)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	666 * static_cast<mptype> (y));
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	667 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	668
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	669 // Division.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	670 static T
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	671 div (T x, T y)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	672 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	673 T z;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	674 if (y == 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	675 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	676 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	677 if (x < 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	678 z = octave_int_base<T>::min_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	679 else if (x != 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	680 z = octave_int_base<T>::max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	681 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	682 z = 0;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	683 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	684 else if (y < 0)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	685 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	686 // This is a special case that overflows as well.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	687 if (y == -1 && x == octave_int_base<T>::min_val ())
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	688 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	689 octave_int_base<T>::ftrunc = true;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	690 z = octave_int_base<T>::max_val ();
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	691 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	692 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	693 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	694 z = x / y;
8293 ad5bb02d267a workaround missing std::abs(int64_t) in MSVC Jaroslav Hajek <highegg@gmail.com> parents: 8202 diff changeset	695 T w = -octave_int_abs (x % y); // Can't overflow, but std::abs (x) can!
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	696 if (w <= y - w)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	697 z -= 1 - (signbit (x) << 1);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	698 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	699 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	700 else
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	701 {
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	702 z = x / y;
8333 9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	703 // FIXME -- this is a workaround due to MSVC's absence of
9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	704 // std::abs (int64_t). The call to octave_int_abs can't
9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	705 // overflow, but std::abs (x) can!
10312 cbc402e64d83 untabify liboctave header files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	706 T w = octave_int_abs (x % y);
8333 9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	707
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	708 if (w >= y - w)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	709 z += 1 - (signbit (x) << 1);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	710 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	711 return z;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	712 }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	713
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	714 };
6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	715
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	716 #ifdef OCTAVE_INT_USE_LONG_DOUBLE
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	717 // Handle 64-bit multiply using long double
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	718 template <>
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	719 inline int64_t
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	720 octave_int_arith_base<int64_t, true>:: mul (int64_t x, int64_t y)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	721 {
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	722 long double p = static_cast<long double> (x) * static_cast<long double> (y);
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	723 // NOTE: We could maybe do it with a single branch if HAVE_FAST_INT_OPS, but it
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	724 // would require one more runtime conversion, so the question is whether it would
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	725 // really be faster.
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	726 if (p > static_cast<long double> (octave_int_base<int64_t>::max_val ()))
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	727 {
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	728 octave_int_base<int64_t>::ftrunc = true;
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	729 return octave_int_base<int64_t>::max_val ();
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	730 }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	731 else if (p < static_cast<long double> (octave_int_base<int64_t>::min_val ()))
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	732 {
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	733 octave_int_base<int64_t>::ftrunc = true;
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	734 return octave_int_base<int64_t>::min_val ();
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	735 }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	736 else
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	737 return static_cast<int64_t> (p);
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	738 }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	739 #else
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	740 // Special handler for 64-bit integer multiply.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	741 template <>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	742 OCTAVE_API int64_t
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	743 octave_int_arith_base<int64_t, true>::mul (int64_t, int64_t);
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	744 #endif
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	745
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	746 // This class simply selects the proper arithmetics.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	747 template<class T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	748 class octave_int_arith
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	749 : public octave_int_arith_base<T, std::numeric_limits<T>::is_signed>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	750 {};
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	751
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	752 template <class T>
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	753 class
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	754 octave_int : public octave_int_base<T>
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	755 {
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	756 public:
4943 1a499d0c58f5 [project @ 2004-08-31 00:51:31 by jwe] jwe parents: 4920 diff changeset	757 typedef T val_type;
1a499d0c58f5 [project @ 2004-08-31 00:51:31 by jwe] jwe parents: 4920 diff changeset	758
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	759 octave_int (void) : ival () { }
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	760
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	761 octave_int (T i) : ival (i) { }
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	762
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	763 octave_int (double d) : ival (octave_int_base<T>::convert_real (d)) { }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	764
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	765 octave_int (float d) : ival (octave_int_base<T>::convert_real (d)) { }
6402 fe9817a6ee98 [project @ 2007-03-13 02:25:31 by jwe] jwe parents: 6108 diff changeset	766
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	767 #ifdef OCTAVE_INT_USE_LONG_DOUBLE
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	768 octave_int (long double d) : ival (octave_int_base<T>::convert_real (d)) { }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	769 #endif
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	770
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	771 octave_int (bool b) : ival (b) { }
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	772
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	773 template <class U>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	774 octave_int (const U& i) : ival(octave_int_base<T>::truncate_int (i)) { }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	775
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	776 template <class U>
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	777 octave_int (const octave_int<U>& i)
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	778 : ival (octave_int_base<T>::truncate_int (i.value ())) { }
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	779
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	780 octave_int (const octave_int<T>& i) : ival (i.ival) { }
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	781
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	782 octave_int& operator = (const octave_int<T>& i)
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	783 {
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	784 ival = i.ival;
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	785 return *this;
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	786 }
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	787
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	788 T value (void) const { return ival; }
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	789
4949 f6b63ff1119b [project @ 2004-08-31 19:17:44 by jwe] jwe parents: 4943 diff changeset	790 const unsigned char * iptr (void) const
f6b63ff1119b [project @ 2004-08-31 19:17:44 by jwe] jwe parents: 4943 diff changeset	791 { return reinterpret_cast<const unsigned char *> (& ival); }
f6b63ff1119b [project @ 2004-08-31 19:17:44 by jwe] jwe parents: 4943 diff changeset	792
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	793 bool operator ! (void) const { return ! ival; }
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	794
7198 4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	795 bool bool_value (void) const { return static_cast<bool> (value ()); }
4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	796
4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	797 char char_value (void) const { return static_cast<char> (value ()); }
4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	798
4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	799 double double_value (void) const { return static_cast<double> (value ()); }
4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	800
4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	801 float float_value (void) const { return static_cast<float> (value ()); }
4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	802
7177 57d2546ad8d5 [project @ 2007-11-14 22:21:35 by jwe] jwe parents: 7017 diff changeset	803 operator T (void) const { return value (); }
57d2546ad8d5 [project @ 2007-11-14 22:21:35 by jwe] jwe parents: 7017 diff changeset	804
7198 4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	805 // char and bool operators intentionally omitted.
5533 667ad2becb63 [project @ 2005-11-10 21:40:48 by jwe] jwe parents: 5420 diff changeset	806
7198 4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	807 operator double (void) const { return double_value (); }
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	808
7198 4555c116b420 [project @ 2007-11-27 03:06:10 by jwe] jwe parents: 7177 diff changeset	809 operator float (void) const { return float_value (); }
5030 160365410ad4 [project @ 2004-09-24 03:22:23 by jwe] jwe parents: 5029 diff changeset	810
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	811 octave_int<T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	812 operator + () const
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	813 { return *this; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	814
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	815 // unary operators & mappers
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	816 #define OCTAVE_INT_UN_OP(OPNAME,NAME) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	817 inline octave_int<T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	818 OPNAME () const \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	819 { return octave_int_arith<T>::NAME (ival); }
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	820
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	821 OCTAVE_INT_UN_OP(operator -, minus)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	822 OCTAVE_INT_UN_OP(abs, abs)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	823 OCTAVE_INT_UN_OP(signum, signum)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	824
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	825 #undef OCTAVE_INT_UN_OP
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	826
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	827 // Homogeneous binary integer operations.
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	828 #define OCTAVE_INT_BIN_OP(OP, NAME, ARGT) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	829 inline octave_int<T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	830 operator OP (const ARGT& y) const \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	831 { return octave_int_arith<T>::NAME (ival, y); } \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	832 inline octave_int<T>& \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	833 operator OP##= (const ARGT& y) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	834 { \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	835 ival = octave_int_arith<T>::NAME (ival, y); \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	836 return *this; \
4952 bfd57b466752 [project @ 2004-09-01 00:49:05 by jwe] jwe parents: 4949 diff changeset	837 }
bfd57b466752 [project @ 2004-09-01 00:49:05 by jwe] jwe parents: 4949 diff changeset	838
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	839 OCTAVE_INT_BIN_OP(+, add, octave_int<T>)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	840 OCTAVE_INT_BIN_OP(-, sub, octave_int<T>)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	841 OCTAVE_INT_BIN_OP(*, mul, octave_int<T>)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	842 OCTAVE_INT_BIN_OP(/, div, octave_int<T>)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	843 OCTAVE_INT_BIN_OP(<<, lshift, int)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	844 OCTAVE_INT_BIN_OP(>>, rshift, int)
4952 bfd57b466752 [project @ 2004-09-01 00:49:05 by jwe] jwe parents: 4949 diff changeset	845
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	846 #undef OCTAVE_INT_BIN_OP
7503 8c32f95c2639 convert mapper functions to new format David Bateman <dbateman@free.fr> parents: 7198 diff changeset	847
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	848 static octave_int<T> min (void) { return std::numeric_limits<T>::min (); }
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	849 static octave_int<T> max (void) { return std::numeric_limits<T>::max (); }
4906 6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	850
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	851 static int nbits (void) { return std::numeric_limits<T>::digits; }
4909 5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	852
4949 f6b63ff1119b [project @ 2004-08-31 19:17:44 by jwe] jwe parents: 4943 diff changeset	853 static int byte_size (void) { return sizeof(T); }
f6b63ff1119b [project @ 2004-08-31 19:17:44 by jwe] jwe parents: 4943 diff changeset	854
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	855 static const char *type_name ();
7997 2b8952e133c9 implement checked conversions between integers Jaroslav Hajek <highegg@gmail.com> parents: 7922 diff changeset	856
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	857 // The following are provided for convenience.
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	858 static const octave_int zero, one;
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	859
5900 c20eb7330d13 [project @ 2006-07-22 08:31:16 by jwe] jwe parents: 5898 diff changeset	860 // Unsafe. This function exists to support the MEX interface.
c20eb7330d13 [project @ 2006-07-22 08:31:16 by jwe] jwe parents: 5898 diff changeset	861 // You should not use it anywhere else.
c20eb7330d13 [project @ 2006-07-22 08:31:16 by jwe] jwe parents: 5898 diff changeset	862 void mex_get_data (void) const { return const_cast<T > (&ival); }
c20eb7330d13 [project @ 2006-07-22 08:31:16 by jwe] jwe parents: 5898 diff changeset	863
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	864 private:
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	865
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	866 T ival;
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	867 };
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	868
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	869 // No mixed integer binary operations!
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	870
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	871 template <class T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	872 inline bool
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	873 xisnan (const octave_int<T>&)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	874 { return false; }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	875
8333 9238637cb81c style fixes John W. Eaton <jwe@octave.org> parents: 8319 diff changeset	876 // FIXME -- can/should any of these be inline?
7997 2b8952e133c9 implement checked conversions between integers Jaroslav Hajek <highegg@gmail.com> parents: 7922 diff changeset	877
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	878 template <class T>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	879 extern OCTAVE_API octave_int<T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	880 pow (const octave_int<T>&, const octave_int<T>&);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	881
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	882 template <class T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	883 extern OCTAVE_API octave_int<T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	884 pow (const double& a, const octave_int<T>& b);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	885
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	886 template <class T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	887 extern OCTAVE_API octave_int<T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	888 pow (const octave_int<T>& a, const double& b);
7922 935be827eaf8 error for NaN values in & and \| expressions John W. Eaton <jwe@octave.org> parents: 7789 diff changeset	889
935be827eaf8 error for NaN values in & and \| expressions John W. Eaton <jwe@octave.org> parents: 7789 diff changeset	890 template <class T>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	891 extern OCTAVE_API octave_int<T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	892 powf (const float& a, const octave_int<T>& b);
4952 bfd57b466752 [project @ 2004-09-01 00:49:05 by jwe] jwe parents: 4949 diff changeset	893
bfd57b466752 [project @ 2004-09-01 00:49:05 by jwe] jwe parents: 4949 diff changeset	894 template <class T>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	895 extern OCTAVE_API octave_int<T>
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	896 powf (const octave_int<T>& a, const float& b);
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	897
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	898 // Binary relations
4953 7a3a480e8645 [project @ 2004-09-01 21:10:28 by jwe] jwe parents: 4952 diff changeset	899
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	900 #define OCTAVE_INT_CMP_OP(OP, NAME) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	901 template<class T1, class T2> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	902 inline bool \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	903 operator OP (const octave_int<T1>& x, const octave_int<T2>& y) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	904 { return octave_int_cmp_op::op<octave_int_cmp_op::NAME, T1, T2> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	905 (x.value (), y.value ()); }
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	906
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	907 OCTAVE_INT_CMP_OP (<, lt)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	908 OCTAVE_INT_CMP_OP (<=, le)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	909 OCTAVE_INT_CMP_OP (>, gt)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	910 OCTAVE_INT_CMP_OP (>=, ge)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	911 OCTAVE_INT_CMP_OP (==, eq)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	912 OCTAVE_INT_CMP_OP (!=, ne)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	913
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	914 #undef OCTAVE_INT_CMP_OP
4953 7a3a480e8645 [project @ 2004-09-01 21:10:28 by jwe] jwe parents: 4952 diff changeset	915
7a3a480e8645 [project @ 2004-09-01 21:10:28 by jwe] jwe parents: 4952 diff changeset	916 template <class T>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	917 inline std::ostream&
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	918 operator << (std::ostream& os, const octave_int<T>& ival)
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	919 {
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	920 os << ival.value ();
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	921 return os;
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	922 }
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	923
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	924 template <class T>
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	925 inline std::istream&
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	926 operator >> (std::istream& is, octave_int<T>& ival)
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	927 {
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	928 T tmp = 0;
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	929 is >> tmp;
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	930 ival = tmp;
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	931 return is;
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	932 }
bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	933
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	934 // Bitwise operations
7789 82be108cc558 First attempt at single precision tyeps David Bateman <dbateman@free.fr> parents: 7598 diff changeset	935
4906 6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	936 #define OCTAVE_INT_BITCMP_OP(OP) \
6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	937 template <class T> \
6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	938 octave_int<T> \
6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	939 operator OP (const octave_int<T>& x, const octave_int<T>& y) \
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	940 { return x.value () OP y.value (); }
4906 6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	941
6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	942 OCTAVE_INT_BITCMP_OP (&)
6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	943 OCTAVE_INT_BITCMP_OP (\|)
6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	944 OCTAVE_INT_BITCMP_OP (^)
6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	945
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	946 #undef OCTAVE_INT_BITCMP_OP
4906 6754342ef7ad [project @ 2004-06-23 11:11:50 by jwe] jwe parents: 4902 diff changeset	947
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	948 // General bit shift.
4909 5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	949 template <class T>
5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	950 octave_int<T>
4920 b22a7a1db0d5 [project @ 2004-07-27 18:15:25 by jwe] jwe parents: 4919 diff changeset	951 bitshift (const octave_int<T>& a, int n,
10312 cbc402e64d83 untabify liboctave header files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	952 const octave_int<T>& mask = std::numeric_limits<T>::max ())
4909 5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	953 {
5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	954 if (n > 0)
4952 bfd57b466752 [project @ 2004-09-01 00:49:05 by jwe] jwe parents: 4949 diff changeset	955 return (a << n) & mask;
4909 5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	956 else if (n < 0)
4952 bfd57b466752 [project @ 2004-09-01 00:49:05 by jwe] jwe parents: 4949 diff changeset	957 return (a >> -n) & mask;
4909 5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	958 else
8963 d1eab3ddb02d oct-inttypes.h (bitshift): apply mask even if not shifting John W. Eaton <jwe@octave.org> parents: 8950 diff changeset	959 return a & mask;
4909 5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	960 }
5c9e36402f17 [project @ 2004-07-12 17:08:24 by jwe] jwe parents: 4906 diff changeset	961
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	962 typedef octave_int<int8_t> octave_int8;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	963 typedef octave_int<int16_t> octave_int16;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	964 typedef octave_int<int32_t> octave_int32;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	965 typedef octave_int<int64_t> octave_int64;
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	966
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	967 typedef octave_int<uint8_t> octave_uint8;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	968 typedef octave_int<uint16_t> octave_uint16;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	969 typedef octave_int<uint32_t> octave_uint32;
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	970 typedef octave_int<uint64_t> octave_uint64;
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	971
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	972 #define OCTAVE_INT_DOUBLE_BIN_OP0(OP) \
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	973 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	974 inline octave_int<T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	975 operator OP (const octave_int<T>& x, const double& y) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	976 { return octave_int<T> (static_cast<double> (x) OP y); } \
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	977 template <class T> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	978 inline octave_int<T> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	979 operator OP (const double& x, const octave_int<T>& y) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	980 { return octave_int<T> (x OP static_cast<double> (y)); } \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	981
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	982 #ifdef OCTAVE_INT_USE_LONG_DOUBLE
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	983 // Handle mixed op using long double
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	984 #define OCTAVE_INT_DOUBLE_BIN_OP(OP) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	985 OCTAVE_INT_DOUBLE_BIN_OP0(OP) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	986 template <> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	987 inline octave_int64 \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	988 operator OP (const double& x, const octave_int64& y) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	989 { return octave_int64 (x OP static_cast<long double> (y.value ())); } \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	990 template <> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	991 inline octave_uint64 \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	992 operator OP (const double& x, const octave_uint64& y) \
8191 9cb73236e552 fix uint64 mixed operations Jaroslav Hajek <highegg@gmail.com> parents: 8185 diff changeset	993 { return octave_uint64 (x OP static_cast<long double> (y.value ())); } \
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	994 template <> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	995 inline octave_int64 \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	996 operator OP (const octave_int64& x, const double& y) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	997 { return octave_int64 (static_cast<long double> (x.value ()) OP y); } \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	998 template <> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	999 inline octave_uint64 \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1000 operator OP (const octave_uint64& x, const double& y) \
8191 9cb73236e552 fix uint64 mixed operations Jaroslav Hajek <highegg@gmail.com> parents: 8185 diff changeset	1001 { return octave_uint64 (static_cast<long double> (x.value ()) OP y); }
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1002
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1003 #else
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1004 // external handlers
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1005 #define OCTAVE_INT_DOUBLE_BIN_OP(OP) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1006 OCTAVE_INT_DOUBLE_BIN_OP0(OP) \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1007 template <> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1008 OCTAVE_API octave_int64 \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1009 operator OP (const double&, const octave_int64&); \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1010 template <> \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1011 OCTAVE_API octave_uint64 \
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1012 operator OP (const double&, const octave_uint64&); \
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1013 template <> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1014 OCTAVE_API octave_int64 \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1015 operator OP (const octave_int64&, const double&); \
7521 6f10bbb2854a avoid some GCC warnings for unsigned comparisons John W. Eaton <jwe@octave.org> parents: 7503 diff changeset	1016 template <> \
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1017 OCTAVE_API octave_uint64 \
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1018 operator OP (const octave_uint64&, const double&);
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1019
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1020 #endif
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1021
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1022 OCTAVE_INT_DOUBLE_BIN_OP (+)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1023 OCTAVE_INT_DOUBLE_BIN_OP (-)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1024 OCTAVE_INT_DOUBLE_BIN_OP (*)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1025 OCTAVE_INT_DOUBLE_BIN_OP (/)
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1026
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1027 #undef OCTAVE_INT_DOUBLE_BIN_OP0
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1028 #undef OCTAVE_INT_DOUBLE_BIN_OP
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1029
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1030 #define OCTAVE_INT_DOUBLE_CMP_OP(OP,NAME) \
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1031 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1032 inline bool \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1033 operator OP (const octave_int<T>& x, const double& y) \
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1034 { return octave_int_cmp_op::mop<octave_int_cmp_op::NAME> (x.value (), y); } \
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1035 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1036 inline bool \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1037 operator OP (const double& x, const octave_int<T>& y) \
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1038 { return octave_int_cmp_op::mop<octave_int_cmp_op::NAME> (x, y.value ()); }
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1039
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1040 OCTAVE_INT_DOUBLE_CMP_OP (<, lt)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1041 OCTAVE_INT_DOUBLE_CMP_OP (<=, le)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1042 OCTAVE_INT_DOUBLE_CMP_OP (>=, ge)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1043 OCTAVE_INT_DOUBLE_CMP_OP (>, gt)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1044 OCTAVE_INT_DOUBLE_CMP_OP (==, eq)
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1045 OCTAVE_INT_DOUBLE_CMP_OP (!=, ne)
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1046
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1047 #undef OCTAVE_INT_DOUBLE_CMP_OP
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1048
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1049 // Floats are handled by simply converting to doubles.
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1050
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1051 #define OCTAVE_INT_FLOAT_BIN_OP(OP) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1052 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1053 inline octave_int<T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1054 operator OP (const octave_int<T>& x, float y) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1055 { return x OP static_cast<double> (y); } \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1056 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1057 inline octave_int<T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1058 operator OP (float x, const octave_int<T>& y) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1059 { return static_cast<double> (x) OP y; }
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1060
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1061 OCTAVE_INT_FLOAT_BIN_OP (+)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1062 OCTAVE_INT_FLOAT_BIN_OP (-)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1063 OCTAVE_INT_FLOAT_BIN_OP (*)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1064 OCTAVE_INT_FLOAT_BIN_OP (/)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1065
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1066 #undef OCTAVE_INT_FLOAT_BIN_OP
5072 97b62f0c1bee [project @ 2004-11-09 05:51:30 by jwe] jwe parents: 5030 diff changeset	1067
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1068 #define OCTAVE_INT_FLOAT_CMP_OP(OP) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1069 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1070 inline bool \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1071 operator OP (const octave_int<T>& x, const float& y) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1072 { return x OP static_cast<double> (y); } \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1073 template <class T> \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1074 bool \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1075 operator OP (const float& x, const octave_int<T>& y) \
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1076 { return static_cast<double> (x) OP y; }
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	1077
8169 66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1078 OCTAVE_INT_FLOAT_CMP_OP (<)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1079 OCTAVE_INT_FLOAT_CMP_OP (<=)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1080 OCTAVE_INT_FLOAT_CMP_OP (>=)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1081 OCTAVE_INT_FLOAT_CMP_OP (>)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1082 OCTAVE_INT_FLOAT_CMP_OP (==)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1083 OCTAVE_INT_FLOAT_CMP_OP (!=)
66bc6f9b4f72 rewrite integer arithmetics and conversions Jaroslav Hajek <highegg@gmail.com> parents: 8104 diff changeset	1084
8185 69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1085 #undef OCTAVE_INT_FLOAT_CMP_OP
69c5cce38c29 implement 64-bit arithmetics Jaroslav Hajek <highegg@gmail.com> parents: 8169 diff changeset	1086
9743 26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1087 template <class T>
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1088 octave_int<T>
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1089 xmax (const octave_int<T>& x, const octave_int<T>& y)
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1090 {
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1091 const T xv = x.value (), yv = y.value ();
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1092 return octave_int<T> (xv >= yv ? xv : yv);
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1093 }
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1094
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1095 template <class T>
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1096 octave_int<T>
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1097 xmin (const octave_int<T>& x, const octave_int<T>& y)
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1098 {
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1099 const T xv = x.value (), yv = y.value ();
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1100 return octave_int<T> (xv <= yv ? xv : yv);
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1101 }
26abff55f6fe optimize bsxfun for common built-in operations Jaroslav Hajek <highegg@gmail.com> parents: 9648 diff changeset	1102
4902 bd043a433918 [project @ 2004-06-14 18:46:20 by jwe] jwe parents: diff changeset	1103 #endif

Mercurial > hg > octave-nkf

annotate liboctave/oct-inttypes.h @ 10396:a0b51ac0f88a