Changes imported from Abseil "staging" branch:
- 3f758237a43af1f277990492701d26d1153b4d74 Generalize the construction/destruction tests, to prepare... by Greg Falcon <gfalcon@google.com> - 7bea88f74fbac34b0c0b00b8b832a544988b9465 Simplify non intrinsic uint128 multiply. by Alex Strelnikov <strel@google.com> GitOrigin-RevId: 3f758237a43af1f277990492701d26d1153b4d74 Change-Id: Idd9a2df0b90403f10f56bb66d30b76a8ba9f50e7
This commit is contained in:
parent
5a8de8a37e
commit
52a2458965
2 changed files with 11 additions and 26 deletions
|
@ -570,25 +570,14 @@ inline uint128& uint128::operator*=(uint128 other) {
|
||||||
static_cast<unsigned __int128>(other);
|
static_cast<unsigned __int128>(other);
|
||||||
return *this;
|
return *this;
|
||||||
#else // ABSL_HAVE_INTRINSIC128
|
#else // ABSL_HAVE_INTRINSIC128
|
||||||
uint64_t a96 = hi_ >> 32;
|
|
||||||
uint64_t a64 = hi_ & 0xffffffff;
|
|
||||||
uint64_t a32 = lo_ >> 32;
|
uint64_t a32 = lo_ >> 32;
|
||||||
uint64_t a00 = lo_ & 0xffffffff;
|
uint64_t a00 = lo_ & 0xffffffff;
|
||||||
uint64_t b96 = other.hi_ >> 32;
|
|
||||||
uint64_t b64 = other.hi_ & 0xffffffff;
|
|
||||||
uint64_t b32 = other.lo_ >> 32;
|
uint64_t b32 = other.lo_ >> 32;
|
||||||
uint64_t b00 = other.lo_ & 0xffffffff;
|
uint64_t b00 = other.lo_ & 0xffffffff;
|
||||||
// multiply [a96 .. a00] x [b96 .. b00]
|
hi_ = hi_ * other.lo_ + lo_ * other.hi_ + a32 * b32;
|
||||||
// terms higher than c96 disappear off the high side
|
lo_ = a00 * b00;
|
||||||
// terms c96 and c64 are safe to ignore carry bit
|
|
||||||
uint64_t c96 = a96 * b00 + a64 * b32 + a32 * b64 + a00 * b96;
|
|
||||||
uint64_t c64 = a64 * b00 + a32 * b32 + a00 * b64;
|
|
||||||
this->hi_ = (c96 << 32) + c64;
|
|
||||||
this->lo_ = 0;
|
|
||||||
// add terms after this one at a time to capture carry
|
|
||||||
*this += uint128(a32 * b00) << 32;
|
*this += uint128(a32 * b00) << 32;
|
||||||
*this += uint128(a00 * b32) << 32;
|
*this += uint128(a00 * b32) << 32;
|
||||||
*this += a00 * b00;
|
|
||||||
return *this;
|
return *this;
|
||||||
#endif // ABSL_HAVE_INTRINSIC128
|
#endif // ABSL_HAVE_INTRINSIC128
|
||||||
}
|
}
|
||||||
|
|
|
@ -18,6 +18,7 @@
|
||||||
|
|
||||||
#include "absl/base/attributes.h"
|
#include "absl/base/attributes.h"
|
||||||
#include "absl/base/internal/raw_logging.h"
|
#include "absl/base/internal/raw_logging.h"
|
||||||
|
#include "absl/base/thread_annotations.h"
|
||||||
#include "absl/synchronization/mutex.h"
|
#include "absl/synchronization/mutex.h"
|
||||||
#include "absl/synchronization/notification.h"
|
#include "absl/synchronization/notification.h"
|
||||||
|
|
||||||
|
@ -106,24 +107,19 @@ void TestLocals() {
|
||||||
// definitions. We can use this to arrange for tests to be run on these objects
|
// definitions. We can use this to arrange for tests to be run on these objects
|
||||||
// before they are created, and after they are destroyed.
|
// before they are created, and after they are destroyed.
|
||||||
|
|
||||||
class ConstructorTestRunner {
|
using Function = void (*)();
|
||||||
|
|
||||||
|
class OnConstruction {
|
||||||
public:
|
public:
|
||||||
ConstructorTestRunner(absl::Mutex* mutex, absl::CondVar* condvar,
|
explicit OnConstruction(Function fn) { fn(); }
|
||||||
absl::Notification* notification) {
|
|
||||||
RunTests(mutex, condvar, notification);
|
|
||||||
}
|
|
||||||
};
|
};
|
||||||
|
|
||||||
class DestructorTestRunner {
|
class OnDestruction {
|
||||||
public:
|
public:
|
||||||
DestructorTestRunner(absl::Mutex* mutex, absl::CondVar* condvar,
|
explicit OnDestruction(Function fn) : fn_(fn) {}
|
||||||
absl::Notification* notification)
|
~OnDestruction() { fn_(); }
|
||||||
: mutex_(mutex), condvar_(condvar), notification_(notification) {}
|
|
||||||
~DestructorTestRunner() { RunTests(mutex_, condvar_, notification_); }
|
|
||||||
private:
|
private:
|
||||||
absl::Mutex* mutex_;
|
Function fn_;
|
||||||
absl::CondVar* condvar_;
|
|
||||||
absl::Notification* notification_;
|
|
||||||
};
|
};
|
||||||
|
|
||||||
} // namespace
|
} // namespace
|
||||||
|
|
Loading…
Reference in a new issue