call_specializer.h File Reference

#include "vm/compiler/backend/flow_graph.h"
#include "vm/compiler/backend/il.h"

Go to the source code of this file.

Classes
class	dart::CallSpecializer
struct	dart::CallSpecializer::ExactnessInfo
class	dart::TypedDataSpecializer

Namespaces
namespace	dart

Macros
#define	PUBLIC_TYPED_DATA_CLASS_LIST(V)
#define	ALLOCATE_HANDLE(iface, member_name, type, cid)    member_name(AbstractType::Handle(zone_)),
#define	DEF_HANDLE(iface, member_name, type, cid)   AbstractType& member_name;

Macro Definition Documentation

ALLOCATE_HANDLE

#define ALLOCATE_HANDLE	(		iface,
			member_name,
			type,
			cid
	)		member_name(AbstractType::Handle(zone_)),

DEF_HANDLE

#define DEF_HANDLE	(		iface,
			member_name,
			type,
			cid
	)		AbstractType& member_name;

Definition at line 309 of file call_specializer.h.

PUBLIC_TYPED_DATA_CLASS_LIST

#define PUBLIC_TYPED_DATA_CLASS_LIST

(

V

)

Value:

  V(Int8List, int8_list_type_, int_type_, kTypedDataInt8ArrayCid)              \
  V(Uint8List, uint8_list_type_, int_type_, kTypedDataUint8ArrayCid)           \
  V(Uint8ClampedList, uint8_clamped_type_, int_type_,                          \
    kTypedDataUint8ClampedArrayCid)                                            \
  V(Int16List, int16_list_type_, int_type_, kTypedDataInt16ArrayCid)           \
  V(Uint16List, uint16_list_type_, int_type_, kTypedDataUint16ArrayCid)        \
  V(Int32List, int32_list_type_, int_type_, kTypedDataInt32ArrayCid)           \
  V(Uint32List, uint32_list_type_, int_type_, kTypedDataUint32ArrayCid)        \
  V(Int64List, int64_list_type_, int_type_, kTypedDataInt64ArrayCid)           \
  V(Uint64List, uint64_list_type_, int_type_, kTypedDataUint64ArrayCid)        \
  V(Float32List, float32_list_type_, double_type_, kTypedDataFloat32ArrayCid)  \
  V(Float64List, float64_list_type_, double_type_, kTypedDataFloat64ArrayCid)

Definition at line 218 of file call_specializer.h.

                           : public FlowGraphVisitor {
 public:
  static void Optimize(FlowGraph* flow_graph);
 
  virtual void VisitInstanceCall(InstanceCallInstr* instr);
  virtual void VisitStaticCall(StaticCallInstr* instr);
 
 private:
  // clang-format off
  explicit TypedDataSpecializer(FlowGraph* flow_graph)
      : FlowGraphVisitor(flow_graph->reverse_postorder()),
        thread_(Thread::Current()),
        zone_(thread_->zone()),
        flow_graph_(flow_graph),
#define ALLOCATE_HANDLE(iface, member_name, type, cid)                         \
        member_name(AbstractType::Handle(zone_)),
        PUBLIC_TYPED_DATA_CLASS_LIST(ALLOCATE_HANDLE)
#undef INIT_HANDLE
        int_type_(AbstractType::Handle()),
        double_type_(AbstractType::Handle()),
        implementor_(Class::Handle()) {
  }
  // clang-format on
 
  void EnsureIsInitialized();
  void TryInlineCall(TemplateDartCall<0>* call);
  void ReplaceWithLengthGetter(TemplateDartCall<0>* call);
  void ReplaceWithIndexGet(TemplateDartCall<0>* call, classid_t cid);
  void ReplaceWithIndexSet(TemplateDartCall<0>* call, classid_t cid);
  void AppendNullCheck(TemplateDartCall<0>* call, Definition** array);
  void AppendMutableCheck(TemplateDartCall<0>* call, Definition** array);
  void AppendBoundsCheck(TemplateDartCall<0>* call,
                         Definition* array,
                         Definition** index);
  Definition* AppendLoadLength(TemplateDartCall<0>* call, Definition* array);
  Definition* AppendLoadIndexed(TemplateDartCall<0>* call,
                                Definition* array,
                                Definition* index,
                                classid_t cid);
  void AppendStoreIndexed(TemplateDartCall<0>* call,
                          Definition* array,
                          Definition* index,
                          Definition* value,
                          classid_t cid);
 
  Zone* zone() const { return zone_; }
 
  Thread* thread_;
  Zone* zone_;
  FlowGraph* flow_graph_;
  bool initialized_ = false;
 
#define DEF_HANDLE(iface, member_name, type, cid) AbstractType& member_name;
  PUBLIC_TYPED_DATA_CLASS_LIST(DEF_HANDLE)
#undef DEF_HANDLE
 
  AbstractType& int_type_;
  AbstractType& double_type_;
  Class& implementor_;
};
 
}  // namespace dart
 
#endif  // RUNTIME_VM_COMPILER_CALL_SPECIALIZER_H_