dart::RangeBoundary Class Reference

#include <range_analysis.h>

Inheritance diagram for dart::RangeBoundary:

Public Types
enum	Kind { FOR_EACH_RANGE_BOUNDARY_KIND =(KIND_DEFN) }
enum	RangeSize {   kRangeBoundarySmi , kRangeBoundaryInt8 , kRangeBoundaryInt16 , kRangeBoundaryInt32 ,   kRangeBoundaryInt64 }

Public Member Functions
	RangeBoundary ()
	RangeBoundary (const RangeBoundary &other)
	RangeBoundary (int64_t val)
RangeBoundary &	operator= (const RangeBoundary &other)
bool	OverflowedSmi () const
bool	Overflowed (RangeBoundary::RangeSize size) const
RangeBoundary	Clamp (RangeSize size) const
bool	IsMinimumOrBelow (RangeSize size) const
bool	IsMaximumOrAbove (RangeSize size) const
intptr_t	kind () const
bool	IsUnknown () const
bool	IsConstant () const
bool	IsSymbol () const
int64_t	ConstantValue () const
Definition *	symbol () const
int64_t	offset () const
RangeBoundary	LowerBound () const
RangeBoundary	UpperBound () const
void	PrintTo (BaseTextBuffer *f) const
const char *	ToCString () const
bool	Equals (const RangeBoundary &other) const
int64_t	UpperBound (RangeSize size) const
int64_t	LowerBound (RangeSize size) const
int64_t	SmiUpperBound () const
int64_t	SmiLowerBound () const
void	Write (FlowGraphSerializer *s) const
	RangeBoundary (FlowGraphDeserializer *d)
Public Member Functions inherited from dart::ValueObject
	ValueObject ()
	~ValueObject ()

Static Public Member Functions
static RangeBoundary	FromConstant (int64_t val)
static RangeBoundary	FromDefinition (Definition *defn, int64_t offs=0)
static bool	IsValidOffsetForSymbolicRangeBoundary (int64_t offset)
static RangeBoundary	MinSmi ()
static RangeBoundary	MaxSmi ()
static RangeBoundary	MinConstant (RangeSize size)
static RangeBoundary	MaxConstant (RangeSize size)
static RangeBoundary	IntersectionMin (RangeBoundary a, RangeBoundary b)
static RangeBoundary	IntersectionMax (RangeBoundary a, RangeBoundary b)
static RangeBoundary	JoinMin (RangeBoundary a, RangeBoundary b, RangeBoundary::RangeSize size)
static RangeBoundary	JoinMax (RangeBoundary a, RangeBoundary b, RangeBoundary::RangeSize size)
static bool	WillAddOverflow (const RangeBoundary &a, const RangeBoundary &b)
static RangeBoundary	Add (const RangeBoundary &a, const RangeBoundary &b)
static bool	WillSubOverflow (const RangeBoundary &a, const RangeBoundary &b)
static RangeBoundary	Sub (const RangeBoundary &a, const RangeBoundary &b)
static bool	WillShlOverflow (const RangeBoundary &a, int64_t shift_count)
static RangeBoundary	Shl (const RangeBoundary &value_boundary, int64_t shift_count)
static RangeBoundary	Shr (const RangeBoundary &value_boundary, int64_t shift_count)
static bool	SymbolicAdd (const RangeBoundary &a, const RangeBoundary &b, RangeBoundary *result)
static bool	SymbolicSub (const RangeBoundary &a, const RangeBoundary &b, RangeBoundary *result)

Static Public Attributes
static constexpr int64_t	kMin = kMinInt64
static constexpr int64_t	kMax = kMaxInt64

Detailed Description

Definition at line 17 of file range_analysis.h.

Member Enumeration Documentation

Kind

enum dart::RangeBoundary::Kind

Enumerator
FOR_EACH_RANGE_BOUNDARY_KIND

Definition at line 25 of file range_analysis.h.

{ FOR_EACH_RANGE_BOUNDARY_KIND(KIND_DEFN) };

RangeSize

enum dart::RangeBoundary::RangeSize

Enumerator
kRangeBoundarySmi
kRangeBoundaryInt8
kRangeBoundaryInt16
kRangeBoundaryInt32
kRangeBoundaryInt64

Definition at line 28 of file range_analysis.h.

                 {
    kRangeBoundarySmi,
    kRangeBoundaryInt8,
    kRangeBoundaryInt16,
    kRangeBoundaryInt32,
    kRangeBoundaryInt64,
  };

Constructor & Destructor Documentation

RangeBoundary() [1/4]

dart::RangeBoundary::RangeBoundary ( )

inline

Definition at line 36 of file range_analysis.h.

: kind_(kUnknown), value_(0), offset_(0) {}

RangeBoundary() [2/4]

dart::RangeBoundary::RangeBoundary ( const RangeBoundary &  other )

inline

Definition at line 38 of file range_analysis.h.

      : ValueObject(),
        kind_(other.kind_),
        value_(other.value_),
        offset_(other.offset_) {}

RangeBoundary() [3/4]

dart::RangeBoundary::RangeBoundary ( int64_t  val )

inlineexplicit

Definition at line 44 of file range_analysis.h.

      : kind_(kConstant), value_(val), offset_(0) {}

RangeBoundary() [4/4]

dart::RangeBoundary::RangeBoundary ( FlowGraphDeserializer *  d )

explicit

Definition at line 2220 of file il_serializer.cc.

    : kind_(static_cast<Kind>(d->Read<int8_t>())),
      value_(d->Read<int64_t>()),
      offset_(d->Read<int64_t>()) {}

Member Function Documentation

Add()

RangeBoundary dart::RangeBoundary::Add ( const RangeBoundary &  a, const RangeBoundary &  b  )

static

Definition at line 1730 of file range_analysis.cc.

                                                         {
  ASSERT(a.IsConstant() && b.IsConstant());
  ASSERT(!WillAddOverflow(a, b));
  const int64_t result = a.ConstantValue() + b.ConstantValue();
  return RangeBoundary::FromConstant(result);
}

Clamp()

RangeBoundary dart::RangeBoundary::Clamp ( RangeSize  size ) const

inline

Definition at line 160 of file range_analysis.h.

                                            {
    if (IsConstant()) {
      const RangeBoundary range_min = RangeBoundary::MinConstant(size);
      const RangeBoundary range_max = RangeBoundary::MaxConstant(size);
 
      if (ConstantValue() <= range_min.ConstantValue()) {
        return range_min;
      }
      if (ConstantValue() >= range_max.ConstantValue()) {
        return range_max;
      }
    }
 
    // If this range is a symbolic range, we do not clamp it.
    // This could lead to some imprecision later on.
    return *this;
  }

ConstantValue()

int64_t dart::RangeBoundary::ConstantValue

(

)

const

Definition at line 2094 of file range_analysis.cc.

                                           {
  ASSERT(IsConstant());
  return value_;
}

Equals()

bool dart::RangeBoundary::Equals

(

const RangeBoundary &

other

)

const

Definition at line 1794 of file range_analysis.cc.

                                                           {
  if (IsConstant() && other.IsConstant()) {
    return ConstantValue() == other.ConstantValue();
  } else if (IsSymbol() && other.IsSymbol()) {
    return (offset() == other.offset()) && DependOnSameSymbol(*this, other);
  } else if (IsUnknown() && other.IsUnknown()) {
    return true;
  }
  return false;
}

FromConstant()

static RangeBoundary dart::RangeBoundary::FromConstant ( int64_t  val )

inlinestatic

Definition at line 58 of file range_analysis.h.

{ return RangeBoundary(val); }

FromDefinition()

RangeBoundary dart::RangeBoundary::FromDefinition ( Definition *  defn, int64_t  offs = 0  )

static

Definition at line 1703 of file range_analysis.cc.

                                                                          {
  if (defn->IsConstant() && defn->AsConstant()->IsSmi()) {
    return FromConstant(Smi::Cast(defn->AsConstant()->value()).Value() + offs);
  }
  ASSERT(IsValidOffsetForSymbolicRangeBoundary(offs));
  return RangeBoundary(kSymbol, reinterpret_cast<intptr_t>(defn), offs);
}

IntersectionMax()

RangeBoundary dart::RangeBoundary::IntersectionMax ( RangeBoundary  a, RangeBoundary  b  )

static

Definition at line 2065 of file range_analysis.cc.

                                                                             {
  ASSERT(!a.IsUnknown() && !b.IsUnknown());
 
  if (a.Equals(b)) {
    return a;
  }
 
  if (a.IsConstant() && b.IsConstant()) {
    return RangeBoundary(Utils::Minimum(a.ConstantValue(), b.ConstantValue()));
  }
 
  if (a.IsMaximumOrAbove(RangeBoundary::kRangeBoundarySmi)) {
    return b;
  } else if (b.IsMaximumOrAbove(RangeBoundary::kRangeBoundarySmi)) {
    return a;
  }
 
  if (CanonicalizeForComparison(
          &a, &b, &CanonicalizeMaxBoundary,
          RangeBoundary::MaxConstant(RangeBoundary::kRangeBoundaryInt64))) {
    return (a.offset() <= b.offset()) ? a : b;
  }
 
  const int64_t sup_a = a.SmiUpperBound();
  const int64_t sup_b = b.SmiUpperBound();
 
  return (sup_a <= sup_b) ? a : b;
}

IntersectionMin()

RangeBoundary dart::RangeBoundary::IntersectionMin ( RangeBoundary  a, RangeBoundary  b  )

static

Definition at line 2036 of file range_analysis.cc.

                                                                             {
  ASSERT(!a.IsUnknown() && !b.IsUnknown());
 
  if (a.Equals(b)) {
    return a;
  }
 
  if (a.IsConstant() && b.IsConstant()) {
    return RangeBoundary(Utils::Maximum(a.ConstantValue(), b.ConstantValue()));
  }
 
  if (a.IsMinimumOrBelow(RangeBoundary::kRangeBoundarySmi)) {
    return b;
  } else if (b.IsMinimumOrBelow(RangeBoundary::kRangeBoundarySmi)) {
    return a;
  }
 
  if (CanonicalizeForComparison(
          &a, &b, &CanonicalizeMinBoundary,
          RangeBoundary::MinConstant(RangeBoundary::kRangeBoundaryInt64))) {
    return (a.offset() >= b.offset()) ? a : b;
  }
 
  const int64_t inf_a = a.SmiLowerBound();
  const int64_t inf_b = b.SmiLowerBound();
 
  return (inf_a >= inf_b) ? a : b;
}

IsConstant()

bool dart::RangeBoundary::IsConstant ( ) const

inline

Definition at line 192 of file range_analysis.h.

{ return kind_ == kConstant; }

IsMaximumOrAbove()

bool dart::RangeBoundary::IsMaximumOrAbove ( RangeSize  size ) const

inline

Definition at line 183 of file range_analysis.h.

                                              {
    return IsConstant() && (ConstantValue() >=
                            RangeBoundary::MaxConstant(size).ConstantValue());
  }

IsMinimumOrBelow()

bool dart::RangeBoundary::IsMinimumOrBelow ( RangeSize  size ) const

inline

Definition at line 178 of file range_analysis.h.

                                              {
    return IsConstant() && (ConstantValue() <=
                            RangeBoundary::MinConstant(size).ConstantValue());
  }

IsSymbol()

bool dart::RangeBoundary::IsSymbol ( ) const

inline

Definition at line 193 of file range_analysis.h.

{ return kind_ == kSymbol; }

IsUnknown()

bool dart::RangeBoundary::IsUnknown ( ) const

inline

Definition at line 191 of file range_analysis.h.

{ return kind_ == kUnknown; }

IsValidOffsetForSymbolicRangeBoundary()

static bool dart::RangeBoundary::IsValidOffsetForSymbolicRangeBoundary ( int64_t  offset )

inlinestatic

Definition at line 63 of file range_analysis.h.

                                                                    {
    if ((offset > (kMaxInt64 - compiler::target::kSmiMax)) ||
        (offset < (kMinInt64 - compiler::target::kSmiMin))) {
      // Avoid creating symbolic range boundaries which can wrap around.
      return false;
    }
    return true;
  }

JoinMax()

RangeBoundary dart::RangeBoundary::JoinMax ( RangeBoundary  a, RangeBoundary  b, RangeBoundary::RangeSize  size  )

static

Definition at line 2009 of file range_analysis.cc.

                                                                  {
  if (a.Equals(b)) {
    return b;
  }
 
  if (CanonicalizeForComparison(
          &a, &b, &CanonicalizeMaxBoundary,
          RangeBoundary::MaxConstant(RangeBoundary::kRangeBoundaryInt64))) {
    return (a.offset() >= b.offset()) ? a : b;
  }
 
  const int64_t inf_a = a.LowerBound(size);
  const int64_t inf_b = b.LowerBound(size);
  const int64_t sup_a = a.UpperBound(size);
  const int64_t sup_b = b.UpperBound(size);
 
  if ((sup_a <= inf_b) && !b.UpperBound().Overflowed(size)) {
    return b;
  } else if ((sup_b <= inf_a) && !a.UpperBound().Overflowed(size)) {
    return a;
  } else {
    return RangeBoundary::FromConstant(Utils::Maximum(sup_a, sup_b));
  }
}

JoinMin()

RangeBoundary dart::RangeBoundary::JoinMin ( RangeBoundary  a, RangeBoundary  b, RangeBoundary::RangeSize  size  )

static

Definition at line 1983 of file range_analysis.cc.

                                                                  {
  if (a.Equals(b)) {
    return b;
  }
 
  if (CanonicalizeForComparison(&a, &b, &CanonicalizeMinBoundary,
                                RangeBoundary::MinConstant(size))) {
    return (a.offset() <= b.offset()) ? a : b;
  }
 
  const int64_t inf_a = a.LowerBound(size);
  const int64_t inf_b = b.LowerBound(size);
  const int64_t sup_a = a.UpperBound(size);
  const int64_t sup_b = b.UpperBound(size);
 
  if ((sup_a <= inf_b) && !a.LowerBound().Overflowed(size)) {
    return a;
  } else if ((sup_b <= inf_a) && !b.LowerBound().Overflowed(size)) {
    return b;
  } else {
    return RangeBoundary::FromConstant(Utils::Minimum(inf_a, inf_b));
  }
}

kind()

intptr_t dart::RangeBoundary::kind ( ) const

inline

Definition at line 188 of file range_analysis.h.

{ return kind_; }

LowerBound() [1/2]

RangeBoundary dart::RangeBoundary::LowerBound

(

)

const

Definition at line 1711 of file range_analysis.cc.

                                              {
  if (IsConstant()) return *this;
  return Add(Range::ConstantMinSmi(symbol()->range()),
             RangeBoundary::FromConstant(offset_));
}

LowerBound() [2/2]

int64_t dart::RangeBoundary::LowerBound ( RangeSize  size ) const

inline

Definition at line 257 of file range_analysis.h.

                                           {
    return LowerBound().Clamp(size).ConstantValue();
  }

MaxConstant()

static RangeBoundary dart::RangeBoundary::MaxConstant ( RangeSize  size )

inlinestatic

Definition at line 100 of file range_analysis.h.

                                                   {
    switch (size) {
      case kRangeBoundarySmi:
        return FromConstant(compiler::target::kSmiMax);
      case kRangeBoundaryInt8:
        return FromConstant(kMaxInt8);
      case kRangeBoundaryInt16:
        return FromConstant(kMaxInt16);
      case kRangeBoundaryInt32:
        return FromConstant(kMaxInt32);
      case kRangeBoundaryInt64:
        return FromConstant(kMaxInt64);
    }
    UNREACHABLE();
    return FromConstant(kMaxInt64);
  }

MaxSmi()

static RangeBoundary dart::RangeBoundary::MaxSmi ( )

inlinestatic

Definition at line 78 of file range_analysis.h.

                                {
    return FromConstant(compiler::target::kSmiMax);
  }

MinConstant()

static RangeBoundary dart::RangeBoundary::MinConstant ( RangeSize  size )

inlinestatic

Definition at line 83 of file range_analysis.h.

                                                   {
    switch (size) {
      case kRangeBoundarySmi:
        return FromConstant(compiler::target::kSmiMin);
      case kRangeBoundaryInt8:
        return FromConstant(kMinInt8);
      case kRangeBoundaryInt16:
        return FromConstant(kMinInt16);
      case kRangeBoundaryInt32:
        return FromConstant(kMinInt32);
      case kRangeBoundaryInt64:
        return FromConstant(kMinInt64);
    }
    UNREACHABLE();
    return FromConstant(kMinInt64);
  }

MinSmi()

static RangeBoundary dart::RangeBoundary::MinSmi ( )

inlinestatic

Definition at line 73 of file range_analysis.h.

                                {
    return FromConstant(compiler::target::kSmiMin);
  }

offset()

int64_t dart::RangeBoundary::offset ( ) const

inline

Definition at line 205 of file range_analysis.h.

{ return offset_; }

operator=()

RangeBoundary & dart::RangeBoundary::operator= ( const RangeBoundary &  other )

inline

Definition at line 47 of file range_analysis.h.

                                                       {
    kind_ = other.kind_;
    value_ = other.value_;
    offset_ = other.offset_;
    return *this;
  }

Overflowed()

bool dart::RangeBoundary::Overflowed ( RangeBoundary::RangeSize  size ) const

inline

Definition at line 154 of file range_analysis.h.

                                                     {
    ASSERT(IsConstant());
    return !Equals(Clamp(size));
  }

OverflowedSmi()

bool dart::RangeBoundary::OverflowedSmi ( ) const

inline

Definition at line 150 of file range_analysis.h.

                             {
    return IsConstant() && !compiler::target::IsSmi(ConstantValue());
  }

PrintTo()

void dart::RangeBoundary::PrintTo

(

BaseTextBuffer *

f

)

const

Shl()

RangeBoundary dart::RangeBoundary::Shl ( const RangeBoundary &  value_boundary, int64_t  shift_count  )

static

Definition at line 1817 of file range_analysis.cc.

                                                      {
  ASSERT(value_boundary.IsConstant());
  ASSERT(!WillShlOverflow(value_boundary, shift_count));
  ASSERT(shift_count >= 0);
  int64_t value = value_boundary.ConstantValue();
 
  if (value == 0) {
    return RangeBoundary::FromConstant(0);
  } else {
    // Result stays in 64 bit range.
    const int64_t result = static_cast<uint64_t>(value) << shift_count;
    return RangeBoundary(result);
  }
}

Shr()

RangeBoundary dart::RangeBoundary::Shr ( const RangeBoundary &  value_boundary, int64_t  shift_count  )

static

Definition at line 1833 of file range_analysis.cc.

                                                      {
  ASSERT(value_boundary.IsConstant());
  ASSERT(shift_count >= 0);
  const int64_t value = static_cast<int64_t>(value_boundary.ConstantValue());
  const int64_t result = (shift_count <= 63)
                             ? (value >> shift_count)
                             : (value >= 0 ? 0 : -1);  // Dart semantics
  return RangeBoundary(result);
}

SmiLowerBound()

int64_t dart::RangeBoundary::SmiLowerBound ( ) const

inline

Definition at line 263 of file range_analysis.h.

{ return LowerBound(kRangeBoundarySmi); }

SmiUpperBound()

int64_t dart::RangeBoundary::SmiUpperBound ( ) const

inline

Definition at line 261 of file range_analysis.h.

{ return UpperBound(kRangeBoundarySmi); }

Sub()

RangeBoundary dart::RangeBoundary::Sub ( const RangeBoundary &  a, const RangeBoundary &  b  )

static

Definition at line 1744 of file range_analysis.cc.

                                                         {
  ASSERT(a.IsConstant() && b.IsConstant());
  ASSERT(!WillSubOverflow(a, b));
  const int64_t result = a.ConstantValue() - b.ConstantValue();
  return RangeBoundary::FromConstant(result);
}

symbol()

Definition * dart::RangeBoundary::symbol ( ) const

inline

Definition at line 199 of file range_analysis.h.

                             {
    ASSERT(IsSymbol());
    return reinterpret_cast<Definition*>(value_);
  }

SymbolicAdd()

bool dart::RangeBoundary::SymbolicAdd ( const RangeBoundary &  a, const RangeBoundary &  b, RangeBoundary *  result  )

static

Definition at line 1752 of file range_analysis.cc.

                                                       {
  if (a.IsSymbol() && b.IsConstant()) {
    if (Utils::WillAddOverflow(a.offset(), b.ConstantValue())) {
      return false;
    }
 
    const int64_t offset = a.offset() + b.ConstantValue();
 
    if (!IsValidOffsetForSymbolicRangeBoundary(offset)) {
      return false;
    }
 
    *result = RangeBoundary::FromDefinition(a.symbol(), offset);
    return true;
  } else if (b.IsSymbol() && a.IsConstant()) {
    return SymbolicAdd(b, a, result);
  }
  return false;
}

SymbolicSub()

bool dart::RangeBoundary::SymbolicSub ( const RangeBoundary &  a, const RangeBoundary &  b, RangeBoundary *  result  )

static

Definition at line 1774 of file range_analysis.cc.

                                                       {
  if (a.IsSymbol() && b.IsConstant()) {
    if (Utils::WillSubOverflow(a.offset(), b.ConstantValue())) {
      return false;
    }
 
    const int64_t offset = a.offset() - b.ConstantValue();
 
    if (!IsValidOffsetForSymbolicRangeBoundary(offset)) {
      return false;
    }
 
    *result = RangeBoundary::FromDefinition(a.symbol(), offset);
    return true;
  }
  return false;
}

ToCString()

const char * dart::RangeBoundary::ToCString

(

)

const

UpperBound() [1/2]

RangeBoundary dart::RangeBoundary::UpperBound

(

)

const

Definition at line 1717 of file range_analysis.cc.

                                              {
  if (IsConstant()) return *this;
 
  return Add(Range::ConstantMaxSmi(symbol()->range()),
             RangeBoundary::FromConstant(offset_));
}

UpperBound() [2/2]

int64_t dart::RangeBoundary::UpperBound ( RangeSize  size ) const

inline

Definition at line 253 of file range_analysis.h.

                                           {
    return UpperBound().Clamp(size).ConstantValue();
  }

WillAddOverflow()

bool dart::RangeBoundary::WillAddOverflow ( const RangeBoundary &  a, const RangeBoundary &  b  )

static

Definition at line 1724 of file range_analysis.cc.

                                                            {
  ASSERT(a.IsConstant() && b.IsConstant());
  return Utils::WillAddOverflow(a.ConstantValue(), b.ConstantValue());
}

WillShlOverflow()

bool dart::RangeBoundary::WillShlOverflow ( const RangeBoundary &  a, int64_t  shift_count  )

static

Definition at line 1805 of file range_analysis.cc.

                                                         {
  ASSERT(value_boundary.IsConstant());
  ASSERT(shift_count >= 0);
  const int64_t value = value_boundary.ConstantValue();
  if (value == 0) {
    return false;
  }
  return (shift_count >= kBitsPerInt64) ||
         !Utils::IsInt(static_cast<int>(kBitsPerInt64 - shift_count), value);
}

WillSubOverflow()

bool dart::RangeBoundary::WillSubOverflow ( const RangeBoundary &  a, const RangeBoundary &  b  )

static

Definition at line 1738 of file range_analysis.cc.

                                                            {
  ASSERT(a.IsConstant() && b.IsConstant());
  return Utils::WillSubOverflow(a.ConstantValue(), b.ConstantValue());
}

Write()

void dart::RangeBoundary::Write

(

FlowGraphSerializer *

s

)

const

Definition at line 2214 of file il_serializer.cc.

                                                      {
  s->Write<int8_t>(kind_);
  s->Write<int64_t>(value_);
  s->Write<int64_t>(offset_);
}

Member Data Documentation

kMax

constexpr int64_t dart::RangeBoundary::kMax = kMaxInt64

staticconstexpr

Definition at line 55 of file range_analysis.h.

kMin

constexpr int64_t dart::RangeBoundary::kMin = kMinInt64

staticconstexpr

Definition at line 54 of file range_analysis.h.

---

The documentation for this class was generated from the following files:

• third_party/dart-lang/sdk/runtime/vm/compiler/backend/range_analysis.h
• third_party/dart-lang/sdk/runtime/vm/compiler/backend/il_serializer.cc
• third_party/dart-lang/sdk/runtime/vm/compiler/backend/range_analysis.cc