RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 19:23:23 +01:00
Code Issues Projects Releases Wiki Activity

[ValueLattice] Add move constructor (NFC)

Browse Source 
Following the rule of five, declare move constructor and move
assignment operator for ValueLatticeElement. This allows moving
the ConstantRange rather than copying it.

This does not matter in most cases, where we're dealing with
APInts <= 64 bits. It does avoid unnecessary copies of allocations
for larger APInts.

Additionally we change the implementation approach to make the
copy/move assignment operators make use of the copy/move constructors,
rather than the other way around. The constructors are the more
primitive operations.

Differential Revision: https://reviews.llvm.org/D78425
This commit is contained in:
Nikita Popov 2020-04-17 19:15:01 +02:00
parent 4f91b71a8c
commit bcce10ae54
1 changed files with 51 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

89
include/llvm/Analysis/ValueLattice.h
View File

@ -87,6 +87,22 @@ class ValueLatticeElement {
ConstantRange Range;
};
/// Destroy contents of lattice value, without destructing the object.
void destroy() {
switch (Tag) {
case overdefined:
case unknown:
case undef:
case constant:
case notconstant:
break;
case constantrange_including_undef:
case constantrange:
Range.~ConstantRange();
break;
};
}
public:
/// Struct to control some aspects related to merging constant ranges.
struct MergeOptions {
@ -113,47 +129,16 @@ public:
}
};
// Const and Range are initialized on-demand.
// ConstVal and Range are initialized on-demand.
ValueLatticeElement() : Tag(unknown) {}
/// Custom destructor to ensure Range is properly destroyed, when the object
/// is deallocated.
~ValueLatticeElement() {
switch (Tag) {
case overdefined:
case unknown:
case undef:
case constant:
case notconstant:
break;
case constantrange_including_undef:
case constantrange:
Range.~ConstantRange();
break;
};
}
/// Custom copy constructor, to ensure Range gets initialized when
/// copying a constant range lattice element.
ValueLatticeElement(const ValueLatticeElement &Other) : Tag(unknown) {
*this = Other;
}
/// Custom assignment operator, to ensure Range gets initialized when
/// assigning a constant range lattice element.
ValueLatticeElement &operator=(const ValueLatticeElement &Other) {
// If we change the state of this from constant range to non constant range,
// destroy Range.
if (isConstantRange() && !Other.isConstantRange())
Range.~ConstantRange();
~ValueLatticeElement() { destroy(); }
ValueLatticeElement(const ValueLatticeElement &Other) : Tag(Other.Tag) {
switch (Other.Tag) {
case constantrange:
case constantrange_including_undef:
if (!isConstantRange())
new (&Range) ConstantRange(Other.Range);
else
Range = Other.Range;
new (&Range) ConstantRange(Other.Range);
NumRangeExtensions = Other.NumRangeExtensions;
break;
case constant:
@ -165,7 +150,36 @@ public:
case undef:
break;
}
Tag = Other.Tag;
}
ValueLatticeElement(ValueLatticeElement &&Other) : Tag(Other.Tag) {
switch (Other.Tag) {
case constantrange:
case constantrange_including_undef:
new (&Range) ConstantRange(std::move(Other.Range));
NumRangeExtensions = Other.NumRangeExtensions;
break;
case constant:
case notconstant:
ConstVal = Other.ConstVal;
break;
case overdefined:
case unknown:
case undef:
break;
}
Other.Tag = unknown;
}
ValueLatticeElement &operator=(const ValueLatticeElement &Other) {
destroy();
new (this) ValueLatticeElement(Other);
return *this;
}
ValueLatticeElement &operator=(ValueLatticeElement &&Other) {
destroy();
new (this) ValueLatticeElement(std::move(Other));
return *this;
}
@ -249,8 +263,7 @@ public:
bool markOverdefined() {
if (isOverdefined())
return false;
if (isConstantRange())
Range.~ConstantRange();
destroy();
Tag = overdefined;
return true;
}