dart::RangeAnalysis Class Reference

#include <range_analysis.h>

Inheritance diagram for dart::RangeAnalysis:

Public Member Functions
	RangeAnalysis (FlowGraph *flow_graph)
void	Analyze ()
const Range *	GetSmiRange (Value *value) const
const Range *	GetIntRange (Value *value) const
void	AssignRangesRecursively (Definition *defn)
Public Member Functions inherited from dart::ValueObject
	ValueObject ()
	~ValueObject ()

Static Public Member Functions
static bool	IsIntegerDefinition (Definition *defn)

Detailed Description

Definition at line 530 of file range_analysis.h.

Constructor & Destructor Documentation

RangeAnalysis()

dart::RangeAnalysis::RangeAnalysis ( FlowGraph *  flow_graph )

inlineexplicit

Definition at line 532 of file range_analysis.h.

      : flow_graph_(flow_graph),
        smi_range_(Range::Full(RangeBoundary::kRangeBoundarySmi)),
        int64_range_(Range::Full(RangeBoundary::kRangeBoundaryInt64)) {}

Member Function Documentation

Analyze()

void dart::RangeAnalysis::Analyze

(

)

Definition at line 56 of file range_analysis.cc.

                            {
  CollectValues();
  InsertConstraints();
  flow_graph_->GetLoopHierarchy().ComputeInduction();
  InferRanges();
  EliminateRedundantBoundsChecks();
  MarkUnreachableBlocks();
 
  NarrowMintToInt32();
 
  IntegerInstructionSelector iis(flow_graph_);
  iis.Select();
 
  RemoveConstraints();
}

AssignRangesRecursively()

void dart::RangeAnalysis::AssignRangesRecursively

(

Definition *

defn

)

Definition at line 585 of file range_analysis.cc.

                                                            {
  if (!Range::IsUnknown(defn->range())) {
    return;
  }
 
  if (!IsIntegerDefinition(defn)) {
    return;
  }
 
  for (intptr_t i = 0; i < defn->InputCount(); i++) {
    Definition* input_defn = defn->InputAt(i)->definition();
    if (!input_defn->HasSSATemp() || input_defn->IsConstant()) {
      AssignRangesRecursively(input_defn);
    }
  }
 
  Range new_range;
  defn->InferRange(this, &new_range);
  if (!Range::IsUnknown(&new_range)) {
    defn->set_range(new_range);
  }
}

GetIntRange()

const Range * dart::RangeAnalysis::GetIntRange

(

Value *

value

)

const

Definition at line 303 of file range_analysis.cc.

                                                          {
  Definition* defn = value->definition();
  const Range* range = defn->range();
 
  if ((range == nullptr) && !defn->Type()->IsInt()) {
    // Type propagator determined that reaching type for this use is int.
    // However the definition itself is not a int-definition and
    // thus it will never have range assigned to it. Just return the widest
    // range possible for this value.
    // Note: that we can't return nullptr here because it is used as lattice's
    // bottom element to indicate that the range was not computed *yet*.
    return &int64_range_;
  }
 
  return range;
}

GetSmiRange()

const Range * dart::RangeAnalysis::GetSmiRange

(

Value *

value

)

const

Definition at line 282 of file range_analysis.cc.

                                                          {
  Definition* defn = value->definition();
  const Range* range = defn->range();
 
  if ((range == nullptr) && (defn->Type()->ToCid() != kSmiCid)) {
    // Type propagator determined that reaching type for this use is Smi.
    // However the definition itself is not a smi-definition and
    // thus it will never have range assigned to it. Just return the widest
    // range possible for this value.
    // We don't need to handle kMintCid here because all external mints
    // (e.g. results of loads or function call) can be used only after they
    // pass through UnboxInt64Instr which is considered as mint-definition
    // and will have a range assigned to it.
    // Note: that we can't return nullptr here because it is used as lattice's
    // bottom element to indicate that the range was not computed *yet*.
    return &smi_range_;
  }
 
  return range;
}

IsIntegerDefinition()

static bool dart::RangeAnalysis::IsIntegerDefinition ( Definition *  defn )

inlinestatic

Definition at line 548 of file range_analysis.h.

                                                    {
    return defn->Type()->IsInt();
  }

---

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/range_analysis.cc