Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-24 02:35:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 891070 - IonMonkey: Implement range analysis for nodes with Boolean return types. r=nbp

Browse Source
This commit is contained in:
Dan Gohman 2013-07-10 11:48:28 -07:00
parent 88c825b622
commit 64e5fb6c66
2 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
js/src/ion/RangeAnalysis.cpp
View File

@ -387,6 +387,8 @@ Range::Range(const MDefinition *def)
if (def->type() == MIRType_Int32)
truncate();
else if (def->type() == MIRType_Boolean)
truncateToBoolean();
}
const int64_t RANGE_INF_MAX = (int64_t) JSVAL_INT_MAX + 1;
@ -1491,6 +1493,14 @@ Range::truncate()
set(l, h, false, 32);
}
void
Range::truncateToBoolean()
{
if (isBoolean())
return;
set(0, 1, false, 1);
}
bool
MDefinition::truncate()
{

6
js/src/ion/RangeAnalysis.h
View File

@ -258,6 +258,9 @@ class Range : public TempObject {
inline bool isInt32() const {
return !isLowerInfinite() && !isUpperInfinite();
}
inline bool isBoolean() const {
return lower() >= 0 && upper() <= 1;
}
inline bool hasRoundingErrors() const {
return isDecimal() || exponent() >= MaxTruncatableExponent;
@ -340,6 +343,9 @@ class Range : public TempObject {
// Truncate the range to an Int32 range.
void truncate();
// Truncate the range to a Boolean range.
void truncateToBoolean();
// Set the exponent by using the precise range analysis on the full
// range of Int32 values. This might shrink the exponent after some
// operations.