Public Member Functions | Protected Member Functions | Private Member Functions | Private Attributes

WN_Verifier Class Reference

Collaboration diagram for WN_Verifier:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 WN_Verifier (WN *wn)
 ~WN_Verifier ()
BOOL WN_traverse_tree (WN *wn, WN *parent_wn)

Protected Member Functions

BOOL Is_WHIRL_tree (WN *wn, WN *parent)
BOOL CALL_parent_LDID (WN *wn, WN *parent_wn)
BOOL Proper_Block_Structure (WN *wn, OPCODE op)
BOOL Param_parent_is_Call (WN *wn, WN *parent_wn)
BOOL Call_children_are_PARM (WN *wn)
BOOL Is_legal_wn_opcode (OPCODE opc)
BOOL LDA_ty_not_NULL (WN *wn)
BOOL STID_check_st_class (WN *wn)
BOOL TY_is_not_NULL (WN *wn, OPCODE op)
BOOL ST_is_not_NULL (WN *wn, OPCODE op)
BOOL Load_addr_TY_is_not_NULL (WN *wn, OPCODE op)
BOOL Are_enclosed_pragmas (WN *wn, WN *parent_wn)
BOOL Field_id_valid (WN *wn)

Private Member Functions

BOOL Is_return_register_of_call (WN *call_wn, PREG_NUM preg)
WN * One_level_removed_node (WN *parent_wn, OPERATOR opr)
BOOL Is_dedicated_return_register (WN_OFFSET preg)

Private Attributes

MEM_POOL _mem_pool
WN_MAP _map
BOOL _is_tree_OK
WN * _func
stack< pragma_stack_type > _pragma_stack

Detailed Description

Definition at line 175 of file wn_verifier.cxx.

Constructor & Destructor Documentation

WN_Verifier::WN_Verifier ( WN *  wn  ) 

Definition at line 230 of file wn_verifier.cxx.

References _func, _is_tree_OK, _map, _mem_pool, FALSE, MEM_POOL_Initialize, MEM_POOL_Push, OPR_FUNC_ENTRY, WN_MAP_Create, and WN_operator().

Here is the call graph for this function:

WN_Verifier::~WN_Verifier ( void   ) 

Definition at line 249 of file wn_verifier.cxx.

References _map, _mem_pool, MEM_POOL_Delete(), MEM_POOL_Pop, and WN_MAP_Delete.

Here is the call graph for this function:

Member Function Documentation

BOOL WN_Verifier::Are_enclosed_pragmas ( WN *  wn,
WN *  parent_wn 
) [protected]

Definition at line 913 of file wn_verifier.cxx.

References _pragma_stack, DevWarn(), NUM_PRAGMAS_SUPPORTED, pragma_stack_type::parent_wn, pragma_stack_type::pragma_id, pragma_mapped_ids::pragma_starting_id, pragmas_supported, Verifier_DEBUG, and WN_pragma().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::Call_children_are_PARM ( WN *  wn  )  [protected]

Definition at line 694 of file wn_verifier.cxx.

References DevWarn(), OPCODE_name(), OPCODE_operator(), OPR_CALL, OPR_ICALL, OPR_INTRINSIC_CALL, OPR_INTRINSIC_OP, OPR_IO, OPR_IO_ITEM, OPR_PARM, OPR_PICCALL, WN_kid(), WN_kid_count(), and WN_opcode().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::CALL_parent_LDID ( WN *  wn,
WN *  parent_wn 
) [protected]

Definition at line 529 of file wn_verifier.cxx.

References _func, CLASS_PREG, DevWarn(), Is_dedicated_return_register(), Is_return_register_of_call(), NULL, One_level_removed_node(), OPCODE_operator(), OPR_CALL, OPR_ICALL, OPR_INTRINSIC_CALL, OPR_INTRINSIC_OP, OPR_IO, OPR_LDID, OPR_PICCALL, OPR_STID, PU_is_nested_func(), Pu_Table, ST_class(), ST_pu(), Verifier_DEBUG, WN_offset(), WN_opcode(), WN_operator(), WN_prev(), and WN_st().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::Field_id_valid ( WN *  wn  )  [protected]

Definition at line 979 of file wn_verifier.cxx.

References Is_True, KIND_POINTER, KIND_STRUCT, MTYPE_byte_size, MTYPE_M, OPR_INTCONST, OPR_ISTORE, OPR_MLOAD, OPR_MSTORE, TY_kind(), TY_pointed(), TY_size(), Ty_Table, WN_const_val(), WN_desc(), WN_field_id(), WN_kid1(), WN_kid2(), WN_operator(), and WN_ty().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::Is_dedicated_return_register ( WN_OFFSET  preg  )  [private]

Definition at line 444 of file wn_verifier.cxx.

Referenced by CALL_parent_LDID(), and STID_check_st_class().

BOOL WN_Verifier::Is_legal_wn_opcode ( OPCODE  opc  )  [protected]

Definition at line 765 of file wn_verifier.cxx.

References DevWarn(), OPCODE_FIRST, OPCODE_LAST, and OPCODE_name().

Referenced by Is_WHIRL_tree(), and WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::Is_return_register_of_call ( WN *  call_wn,
PREG_NUM  preg 
) [private]

Definition at line 477 of file wn_verifier.cxx.

References Complex_Not_Simulated, DevWarn(), Fail_FmtAssertion(), Get_Return_Info(), Get_Return_Mtypes(), Get_Return_Pregs(), PU_prototype(), Pu_Table, RETURN_INFO_count(), RETURN_INFO_mtype(), RETURN_INFO_preg(), ST_pu(), TY_ret_type(), Ty_Table, Verifier_DEBUG, WHIRL_Return_Info_On, and WN_st().

Referenced by CALL_parent_LDID().

Here is the call graph for this function:

BOOL WN_Verifier::Is_WHIRL_tree ( WN *  wn,
WN *  parent 
) [protected]

Definition at line 428 of file wn_verifier.cxx.

References _map, FALSE, FmtAssert, Is_legal_wn_opcode(), NULL, WN_MAP_Get, WN_MAP_Set, and WN_opcode().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::LDA_ty_not_NULL ( WN *  wn  )  [protected]

Definition at line 778 of file wn_verifier.cxx.

References DevWarn(), KIND_POINTER, KIND_SCALAR, OPCODE_name(), OPCODE_operator(), OPR_LDA, TY::Print(), TY_kind(), Ty_Table, WN_opcode(), and WN_ty().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::Load_addr_TY_is_not_NULL ( WN *  wn,
OPCODE  op 
) [protected]

Definition at line 396 of file wn_verifier.cxx.

References FmtAssert, NULL, OPCODE_name(), and WN_load_addr_ty().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

WN * WN_Verifier::One_level_removed_node ( WN *  parent_wn,
OPERATOR  opr 
) [private]

Definition at line 459 of file wn_verifier.cxx.

References NULL, OPR_LDID, OPR_STID, WN_operator(), and WN_prev().

Referenced by CALL_parent_LDID().

Here is the call graph for this function:

BOOL WN_Verifier::Param_parent_is_Call ( WN *  wn,
WN *  parent_wn 
) [protected]

Definition at line 660 of file wn_verifier.cxx.

References DevWarn(), OPCODE_name(), OPCODE_operator(), OPR_CALL, OPR_ICALL, OPR_INTRINSIC_CALL, OPR_INTRINSIC_OP, OPR_IO, OPR_PARM, OPR_PICCALL, and WN_opcode().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::Proper_Block_Structure ( WN *  wn,
OPCODE  op 
) [protected]

Definition at line 609 of file wn_verifier.cxx.

References FALSE, FmtAssert, NULL, OPC_BLOCK, WN_first(), WN_last(), WN_next(), and WN_prev().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::ST_is_not_NULL ( WN *  wn,
OPCODE  op 
) [protected]

Definition at line 407 of file wn_verifier.cxx.

References DevWarn(), FmtAssert, NULL, OPCODE_name(), OPERATOR_is_store(), ST_is_not_used(), ST_name(), WN_operator(), WN_st(), and WN_st_idx().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::STID_check_st_class ( WN *  wn  )  [protected]

Definition at line 801 of file wn_verifier.cxx.

References CLASS_BLOCK, CLASS_PREG, CLASS_VAR, DevWarn(), FALSE, Is_dedicated_return_register(), NULL, OPCODE_name(), OPCODE_operator(), OPR_CALL, OPR_PICCALL, OPR_RETURN, OPR_STID, Print_ST(), SCLASS_AUTO, SCLASS_COMMON, SCLASS_DGLOBAL, SCLASS_EXTERN, SCLASS_FORMAL, SCLASS_FORMAL_REF, SCLASS_FSTATIC, SCLASS_PSTATIC, SCLASS_REG, SCLASS_TEXT, SCLASS_UGLOBAL, SCLASS_UNKNOWN, ST_class(), ST_sclass(), Static_Link_Preg_Offset, WN_next(), WN_offset(), WN_opcode(), WN_operator(), and WN_st().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::TY_is_not_NULL ( WN *  wn,
OPCODE  op 
) [protected]

Definition at line 387 of file wn_verifier.cxx.

References FmtAssert, NULL, OPCODE_name(), and WN_ty().

Referenced by WN_traverse_tree().

Here is the call graph for this function:

BOOL WN_Verifier::WN_traverse_tree ( WN *  wn,
WN *  parent_wn 
)

Definition at line 266 of file wn_verifier.cxx.

References _is_tree_OK, _mem_pool, Are_enclosed_pragmas(), Call_children_are_PARM(), CALL_parent_LDID(), Fail_FmtAssertion(), Field_id_valid(), Is_legal_wn_opcode(), Is_WHIRL_tree(), LDA_ty_not_NULL(), Load_addr_TY_is_not_NULL(), OPC_BLOCK, OPCODE_operator(), OPR_ALTENTRY, OPR_CALL, OPR_CONST, OPR_FUNC_ENTRY, OPR_ICALL, OPR_IDNAME, OPR_ILOAD, OPR_INTRINSIC_CALL, OPR_INTRINSIC_OP, OPR_IO, OPR_ISTORE, OPR_ISTOREX, OPR_LDA, OPR_LDID, OPR_MLOAD, OPR_MSTORE, OPR_PARM, OPR_PICCALL, OPR_PRAGMA, OPR_STID, OPR_TAS, OPR_XGOTO, Param_parent_is_Call(), Proper_Block_Structure(), ST_is_not_NULL(), STID_check_st_class(), TY_is_not_NULL(), WN_first(), WN_kid(), WN_kid_count(), WN_next(), WN_opcode(), and WN_Tree_Has_Duplicate_Labels().

Referenced by WN_verifier().

Here is the call graph for this function:

Member Data Documentation

WN* WN_Verifier::_func [private]

Definition at line 185 of file wn_verifier.cxx.

Referenced by CALL_parent_LDID(), and WN_Verifier().

BOOL WN_Verifier::_is_tree_OK [private]

Definition at line 184 of file wn_verifier.cxx.

Referenced by WN_traverse_tree(), and WN_Verifier().

WN_MAP WN_Verifier::_map [private]

Definition at line 183 of file wn_verifier.cxx.

Referenced by Is_WHIRL_tree(), WN_Verifier(), and ~WN_Verifier().

MEM_POOL WN_Verifier::_mem_pool [private]

Definition at line 182 of file wn_verifier.cxx.

Referenced by WN_traverse_tree(), WN_Verifier(), and ~WN_Verifier().

stack< pragma_stack_type > WN_Verifier::_pragma_stack [private]

Definition at line 186 of file wn_verifier.cxx.

Referenced by Are_enclosed_pragmas().

The documentation for this class was generated from the following file:
Generated on Thu Jun 30 2011 05:51:36 for Open64 (mfef90, whirl2f, and IR tools) by  doxygen 1.7.1