f95-lang.c (LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT): Define to gfc_omp_is_optional_argument.
2019-10-02 Kwok Cheung Yeung <kcy@codesourcery.com> gcc/fortran/ * f95-lang.c (LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT): Define to gfc_omp_is_optional_argument. * trans-decl.c (create_function_arglist): Set GFC_DECL_OPTIONAL_ARGUMENT in the generated decl if the parameter is optional. * trans-openmp.c (gfc_omp_is_optional_argument): New. (gfc_omp_privatize_by_reference): Return true if the decl is an optional pass-by-reference argument. * trans.h (gfc_omp_is_optional_argument): New declaration. (lang_decl): Add new optional_arg field. (GFC_DECL_OPTIONAL_ARGUMENT): New macro. gcc/ * langhooks-def.h (LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT): Default to false. (LANG_HOOKS_DECLS): Add LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT. * langhooks.h (omp_is_optional_argument): New hook. * omp-general.c (omp_is_optional_argument): New. * omp-general.h (omp_is_optional_argument): New declaration. * omp-low.c (lower_omp_target): Create temporary for received value and take the address for new_var if the original variable was a DECL_BY_REFERENCE. Use size of referenced object when a pass-by-reference optional argument used as argument to firstprivate. From-SVN: r276444
This commit is contained in:
parent
68710ac7da
commit
73a2863409
11 changed files with 67 additions and 1 deletions
|
@ -1,3 +1,16 @@
|
|||
2019-10-02 Kwok Cheung Yeung <kcy@codesourcery.com>
|
||||
|
||||
* langhooks-def.h (LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT): Default to
|
||||
false.
|
||||
(LANG_HOOKS_DECLS): Add LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT.
|
||||
* langhooks.h (omp_is_optional_argument): New hook.
|
||||
* omp-general.c (omp_is_optional_argument): New.
|
||||
* omp-general.h (omp_is_optional_argument): New declaration.
|
||||
* omp-low.c (lower_omp_target): Create temporary for received value
|
||||
and take the address for new_var if the original variable was a
|
||||
DECL_BY_REFERENCE. Use size of referenced object when a
|
||||
pass-by-reference optional argument used as argument to firstprivate.
|
||||
|
||||
2019-10-02 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR tree-optimization/91940
|
||||
|
|
|
@ -1,3 +1,17 @@
|
|||
2019-10-02 Kwok Cheung Yeung <kcy@codesourcery.com>
|
||||
|
||||
* f95-lang.c (LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT): Define to
|
||||
gfc_omp_is_optional_argument.
|
||||
* trans-decl.c (create_function_arglist): Set
|
||||
GFC_DECL_OPTIONAL_ARGUMENT in the generated decl if the parameter is
|
||||
optional.
|
||||
* trans-openmp.c (gfc_omp_is_optional_argument): New.
|
||||
(gfc_omp_privatize_by_reference): Return true if the decl is an
|
||||
optional pass-by-reference argument.
|
||||
* trans.h (gfc_omp_is_optional_argument): New declaration.
|
||||
(lang_decl): Add new optional_arg field.
|
||||
(GFC_DECL_OPTIONAL_ARGUMENT): New macro.
|
||||
|
||||
2019-10-01 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* error.c (gfc_diagnostic_starter): Clear the prefix before
|
||||
|
|
|
@ -113,6 +113,7 @@ static const struct attribute_spec gfc_attribute_table[] =
|
|||
#undef LANG_HOOKS_TYPE_FOR_MODE
|
||||
#undef LANG_HOOKS_TYPE_FOR_SIZE
|
||||
#undef LANG_HOOKS_INIT_TS
|
||||
#undef LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT
|
||||
#undef LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE
|
||||
#undef LANG_HOOKS_OMP_PREDETERMINED_SHARING
|
||||
#undef LANG_HOOKS_OMP_REPORT_DECL
|
||||
|
@ -145,6 +146,7 @@ static const struct attribute_spec gfc_attribute_table[] =
|
|||
#define LANG_HOOKS_TYPE_FOR_MODE gfc_type_for_mode
|
||||
#define LANG_HOOKS_TYPE_FOR_SIZE gfc_type_for_size
|
||||
#define LANG_HOOKS_INIT_TS gfc_init_ts
|
||||
#define LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT gfc_omp_is_optional_argument
|
||||
#define LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE gfc_omp_privatize_by_reference
|
||||
#define LANG_HOOKS_OMP_PREDETERMINED_SHARING gfc_omp_predetermined_sharing
|
||||
#define LANG_HOOKS_OMP_REPORT_DECL gfc_omp_report_decl
|
||||
|
|
|
@ -2687,6 +2687,11 @@ create_function_arglist (gfc_symbol * sym)
|
|||
&& (!f->sym->attr.proc_pointer
|
||||
&& f->sym->attr.flavor != FL_PROCEDURE))
|
||||
DECL_BY_REFERENCE (parm) = 1;
|
||||
if (f->sym->attr.optional)
|
||||
{
|
||||
gfc_allocate_lang_decl (parm);
|
||||
GFC_DECL_OPTIONAL_ARGUMENT (parm) = 1;
|
||||
}
|
||||
|
||||
gfc_finish_decl (parm);
|
||||
gfc_finish_decl_attrs (parm, &f->sym->attr);
|
||||
|
|
|
@ -47,6 +47,15 @@ along with GCC; see the file COPYING3. If not see
|
|||
|
||||
int ompws_flags;
|
||||
|
||||
/* True if OpenMP should treat this DECL as an optional argument. */
|
||||
|
||||
bool
|
||||
gfc_omp_is_optional_argument (const_tree decl)
|
||||
{
|
||||
return (TREE_CODE (decl) == PARM_DECL && DECL_LANG_SPECIFIC (decl)
|
||||
&& GFC_DECL_OPTIONAL_ARGUMENT (decl));
|
||||
}
|
||||
|
||||
/* True if OpenMP should privatize what this DECL points to rather
|
||||
than the DECL itself. */
|
||||
|
||||
|
@ -59,6 +68,10 @@ gfc_omp_privatize_by_reference (const_tree decl)
|
|||
&& (!DECL_ARTIFICIAL (decl) || TREE_CODE (decl) == PARM_DECL))
|
||||
return true;
|
||||
|
||||
if (TREE_CODE (type) == POINTER_TYPE
|
||||
&& gfc_omp_is_optional_argument (decl))
|
||||
return true;
|
||||
|
||||
if (TREE_CODE (type) == POINTER_TYPE)
|
||||
{
|
||||
/* Array POINTER/ALLOCATABLE have aggregate types, all user variables
|
||||
|
|
|
@ -786,6 +786,7 @@ struct array_descr_info;
|
|||
bool gfc_get_array_descr_info (const_tree, struct array_descr_info *);
|
||||
|
||||
/* In trans-openmp.c */
|
||||
bool gfc_omp_is_optional_argument (const_tree);
|
||||
bool gfc_omp_privatize_by_reference (const_tree);
|
||||
enum omp_clause_default_kind gfc_omp_predetermined_sharing (tree);
|
||||
tree gfc_omp_report_decl (tree);
|
||||
|
@ -999,6 +1000,7 @@ struct GTY(()) lang_decl {
|
|||
tree token, caf_offset;
|
||||
unsigned int scalar_allocatable : 1;
|
||||
unsigned int scalar_pointer : 1;
|
||||
unsigned int optional_arg : 1;
|
||||
};
|
||||
|
||||
|
||||
|
@ -1013,6 +1015,8 @@ struct GTY(()) lang_decl {
|
|||
(DECL_LANG_SPECIFIC (node)->scalar_allocatable)
|
||||
#define GFC_DECL_SCALAR_POINTER(node) \
|
||||
(DECL_LANG_SPECIFIC (node)->scalar_pointer)
|
||||
#define GFC_DECL_OPTIONAL_ARGUMENT(node) \
|
||||
(DECL_LANG_SPECIFIC (node)->optional_arg)
|
||||
#define GFC_DECL_GET_SCALAR_ALLOCATABLE(node) \
|
||||
(DECL_LANG_SPECIFIC (node) ? GFC_DECL_SCALAR_ALLOCATABLE (node) : 0)
|
||||
#define GFC_DECL_GET_SCALAR_POINTER(node) \
|
||||
|
|
|
@ -236,6 +236,7 @@ extern tree lhd_unit_size_without_reusable_padding (tree);
|
|||
#define LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL lhd_warn_unused_global_decl
|
||||
#define LANG_HOOKS_POST_COMPILATION_PARSING_CLEANUPS NULL
|
||||
#define LANG_HOOKS_DECL_OK_FOR_SIBCALL lhd_decl_ok_for_sibcall
|
||||
#define LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT hook_bool_const_tree_false
|
||||
#define LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE hook_bool_const_tree_false
|
||||
#define LANG_HOOKS_OMP_PREDETERMINED_SHARING lhd_omp_predetermined_sharing
|
||||
#define LANG_HOOKS_OMP_REPORT_DECL lhd_pass_through_t
|
||||
|
@ -261,6 +262,7 @@ extern tree lhd_unit_size_without_reusable_padding (tree);
|
|||
LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL, \
|
||||
LANG_HOOKS_POST_COMPILATION_PARSING_CLEANUPS, \
|
||||
LANG_HOOKS_DECL_OK_FOR_SIBCALL, \
|
||||
LANG_HOOKS_OMP_IS_OPTIONAL_ARGUMENT, \
|
||||
LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE, \
|
||||
LANG_HOOKS_OMP_PREDETERMINED_SHARING, \
|
||||
LANG_HOOKS_OMP_REPORT_DECL, \
|
||||
|
|
|
@ -222,6 +222,9 @@ struct lang_hooks_for_decls
|
|||
/* True if this decl may be called via a sibcall. */
|
||||
bool (*ok_for_sibcall) (const_tree);
|
||||
|
||||
/* True if OpenMP should treat DECL as a Fortran optional argument. */
|
||||
bool (*omp_is_optional_argument) (const_tree);
|
||||
|
||||
/* True if OpenMP should privatize what this DECL points to rather
|
||||
than the DECL itself. */
|
||||
bool (*omp_privatize_by_reference) (const_tree);
|
||||
|
|
|
@ -48,6 +48,14 @@ omp_find_clause (tree clauses, enum omp_clause_code kind)
|
|||
return NULL_TREE;
|
||||
}
|
||||
|
||||
/* Return true if DECL is a Fortran optional argument. */
|
||||
|
||||
bool
|
||||
omp_is_optional_argument (tree decl)
|
||||
{
|
||||
return lang_hooks.decls.omp_is_optional_argument (decl);
|
||||
}
|
||||
|
||||
/* Return true if DECL is a reference type. */
|
||||
|
||||
bool
|
||||
|
|
|
@ -73,6 +73,7 @@ struct omp_for_data
|
|||
#define OACC_FN_ATTRIB "oacc function"
|
||||
|
||||
extern tree omp_find_clause (tree clauses, enum omp_clause_code kind);
|
||||
extern bool omp_is_optional_argument (tree decl);
|
||||
extern bool omp_is_reference (tree decl);
|
||||
extern void omp_adjust_for_condition (location_t loc, enum tree_code *cond_code,
|
||||
tree *n2, tree v, tree step);
|
||||
|
|
|
@ -11395,7 +11395,8 @@ lower_omp_target (gimple_stmt_iterator *gsi_p, omp_context *ctx)
|
|||
{
|
||||
gcc_assert (is_gimple_omp_oacc (ctx->stmt));
|
||||
if (omp_is_reference (new_var)
|
||||
&& TREE_CODE (TREE_TYPE (new_var)) != POINTER_TYPE)
|
||||
&& (TREE_CODE (TREE_TYPE (new_var)) != POINTER_TYPE
|
||||
|| DECL_BY_REFERENCE (var)))
|
||||
{
|
||||
/* Create a local object to hold the instance
|
||||
value. */
|
||||
|
|
Loading…
Add table
Reference in a new issue