ROSE 0.11.145.147
|
Types and functions to support OpenMP.
OpenMP specific data types and functions are put into this namespace
Translation (directive lowering) support for OpenMP 3.0 C/C++
Like other OpenMP related work within ROSE, all things go to the OmpSupport namespace to avoid conflicts Liao, 8/10/2009
Classes | |
class | OmpAttribute |
One attribute object stores all information within an OpenMP pragma (directive and clauses) More... | |
class | OmpAttributeList |
class | SgVarRefExpVisitor |
class | translationDriver |
A driver to traverse AST trees and invoke individual translators for OpenMP constructs, (not in use) Postorder is preferred. More... | |
Typedefs | |
typedef std::map< const SgVariableSymbol *, SgVariableSymbol * > | VariableSymbolMap_t |
Enumerations | |
enum | omp_construct_enum { e_unknown = 0 , e_parallel , e_for , e_for_simd , e_do , e_workshare , e_sections , e_section , e_single , e_master , e_critical , e_barrier , e_atomic , e_flush , e_target , e_target_declare , e_target_data , e_target_update , e_map , e_device , e_begin , e_end , e_threadprivate , e_parallel_for , e_parallel_for_simd , e_parallel_do , e_parallel_sections , e_parallel_workshare , e_task , e_taskwait , e_ordered_directive , e_end_critical , e_end_do , e_end_master , e_end_ordered , e_end_parallel_do , e_end_parallel_sections , e_end_parallel_workshare , e_end_parallel , e_end_sections , e_end_single , e_end_task , e_end_workshare , e_default , e_shared , e_private , e_firstprivate , e_lastprivate , e_copyin , e_copyprivate , e_proc_bind , e_if , e_num_threads , e_nowait , e_ordered_clause , e_reduction , e_schedule , e_collapse , e_untied , e_mergeable , e_final , e_priority , e_atomic_clause , e_inbranch , e_notinbranch , e_depend , e_default_none , e_default_shared , e_default_private , e_default_firstprivate , e_proc_bind_master , e_proc_bind_close , e_proc_bind_spread , e_atomic_read , e_atomic_write , e_atomic_update , e_atomic_capture , e_reduction_plus , e_reduction_mul , e_reduction_minus , e_reduction_bitand , e_reduction_bitor , e_reduction_bitxor , e_reduction_logand , e_reduction_logor , e_reduction_and , e_reduction_or , e_reduction_eqv , e_reduction_neqv , e_reduction_max , e_reduction_min , e_reduction_iand , e_reduction_ior , e_reduction_ieor , e_schedule_none , e_schedule_static , e_schedule_dynamic , e_schedule_guided , e_schedule_auto , e_schedule_runtime , e_map_alloc , e_map_to , e_map_from , e_map_tofrom , e_dist_data , e_duplicate , e_block , e_cyclic , e_simd , e_declare_simd , e_safelen , e_simdlen , e_uniform , e_aligned , e_linear , e_depend_in , e_depend_out , e_depend_inout , e_not_omp } |
enum | omp_rtl_enum { e_gomp , e_omni , e_last_rtl } |
The type of target runtime libraries (not yet in use) More... | |
Functions | |
void | processOpenMP (SgSourceFile *sageFilePtr) |
void | postParsingProcessing (SgSourceFile *sageFilePtr) |
std::string | toString (omp_construct_enum omp_type) |
Output omp_construct_enum to a string: | |
bool | isFortranEndDirective (omp_construct_enum omp_type) |
Check if the construct is a Fortran END ... directive. | |
bool | isFortranBeginDirective (omp_construct_enum omp_type) |
Check if the construct is a Fortran directive which can (optionally) have a corresponding END directive. | |
bool | isDirective (omp_construct_enum omp_type) |
Check if an OpenMP construct is a directive. | |
bool | isDirectiveWithBody (omp_construct_enum omp_type) |
Check if an OpenMP directive has a structured body. | |
bool | isClause (omp_construct_enum omp_type) |
Check if an OpenMP construct is a clause. | |
bool | isReductionOperator (omp_construct_enum omp_type) |
Check if an OpenMP construct is a reduction operator. | |
bool | isDependenceType (omp_construct_enum omp_type) |
Check if an OpenMP construct is a dependence type for omp task depend. | |
ROSE_DLL_API OmpAttribute * | buildOmpAttribute (enum omp_construct_enum directive_type, SgNode *context_node, bool useDefined) |
Some utility functions to manipulate OmpAttribute. | |
ROSE_DLL_API void | addOmpAttribute (OmpAttribute *ompattribute, SgNode *node) |
Add OmpAttribute to a SgNode. | |
ROSE_DLL_API void | removeOmpAttribute (OmpAttribute *ompattribute, SgNode *node) |
Remove OmpAttribute from a SgNode. | |
ROSE_DLL_API bool | isEquivalentOmpAttribute (OmpAttribute *a1, OmpAttribute *a2) |
Check if two OmpAttributes are semantically equivalent to each other. | |
ROSE_DLL_API OmpAttributeList * | getOmpAttributeList (SgNode *node) |
Get OmpAttribute from a SgNode, return NULL if not found. | |
OmpAttribute * | getOmpAttribute (SgNode *node) |
Get the first OmpAttribute from a SgNode, return NULL if not found. | |
omp_construct_enum | getOmpConstructEnum (SgPragmaDeclaration *decl) |
Get omp enum from an OpenMP pragma attached with OmpAttribute. | |
omp_construct_enum | getBeginOmpConstructEnum (omp_construct_enum end_enum) |
Get the corresponding begin construct enum from an end construct enum. | |
omp_construct_enum | getEndOmpConstructEnum (omp_construct_enum begin_enum) |
Get the corresponding end construct enum from a begin construct enum. | |
ROSE_DLL_API void | generatePragmaFromOmpAttribute (SgNode *sg_node) |
Generate a pragma declaration from OmpAttribute attached to a statement. | |
ROSE_DLL_API std::string | generateDiffTextFromOmpAttribute (SgNode *sg_node) |
Generate diff text from OmpAttribute attached to a statement. | |
int | patchUpSharedVariables (SgFile *) |
makeDataSharingExplicit() can call some of existing functions for some work in OmpSupport namespace by Hongyi 07/16/2012 TODO: add a function within the OmpSupport namespace, the function should transform the AST, so all variables' data-sharing attributes are explicitied represented in the AST. | |
int | makeDataSharingExplicit (SgFile *) |
void | commandLineProcessing (std::vector< std::string > &argvList) |
void | lower_omp (SgSourceFile *) |
The top level interface to translate OpenMP directives. | |
void | insertRTLHeaders (SgSourceFile *) |
Insert #include "xxx.h", the interface of a runtime library to the compiler. | |
void | insertRTLinitAndCleanCode (SgSourceFile *) |
Insert runtime init and terminate routines to main() entry. | |
void | insertAcceleratorInit (SgSourceFile *) |
void | transOmpParallel (SgNode *node) |
Translate omp parallel. | |
void | transOmpTargetParallel (SgNode *node) |
Translate omp parallel under "omp target". | |
void | transOmpSections (SgNode *node) |
Translate omp sections. | |
void | transOmpTask (SgNode *node) |
Translate omp task. | |
void | transOmpLoop (SgNode *node) |
Translate omp for or omp do loops. | |
void | transOmpTargetLoop (SgNode *node) |
Translate omp for or omp do loops affected by the "omp target" directive, using naive 1-to-1 mapping Liao 1/28/2013. | |
void | transOmpTargetLoop_RoundRobin (SgNode *node) |
Translate omp for or omp do loops affected by the "omp target" directive, using a round robin-scheduler Liao 7/10/2014. | |
void | transOmpTarget (SgNode *node) |
Translate Fortran omp do. | |
void | transOmpTargetData (SgNode *node) |
Translate "omp target data". | |
void | transOmpBarrier (SgNode *node) |
Translate omp barrier. | |
void | transOmpFlush (SgNode *node) |
Translate omp flush. | |
void | transOmpTaskwait (SgNode *node) |
Translate omp taskwait. | |
void | transOmpThreadprivate (SgNode *node) |
Translate omp threadprivate. | |
void | transOmpOrdered (SgNode *node) |
Translate the ordered directive (not the ordered clause) | |
void | transOmpAtomic (SgNode *node) |
Translate omp atomic. | |
void | transOmpCritical (SgNode *node) |
Translate omp critical. | |
void | transOmpMaster (SgNode *node) |
Translate omp master. | |
void | transOmpSingle (SgNode *node) |
Translate omp single. | |
SgFunctionDeclaration * | generateOutlinedTask (SgNode *node, std::string &wrapper_name, std::set< SgVariableSymbol * > &syms) |
A helper function to generate implicit or explicit task for either omp parallel or omp task. | |
ROSE_DLL_API void | transOmpVariables (SgStatement *ompStmt, SgBasicBlock *bb1, SgExpression *orig_loop_upper=NULL, bool withinAcceleratorModel=false) |
Translate OpenMP variables associated with an OpenMP pragma, such as private, firstprivate, lastprivate, reduction, etc. bb1 is the translation generated code block in which the variable handling statements will be inserted. Original loop upper bound is needed for implementing lastprivate (check if it is the last iteration). withinAcceleratorModel means if we only translate private() variables, used to support accelerator model. | |
ROSE_DLL_API SgInitializedNamePtrList | collectAllClauseVariables (SgOmpClauseBodyStatement *clause_stmt) |
Collect all variables from OpenMP clauses associated with an omp statement: private, reduction, etc. | |
ROSE_DLL_API SgInitializedNamePtrList | collectClauseVariables (SgOmpClauseBodyStatement *clause_stmt, const VariantT &vt) |
Collect variables from a particular type of OpenMP clauses associated with an omp statement: private, reduction, etc. | |
ROSE_DLL_API SgInitializedNamePtrList | collectClauseVariables (SgOmpClauseBodyStatement *clause_stmt, const VariantVector &vvt) |
Collect variables from given types of OpenMP clauses associated with an omp statement: private, reduction, etc. | |
ROSE_DLL_API SgExpression * | getClauseExpression (SgOmpClauseBodyStatement *clause_stmt, const VariantVector &vvt) |
Collect expression from given types of OpenMP clauses associated with an omp statement: private, reduction, etc. | |
ROSE_DLL_API bool | isInClauseVariableList (SgInitializedName *var, SgOmpClauseBodyStatement *clause_stmt, const VariantT &vt) |
Check if a variable is in a variable list of a given clause type. | |
ROSE_DLL_API bool | isInClauseVariableList (SgInitializedName *var, SgOmpClauseBodyStatement *clause_stmt, const VariantVector &vvt) |
Check if a variable is in variable lists of given clause types. | |
ROSE_DLL_API int | replaceVariableReferences (SgNode *root, SgVariableSymbol *oldVar, SgVariableSymbol *newVar) |
Replace references to oldVar within root with references to newVar, return the number of references replaced. | |
ROSE_DLL_API int | replaceVariableReferences (SgNode *root, VariableSymbolMap_t varRemap) |
Replace variable references within root based on a map from old symbols to new symbols. | |
int | replaceVariablesWithPointerDereference (SgNode *root, std::set< SgVariableSymbol * > &vars) |
Replace all variable references in a set by pointers to the variable. | |
ROSE_DLL_API void | addClauseVariable (SgInitializedName *var, SgOmpClauseBodyStatement *clause_stmt, const VariantT &vt) |
Add a variable into a non-reduction clause of an OpenMP statement, create the clause transparently if it does not exist. | |
ROSE_DLL_API SgOmpVariablesClause * | buildOmpVariableClause (SgOmpClauseBodyStatement *clause_stmt, const VariantT &vt) |
Build a non-reduction variable clause for a given OpenMP directive. It directly returns the clause if the clause already exists. | |
ROSE_DLL_API int | removeClause (SgOmpClauseBodyStatement *clause_stmt, const VariantT &vt) |
Remove one or more clauses of type vt. | |
ROSE_DLL_API bool | hasClause (SgOmpClauseBodyStatement *clause_stmt, const VariantT &vt) |
Check if an OpenMP statement has a clause of type vt. | |
ROSE_DLL_API Rose_STL_Container< SgOmpClause * > | getClause (SgOmpClauseBodyStatement *clause_stmt, const VariantT &vt) |
Get OpenMP clauses from an eligible OpenMP statement. | |
ROSE_DLL_API bool | useStaticSchedule (SgOmpClauseBodyStatement *omp_loop) |
Check if an omp for/do loop use static schedule or not, including: default schedule, or schedule(static[,chunk_size]) | |
ROSE_DLL_API SgOmpClause::omp_reduction_operator_enum | getReductionOperationType (SgInitializedName *init_name, SgOmpClauseBodyStatement *clause_stmt) |
Return a reduction variable's reduction operation type. | |
ROSE_DLL_API SgExpression * | createInitialValueExp (SgOmpClause::omp_reduction_operator_enum r_operator) |
Create an initial value according to reduction operator type. | |
ROSE_DLL_API std::string | generateGOMPLoopStartFuncName (bool isOrdered, SgOmpClause::omp_schedule_kind_enum s_kind) |
Generate GOMP loop schedule start function's name. | |
ROSE_DLL_API std::string | generateGOMPLoopNextFuncName (bool isOrdered, SgOmpClause::omp_schedule_kind_enum s_kind) |
Generate GOMP loop schedule next function's name. | |
ROSE_DLL_API std::string | toString (SgOmpClause::omp_schedule_kind_enum s_kind) |
Convert a schedule kind enum value to a small case string. | |
ROSE_DLL_API int | patchUpPrivateVariables (SgFile *) |
Patch up private variables for omp for of entire file. The reason is that loop indices should be private by default and this function will make this explicit. | |
ROSE_DLL_API int | patchUpPrivateVariables (SgStatement *omp_loop) |
Patch up private variables for omp for. The reason is that loop indices should be private by default and this function will make this explicit. | |
ROSE_DLL_API int | patchUpFirstprivateVariables (SgFile *) |
Patch up firstprivate variables for omp task. The reason is that the specification 3.0 defines rules for implicitly determined data-sharing attributes and this function will make the firstprivate variable of omp task explicit. | |
std::set< SgInitializedName * > | collectThreadprivateVariables () |
Collect threadprivate variables within the current project, return a set to avoid duplicated elements. No input parameters are needed since it finds match from memory pools. | |
SgVariableDeclaration * | buildAndInsertDeclarationForOmp (const std::string &name, SgType *type, SgInitializer *varInit, SgBasicBlock *orig_scope) |
Special handling when trying to build and insert a variable declaration into a BB within Fortran OpenMP code. | |
SgBasicBlock * | getEnclosingRegionOrFuncDefinition (SgNode *) |
Find an enclosing parallel region or function definition's body. | |
ROSE_DLL_API bool | isInClauseVariableList (SgOmpClause *cls, SgSymbol *var) |
Check if a variable is in the clause's variable list. | |
ROSE_DLL_API bool | isThreadprivate (SgSymbol *var) |
Check if a variable is a threadprivate variable. It will search for all threadprivate directives to find the answer. | |
ROSE_DLL_API omp_construct_enum | getDataSharingAttribute (SgSymbol *var, SgNode *anchor_node) |
Return the data sharing attribute type of a variable, specified as a symbol and an anchor node (Must be the inner most node associated with the variable reference, e.g. | |
ROSE_DLL_API omp_construct_enum | getDataSharingAttribute (SgVarRefExp *varRef) |
Return the OpenMP data sharing attribute type of a variable reference. | |
ROSE_DLL_API bool | isSharedAccess (SgVarRefExp *varRef) |
Check if a variable access is a shared access , assuming it is already within an OpenMP region. | |
void | extractMapClauses (Rose_STL_Container< SgOmpClause * > map_clauses, std::map< SgSymbol *, std::vector< std::pair< SgExpression *, SgExpression * > > > &array_dimensions, std::map< SgSymbol *, std::vector< std::pair< SgOmpClause::omp_map_dist_data_enum, SgExpression * > > > &dist_data_policies, SgOmpMapClause **map_alloc_clause, SgOmpMapClause **map_to_clause, SgOmpMapClause **map_from_clause, SgOmpMapClause **map_tofrom_clause) |
Extract map clause information. | |
void | categorizeMapClauseVariables (const SgInitializedNamePtrList &all_vars, std::map< SgSymbol *, std::vector< std::pair< SgExpression *, SgExpression * > > > &array_dimensions, std::set< SgSymbol * > &array_syms, std::set< SgSymbol * > &atom_syms) |
Categorize mapped variables. | |
Variables | |
omp_construct_enum | cur_omp_directive |
std::list< OmpAttribute * > | omp_comment_list |
bool | enable_accelerator |
bool | useDDE |
unsigned int | nCounter |
omp_rtl_enum | rtl_type |
typedef std::map<const SgVariableSymbol *, SgVariableSymbol *> OmpSupport::VariableSymbolMap_t |
Definition at line 46 of file omp_lowering.h.
enum OmpSupport::omp_construct_enum |
Definition at line 31 of file OmpAttribute.h.
The type of target runtime libraries (not yet in use)
Definition at line 37 of file omp_lowering.h.
ROSE_DLL_API OmpAttribute * OmpSupport::buildOmpAttribute | ( | enum omp_construct_enum | directive_type, |
SgNode * | context_node, | ||
bool | useDefined | ||
) |
Some utility functions to manipulate OmpAttribute.
A builder for OmpAttribute, useDefined indicates if the directive is added by programmer or not (by autoParallelization)
int OmpSupport::patchUpSharedVariables | ( | SgFile * | ) |
makeDataSharingExplicit() can call some of existing functions for some work in OmpSupport namespace by Hongyi 07/16/2012 TODO: add a function within the OmpSupport namespace, the function should transform the AST, so all variables' data-sharing attributes are explicitied represented in the AST.
ROSE has dedicated AST nodes for OpenMP directives and the associated clauses, such as private, shared, reduction.
void OmpSupport::transOmpTarget | ( | SgNode * | node | ) |
Translate Fortran omp do.
Translate "omp target"
ROSE_DLL_API omp_construct_enum OmpSupport::getDataSharingAttribute | ( | SgSymbol * | var, |
SgNode * | anchor_node | ||
) |
Return the data sharing attribute type of a variable, specified as a symbol and an anchor node (Must be the inner most node associated with the variable reference, e.g.
a SgVarRefExp, SgVariableDeclaration, etc) Possible returned values include: e_shared, e_private, e_firstprivate, e_lastprivate, e_reduction, e_threadprivate, e_copyin, and e_copyprivate.