Changeset fd68165 in git for factory/imm.h
- Timestamp:
- Nov 7, 2013, 6:42:08 PM (9 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- bebd13f12467d52870735cd4cfae940241fef019
- Parents:
- 4a4593a9cc860e3c2819808ef08faab1b9a48009
- git-author:
- Janko Boehm <boehm@mathematik.uni-kl.de>2013-11-07 18:42:08+01:00
- git-committer:
- Janko Boehm <boehm@mathematik.uni-kl.de>2013-11-07 18:46:02+01:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/imm.h
r4a4593a rfd68165 33 33 34 34 /* define type of your compilers 64 bit integer type */ 35 #ifndef INT6436 #define INT64 long long int35 #ifndef FACTORY_INT64 36 #define FACTORY_INT64 long long int 37 37 #endif 38 38 … … 46 46 47 47 #if defined(WINNT) && ! defined(__GNUC__) 48 const INT64 MINIMMEDIATELL = -268435454i64;49 const INT64 MAXIMMEDIATELL = 268435454i64;48 const FACTORY_INT64 MINIMMEDIATELL = -268435454i64; 49 const FACTORY_INT64 MAXIMMEDIATELL = 268435454i64; 50 50 #else 51 const INT64 MINIMMEDIATELL = -268435454LL;52 const INT64 MAXIMMEDIATELL = 268435454LL;51 const FACTORY_INT64 MINIMMEDIATELL = -268435454LL; 52 const FACTORY_INT64 MAXIMMEDIATELL = 268435454LL; 53 53 #endif 54 54 … … 303 303 long b = imm2int( rhs ); 304 304 int sa= 1; 305 unsigned INT64 aa, bb;305 unsigned FACTORY_INT64 aa, bb; 306 306 if (a < 0) 307 307 { 308 308 sa= -1; 309 aa= (unsigned INT64) (-a);310 } 311 else 312 aa= (unsigned INT64) a;309 aa= (unsigned FACTORY_INT64) (-a); 310 } 311 else 312 aa= (unsigned FACTORY_INT64) a; 313 313 if (b < 0) 314 314 { 315 315 sa= -sa; 316 bb= (unsigned INT64) (-b);317 } 318 else 319 bb= (unsigned INT64) b;320 unsigned INT64 result = aa*bb;316 bb= (unsigned FACTORY_INT64) (-b); 317 } 318 else 319 bb= (unsigned FACTORY_INT64) b; 320 unsigned FACTORY_INT64 result = aa*bb; 321 321 #if SIZEOF_LONG == 4 322 if (result>(unsigned INT64)MAXIMMEDIATE)322 if (result>(unsigned FACTORY_INT64)MAXIMMEDIATE) 323 323 { 324 324 InternalCF * res = CFFactory::basic( IntegerDomain, a, true ); … … 326 326 } 327 327 #else 328 if ( ( a!=0L ) && ((result/aa!=bb) || (result>(unsigned INT64) MAXIMMEDIATE) ))328 if ( ( a!=0L ) && ((result/aa!=bb) || (result>(unsigned FACTORY_INT64) MAXIMMEDIATE) )) 329 329 { 330 330 InternalCF * res = CFFactory::basic( IntegerDomain, a, true );
Note: See TracChangeset
for help on using the changeset viewer.