a68ab35173
* c-cppbuiltin.c (c_cpp_builtins): Change _OPENMP value to
200805.
* langhooks.h (struct lang_hooks_for_decls): Add omp_finish_clause.
Add omp_private_outer_ref hook, add another argument to
omp_clause_default_ctor hook.
* langhooks-def.h (LANG_HOOKS_OMP_FINISH_CLAUSE): Define.
(LANG_HOOKS_OMP_PRIVATE_OUTER_REF): Define.
(LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR): Change to
hook_tree_tree_tree_tree_null.
(LANG_HOOKS_DECLS): Add LANG_HOOKS_OMP_FINISH_CLAUSE and
LANG_HOOKS_OMP_PRIVATE_OUTER_REF.
* hooks.c (hook_tree_tree_tree_tree_null): New function.
* hooks.h (hook_tree_tree_tree_tree_null): New prototype.
* tree.def (OMP_TASK): New tree code.
* tree.h (OMP_TASK_COPYFN, OMP_TASK_ARG_SIZE, OMP_TASK_ARG_ALIGN,
OMP_CLAUSE_PRIVATE_OUTER_REF, OMP_CLAUSE_LASTPRIVATE_STMT,
OMP_CLAUSE_COLLAPSE_ITERVAR, OMP_CLAUSE_COLLAPSE_COUNT,
OMP_TASKREG_CHECK, OMP_TASKREG_BODY, OMP_TASKREG_CLAUSES,
OMP_TASKREG_FN, OMP_TASKREG_DATA_ARG, OMP_TASK_BODY,
OMP_TASK_CLAUSES, OMP_TASK_FN, OMP_TASK_DATA_ARG,
OMP_CLAUSE_COLLAPSE_EXPR): Define.
(enum omp_clause_default_kind): Add OMP_CLAUSE_DEFAULT_FIRSTPRIVATE.
(OMP_DIRECTIVE_P): Add OMP_TASK.
(OMP_CLAUSE_COLLAPSE, OMP_CLAUSE_UNTIED): New clause codes.
(OMP_CLAUSE_SCHEDULE_AUTO): New schedule kind.
* tree.c (omp_clause_code_name): Add OMP_CLAUSE_COLLAPSE
and OMP_CLAUSE_UNTIED entries.
(omp_clause_num_ops): Likewise. Increase OMP_CLAUSE_LASTPRIVATE
num_ops to 2.
(walk_tree_1): Handle OMP_CLAUSE_COLLAPSE and OMP_CLAUSE_UNTIED.
Walk OMP_CLAUSE_LASTPRIVATE_STMT.
* tree-pretty-print.c (dump_omp_clause): Handle
OMP_CLAUSE_SCHEDULE_AUTO, OMP_CLAUSE_UNTIED, OMP_CLAUSE_COLLAPSE,
OMP_CLAUSE_DEFAULT_FIRSTPRIVATE.
(dump_generic_node): Handle OMP_TASK and collapsed OMP_FOR loops.
* c-omp.c (c_finish_omp_for): Allow pointer iterators. Remove
warning about unsigned iterators. Change decl/init/cond/incr
arguments to TREE_VECs, check arguments for all collapsed loops.
(c_finish_omp_taskwait): New function.
(c_split_parallel_clauses): Put OMP_CLAUSE_COLLAPSE clause to
ws_clauses.
* c-parser.c (c_parser_omp_for_loop): Parse collapsed loops. Call
default_function_array_conversion on init. Add par_clauses argument.
If decl is present in parallel's lastprivate clause, change it to
shared and add lastprivate clause for decl to OMP_FOR_CLAUSES.
Add clauses argument, on success set OMP_FOR_CLAUSES to it. Look up
collapse count in clauses.
(c_parser_omp_for, c_parser_omp_parallel): Adjust
c_parser_omp_for_loop callers.
(OMP_FOR_CLAUSE_MASK): Add 1 << PRAGMA_OMP_CLAUSE_COLLAPSE.
(c_parser_pragma): Handle PRAGMA_OMP_TASKWAIT.
(c_parser_omp_clause_name): Handle collapse and untied clauses.
(c_parser_omp_clause_collapse, c_parser_omp_clause_untied): New
functions.
(c_parser_omp_clause_schedule): Handle schedule(auto).
Include correct location in the error message.
(c_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_COLLAPSE
and PRAGMA_OMP_CLAUSE_UNTIED.
(OMP_TASK_CLAUSE_MASK): Define.
(c_parser_omp_task, c_parser_omp_taskwait): New functions.
(c_parser_omp_construct): Handle PRAGMA_OMP_TASK.
* tree-nested.c (convert_nonlocal_omp_clauses,
convert_local_omp_clauses): Handle OMP_CLAUSE_LASTPRIVATE_STMT,
OMP_CLAUSE_REDUCTION_INIT, OMP_CLAUSE_REDUCTION_MERGE,
OMP_CLAUSE_COLLAPSE and OMP_CLAUSE_UNTIED.
Don't handle TREE_STATIC or DECL_EXTERNAL VAR_DECLs in
OMP_CLAUSE_DECL.
(conver_nonlocal_reference, convert_local_reference,
convert_call_expr): Handle OMP_TASK the same as OMP_PARALLEL. Use
OMP_TASKREG_* macros rather than OMP_PARALLEL_*.
(walk_omp_for): Adjust for OMP_FOR_{INIT,COND,INCR} changes.
* tree-gimple.c (is_gimple_stmt): Handle OMP_TASK.
* c-tree.h (c_begin_omp_task, c_finish_omp_task): New prototypes.
* c-pragma.h (PRAGMA_OMP_TASK, PRAGMA_OMP_TASKWAIT): New.
(PRAGMA_OMP_CLAUSE_COLLAPSE, PRAGMA_OMP_CLAUSE_UNTIED): New.
* c-typeck.c (c_begin_omp_task, c_finish_omp_task): New functions.
(c_finish_omp_clauses): Handle OMP_CLAUSE_COLLAPSE and
OMP_CLAUSE_UNTIED.
* c-pragma.c (init_pragma): Init omp task and omp taskwait pragmas.
* c-common.h (c_finish_omp_taskwait): New prototype.
* gimple-low.c (lower_stmt): Handle OMP_TASK.
* tree-parloops.c (create_parallel_loop): Create 1 entry
vectors for OMP_FOR_{INIT,COND,INCR}.
* tree-cfg.c (remove_useless_stmts_1): Handle OMP_* containers.
(make_edges): Handle OMP_TASK.
* tree-ssa-operands.c (get_expr_operands): Handle collapsed OMP_FOR
loops, adjust for OMP_FOR_{INIT,COND,INCR} changes.
* tree-inline.c (estimate_num_insns_1): Handle OMP_TASK.
* builtin-types.def (BT_PTR_ULONGLONG, BT_PTR_FN_VOID_PTR_PTR,
BT_FN_BOOL_ULONGLONGPTR_ULONGLONGPTR,
BT_FN_BOOL_BOOL_ULL_ULL_ULL_ULLPTR_ULLPTR,
BT_FN_BOOL_BOOL_ULL_ULL_ULL_ULL_ULLPTR_ULLPTR,
BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT): New.
* omp-builtins.def (BUILT_IN_GOMP_TASK, BUILT_IN_GOMP_TASKWAIT,
BUILT_IN_GOMP_LOOP_ULL_STATIC_START,
BUILT_IN_GOMP_LOOP_ULL_DYNAMIC_START,
BUILT_IN_GOMP_LOOP_ULL_GUIDED_START,
BUILT_IN_GOMP_LOOP_ULL_RUNTIME_START,
BUILT_IN_GOMP_LOOP_ULL_ORDERED_STATIC_START,
BUILT_IN_GOMP_LOOP_ULL_ORDERED_DYNAMIC_START,
BUILT_IN_GOMP_LOOP_ULL_ORDERED_GUIDED_START,
BUILT_IN_GOMP_LOOP_ULL_ORDERED_RUNTIME_START,
BUILT_IN_GOMP_LOOP_ULL_STATIC_NEXT,
BUILT_IN_GOMP_LOOP_ULL_DYNAMIC_NEXT,
BUILT_IN_GOMP_LOOP_ULL_GUIDED_NEXT,
BUILT_IN_GOMP_LOOP_ULL_RUNTIME_NEXT,
BUILT_IN_GOMP_LOOP_ULL_ORDERED_STATIC_NEXT,
BUILT_IN_GOMP_LOOP_ULL_ORDERED_DYNAMIC_NEXT,
BUILT_IN_GOMP_LOOP_ULL_ORDERED_GUIDED_NEXT,
BUILT_IN_GOMP_LOOP_ULL_ORDERED_RUNTIME_NEXT): New builtins.
* gimplify.c (gimplify_omp_for): Allow pointer type for decl,
handle POINTER_PLUS_EXPR. If loop counter has been replaced and
original iterator is present in lastprivate clause or if
collapse > 1, set OMP_CLAUSE_LASTPRIVATE_STMT. Handle collapsed
OMP_FOR loops, adjust for OMP_FOR_{INIT,COND,INCR} changes.
(gimplify_expr): Handle OMP_SECTIONS_SWITCH and OMP_TASK.
(enum gimplify_omp_var_data): Add GOVD_PRIVATE_OUTER_REF.
(omp_notice_variable): Set GOVD_PRIVATE_OUTER_REF if needed,
if it is set, lookup var in outer contexts too. Handle
OMP_CLAUSE_DEFAULT_FIRSTPRIVATE. Handle vars that are supposed
to be implicitly determined firstprivate for task regions.
(gimplify_scan_omp_clauses): Set GOVD_PRIVATE_OUTER_REF if needed,
if it is set, lookup var in outer contexts too. Set
OMP_CLAUSE_PRIVATE_OUTER_REF if GOVD_PRIVATE_OUTER_REF is set.
Handle OMP_CLAUSE_LASTPRIVATE_STMT, OMP_CLAUSE_COLLAPSE and
OMP_CLAUSE_UNTIED. Take region_type as last argument
instead of in_parallel and in_combined_parallel.
(gimplify_omp_parallel, gimplify_omp_for, gimplify_omp_workshare):
Adjust callers.
(gimplify_adjust_omp_clauses_1): Set OMP_CLAUSE_PRIVATE_OUTER_REF if
GOVD_PRIVATE_OUTER_REF is set. Call omp_finish_clause
langhook.
(new_omp_context): Set default_kind to
OMP_CLAUSE_DEFAULT_UNSPECIFIED for OMP_TASK regions.
(omp_region_type): New enum.
(struct gimplify_omp_ctx): Remove is_parallel and is_combined_parallel
fields, add region_type.
(new_omp_context): Take region_type as argument instead of is_parallel
and is_combined_parallel.
(gimple_add_tmp_var, omp_firstprivatize_variable, omp_notice_variable,
omp_is_private, omp_check_private): Adjust ctx->is_parallel and
ctx->is_combined_parallel checks.
(gimplify_omp_task): New function.
(gimplify_adjust_omp_clauses): Handle OMP_CLAUSE_COLLAPSE and
OMP_CLAUSE_UNTIED.
* omp-low.c (extract_omp_for_data): Use schedule(static)
for schedule(auto). Handle pointer and unsigned iterators.
Compute fd->iter_type. Handle POINTER_PLUS_EXPR increments.
Add loops argument. Extract data for collapsed OMP_FOR loops.
(expand_parallel_call): Assert sched_kind isn't auto,
map runtime schedule to index 3.
(struct omp_for_data_loop): New type.
(struct omp_for_data): Remove v, n1, n2, step, cond_code fields.
Add loop, loops, collapse and iter_type fields.
(workshare_safe_to_combine_p): Disallow combined for if
iter_type is unsigned long long. Don't combine collapse > 1 loops
unless all bounds and steps are constant. Adjust extract_omp_for_data
caller.
(expand_omp_for_generic): Handle pointer, unsigned and long long
iterators. Handle collapsed OMP_FOR loops. Adjust
for struct omp_for_data changes. If libgomp function doesn't return
boolean_type_node, add comparison of the return value with 0.
(expand_omp_for_static_nochunk, expand_omp_for_static_chunk): Handle
pointer, unsigned and long long iterators. Adjust for struct
omp_for_data changes.
(expand_omp_for): Assert sched_kind isn't auto, map runtime schedule
to index 3. Use GOMP_loop_ull*{start,next} if iter_type is
unsigned long long. Allocate loops array, pass it to
extract_omp_for_data. For collapse > 1 loops use always
expand_omp_for_generic.
(omp_context): Add sfield_map and srecord_type fields.
(is_task_ctx, lookup_sfield): New functions.
(use_pointer_for_field): Use is_task_ctx helper. Change first
argument's type from const_tree to tree. Clarify comment.
In OMP_TASK disallow copy-in/out sharing.
(build_sender_ref): Call lookup_sfield instead of lookup_field.
(install_var_field): Add mask argument. Populate both record_type
and srecord_type if needed.
(delete_omp_context): Destroy sfield_map, clear DECL_ABSTRACT_ORIGIN
in srecord_type.
(fixup_child_record_type): Also remap FIELD_DECL's DECL_SIZE{,_UNIT}
and DECL_FIELD_OFFSET.
(scan_sharing_clauses): Adjust install_var_field callers. For
firstprivate clauses on explicit tasks allocate the var by value in
record_type unconditionally, rather than by reference.
Handle OMP_CLAUSE_PRIVATE_OUTER_REF. Scan OMP_CLAUSE_LASTPRIVATE_STMT.
Use is_taskreg_ctx instead of is_parallel_ctx.
Handle OMP_CLAUSE_COLLAPSE and OMP_CLAUSE_UNTIED.
(create_omp_child_function_name): Add task_copy argument, use
*_omp_cpyfn* names if it is true.
(create_omp_child_function): Add task_copy argument, if true create
*_omp_cpyfn* helper function.
(scan_omp_parallel): Adjust create_omp_child_function callers.
Rename parallel_nesting_level to taskreg_nesting_level.
(scan_omp_task): New function.
(lower_rec_input_clauses): Don't run constructors for firstprivate
explicit task vars which are initialized by *_omp_cpyfn*.
Pass outer var ref to omp_clause_default_ctor hook if
OMP_CLAUSE_PRIVATE_OUTER_REF or OMP_CLAUSE_LASTPRIVATE.
Replace OMP_CLAUSE_REDUCTION_PLACEHOLDER decls in
OMP_CLAUSE_REDUCTION_INIT.
(lower_send_clauses): Clear DECL_ABSTRACT_ORIGIN if in task to
avoid duplicate setting of fields. Handle
OMP_CLAUSE_PRIVATE_OUTER_REF.
(lower_send_shared_vars): Use srecord_type if non-NULL. Don't
copy-out if TREE_READONLY, only copy-in.
(expand_task_copyfn): New function.
(expand_task_call): New function.
(struct omp_taskcopy_context): New type.
(task_copyfn_copy_decl, task_copyfn_remap_type, create_task_copyfn):
New functions.
(lower_omp_parallel): Rename to...
(lower_omp_taskreg): ... this. Use OMP_TASKREG_* macros where needed.
Call create_task_copyfn if srecord_type is needed. Adjust
sender_decl type.
(task_shared_vars): New variable.
(check_omp_nesting_restrictions): Warn if work-sharing,
barrier, master or ordered region is closely nested inside OMP_TASK.
Add warnings for barrier if closely nested inside of work-sharing,
ordered, or master region.
(scan_omp_1): Call check_omp_nesting_restrictions even for
GOMP_barrier calls. Rename parallel_nesting_level to
taskreg_nesting_level. Handle OMP_TASK.
(lower_lastprivate_clauses): Even if some lastprivate is found on a
work-sharing construct, continue looking for them on parent parallel
construct.
(lower_omp_for_lastprivate): Add lastprivate clauses
to the beginning of dlist rather than end. Adjust for struct
omp_for_data changes.
(lower_omp_for): Add rec input clauses before OMP_FOR_PRE_BODY,
not after it. Handle collapsed OMP_FOR loops, adjust for
OMP_FOR_{INIT,COND,INCR} changes, adjust extract_omp_for_data
caller.
(get_ws_args_for): Adjust extract_omp_for_data caller.
(scan_omp_for): Handle collapsed OMP_FOR
loops, adjust for OMP_FOR_{INIT,COND,INCR} changes.
(lower_omp_single_simple): If libgomp function doesn't return
boolean_type_node, add comparison of the return value with 0.
(diagnose_sb_1, diagnose_sb_2): Handle collapsed OMP_FOR
loops, adjust for OMP_FOR_{INIT,COND,INCR} changes. Handle OMP_TASK.
(parallel_nesting_level): Rename to...
(taskreg_nesting_level): ... this.
(is_taskreg_ctx): New function.
(build_outer_var_ref, omp_copy_decl): Use is_taskreg_ctx instead
of is_parallel_ctx.
(execute_lower_omp): Rename parallel_nesting_level to
taskreg_nesting_level.
(expand_omp_parallel): Rename to...
(expand_omp_taskreg): ... this. Use OMP_TASKREG_* macros where needed.
Call omp_task_call for OMP_TASK regions.
(expand_omp): Adjust caller, handle OMP_TASK.
(lower_omp_1): Adjust lower_omp_taskreg caller, handle OMP_TASK.
* bitmap.c (bitmap_default_obstack_depth): New variable.
(bitmap_obstack_initialize, bitmap_obstack_release): Do nothing
if argument is NULL and bitmap_default_obstack is already initialized.
* ipa-struct-reorg.c (do_reorg_1): Call bitmap_obstack_release
at the end.
* matrix-reorg.c (matrix_reorg): Likewise.
cp/
* cp-tree.h (cxx_omp_finish_clause, cxx_omp_create_clause_info,
dependent_omp_for_p, begin_omp_task, finish_omp_task,
finish_omp_taskwait): New prototypes.
(cxx_omp_clause_default_ctor): Add outer argument.
(finish_omp_for): Add new clauses argument.
* cp-gimplify.c (cxx_omp_finish_clause): New function.
(cxx_omp_predetermined_sharing): Moved from semantics.c, rewritten.
(cxx_omp_clause_default_ctor): Add outer argument.
(cp_genericize_r): Walk OMP_CLAUSE_LASTPRIVATE_STMT.
* cp-objcp-common.h (LANG_HOOKS_OMP_FINISH_CLAUSE): Define.
* parser.c (cp_parser_omp_for_loop): Parse collapsed for loops.
Add par_clauses argument. If decl is present in parallel's
lastprivate clause, change that clause to shared and add
a lastprivate clause for decl to OMP_FOR_CLAUSES.
Fix wording of error messages. Adjust finish_omp_for caller.
Add clauses argument. Parse loops with random access iterators.
(cp_parser_omp_clause_collapse, cp_parser_omp_clause_untied): New
functions.
(cp_parser_omp_for, cp_parser_omp_parallel): Adjust
cp_parser_omp_for_loop callers.
(cp_parser_omp_for_cond, cp_parser_omp_for_incr): New helper
functions.
(cp_parser_omp_clause_name): Handle collapse and untied
clauses.
(cp_parser_omp_clause_schedule): Handle auto schedule.
(cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_COLLAPSE
and PRAGMA_OMP_CLAUSE_UNTIED.
(OMP_FOR_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_COLLAPSE.
(OMP_TASK_CLAUSE_MASK): Define.
(cp_parser_omp_task, cp_parser_omp_taskwait): New functions.
(cp_parser_omp_construct): Handle PRAGMA_OMP_TASK.
(cp_parser_pragma): Handle PRAGMA_OMP_TASK and
PRAGMA_OMP_TASKWAIT.
* pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_COLLAPSE and
OMP_CLAUSE_UNTIED. Handle OMP_CLAUSE_LASTPRIVATE_STMT.
(tsubst_omp_for_iterator): New function.
(dependent_omp_for_p): New function.
(tsubst_expr) <case OMP_FOR>: Use it. Handle collapsed OMP_FOR
loops. Adjust finish_omp_for caller. Handle loops with random
access iterators. Adjust for OMP_FOR_{INIT,COND,INCR} changes.
(tsubst_expr): Handle OMP_TASK.
* semantics.c (cxx_omp_create_clause_info): New function.
(finish_omp_clauses): Call it. Handle OMP_CLAUSE_UNTIED and
OMP_CLAUSE_COLLAPSE.
(cxx_omp_predetermined_sharing): Removed.
* semantics.c (finish_omp_for): Allow pointer iterators. Use
handle_omp_for_class_iterator and dependent_omp_for_p. Handle
collapsed for loops. Adjust c_finish_omp_for caller. Add new
clauses argument. Fix check for type dependent cond or incr.
Set OMP_FOR_CLAUSES to clauses. Use cp_convert instead of
fold_convert to convert incr amount to difference_type. Only
fold if not in template. If decl is mentioned in lastprivate
clause, set OMP_CLAUSE_LASTPRIVATE_STMT. Handle loops with random
access iterators. Adjust for OMP_FOR_{INIT,COND,INCR}
changes.
(finish_omp_threadprivate): Allow static class members of the
current class.
(handle_omp_for_class_iterator, begin_omp_task, finish_omp_task,
finish_omp_taskwait): New functions.
* parser.c (cp_parser_binary_expression): Add prec argument.
(cp_parser_assignment_expression): Adjust caller.
* cp-tree.h (outer_curly_brace_block): New prototype.
* decl.c (outer_curly_brace_block): No longer static.
fortran/
* scanner.c (skip_free_comments, skip_fixed_comments): Handle tabs.
* parse.c (next_free): Allow tab after !$omp.
(decode_omp_directive): Handle !$omp task, !$omp taskwait
and !$omp end task.
(case_executable): Add ST_OMP_TASKWAIT.
(case_exec_markers): Add ST_OMP_TASK.
(gfc_ascii_statement): Handle ST_OMP_TASK, ST_OMP_END_TASK and
ST_OMP_TASKWAIT.
(parse_omp_structured_block, parse_executable): Handle ST_OMP_TASK.
* gfortran.h (gfc_find_sym_in_expr): New prototype.
(gfc_statement): Add ST_OMP_TASK, ST_OMP_END_TASK and ST_OMP_TASKWAIT.
(gfc_omp_clauses): Add OMP_SCHED_AUTO to sched_kind,
OMP_DEFAULT_FIRSTPRIVATE to default_sharing. Add collapse and
untied fields.
(gfc_exec_op): Add EXEC_OMP_TASK and EXEC_OMP_TASKWAIT.
* f95-lang.c (LANG_HOOKS_OMP_CLAUSE_COPY_CTOR,
LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP, LANG_HOOKS_OMP_CLAUSE_DTOR,
LANG_HOOKS_OMP_PRIVATE_OUTER_REF): Define.
* trans.h (gfc_omp_clause_default_ctor): Add another argument.
(gfc_omp_clause_copy_ctor, gfc_omp_clause_assign_op,
gfc_omp_clause_dtor, gfc_omp_private_outer_ref): New prototypes.
* types.def (BT_ULONGLONG, BT_PTR_ULONGLONG,
BT_FN_BOOL_ULONGLONGPTR_ULONGLONGPTR,
BT_FN_BOOL_BOOL_ULL_ULL_ULL_ULLPTR_ULLPTR,
BT_FN_BOOL_BOOL_ULL_ULL_ULL_ULL_ULLPTR_ULLPTR,
BT_FN_VOID_PTR_PTR, BT_PTR_FN_VOID_PTR_PTR,
BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT): New.
(BT_BOOL): Use integer type with BOOL_TYPE_SIZE rather
than boolean_type_node.
* dump-parse-tree.c (gfc_show_omp_node): Handle EXEC_OMP_TASK,
EXEC_OMP_TASKWAIT, OMP_SCHED_AUTO, OMP_DEFAULT_FIRSTPRIVATE,
untied and collapse clauses.
(gfc_show_code_node): Handle EXEC_OMP_TASK and EXEC_OMP_TASKWAIT.
* trans.c (gfc_trans_code): Handle EXEC_OMP_TASK and
EXEC_OMP_TASKWAIT.
* st.c (gfc_free_statement): Likewise.
* resolve.c (gfc_resolve_blocks, resolve_code): Likewise.
(find_sym_in_expr): Rename to...
(gfc_find_sym_in_expr): ... this. No longer static.
(resolve_allocate_expr, resolve_ordinary_assign): Adjust caller.
* match.h (gfc_match_omp_task, gfc_match_omp_taskwait): New
prototypes.
* openmp.c (resolve_omp_clauses): Allow allocatable arrays in
firstprivate, lastprivate, reduction, copyprivate and copyin
clauses.
(omp_current_do_code): Made static.
(omp_current_do_collapse): New variable.
(gfc_resolve_omp_do_blocks): Compute omp_current_do_collapse,
clear omp_current_do_code and omp_current_do_collapse on return.
(gfc_resolve_do_iterator): Handle collapsed do loops.
(resolve_omp_do): Likewise, diagnose errorneous collapsed do loops.
(OMP_CLAUSE_COLLAPSE, OMP_CLAUSE_UNTIED): Define.
(gfc_match_omp_clauses): Handle default (firstprivate),
schedule (auto), untied and collapse (n) clauses.
(OMP_DO_CLAUSES): Add OMP_CLAUSE_COLLAPSE.
(OMP_TASK_CLAUSES): Define.
(gfc_match_omp_task, gfc_match_omp_taskwait): New functions.
* trans-openmp.c (gfc_omp_private_outer_ref): New function.
(gfc_omp_clause_default_ctor): Add outer argument. For allocatable
arrays allocate them with the bounds of the outer var if outer
var is allocated.
(gfc_omp_clause_copy_ctor, gfc_omp_clause_assign_op,
gfc_omp_clause_dtor): New functions.
(gfc_trans_omp_array_reduction): If decl is allocatable array,
allocate it with outer var's bounds in OMP_CLAUSE_REDUCTION_INIT
and deallocate it in OMP_CLAUSE_REDUCTION_MERGE.
(gfc_omp_predetermined_sharing): Return OMP_CLAUSE_DEFAULT_SHARED
for assumed-size arrays.
(gfc_trans_omp_do): Add par_clauses argument. If dovar is
present in lastprivate clause and do loop isn't simple,
set OMP_CLAUSE_LASTPRIVATE_STMT. If dovar is present in
parallel's lastprivate clause, change it to shared and add
lastprivate clause to OMP_FOR_CLAUSES. Handle collapsed do loops.
(gfc_trans_omp_directive): Adjust gfc_trans_omp_do callers.
(gfc_trans_omp_parallel_do): Likewise. Move collapse clause to
OMP_FOR from OMP_PARALLEL.
(gfc_trans_omp_clauses): Handle OMP_SCHED_AUTO,
OMP_DEFAULT_FIRSTPRIVATE, untied and collapse clauses.
(gfc_trans_omp_task, gfc_trans_omp_taskwait): New functions.
(gfc_trans_omp_directive): Handle EXEC_OMP_TASK and
EXEC_OMP_TASKWAIT.
gcc/testsuite/
* gcc.dg/gomp/collapse-1.c: New test.
* gcc.dg/gomp/nesting-1.c: New test.
* g++.dg/gomp/task-1.C: New test.
* g++.dg/gomp/predetermined-1.C: New test.
* g++.dg/gomp/tls-4.C: New test.
* gfortran.dg/gomp/collapse1.f90: New test.
* gfortran.dg/gomp/sharing-3.f90: New test.
* gcc.dg/gomp/pr27499.c (foo): Remove is unsigned dg-warning.
* g++.dg/gomp/pr27499.C (foo): Likewise.
* g++.dg/gomp/for-16.C (foo): Likewise.
* g++.dg/gomp/tls-3.C: Remove dg-error, add S::s definition.
* g++.dg/gomp/pr34607.C: Adjust dg-error location.
* g++.dg/gomp/for-16.C (foo): Add a new dg-error.
* gcc.dg/gomp/appendix-a/a.35.4.c: Add dg-warning.
* gcc.dg/gomp/appendix-a/a.35.6.c: Likewise.
* gfortran.dg/gomp/appendix-a/a.35.4.f90: Likewise.
* gfortran.dg/gomp/appendix-a/a.35.6.f90: Likewise.
* gfortran.dg/gomp/omp_parse1.f90: Remove !$omp tab test.
* gfortran.dg/gomp/appendix-a/a.33.4.f90: Remove dg-error
about allocatable array.
* gfortran.dg/gomp/reduction1.f90: Likewise.
libgomp/
* configure.ac (LIBGOMP_GNU_SYMBOL_VERSIONING): New AC_DEFINE.
Substitute also OMP_*LOCK_25*.
* configure: Regenerated.
* config.h.in: Regenerated.
* Makefile.am (libgomp_la_SOURCES): Add loop_ull.c, iter_ull.c,
ptrlock.c and task.c.
* Makefile.in: Regenerated.
* testsuite/Makefile.in: Regenerated.
* task.c: New file.
* loop_ull.c: New file.
* iter_ull.c: New file.
* libgomp.h: Include ptrlock.h.
(enum gomp_task_kind): New type.
(struct gomp_team): Add task_lock, task_queue, task_count,
task_running_count, single_count fields. Add
work_share_list_free_lock ifndef HAVE_SYNC_BUILTINS.
Remove work_share_lock, generation_mask,
oldest_live_gen, num_live_gen and init_work_shares fields, add
work work_share_list_alloc, work_share_list_free and work_share_chunk
fields. Change work_shares from pointer to pointers into an array.
Change ordered_release field into gomp_sem_t ** from flexible array
member. Add implicit_task and initial_work_shares fields.
Move close to the end of the struct.
(struct gomp_team_state): Add single_count, last_work_share,
active_level and level fields, remove work_share_generation.
(gomp_barrier_handle_tasks): New prototype.
(gomp_finish_task): New inline function.
(struct gomp_work_share): Move chunk_size, end, incr into
transparent union/struct, add chunk_size_ull, end_ll, incr_ll and
next_ll fields. Reshuffle fields. Add next_alloc,
next_ws, next_free and inline_ordered_team_ids fields, change
ordered_team_ids into pointer from flexible array member.
Add mode field. Put lock and next into a different cache line
from most of the write-once fields.
(gomp_iter_ull_static_next, gomp_iter_ull_dynamic_next_locked,
gomp_iter_ull_guided_next_locked, gomp_iter_ull_dynamic_next,
gomp_iter_ull_guided_next): New prototypes.
(gomp_new_icv): New prototype.
(struct gomp_thread): Add thread_pool and task fields.
(struct gomp_thread_pool): New type.
(gomp_new_team): New prototype.
(gomp_team_start): Change type of last argument.
(gomp_new_work_share): Removed.
(gomp_init_work_share, gomp_fini_work_share): New prototypes.
(gomp_work_share_init_done): New static inline.
(gomp_throttled_spin_count_var, gomp_available_cpus,
gomp_managed_threads): New extern decls.
(gomp_init_task): New prototype.
(gomp_spin_count_var): New extern var decl.
(LIBGOMP_GNU_SYMBOL_VERSIONING): Undef if no visibility
or no alias support, or if not PIC.
(gomp_init_lock_30, gomp_destroy_lock_30, gomp_set_lock_30,
gomp_unset_lock_30, gomp_test_lock_30, gomp_init_nest_lock_30,
gomp_destroy_nest_lock_30, gomp_set_nest_lock_30,
gomp_unset_nest_lock_30, gomp_test_nest_lock_30, gomp_init_lock_25,
gomp_destroy_lock_25, gomp_set_lock_25, gomp_unset_lock_25,
gomp_test_lock_25, gomp_init_nest_lock_25, gomp_destroy_nest_lock_25,
gomp_set_nest_lock_25, gomp_unset_nest_lock_25,
gomp_test_nest_lock_25): New prototypes.
(omp_lock_symver, strong_alias): Define.
(gomp_remaining_threads_count, gomp_remaining_threads_lock): New
decls.
(gomp_end_task): New.
(struct gomp_task_icv, gomp_global_icv): New.
(gomp_thread_limit_var, gomp_max_active_levels_var): New.
(struct gomp_task): New.
(gomp_nthreads_var, gomp_dyn_var, gomp_nest_var,
gomp_run_sched_var, gomp_run_sched_chunk): Remove.
(gomp_icv): New.
(gomp_schedule_type): Reorder enum to match
omp_sched_t.
* team.c (struct gomp_thread_start_data): Add thread_pool and task
fields.
(gomp_thread_start): Add gomp_team_barrier_wait call.
For non-nested case remove clearing of docked thread thr fields.
Use pool fields instead of global gomp_* variables. Use
gomp_barrier_wait_last when needed. Initialize ts.active_level.
Create tasks for each member thread.
(free_team): Only destroy team barrier, task_lock here and free it.
(gomp_free_thread): Free last_team if non-NULL.
(gomp_team_end): Call gomp_team_barrier_wait instead of
gomp_barrier_wait. For nested case call one extra
gomp_barrier_wait. Move here some destruction from free_team.
Call free_team on pool->last_team if any, rather than freeing
current team. Destroy work_share_list_free_lock ifndef
HAVE_SYNC_BUILTINS.
(gomp_new_icv): New function.
(gomp_threads, gomp_threads_size, gomp_threads_used,
gomp_threads_dock): Removed.
(gomp_thread_destructor): New variable.
(gomp_new_thread_pool, gomp_free_pool_helper, gomp_free_thread): New
functions.
(gomp_team_start): Create new pool if current thread doesn't have
one. Use pool fields instead of global gomp_* variables.
Initialize thread_pool field for new threads. Clear single_count.
Change last argument from ws to team, don't create
new team, set ts.work_share to &team->work_shares[0] and clear
ts.last_work_share. Don't clear ts.work_share_generation.
If number of threads changed, adjust atomically gomp_managed_threads.
Use gomp_init_task instead of gomp_new_task,
set thr->task to the corresponding implicit_task array entry.
Create tasks for each member thread. Initialize ts.level.
(initialize_team): Call pthread_key_create on
gomp_thread_destructor.
(team_destructor): New function.
(new_team): Removed.
(gomp_new_team): New function.
(free_team): Free gomp_work_share blocks chained through next_alloc,
instead of freeing work_shares and destroying work_share_lock.
(gomp_team_end): Call gomp_fini_work_share. If number of threads
changed, adjust atomically gomp_managed_threads. Use gomp_end_task.
* barrier.c (GOMP_barrier): Call gomp_team_barrier_wait instead
of gomp_barrier_wait.
* single.c (GOMP_single_copy_start): Call gomp_team_barrier_wait
instead of gomp_barrier_wait. Call gomp_work_share_init_done
if gomp_work_share_start returned true. Don't unlock ws->lock.
(GOMP_single_copy_end): Call gomp_team_barrier_wait instead
of gomp_barrier_wait.
(GOMP_single_start): Rewritten if HAVE_SYNC_BUILTINS. Call
gomp_work_share_init_done if gomp_work_share_start returned true.
Don't unlock ws->lock.
* work.c: Include stddef.h.
(free_work_share): Use work_share_list_free_lock instead
of atomic chaining ifndef HAVE_SYNC_BUILTINS. Add team argument.
Call gomp_fini_work_share and then either free ws if orphaned, or
put it into work_share_list_free list of the current team.
(alloc_work_share, gomp_init_work_share, gomp_fini_work_share): New
functions.
(gomp_work_share_start, gomp_work_share_end,
gomp_work_share_end_nowait): Rewritten.
* omp_lib.f90.in Change some tabs to spaces to prevent warnings.
(openmp_version): Set to 200805.
(omp_sched_kind, omp_sched_static, omp_sched_dynamic,
omp_sched_guided, omp_sched_auto): New parameters.
(omp_set_schedule, omp_get_schedule, omp_get_thread_limit,
omp_set_max_active_levels, omp_get_max_active_levels,
omp_get_level, omp_get_ancestor_thread_num, omp_get_team_size,
omp_get_active_level): New interfaces.
* omp_lib.h.in (openmp_version): Set to 200805.
(omp_sched_kind, omp_sched_static, omp_sched_dynamic,
omp_sched_guided, omp_sched_auto): New parameters.
(omp_set_schedule, omp_get_schedule, omp_get_thread_limit,
omp_set_max_active_levels, omp_get_max_active_levels,
omp_get_level, omp_get_ancestor_thread_num, omp_get_team_size,
omp_get_active_level): New externals.
* loop.c: Include limits.h.
(GOMP_loop_runtime_next, GOMP_loop_ordered_runtime_next): Handle
GFS_AUTO.
(GOMP_loop_runtime_start, GOMP_loop_ordered_runtime_start):
Likewise. Use gomp_icv.
(gomp_loop_static_start, gomp_loop_dynamic_start): Clear
ts.static_trip here.
(gomp_loop_static_start, gomp_loop_ordered_static_start): Call
gomp_work_share_init_done after gomp_loop_init. Don't unlock ws->lock.
(gomp_loop_dynamic_start, gomp_loop_guided_start): Call
gomp_work_share_init_done after gomp_loop_init. If HAVE_SYNC_BUILTINS,
don't unlock ws->lock, otherwise lock it.
(gomp_loop_ordered_dynamic_start, gomp_loop_ordered_guided_start): Call
gomp_work_share_init_done after gomp_loop_init. Lock ws->lock.
(gomp_parallel_loop_start): Call gomp_new_team instead of
gomp_new_work_share. Call gomp_loop_init on &team->work_shares[0].
Adjust gomp_team_start caller. Pass 0 as second argument to
gomp_resolve_num_threads.
(gomp_loop_init): For GFS_DYNAMIC, multiply ws->chunk_size by incr.
If adding ws->chunk_size nthreads + 1 times after end won't
overflow, set ws->mode to 1.
* libgomp_g.h (GOMP_loop_ull_static_start, GOMP_loop_ull_dynamic_start,
GOMP_loop_ull_guided_start, GOMP_loop_ull_runtime_start,
GOMP_loop_ull_ordered_static_start,
GOMP_loop_ull_ordered_dynamic_start,
GOMP_loop_ull_ordered_guided_start,
GOMP_loop_ull_ordered_runtime_start, GOMP_loop_ull_static_next,
GOMP_loop_ull_dynamic_next, GOMP_loop_ull_guided_next,
GOMP_loop_ull_runtime_next, GOMP_loop_ull_ordered_static_next,
GOMP_loop_ull_ordered_dynamic_next, GOMP_loop_ull_ordered_guided_next,
GOMP_loop_ull_ordered_runtime_next, GOMP_task, GOMP_taskwait): New
prototypes.
* libgomp.map: Export lock routines also @@OMP_2.0.
(GOMP_loop_ordered_dynamic_first,
GOMP_loop_ordered_guided_first, GOMP_loop_ordered_runtime_first,
GOMP_loop_ordered_static_first): Remove.
(GOMP_loop_ull_dynamic_next, GOMP_loop_ull_dynamic_start,
GOMP_loop_ull_guided_next, GOMP_loop_ull_guided_start,
GOMP_loop_ull_ordered_dynamic_next,
GOMP_loop_ull_ordered_dynamic_start,
GOMP_loop_ull_ordered_guided_next,
GOMP_loop_ull_ordered_guided_start,
GOMP_loop_ull_ordered_runtime_next,
GOMP_loop_ull_ordered_runtime_start,
GOMP_loop_ull_ordered_static_next,
GOMP_loop_ull_ordered_static_start,
GOMP_loop_ull_runtime_next, GOMP_loop_ull_runtime_start,
GOMP_loop_ull_static_next, GOMP_loop_ull_static_start,
GOMP_task, GOMP_taskwait): Export @@GOMP_2.0.
(omp_set_schedule, omp_get_schedule,
omp_get_thread_limit, omp_set_max_active_levels,
omp_get_max_active_levels, omp_get_level,
omp_get_ancestor_thread_num, omp_get_team_size, omp_get_active_level,
omp_set_schedule_, omp_set_schedule_8_,
omp_get_schedule_, omp_get_schedule_8_, omp_get_thread_limit_,
omp_set_max_active_levels_, omp_set_max_active_levels_8_,
omp_get_max_active_levels_, omp_get_level_,
omp_get_ancestor_thread_num_, omp_get_ancestor_thread_num_8_,
omp_get_team_size_, omp_get_team_size_8_, omp_get_active_level_):
New exports @@OMP_3.0.
* omp.h.in (omp_sched_t): New type.
(omp_set_schedule, omp_get_schedule, omp_get_thread_limit,
omp_set_max_active_levels, omp_get_max_active_levels,
omp_get_level, omp_get_ancestor_thread_num, omp_get_team_size,
omp_get_active_level): New prototypes.
* env.c (gomp_spin_count_var, gomp_throttled_spin_count_var,
gomp_available_cpus, gomp_managed_threads, gomp_max_active_levels_var,
gomp_thread_limit_var, gomp_remaining_threads_count,
gomp_remaining_threads_lock): New variables.
(parse_spincount): New function.
(initialize_env): Call gomp_init_num_threads unconditionally.
Initialize gomp_available_cpus. Call parse_spincount,
initialize gomp_{,throttled_}spin_count_var
depending on presence and value of OMP_WAIT_POLICY and
GOMP_SPINCOUNT env vars. Handle GOMP_BLOCKTIME env var.
Handle OMP_WAIT_POLICY, OMP_MAX_ACTIVE_LEVELS,
OMP_THREAD_LIMIT, OMP_STACKSIZE env vars. Handle unit specification
for GOMP_STACKSIZE. Initialize gomp_remaining_threads_count and
gomp_remaining_threads_lock if needed. Use gomp_global_icv.
(gomp_nthreads_var, gomp_dyn_var, gomp_nest_var,
gomp_run_sched_var, gomp_run_sched_chunk): Remove.
(gomp_global_icv): New.
(parse_schedule): Use it. Parse "auto".
(omp_set_num_threads): Use gomp_icv.
(omp_set_dynamic, omp_get_dynamic, omp_set_nested, omp_get_nested):
Likewise.
(omp_get_max_threads): Move from parallel.c.
(omp_set_schedule, omp_get_schedule, omp_get_thread_limit,
omp_set_max_active_levels, omp_get_max_active_levels): New functions,
add ialias.
(parse_stacksize, parse_wait_policy): New functions.
* fortran.c: Rewrite lock wrappers, if symbol versioning provide
both wrappers for compatibility and new locks.
(omp_set_schedule, omp_get_schedule,
omp_get_thread_limit, omp_set_max_active_levels,
omp_get_max_active_levels, omp_get_level,
omp_get_ancestor_thread_num, omp_get_team_size,
omp_get_active_level): New ialias_redirect.
(omp_set_schedule_, omp_set_schedule_8_,
omp_get_schedule_, omp_get_schedule_8_, omp_get_thread_limit_,
omp_set_max_active_levels_, omp_set_max_active_levels_8_,
omp_get_max_active_levels_, omp_get_level_,
omp_get_ancestor_thread_num_, omp_get_ancestor_thread_num_8_,
omp_get_team_size_, omp_get_team_size_8_, omp_get_active_level_):
New functions.
* parallel.c: Include limits.h.
(gomp_resolve_num_threads): Add count argument. Rewritten.
(GOMP_parallel_start): Call gomp_new_team and pass that as last
argument to gomp_team_start. Pass 0 as second argument to
gomp_resolve_num_threads.
(GOMP_parallel_end): Decrease gomp_remaining_threads_count
if gomp_thread_limit_var != ULONG_MAX.
(omp_in_parallel): Implement using ts.active_level.
(omp_get_max_threads): Move to env.c.
(omp_get_level, omp_get_ancestor_thread_num,
omp_get_team_size, omp_get_active_level): New functions,
add ialias.
* sections.c (GOMP_sections_start): Call gomp_work_share_init_done
after gomp_sections_init. If HAVE_SYNC_BUILTINS, call
gomp_iter_dynamic_next instead of the _locked variant and don't take
lock around it, otherwise acquire it before calling
gomp_iter_dynamic_next_locked.
(GOMP_sections_next): If HAVE_SYNC_BUILTINS, call
gomp_iter_dynamic_next instead of the _locked variant and don't take
lock around it.
(GOMP_parallel_sections_start): Call gomp_new_team instead of
gomp_new_work_share. Call gomp_sections_init on &team->work_shares[0].
Adjust gomp_team_start caller. Pass count as second argument to
gomp_resolve_num_threads, don't adjust num_threads after the call.
Use gomp_icv.
* iter.c (gomp_iter_dynamic_next_locked): Don't multiply
ws->chunk_size by incr.
(gomp_iter_dynamic_next): Likewise. If ws->mode, use more efficient
code.
* libgomp_f.h.in (omp_lock_25_arg_t, omp_nest_lock_25_arg_t): New
types.
(omp_lock_25_arg, omp_nest_lock_25_arg): New macros.
(omp_check_defines): Check even the compat defines.
* config/linux/ptrlock.c: New file.
* config/linux/ptrlock.h: New file.
* config/linux/wait.h: New file.
* config/posix/ptrlock.c: New file.
* config/posix/ptrlock.h: New file.
* config/linux/bar.h (gomp_team_barrier_wait,
gomp_team_barrier_wait_end, gomp_team_barrier_wake): New prototypes.
(gomp_team_barrier_set_task_pending,
gomp_team_barrier_clear_task_pending,
gomp_team_barrier_set_waiting_for_tasks,
gomp_team_barrier_waiting_for_tasks,
gomp_team_barrier_done): New inlines.
(gomp_barrier_t): Rewritten.
(gomp_barrier_state_t): New typedef.
(gomp_barrier_init, gomp_barrier_reinit, gomp_barrier_destroy,
gomp_barrier_wait_start): Rewritten.
(gomp_barrier_wait_end): Change second argument to
gomp_barrier_state_t.
(gomp_barrier_last_thread, gomp_barrier_wait_last): New static
inlines.
* config/linux/bar.c: Include wait.h instead of libgomp.h and
futex.h.
(gomp_barrier_wait_end): Rewritten.
(gomp_team_barrier_wait, gomp_team_barrier_wait_end,
gomp_team_barrier_wake, gomp_barrier_wait_last): New functions.
* config/posix/bar.h (gomp_barrier_t): Add generation field.
(gomp_barrier_state_t): New typedef.
(gomp_team_barrier_wait,
gomp_team_barrier_wait_end, gomp_team_barrier_wake): New prototypes.
(gomp_barrier_wait_start): Or all but low 2 bits from generation
into the return value. Return gomp_barrier_state_t.
(gomp_team_barrier_set_task_pending,
gomp_team_barrier_clear_task_pending,
gomp_team_barrier_set_waiting_for_tasks,
gomp_team_barrier_waiting_for_tasks,
gomp_team_barrier_done): New inlines.
(gomp_barrier_wait_end): Change second argument to
gomp_barrier_state_t.
(gomp_barrier_last_thread, gomp_barrier_wait_last): New static
inlines.
* config/posix/bar.c (gomp_barrier_init): Clear generation field.
(gomp_barrier_wait_end): Change second argument to
gomp_barrier_state_t.
(gomp_team_barrier_wait, gomp_team_barrier_wait_end,
gomp_team_barrier_wake): New functions.
* config/linux/mutex.c: Include wait.h instead of libgomp.h and
futex.h.
(gomp_futex_wake, gomp_futex_wait): New variables.
(gomp_mutex_lock_slow): Call do_wait instead of futex_wait.
* config/linux/lock.c: Rewrite to make locks task owned,
for backwards compatibility provide the old entrypoints
if symbol versioning. Include wait.h instead of libgomp.h and
futex.h.
(gomp_set_nest_lock_25): Call do_wait instead of futex_wait.
* config/posix95/lock.c: Rewrite to make locks task owned,
for backwards compatibility provide the old entrypoints
if symbol versioning.
* config/posix/lock.c: Rewrite to make locks task owned,
for backwards compatibility provide the old entrypoints
if symbol versioning.
* config/linux/proc.c (gomp_init_num_threads): Use gomp_global_icv.
(get_num_procs, gomp_dynamic_max_threads): Use gomp_icv.
* config/posix/proc.c, config/mingw32/proc.c: Similarly.
* config/linux/powerpc/futex.h (FUTEX_WAIT, FUTEX_WAKE): Remove.
(sys_futex0): Return error code.
(futex_wake, futex_wait): If ENOSYS was returned, clear
FUTEX_PRIVATE_FLAG in gomp_futex_wa{ke,it} and retry.
(cpu_relax, atomic_write_barrier): New static inlines.
* config/linux/alpha/futex.h (FUTEX_WAIT, FUTEX_WAKE): Remove.
(futex_wake, futex_wait): If ENOSYS was returned, clear
FUTEX_PRIVATE_FLAG in gomp_futex_wa{ke,it} and retry.
(cpu_relax, atomic_write_barrier): New static inlines.
* config/linux/x86/futex.h (FUTEX_WAIT, FUTEX_WAKE): Remove.
(sys_futex0): Return error code.
(futex_wake, futex_wait): If ENOSYS was returned, clear
FUTEX_PRIVATE_FLAG in gomp_futex_wa{ke,it} and retry.
(cpu_relax, atomic_write_barrier): New static inlines.
* config/linux/s390/futex.h (FUTEX_WAIT, FUTEX_WAKE): Remove.
(sys_futex0): Return error code.
(futex_wake, futex_wait): If ENOSYS was returned, clear
FUTEX_PRIVATE_FLAG in gomp_futex_wa{ke,it} and retry.
(cpu_relax, atomic_write_barrier): New static inlines.
* config/linux/ia64/futex.h (FUTEX_WAIT, FUTEX_WAKE): Remove.
(sys_futex0): Return error code.
(futex_wake, futex_wait): If ENOSYS was returned, clear
FUTEX_PRIVATE_FLAG in gomp_futex_wa{ke,it} and retry.
(cpu_relax, atomic_write_barrier): New static inlines.
* config/linux/sparc/futex.h (FUTEX_WAIT, FUTEX_WAKE): Remove.
(sys_futex0): Return error code.
(futex_wake, futex_wait): If ENOSYS was returned, clear
FUTEX_PRIVATE_FLAG in gomp_futex_wa{ke,it} and retry.
(cpu_relax, atomic_write_barrier): New static inlines.
* config/linux/sem.c: Include wait.h instead of libgomp.h and
futex.h.
(gomp_sem_wait_slow): Call do_wait instead of futex_wait.
* config/linux/affinity.c: Assume HAVE_SYNC_BUILTINS.
* config/linux/omp-lock.h (omp_lock_25_t, omp_nest_lock_25_t): New
types.
(omp_nest_lock_t): Change owner into void *, add lock field.
* config/posix95/omp-lock.h: Include semaphore.h.
(omp_lock_25_t, omp_nest_lock_25_t): New types.
(omp_lock_t): Use sem_t instead of mutex if semaphores
aren't broken.
(omp_nest_lock_t): Likewise. Change owner to void *.
* config/posix/omp-lock.h: Include semaphore.h.
(omp_lock_25_t, omp_nest_lock_25_t): New types.
(omp_lock_t): Use sem_t instead of mutex if semaphores
aren't broken.
(omp_nest_lock_t): Likewise. Add owner field.
* testsuite/libgomp.c/collapse-1.c: New test.
* testsuite/libgomp.c/collapse-2.c: New test.
* testsuite/libgomp.c/collapse-3.c: New test.
* testsuite/libgomp.c/icv-1.c: New test.
* testsuite/libgomp.c/icv-2.c: New test.
* testsuite/libgomp.c/lib-2.c: New test.
* testsuite/libgomp.c/lock-1.c: New test.
* testsuite/libgomp.c/lock-2.c: New test.
* testsuite/libgomp.c/lock-3.c: New test.
* testsuite/libgomp.c/loop-4.c: New test.
* testsuite/libgomp.c/loop-5.c: New test.
* testsuite/libgomp.c/loop-6.c: New test.
* testsuite/libgomp.c/loop-7.c: New test.
* testsuite/libgomp.c/loop-8.c: New test.
* testsuite/libgomp.c/loop-9.c: New test.
* testsuite/libgomp.c/nested-3.c: New test.
* testsuite/libgomp.c/nestedfn-6.c: New test.
* testsuite/libgomp.c/sort-1.c: New test.
* testsuite/libgomp.c/task-1.c: New test.
* testsuite/libgomp.c/task-2.c: New test.
* testsuite/libgomp.c/task-3.c: New test.
* testsuite/libgomp.c/task-4.c: New test.
* testsuite/libgomp.c++/c++.exp: Add libstdc++-v3 build includes
to C++ testsuite default compiler options.
* testsuite/libgomp.c++/collapse-1.C: New test.
* testsuite/libgomp.c++/collapse-2.C: New test.
* testsuite/libgomp.c++/ctor-10.C: New test.
* testsuite/libgomp.c++/for-1.C: New test.
* testsuite/libgomp.c++/for-2.C: New test.
* testsuite/libgomp.c++/for-3.C: New test.
* testsuite/libgomp.c++/for-4.C: New test.
* testsuite/libgomp.c++/for-5.C: New test.
* testsuite/libgomp.c++/loop-8.C: New test.
* testsuite/libgomp.c++/loop-9.C: New test.
* testsuite/libgomp.c++/loop-10.C: New test.
* testsuite/libgomp.c++/task-1.C: New test.
* testsuite/libgomp.c++/task-2.C: New test.
* testsuite/libgomp.c++/task-3.C: New test.
* testsuite/libgomp.c++/task-4.C: New test.
* testsuite/libgomp.c++/task-5.C: New test.
* testsuite/libgomp.c++/task-6.C: New test.
* testsuite/libgomp.fortran/allocatable1.f90: New test.
* testsuite/libgomp.fortran/allocatable2.f90: New test.
* testsuite/libgomp.fortran/allocatable3.f90: New test.
* testsuite/libgomp.fortran/allocatable4.f90: New test.
* testsuite/libgomp.fortran/collapse1.f90: New test.
* testsuite/libgomp.fortran/collapse2.f90: New test.
* testsuite/libgomp.fortran/collapse3.f90: New test.
* testsuite/libgomp.fortran/collapse4.f90: New test.
* testsuite/libgomp.fortran/lastprivate1.f90: New test.
* testsuite/libgomp.fortran/lastprivate2.f90: New test.
* testsuite/libgomp.fortran/lib4.f90: New test.
* testsuite/libgomp.fortran/lock-1.f90: New test.
* testsuite/libgomp.fortran/lock-2.f90: New test.
* testsuite/libgomp.fortran/nested1.f90: New test.
* testsuite/libgomp.fortran/nestedfn4.f90: New test.
* testsuite/libgomp.fortran/strassen.f90: New test.
* testsuite/libgomp.fortran/tabs1.f90: New test.
* testsuite/libgomp.fortran/tabs2.f: New test.
* testsuite/libgomp.fortran/task1.f90: New test.
* testsuite/libgomp.fortran/task2.f90: New test.
* testsuite/libgomp.fortran/vla4.f90: Add dg-warning.
* testsuite/libgomp.fortran/vla5.f90: Likewise.
* testsuite/libgomp.c/pr26943-2.c: Likewise.
* testsuite/libgomp.c/pr26943-3.c: Likewise.
* testsuite/libgomp.c/pr26943-4.c: Likewise.
Co-Authored-By: Jakob Blomer <jakob.blomer@ira.uka.de>
Co-Authored-By: Richard Henderson <rth@redhat.com>
Co-Authored-By: Ulrich Drepper <drepper@redhat.com>
From-SVN: r136433
1224 lines
40 KiB
C
1224 lines
40 KiB
C
/* gfortran backend interface
|
|
Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
|
|
Free Software Foundation, Inc.
|
|
Contributed by Paul Brook.
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
/* f95-lang.c-- GCC backend interface stuff */
|
|
|
|
/* declare required prototypes: */
|
|
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "ansidecl.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "tree.h"
|
|
#include "tree-gimple.h"
|
|
#include "flags.h"
|
|
#include "langhooks.h"
|
|
#include "langhooks-def.h"
|
|
#include "timevar.h"
|
|
#include "tm.h"
|
|
#include "function.h"
|
|
#include "ggc.h"
|
|
#include "toplev.h"
|
|
#include "target.h"
|
|
#include "debug.h"
|
|
#include "diagnostic.h"
|
|
#include "tree-dump.h"
|
|
#include "cgraph.h"
|
|
|
|
#include "gfortran.h"
|
|
#include "cpp.h"
|
|
#include "trans.h"
|
|
#include "trans-types.h"
|
|
#include "trans-const.h"
|
|
|
|
/* Language-dependent contents of an identifier. */
|
|
|
|
struct lang_identifier
|
|
GTY(())
|
|
{
|
|
struct tree_identifier common;
|
|
};
|
|
|
|
/* The resulting tree type. */
|
|
|
|
union lang_tree_node
|
|
GTY((desc ("TREE_CODE (&%h.generic) == IDENTIFIER_NODE"),
|
|
chain_next ("(union lang_tree_node *)GENERIC_NEXT (&%h.generic)")))
|
|
|
|
{
|
|
union tree_node GTY((tag ("0"),
|
|
desc ("tree_node_structure (&%h)"))) generic;
|
|
struct lang_identifier GTY((tag ("1"))) identifier;
|
|
};
|
|
|
|
/* Save and restore the variables in this file and elsewhere
|
|
that keep track of the progress of compilation of the current function.
|
|
Used for nested functions. */
|
|
|
|
struct language_function
|
|
GTY(())
|
|
{
|
|
/* struct gfc_language_function base; */
|
|
struct binding_level *binding_level;
|
|
};
|
|
|
|
/* We don't have a lex/yacc lexer/parser, but toplev expects these to
|
|
exist anyway. */
|
|
void yyerror (const char *str);
|
|
int yylex (void);
|
|
|
|
static void gfc_init_decl_processing (void);
|
|
static void gfc_init_builtin_functions (void);
|
|
|
|
/* Each front end provides its own. */
|
|
static bool gfc_init (void);
|
|
static void gfc_finish (void);
|
|
static void gfc_print_identifier (FILE *, tree, int);
|
|
static bool gfc_mark_addressable (tree);
|
|
void do_function_end (void);
|
|
int global_bindings_p (void);
|
|
static void clear_binding_stack (void);
|
|
static void gfc_be_parse_file (int);
|
|
static alias_set_type gfc_get_alias_set (tree);
|
|
|
|
#undef LANG_HOOKS_NAME
|
|
#undef LANG_HOOKS_INIT
|
|
#undef LANG_HOOKS_FINISH
|
|
#undef LANG_HOOKS_INIT_OPTIONS
|
|
#undef LANG_HOOKS_HANDLE_OPTION
|
|
#undef LANG_HOOKS_POST_OPTIONS
|
|
#undef LANG_HOOKS_PRINT_IDENTIFIER
|
|
#undef LANG_HOOKS_PARSE_FILE
|
|
#undef LANG_HOOKS_MARK_ADDRESSABLE
|
|
#undef LANG_HOOKS_TYPE_FOR_MODE
|
|
#undef LANG_HOOKS_TYPE_FOR_SIZE
|
|
#undef LANG_HOOKS_GET_ALIAS_SET
|
|
#undef LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE
|
|
#undef LANG_HOOKS_OMP_PREDETERMINED_SHARING
|
|
#undef LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR
|
|
#undef LANG_HOOKS_OMP_CLAUSE_COPY_CTOR
|
|
#undef LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP
|
|
#undef LANG_HOOKS_OMP_CLAUSE_DTOR
|
|
#undef LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR
|
|
#undef LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE
|
|
#undef LANG_HOOKS_OMP_PRIVATE_OUTER_REF
|
|
#undef LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES
|
|
#undef LANG_HOOKS_BUILTIN_FUNCTION
|
|
#undef LANG_HOOKS_GET_ARRAY_DESCR_INFO
|
|
|
|
/* Define lang hooks. */
|
|
#define LANG_HOOKS_NAME "GNU Fortran"
|
|
#define LANG_HOOKS_INIT gfc_init
|
|
#define LANG_HOOKS_FINISH gfc_finish
|
|
#define LANG_HOOKS_INIT_OPTIONS gfc_init_options
|
|
#define LANG_HOOKS_HANDLE_OPTION gfc_handle_option
|
|
#define LANG_HOOKS_POST_OPTIONS gfc_post_options
|
|
#define LANG_HOOKS_PRINT_IDENTIFIER gfc_print_identifier
|
|
#define LANG_HOOKS_PARSE_FILE gfc_be_parse_file
|
|
#define LANG_HOOKS_MARK_ADDRESSABLE gfc_mark_addressable
|
|
#define LANG_HOOKS_TYPE_FOR_MODE gfc_type_for_mode
|
|
#define LANG_HOOKS_TYPE_FOR_SIZE gfc_type_for_size
|
|
#define LANG_HOOKS_GET_ALIAS_SET gfc_get_alias_set
|
|
#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_CLAUSE_DEFAULT_CTOR gfc_omp_clause_default_ctor
|
|
#define LANG_HOOKS_OMP_CLAUSE_COPY_CTOR gfc_omp_clause_copy_ctor
|
|
#define LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP gfc_omp_clause_assign_op
|
|
#define LANG_HOOKS_OMP_CLAUSE_DTOR gfc_omp_clause_dtor
|
|
#define LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR gfc_omp_disregard_value_expr
|
|
#define LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE gfc_omp_private_debug_clause
|
|
#define LANG_HOOKS_OMP_PRIVATE_OUTER_REF gfc_omp_private_outer_ref
|
|
#define LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES \
|
|
gfc_omp_firstprivatize_type_sizes
|
|
#define LANG_HOOKS_BUILTIN_FUNCTION gfc_builtin_function
|
|
#define LANG_HOOKS_GET_ARRAY_DESCR_INFO gfc_get_array_descr_info
|
|
|
|
const struct lang_hooks lang_hooks = LANG_HOOKS_INITIALIZER;
|
|
|
|
/* A list (chain of TREE_LIST nodes) of all LABEL_DECLs in the function
|
|
that have names. Here so we can clear out their names' definitions
|
|
at the end of the function. */
|
|
|
|
/* Tree code classes. */
|
|
|
|
#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE,
|
|
|
|
const enum tree_code_class tree_code_type[] = {
|
|
#include "tree.def"
|
|
};
|
|
#undef DEFTREECODE
|
|
|
|
/* Table indexed by tree code giving number of expression
|
|
operands beyond the fixed part of the node structure.
|
|
Not used for types or decls. */
|
|
|
|
#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) LENGTH,
|
|
|
|
const unsigned char tree_code_length[] = {
|
|
#include "tree.def"
|
|
};
|
|
#undef DEFTREECODE
|
|
|
|
/* Names of tree components.
|
|
Used for printing out the tree and error messages. */
|
|
#define DEFTREECODE(SYM, NAME, TYPE, LEN) NAME,
|
|
|
|
const char *const tree_code_name[] = {
|
|
#include "tree.def"
|
|
};
|
|
#undef DEFTREECODE
|
|
|
|
|
|
#define NULL_BINDING_LEVEL (struct binding_level *) NULL
|
|
|
|
/* A chain of binding_level structures awaiting reuse. */
|
|
|
|
static GTY(()) struct binding_level *free_binding_level;
|
|
|
|
/* The elements of `ridpointers' are identifier nodes
|
|
for the reserved type names and storage classes.
|
|
It is indexed by a RID_... value. */
|
|
tree *ridpointers = NULL;
|
|
|
|
/* Prepare expr to be an argument of a TRUTH_NOT_EXPR,
|
|
or validate its data type for an `if' or `while' statement or ?..: exp.
|
|
|
|
This preparation consists of taking the ordinary
|
|
representation of an expression expr and producing a valid tree
|
|
boolean expression describing whether expr is nonzero. We could
|
|
simply always do build_binary_op (NE_EXPR, expr, boolean_false_node, 1),
|
|
but we optimize comparisons, &&, ||, and !.
|
|
|
|
The resulting type should always be `boolean_type_node'.
|
|
This is much simpler than the corresponding C version because we have a
|
|
distinct boolean type. */
|
|
|
|
tree
|
|
gfc_truthvalue_conversion (tree expr)
|
|
{
|
|
switch (TREE_CODE (TREE_TYPE (expr)))
|
|
{
|
|
case BOOLEAN_TYPE:
|
|
if (TREE_TYPE (expr) == boolean_type_node)
|
|
return expr;
|
|
else if (COMPARISON_CLASS_P (expr))
|
|
{
|
|
TREE_TYPE (expr) = boolean_type_node;
|
|
return expr;
|
|
}
|
|
else if (TREE_CODE (expr) == NOP_EXPR)
|
|
return fold_build1 (NOP_EXPR,
|
|
boolean_type_node, TREE_OPERAND (expr, 0));
|
|
else
|
|
return fold_build1 (NOP_EXPR, boolean_type_node, expr);
|
|
|
|
case INTEGER_TYPE:
|
|
if (TREE_CODE (expr) == INTEGER_CST)
|
|
return integer_zerop (expr) ? boolean_false_node : boolean_true_node;
|
|
else
|
|
return fold_build2 (NE_EXPR, boolean_type_node, expr,
|
|
build_int_cst (TREE_TYPE (expr), 0));
|
|
|
|
default:
|
|
internal_error ("Unexpected type in truthvalue_conversion");
|
|
}
|
|
}
|
|
|
|
|
|
static void
|
|
gfc_create_decls (void)
|
|
{
|
|
/* GCC builtins. */
|
|
gfc_init_builtin_functions ();
|
|
|
|
/* Runtime/IO library functions. */
|
|
gfc_build_builtin_function_decls ();
|
|
|
|
gfc_init_constants ();
|
|
}
|
|
|
|
|
|
static void
|
|
gfc_be_parse_file (int set_yydebug ATTRIBUTE_UNUSED)
|
|
{
|
|
int errors;
|
|
int warnings;
|
|
|
|
gfc_create_decls ();
|
|
gfc_parse_file ();
|
|
gfc_generate_constructors ();
|
|
|
|
cgraph_finalize_compilation_unit ();
|
|
cgraph_optimize ();
|
|
|
|
/* Tell the frontent about any errors. */
|
|
gfc_get_errors (&warnings, &errors);
|
|
errorcount += errors;
|
|
warningcount += warnings;
|
|
|
|
clear_binding_stack ();
|
|
}
|
|
|
|
|
|
/* Initialize everything. */
|
|
|
|
static bool
|
|
gfc_init (void)
|
|
{
|
|
if (!gfc_cpp_enabled ())
|
|
{
|
|
linemap_add (line_table, LC_ENTER, false, gfc_source_file, 1);
|
|
linemap_add (line_table, LC_RENAME, false, "<built-in>", 0);
|
|
}
|
|
else
|
|
gfc_cpp_init_0 ();
|
|
|
|
gfc_init_decl_processing ();
|
|
gfc_static_ctors = NULL_TREE;
|
|
|
|
if (gfc_cpp_enabled ())
|
|
gfc_cpp_init ();
|
|
|
|
gfc_init_1 ();
|
|
|
|
if (gfc_new_file () != SUCCESS)
|
|
fatal_error ("can't open input file: %s", gfc_source_file);
|
|
|
|
return true;
|
|
}
|
|
|
|
|
|
static void
|
|
gfc_finish (void)
|
|
{
|
|
gfc_cpp_done ();
|
|
gfc_done_1 ();
|
|
gfc_release_include_path ();
|
|
return;
|
|
}
|
|
|
|
static void
|
|
gfc_print_identifier (FILE * file ATTRIBUTE_UNUSED,
|
|
tree node ATTRIBUTE_UNUSED,
|
|
int indent ATTRIBUTE_UNUSED)
|
|
{
|
|
return;
|
|
}
|
|
|
|
|
|
/* These functions and variables deal with binding contours. We only
|
|
need these functions for the list of PARM_DECLs, but we leave the
|
|
functions more general; these are a simplified version of the
|
|
functions from GNAT. */
|
|
|
|
/* For each binding contour we allocate a binding_level structure which
|
|
records the entities defined or declared in that contour. Contours
|
|
include:
|
|
|
|
the global one
|
|
one for each subprogram definition
|
|
one for each compound statement (declare block)
|
|
|
|
Binding contours are used to create GCC tree BLOCK nodes. */
|
|
|
|
struct binding_level
|
|
GTY(())
|
|
{
|
|
/* A chain of ..._DECL nodes for all variables, constants, functions,
|
|
parameters and type declarations. These ..._DECL nodes are chained
|
|
through the TREE_CHAIN field. Note that these ..._DECL nodes are stored
|
|
in the reverse of the order supplied to be compatible with the
|
|
back-end. */
|
|
tree names;
|
|
/* For each level (except the global one), a chain of BLOCK nodes for all
|
|
the levels that were entered and exited one level down from this one. */
|
|
tree blocks;
|
|
/* The binding level containing this one (the enclosing binding level). */
|
|
struct binding_level *level_chain;
|
|
};
|
|
|
|
/* The binding level currently in effect. */
|
|
static GTY(()) struct binding_level *current_binding_level = NULL;
|
|
|
|
/* The outermost binding level. This binding level is created when the
|
|
compiler is started and it will exist through the entire compilation. */
|
|
static GTY(()) struct binding_level *global_binding_level;
|
|
|
|
/* Binding level structures are initialized by copying this one. */
|
|
static struct binding_level clear_binding_level = { NULL, NULL, NULL };
|
|
|
|
|
|
/* Return nonzero if we are currently in the global binding level. */
|
|
|
|
int
|
|
global_bindings_p (void)
|
|
{
|
|
return current_binding_level == global_binding_level ? -1 : 0;
|
|
}
|
|
|
|
tree
|
|
getdecls (void)
|
|
{
|
|
return current_binding_level->names;
|
|
}
|
|
|
|
/* Enter a new binding level. The input parameter is ignored, but has to be
|
|
specified for back-end compatibility. */
|
|
|
|
void
|
|
pushlevel (int ignore ATTRIBUTE_UNUSED)
|
|
{
|
|
struct binding_level *newlevel
|
|
= (struct binding_level *) ggc_alloc (sizeof (struct binding_level));
|
|
|
|
*newlevel = clear_binding_level;
|
|
|
|
/* Add this level to the front of the chain (stack) of levels that are
|
|
active. */
|
|
newlevel->level_chain = current_binding_level;
|
|
current_binding_level = newlevel;
|
|
}
|
|
|
|
/* Exit a binding level.
|
|
Pop the level off, and restore the state of the identifier-decl mappings
|
|
that were in effect when this level was entered.
|
|
|
|
If KEEP is nonzero, this level had explicit declarations, so
|
|
and create a "block" (a BLOCK node) for the level
|
|
to record its declarations and subblocks for symbol table output.
|
|
|
|
If FUNCTIONBODY is nonzero, this level is the body of a function,
|
|
so create a block as if KEEP were set and also clear out all
|
|
label names.
|
|
|
|
If REVERSE is nonzero, reverse the order of decls before putting
|
|
them into the BLOCK. */
|
|
|
|
tree
|
|
poplevel (int keep, int reverse, int functionbody)
|
|
{
|
|
/* Points to a BLOCK tree node. This is the BLOCK node constructed for the
|
|
binding level that we are about to exit and which is returned by this
|
|
routine. */
|
|
tree block_node = NULL_TREE;
|
|
tree decl_chain;
|
|
tree subblock_chain = current_binding_level->blocks;
|
|
tree subblock_node;
|
|
|
|
/* Reverse the list of XXXX_DECL nodes if desired. Note that the ..._DECL
|
|
nodes chained through the `names' field of current_binding_level are in
|
|
reverse order except for PARM_DECL node, which are explicitly stored in
|
|
the right order. */
|
|
decl_chain = (reverse) ? nreverse (current_binding_level->names)
|
|
: current_binding_level->names;
|
|
|
|
/* If there were any declarations in the current binding level, or if this
|
|
binding level is a function body, or if there are any nested blocks then
|
|
create a BLOCK node to record them for the life of this function. */
|
|
if (keep || functionbody)
|
|
block_node = build_block (keep ? decl_chain : 0, subblock_chain, 0, 0);
|
|
|
|
/* Record the BLOCK node just built as the subblock its enclosing scope. */
|
|
for (subblock_node = subblock_chain; subblock_node;
|
|
subblock_node = TREE_CHAIN (subblock_node))
|
|
BLOCK_SUPERCONTEXT (subblock_node) = block_node;
|
|
|
|
/* Clear out the meanings of the local variables of this level. */
|
|
|
|
for (subblock_node = decl_chain; subblock_node;
|
|
subblock_node = TREE_CHAIN (subblock_node))
|
|
if (DECL_NAME (subblock_node) != 0)
|
|
/* If the identifier was used or addressed via a local extern decl,
|
|
don't forget that fact. */
|
|
if (DECL_EXTERNAL (subblock_node))
|
|
{
|
|
if (TREE_USED (subblock_node))
|
|
TREE_USED (DECL_NAME (subblock_node)) = 1;
|
|
if (TREE_ADDRESSABLE (subblock_node))
|
|
TREE_ADDRESSABLE (DECL_ASSEMBLER_NAME (subblock_node)) = 1;
|
|
}
|
|
|
|
/* Pop the current level. */
|
|
current_binding_level = current_binding_level->level_chain;
|
|
|
|
if (functionbody)
|
|
{
|
|
/* This is the top level block of a function. The ..._DECL chain stored
|
|
in BLOCK_VARS are the function's parameters (PARM_DECL nodes). Don't
|
|
leave them in the BLOCK because they are found in the FUNCTION_DECL
|
|
instead. */
|
|
DECL_INITIAL (current_function_decl) = block_node;
|
|
BLOCK_VARS (block_node) = 0;
|
|
}
|
|
else if (block_node)
|
|
{
|
|
current_binding_level->blocks
|
|
= chainon (current_binding_level->blocks, block_node);
|
|
}
|
|
|
|
/* If we did not make a block for the level just exited, any blocks made for
|
|
inner levels (since they cannot be recorded as subblocks in that level)
|
|
must be carried forward so they will later become subblocks of something
|
|
else. */
|
|
else if (subblock_chain)
|
|
current_binding_level->blocks
|
|
= chainon (current_binding_level->blocks, subblock_chain);
|
|
if (block_node)
|
|
TREE_USED (block_node) = 1;
|
|
|
|
return block_node;
|
|
}
|
|
|
|
|
|
/* Records a ..._DECL node DECL as belonging to the current lexical scope.
|
|
Returns the ..._DECL node. */
|
|
|
|
tree
|
|
pushdecl (tree decl)
|
|
{
|
|
/* External objects aren't nested, other objects may be. */
|
|
if ((DECL_EXTERNAL (decl)) || (decl == current_function_decl))
|
|
DECL_CONTEXT (decl) = 0;
|
|
else
|
|
DECL_CONTEXT (decl) = current_function_decl;
|
|
|
|
/* Put the declaration on the list. The list of declarations is in reverse
|
|
order. The list will be reversed later if necessary. This needs to be
|
|
this way for compatibility with the back-end. */
|
|
|
|
TREE_CHAIN (decl) = current_binding_level->names;
|
|
current_binding_level->names = decl;
|
|
|
|
/* For the declaration of a type, set its name if it is not already set. */
|
|
|
|
if (TREE_CODE (decl) == TYPE_DECL && TYPE_NAME (TREE_TYPE (decl)) == 0)
|
|
{
|
|
if (DECL_SOURCE_LINE (decl) == 0)
|
|
TYPE_NAME (TREE_TYPE (decl)) = decl;
|
|
else
|
|
TYPE_NAME (TREE_TYPE (decl)) = DECL_NAME (decl);
|
|
}
|
|
|
|
return decl;
|
|
}
|
|
|
|
|
|
/* Like pushdecl, only it places X in GLOBAL_BINDING_LEVEL. */
|
|
|
|
tree
|
|
pushdecl_top_level (tree x)
|
|
{
|
|
tree t;
|
|
struct binding_level *b = current_binding_level;
|
|
|
|
current_binding_level = global_binding_level;
|
|
t = pushdecl (x);
|
|
current_binding_level = b;
|
|
return t;
|
|
}
|
|
|
|
|
|
/* Clear the binding stack. */
|
|
static void
|
|
clear_binding_stack (void)
|
|
{
|
|
while (!global_bindings_p ())
|
|
poplevel (0, 0, 0);
|
|
}
|
|
|
|
|
|
#ifndef CHAR_TYPE_SIZE
|
|
#define CHAR_TYPE_SIZE BITS_PER_UNIT
|
|
#endif
|
|
|
|
#ifndef INT_TYPE_SIZE
|
|
#define INT_TYPE_SIZE BITS_PER_WORD
|
|
#endif
|
|
|
|
#undef SIZE_TYPE
|
|
#define SIZE_TYPE "long unsigned int"
|
|
|
|
/* Create tree nodes for the basic scalar types of Fortran 95,
|
|
and some nodes representing standard constants (0, 1, (void *) 0).
|
|
Initialize the global binding level.
|
|
Make definitions for built-in primitive functions. */
|
|
static void
|
|
gfc_init_decl_processing (void)
|
|
{
|
|
current_function_decl = NULL;
|
|
current_binding_level = NULL_BINDING_LEVEL;
|
|
free_binding_level = NULL_BINDING_LEVEL;
|
|
|
|
/* Make the binding_level structure for global names. We move all
|
|
variables that are in a COMMON block to this binding level. */
|
|
pushlevel (0);
|
|
global_binding_level = current_binding_level;
|
|
|
|
/* Build common tree nodes. char_type_node is unsigned because we
|
|
only use it for actual characters, not for INTEGER(1). Also, we
|
|
want double_type_node to actually have double precision. */
|
|
build_common_tree_nodes (false, false);
|
|
/* x86_64 minw32 has a sizetype of "unsigned long long", most other hosts
|
|
have a sizetype of "unsigned long". Therefore choose the correct size
|
|
in mostly target independent way. */
|
|
if (TYPE_MODE (long_unsigned_type_node) == ptr_mode)
|
|
set_sizetype (long_unsigned_type_node);
|
|
else if (TYPE_MODE (long_long_unsigned_type_node) == ptr_mode)
|
|
set_sizetype (long_long_unsigned_type_node);
|
|
else
|
|
set_sizetype (long_unsigned_type_node);
|
|
build_common_tree_nodes_2 (0);
|
|
void_list_node = build_tree_list (NULL_TREE, void_type_node);
|
|
|
|
/* Set up F95 type nodes. */
|
|
gfc_init_kinds ();
|
|
gfc_init_types ();
|
|
}
|
|
|
|
|
|
/* Mark EXP saying that we need to be able to take the
|
|
address of it; it should not be allocated in a register.
|
|
In Fortran 95 this is only the case for variables with
|
|
the TARGET attribute, but we implement it here for a
|
|
likely future Cray pointer extension.
|
|
Value is 1 if successful. */
|
|
/* TODO: Check/fix mark_addressable. */
|
|
|
|
bool
|
|
gfc_mark_addressable (tree exp)
|
|
{
|
|
register tree x = exp;
|
|
while (1)
|
|
switch (TREE_CODE (x))
|
|
{
|
|
case COMPONENT_REF:
|
|
case ADDR_EXPR:
|
|
case ARRAY_REF:
|
|
case REALPART_EXPR:
|
|
case IMAGPART_EXPR:
|
|
x = TREE_OPERAND (x, 0);
|
|
break;
|
|
|
|
case CONSTRUCTOR:
|
|
TREE_ADDRESSABLE (x) = 1;
|
|
return true;
|
|
|
|
case VAR_DECL:
|
|
case CONST_DECL:
|
|
case PARM_DECL:
|
|
case RESULT_DECL:
|
|
if (DECL_REGISTER (x) && !TREE_ADDRESSABLE (x) && DECL_NONLOCAL (x))
|
|
{
|
|
if (TREE_PUBLIC (x))
|
|
{
|
|
error ("global register variable %qs used in nested function",
|
|
IDENTIFIER_POINTER (DECL_NAME (x)));
|
|
return false;
|
|
}
|
|
pedwarn ("register variable %qs used in nested function",
|
|
IDENTIFIER_POINTER (DECL_NAME (x)));
|
|
}
|
|
else if (DECL_REGISTER (x) && !TREE_ADDRESSABLE (x))
|
|
{
|
|
if (TREE_PUBLIC (x))
|
|
{
|
|
error ("address of global register variable %qs requested",
|
|
IDENTIFIER_POINTER (DECL_NAME (x)));
|
|
return true;
|
|
}
|
|
|
|
#if 0
|
|
/* If we are making this addressable due to its having
|
|
volatile components, give a different error message. Also
|
|
handle the case of an unnamed parameter by not trying
|
|
to give the name. */
|
|
|
|
else if (C_TYPE_FIELDS_VOLATILE (TREE_TYPE (x)))
|
|
{
|
|
error ("cannot put object with volatile field into register");
|
|
return false;
|
|
}
|
|
#endif
|
|
|
|
pedwarn ("address of register variable %qs requested",
|
|
IDENTIFIER_POINTER (DECL_NAME (x)));
|
|
}
|
|
|
|
/* drops in */
|
|
case FUNCTION_DECL:
|
|
TREE_ADDRESSABLE (x) = 1;
|
|
|
|
default:
|
|
return true;
|
|
}
|
|
}
|
|
|
|
|
|
/* Return the typed-based alias set for T, which may be an expression
|
|
or a type. Return -1 if we don't do anything special. */
|
|
|
|
static alias_set_type
|
|
gfc_get_alias_set (tree t)
|
|
{
|
|
tree u;
|
|
|
|
/* Permit type-punning when accessing an EQUIVALENCEd variable or
|
|
mixed type entry master's return value. */
|
|
for (u = t; handled_component_p (u); u = TREE_OPERAND (u, 0))
|
|
if (TREE_CODE (u) == COMPONENT_REF
|
|
&& TREE_CODE (TREE_TYPE (TREE_OPERAND (u, 0))) == UNION_TYPE)
|
|
return 0;
|
|
|
|
return -1;
|
|
}
|
|
|
|
|
|
/* press the big red button - garbage (ggc) collection is on */
|
|
|
|
int ggc_p = 1;
|
|
|
|
/* Builtin function initialization. */
|
|
|
|
tree
|
|
gfc_builtin_function (tree decl)
|
|
{
|
|
make_decl_rtl (decl);
|
|
pushdecl (decl);
|
|
return decl;
|
|
}
|
|
|
|
|
|
static void
|
|
gfc_define_builtin (const char *name,
|
|
tree type,
|
|
int code,
|
|
const char *library_name,
|
|
bool const_p)
|
|
{
|
|
tree decl;
|
|
|
|
decl = add_builtin_function (name, type, code, BUILT_IN_NORMAL,
|
|
library_name, NULL_TREE);
|
|
if (const_p)
|
|
TREE_READONLY (decl) = 1;
|
|
|
|
built_in_decls[code] = decl;
|
|
implicit_built_in_decls[code] = decl;
|
|
}
|
|
|
|
|
|
#define DO_DEFINE_MATH_BUILTIN(code, name, argtype, tbase) \
|
|
gfc_define_builtin ("__builtin_" name "l", tbase##longdouble[argtype], \
|
|
BUILT_IN_ ## code ## L, name "l", true); \
|
|
gfc_define_builtin ("__builtin_" name, tbase##double[argtype], \
|
|
BUILT_IN_ ## code, name, true); \
|
|
gfc_define_builtin ("__builtin_" name "f", tbase##float[argtype], \
|
|
BUILT_IN_ ## code ## F, name "f", true);
|
|
|
|
#define DEFINE_MATH_BUILTIN(code, name, argtype) \
|
|
DO_DEFINE_MATH_BUILTIN (code, name, argtype, mfunc_)
|
|
|
|
#define DEFINE_MATH_BUILTIN_C(code, name, argtype) \
|
|
DO_DEFINE_MATH_BUILTIN (code, name, argtype, mfunc_) \
|
|
DO_DEFINE_MATH_BUILTIN (C##code, "c" name, argtype, mfunc_c)
|
|
|
|
|
|
/* Create function types for builtin functions. */
|
|
|
|
static void
|
|
build_builtin_fntypes (tree *fntype, tree type)
|
|
{
|
|
tree tmp;
|
|
|
|
/* type (*) (type) */
|
|
tmp = tree_cons (NULL_TREE, type, void_list_node);
|
|
fntype[0] = build_function_type (type, tmp);
|
|
/* type (*) (type, type) */
|
|
tmp = tree_cons (NULL_TREE, type, tmp);
|
|
fntype[1] = build_function_type (type, tmp);
|
|
/* type (*) (int, type) */
|
|
tmp = tree_cons (NULL_TREE, integer_type_node, void_list_node);
|
|
tmp = tree_cons (NULL_TREE, type, tmp);
|
|
fntype[2] = build_function_type (type, tmp);
|
|
/* type (*) (void) */
|
|
fntype[3] = build_function_type (type, void_list_node);
|
|
/* type (*) (type, &int) */
|
|
tmp = tree_cons (NULL_TREE, type, void_list_node);
|
|
tmp = tree_cons (NULL_TREE, build_pointer_type (integer_type_node), tmp);
|
|
fntype[4] = build_function_type (type, tmp);
|
|
/* type (*) (type, int) */
|
|
tmp = tree_cons (NULL_TREE, type, void_list_node);
|
|
tmp = tree_cons (NULL_TREE, integer_type_node, tmp);
|
|
fntype[5] = build_function_type (type, tmp);
|
|
}
|
|
|
|
|
|
static tree
|
|
builtin_type_for_size (int size, bool unsignedp)
|
|
{
|
|
tree type = lang_hooks.types.type_for_size (size, unsignedp);
|
|
return type ? type : error_mark_node;
|
|
}
|
|
|
|
/* Initialization of builtin function nodes. */
|
|
|
|
static void
|
|
gfc_init_builtin_functions (void)
|
|
{
|
|
enum builtin_type
|
|
{
|
|
#define DEF_PRIMITIVE_TYPE(NAME, VALUE) NAME,
|
|
#define DEF_FUNCTION_TYPE_0(NAME, RETURN) NAME,
|
|
#define DEF_FUNCTION_TYPE_1(NAME, RETURN, ARG1) NAME,
|
|
#define DEF_FUNCTION_TYPE_2(NAME, RETURN, ARG1, ARG2) NAME,
|
|
#define DEF_FUNCTION_TYPE_3(NAME, RETURN, ARG1, ARG2, ARG3) NAME,
|
|
#define DEF_FUNCTION_TYPE_4(NAME, RETURN, ARG1, ARG2, ARG3, ARG4) NAME,
|
|
#define DEF_FUNCTION_TYPE_5(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) NAME,
|
|
#define DEF_FUNCTION_TYPE_6(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6) NAME,
|
|
#define DEF_FUNCTION_TYPE_7(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6, ARG7) NAME,
|
|
#define DEF_FUNCTION_TYPE_VAR_0(NAME, RETURN) NAME,
|
|
#define DEF_POINTER_TYPE(NAME, TYPE) NAME,
|
|
#include "types.def"
|
|
#undef DEF_PRIMITIVE_TYPE
|
|
#undef DEF_FUNCTION_TYPE_0
|
|
#undef DEF_FUNCTION_TYPE_1
|
|
#undef DEF_FUNCTION_TYPE_2
|
|
#undef DEF_FUNCTION_TYPE_3
|
|
#undef DEF_FUNCTION_TYPE_4
|
|
#undef DEF_FUNCTION_TYPE_5
|
|
#undef DEF_FUNCTION_TYPE_6
|
|
#undef DEF_FUNCTION_TYPE_7
|
|
#undef DEF_FUNCTION_TYPE_VAR_0
|
|
#undef DEF_POINTER_TYPE
|
|
BT_LAST
|
|
};
|
|
typedef enum builtin_type builtin_type;
|
|
enum
|
|
{
|
|
/* So far we need just these 2 attribute types. */
|
|
ATTR_NOTHROW_LIST,
|
|
ATTR_CONST_NOTHROW_LIST
|
|
};
|
|
|
|
tree mfunc_float[6];
|
|
tree mfunc_double[6];
|
|
tree mfunc_longdouble[6];
|
|
tree mfunc_cfloat[6];
|
|
tree mfunc_cdouble[6];
|
|
tree mfunc_clongdouble[6];
|
|
tree func_cfloat_float, func_float_cfloat;
|
|
tree func_cdouble_double, func_double_cdouble;
|
|
tree func_clongdouble_longdouble, func_longdouble_clongdouble;
|
|
tree func_float_floatp_floatp;
|
|
tree func_double_doublep_doublep;
|
|
tree func_longdouble_longdoublep_longdoublep;
|
|
tree ftype, ptype;
|
|
tree tmp, type;
|
|
tree builtin_types[(int) BT_LAST + 1];
|
|
|
|
build_builtin_fntypes (mfunc_float, float_type_node);
|
|
build_builtin_fntypes (mfunc_double, double_type_node);
|
|
build_builtin_fntypes (mfunc_longdouble, long_double_type_node);
|
|
build_builtin_fntypes (mfunc_cfloat, complex_float_type_node);
|
|
build_builtin_fntypes (mfunc_cdouble, complex_double_type_node);
|
|
build_builtin_fntypes (mfunc_clongdouble, complex_long_double_type_node);
|
|
|
|
tmp = tree_cons (NULL_TREE, complex_float_type_node, void_list_node);
|
|
func_cfloat_float = build_function_type (float_type_node, tmp);
|
|
|
|
tmp = tree_cons (NULL_TREE, float_type_node, void_list_node);
|
|
func_float_cfloat = build_function_type (complex_float_type_node, tmp);
|
|
|
|
tmp = tree_cons (NULL_TREE, complex_double_type_node, void_list_node);
|
|
func_cdouble_double = build_function_type (double_type_node, tmp);
|
|
|
|
tmp = tree_cons (NULL_TREE, double_type_node, void_list_node);
|
|
func_double_cdouble = build_function_type (complex_double_type_node, tmp);
|
|
|
|
tmp = tree_cons (NULL_TREE, complex_long_double_type_node, void_list_node);
|
|
func_clongdouble_longdouble =
|
|
build_function_type (long_double_type_node, tmp);
|
|
|
|
tmp = tree_cons (NULL_TREE, long_double_type_node, void_list_node);
|
|
func_longdouble_clongdouble =
|
|
build_function_type (complex_long_double_type_node, tmp);
|
|
|
|
ptype = build_pointer_type (float_type_node);
|
|
tmp = tree_cons (NULL_TREE, float_type_node,
|
|
tree_cons (NULL_TREE, ptype,
|
|
tree_cons (NULL_TREE, ptype, void_list_node)));
|
|
func_float_floatp_floatp =
|
|
build_function_type (void_type_node, tmp);
|
|
|
|
ptype = build_pointer_type (double_type_node);
|
|
tmp = tree_cons (NULL_TREE, double_type_node,
|
|
tree_cons (NULL_TREE, ptype,
|
|
tree_cons (NULL_TREE, ptype, void_list_node)));
|
|
func_double_doublep_doublep =
|
|
build_function_type (void_type_node, tmp);
|
|
|
|
ptype = build_pointer_type (long_double_type_node);
|
|
tmp = tree_cons (NULL_TREE, long_double_type_node,
|
|
tree_cons (NULL_TREE, ptype,
|
|
tree_cons (NULL_TREE, ptype, void_list_node)));
|
|
func_longdouble_longdoublep_longdoublep =
|
|
build_function_type (void_type_node, tmp);
|
|
|
|
#include "mathbuiltins.def"
|
|
|
|
/* We define these separately as the fortran versions have different
|
|
semantics (they return an integer type) */
|
|
gfc_define_builtin ("__builtin_roundl", mfunc_longdouble[0],
|
|
BUILT_IN_ROUNDL, "roundl", true);
|
|
gfc_define_builtin ("__builtin_round", mfunc_double[0],
|
|
BUILT_IN_ROUND, "round", true);
|
|
gfc_define_builtin ("__builtin_roundf", mfunc_float[0],
|
|
BUILT_IN_ROUNDF, "roundf", true);
|
|
|
|
gfc_define_builtin ("__builtin_truncl", mfunc_longdouble[0],
|
|
BUILT_IN_TRUNCL, "truncl", true);
|
|
gfc_define_builtin ("__builtin_trunc", mfunc_double[0],
|
|
BUILT_IN_TRUNC, "trunc", true);
|
|
gfc_define_builtin ("__builtin_truncf", mfunc_float[0],
|
|
BUILT_IN_TRUNCF, "truncf", true);
|
|
|
|
gfc_define_builtin ("__builtin_cabsl", func_clongdouble_longdouble,
|
|
BUILT_IN_CABSL, "cabsl", true);
|
|
gfc_define_builtin ("__builtin_cabs", func_cdouble_double,
|
|
BUILT_IN_CABS, "cabs", true);
|
|
gfc_define_builtin ("__builtin_cabsf", func_cfloat_float,
|
|
BUILT_IN_CABSF, "cabsf", true);
|
|
|
|
gfc_define_builtin ("__builtin_copysignl", mfunc_longdouble[1],
|
|
BUILT_IN_COPYSIGNL, "copysignl", true);
|
|
gfc_define_builtin ("__builtin_copysign", mfunc_double[1],
|
|
BUILT_IN_COPYSIGN, "copysign", true);
|
|
gfc_define_builtin ("__builtin_copysignf", mfunc_float[1],
|
|
BUILT_IN_COPYSIGNF, "copysignf", true);
|
|
|
|
gfc_define_builtin ("__builtin_nextafterl", mfunc_longdouble[1],
|
|
BUILT_IN_NEXTAFTERL, "nextafterl", true);
|
|
gfc_define_builtin ("__builtin_nextafter", mfunc_double[1],
|
|
BUILT_IN_NEXTAFTER, "nextafter", true);
|
|
gfc_define_builtin ("__builtin_nextafterf", mfunc_float[1],
|
|
BUILT_IN_NEXTAFTERF, "nextafterf", true);
|
|
|
|
gfc_define_builtin ("__builtin_frexpl", mfunc_longdouble[4],
|
|
BUILT_IN_FREXPL, "frexpl", false);
|
|
gfc_define_builtin ("__builtin_frexp", mfunc_double[4],
|
|
BUILT_IN_FREXP, "frexp", false);
|
|
gfc_define_builtin ("__builtin_frexpf", mfunc_float[4],
|
|
BUILT_IN_FREXPF, "frexpf", false);
|
|
|
|
gfc_define_builtin ("__builtin_fabsl", mfunc_longdouble[0],
|
|
BUILT_IN_FABSL, "fabsl", true);
|
|
gfc_define_builtin ("__builtin_fabs", mfunc_double[0],
|
|
BUILT_IN_FABS, "fabs", true);
|
|
gfc_define_builtin ("__builtin_fabsf", mfunc_float[0],
|
|
BUILT_IN_FABSF, "fabsf", true);
|
|
|
|
gfc_define_builtin ("__builtin_scalbnl", mfunc_longdouble[5],
|
|
BUILT_IN_SCALBNL, "scalbnl", true);
|
|
gfc_define_builtin ("__builtin_scalbn", mfunc_double[5],
|
|
BUILT_IN_SCALBN, "scalbn", true);
|
|
gfc_define_builtin ("__builtin_scalbnf", mfunc_float[5],
|
|
BUILT_IN_SCALBNF, "scalbnf", true);
|
|
|
|
gfc_define_builtin ("__builtin_fmodl", mfunc_longdouble[1],
|
|
BUILT_IN_FMODL, "fmodl", true);
|
|
gfc_define_builtin ("__builtin_fmod", mfunc_double[1],
|
|
BUILT_IN_FMOD, "fmod", true);
|
|
gfc_define_builtin ("__builtin_fmodf", mfunc_float[1],
|
|
BUILT_IN_FMODF, "fmodf", true);
|
|
|
|
gfc_define_builtin ("__builtin_infl", mfunc_longdouble[3],
|
|
BUILT_IN_INFL, "__builtin_infl", true);
|
|
gfc_define_builtin ("__builtin_inf", mfunc_double[3],
|
|
BUILT_IN_INF, "__builtin_inf", true);
|
|
gfc_define_builtin ("__builtin_inff", mfunc_float[3],
|
|
BUILT_IN_INFF, "__builtin_inff", true);
|
|
|
|
/* lround{f,,l} and llround{f,,l} */
|
|
type = tree_cons (NULL_TREE, float_type_node, void_list_node);
|
|
tmp = build_function_type (long_integer_type_node, type);
|
|
gfc_define_builtin ("__builtin_lroundf", tmp, BUILT_IN_LROUNDF,
|
|
"lroundf", true);
|
|
tmp = build_function_type (long_long_integer_type_node, type);
|
|
gfc_define_builtin ("__builtin_llroundf", tmp, BUILT_IN_LLROUNDF,
|
|
"llroundf", true);
|
|
|
|
type = tree_cons (NULL_TREE, double_type_node, void_list_node);
|
|
tmp = build_function_type (long_integer_type_node, type);
|
|
gfc_define_builtin ("__builtin_lround", tmp, BUILT_IN_LROUND,
|
|
"lround", true);
|
|
tmp = build_function_type (long_long_integer_type_node, type);
|
|
gfc_define_builtin ("__builtin_llround", tmp, BUILT_IN_LLROUND,
|
|
"llround", true);
|
|
|
|
type = tree_cons (NULL_TREE, long_double_type_node, void_list_node);
|
|
tmp = build_function_type (long_integer_type_node, type);
|
|
gfc_define_builtin ("__builtin_lroundl", tmp, BUILT_IN_LROUNDL,
|
|
"lroundl", true);
|
|
tmp = build_function_type (long_long_integer_type_node, type);
|
|
gfc_define_builtin ("__builtin_llroundl", tmp, BUILT_IN_LLROUNDL,
|
|
"llroundl", true);
|
|
|
|
/* These are used to implement the ** operator. */
|
|
gfc_define_builtin ("__builtin_powl", mfunc_longdouble[1],
|
|
BUILT_IN_POWL, "powl", true);
|
|
gfc_define_builtin ("__builtin_pow", mfunc_double[1],
|
|
BUILT_IN_POW, "pow", true);
|
|
gfc_define_builtin ("__builtin_powf", mfunc_float[1],
|
|
BUILT_IN_POWF, "powf", true);
|
|
gfc_define_builtin ("__builtin_cpowl", mfunc_clongdouble[1],
|
|
BUILT_IN_CPOWL, "cpowl", true);
|
|
gfc_define_builtin ("__builtin_cpow", mfunc_cdouble[1],
|
|
BUILT_IN_CPOW, "cpow", true);
|
|
gfc_define_builtin ("__builtin_cpowf", mfunc_cfloat[1],
|
|
BUILT_IN_CPOWF, "cpowf", true);
|
|
gfc_define_builtin ("__builtin_powil", mfunc_longdouble[2],
|
|
BUILT_IN_POWIL, "powil", true);
|
|
gfc_define_builtin ("__builtin_powi", mfunc_double[2],
|
|
BUILT_IN_POWI, "powi", true);
|
|
gfc_define_builtin ("__builtin_powif", mfunc_float[2],
|
|
BUILT_IN_POWIF, "powif", true);
|
|
|
|
|
|
if (TARGET_C99_FUNCTIONS)
|
|
{
|
|
gfc_define_builtin ("__builtin_cbrtl", mfunc_longdouble[0],
|
|
BUILT_IN_CBRTL, "cbrtl", true);
|
|
gfc_define_builtin ("__builtin_cbrt", mfunc_double[0],
|
|
BUILT_IN_CBRT, "cbrt", true);
|
|
gfc_define_builtin ("__builtin_cbrtf", mfunc_float[0],
|
|
BUILT_IN_CBRTF, "cbrtf", true);
|
|
gfc_define_builtin ("__builtin_cexpil", func_longdouble_clongdouble,
|
|
BUILT_IN_CEXPIL, "cexpil", true);
|
|
gfc_define_builtin ("__builtin_cexpi", func_double_cdouble,
|
|
BUILT_IN_CEXPI, "cexpi", true);
|
|
gfc_define_builtin ("__builtin_cexpif", func_float_cfloat,
|
|
BUILT_IN_CEXPIF, "cexpif", true);
|
|
}
|
|
|
|
if (TARGET_HAS_SINCOS)
|
|
{
|
|
gfc_define_builtin ("__builtin_sincosl",
|
|
func_longdouble_longdoublep_longdoublep,
|
|
BUILT_IN_SINCOSL, "sincosl", false);
|
|
gfc_define_builtin ("__builtin_sincos", func_double_doublep_doublep,
|
|
BUILT_IN_SINCOS, "sincos", false);
|
|
gfc_define_builtin ("__builtin_sincosf", func_float_floatp_floatp,
|
|
BUILT_IN_SINCOSF, "sincosf", false);
|
|
}
|
|
|
|
/* Other builtin functions we use. */
|
|
|
|
tmp = tree_cons (NULL_TREE, long_integer_type_node, void_list_node);
|
|
tmp = tree_cons (NULL_TREE, long_integer_type_node, tmp);
|
|
ftype = build_function_type (long_integer_type_node, tmp);
|
|
gfc_define_builtin ("__builtin_expect", ftype, BUILT_IN_EXPECT,
|
|
"__builtin_expect", true);
|
|
|
|
tmp = tree_cons (NULL_TREE, pvoid_type_node, void_list_node);
|
|
ftype = build_function_type (void_type_node, tmp);
|
|
gfc_define_builtin ("__builtin_free", ftype, BUILT_IN_FREE,
|
|
"free", false);
|
|
|
|
tmp = tree_cons (NULL_TREE, size_type_node, void_list_node);
|
|
ftype = build_function_type (pvoid_type_node, tmp);
|
|
gfc_define_builtin ("__builtin_malloc", ftype, BUILT_IN_MALLOC,
|
|
"malloc", false);
|
|
DECL_IS_MALLOC (built_in_decls[BUILT_IN_MALLOC]) = 1;
|
|
|
|
tmp = tree_cons (NULL_TREE, pvoid_type_node, void_list_node);
|
|
tmp = tree_cons (NULL_TREE, size_type_node, tmp);
|
|
ftype = build_function_type (pvoid_type_node, tmp);
|
|
gfc_define_builtin ("__builtin_realloc", ftype, BUILT_IN_REALLOC,
|
|
"realloc", false);
|
|
|
|
tmp = tree_cons (NULL_TREE, void_type_node, void_list_node);
|
|
ftype = build_function_type (integer_type_node, tmp);
|
|
gfc_define_builtin ("__builtin_isnan", ftype, BUILT_IN_ISNAN,
|
|
"__builtin_isnan", true);
|
|
|
|
#define DEF_PRIMITIVE_TYPE(ENUM, VALUE) \
|
|
builtin_types[(int) ENUM] = VALUE;
|
|
#define DEF_FUNCTION_TYPE_0(ENUM, RETURN) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type (builtin_types[(int) RETURN], \
|
|
void_list_node);
|
|
#define DEF_FUNCTION_TYPE_1(ENUM, RETURN, ARG1) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type (builtin_types[(int) RETURN], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG1], \
|
|
void_list_node));
|
|
#define DEF_FUNCTION_TYPE_2(ENUM, RETURN, ARG1, ARG2) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type \
|
|
(builtin_types[(int) RETURN], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG1], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG2], \
|
|
void_list_node)));
|
|
#define DEF_FUNCTION_TYPE_3(ENUM, RETURN, ARG1, ARG2, ARG3) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type \
|
|
(builtin_types[(int) RETURN], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG1], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG2], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG3], \
|
|
void_list_node))));
|
|
#define DEF_FUNCTION_TYPE_4(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type \
|
|
(builtin_types[(int) RETURN], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG1], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG2], \
|
|
tree_cons \
|
|
(NULL_TREE, \
|
|
builtin_types[(int) ARG3], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG4], \
|
|
void_list_node)))));
|
|
#define DEF_FUNCTION_TYPE_5(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type \
|
|
(builtin_types[(int) RETURN], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG1], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG2], \
|
|
tree_cons \
|
|
(NULL_TREE, \
|
|
builtin_types[(int) ARG3], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG4], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG5],\
|
|
void_list_node))))));
|
|
#define DEF_FUNCTION_TYPE_6(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
|
|
ARG6) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type \
|
|
(builtin_types[(int) RETURN], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG1], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG2], \
|
|
tree_cons \
|
|
(NULL_TREE, \
|
|
builtin_types[(int) ARG3], \
|
|
tree_cons \
|
|
(NULL_TREE, \
|
|
builtin_types[(int) ARG4], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG5], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG6],\
|
|
void_list_node)))))));
|
|
#define DEF_FUNCTION_TYPE_7(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
|
|
ARG6, ARG7) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type \
|
|
(builtin_types[(int) RETURN], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG1], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG2], \
|
|
tree_cons \
|
|
(NULL_TREE, \
|
|
builtin_types[(int) ARG3], \
|
|
tree_cons \
|
|
(NULL_TREE, \
|
|
builtin_types[(int) ARG4], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG5], \
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG6],\
|
|
tree_cons (NULL_TREE, \
|
|
builtin_types[(int) ARG6], \
|
|
void_list_node))))))));
|
|
#define DEF_FUNCTION_TYPE_VAR_0(ENUM, RETURN) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type (builtin_types[(int) RETURN], NULL_TREE);
|
|
#define DEF_POINTER_TYPE(ENUM, TYPE) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_pointer_type (builtin_types[(int) TYPE]);
|
|
#include "types.def"
|
|
#undef DEF_PRIMITIVE_TYPE
|
|
#undef DEF_FUNCTION_TYPE_1
|
|
#undef DEF_FUNCTION_TYPE_2
|
|
#undef DEF_FUNCTION_TYPE_3
|
|
#undef DEF_FUNCTION_TYPE_4
|
|
#undef DEF_FUNCTION_TYPE_5
|
|
#undef DEF_FUNCTION_TYPE_6
|
|
#undef DEF_FUNCTION_TYPE_VAR_0
|
|
#undef DEF_POINTER_TYPE
|
|
builtin_types[(int) BT_LAST] = NULL_TREE;
|
|
|
|
/* Initialize synchronization builtins. */
|
|
#undef DEF_SYNC_BUILTIN
|
|
#define DEF_SYNC_BUILTIN(code, name, type, attr) \
|
|
gfc_define_builtin (name, builtin_types[type], code, name, \
|
|
attr == ATTR_CONST_NOTHROW_LIST);
|
|
#include "../sync-builtins.def"
|
|
#undef DEF_SYNC_BUILTIN
|
|
|
|
if (gfc_option.flag_openmp || flag_tree_parallelize_loops)
|
|
{
|
|
#undef DEF_GOMP_BUILTIN
|
|
#define DEF_GOMP_BUILTIN(code, name, type, attr) \
|
|
gfc_define_builtin ("__builtin_" name, builtin_types[type], \
|
|
code, name, attr == ATTR_CONST_NOTHROW_LIST);
|
|
#include "../omp-builtins.def"
|
|
#undef DEF_GOMP_BUILTIN
|
|
}
|
|
|
|
gfc_define_builtin ("__builtin_trap", builtin_types[BT_FN_VOID],
|
|
BUILT_IN_TRAP, NULL, false);
|
|
TREE_THIS_VOLATILE (built_in_decls[BUILT_IN_TRAP]) = 1;
|
|
|
|
gfc_define_builtin ("__emutls_get_address",
|
|
builtin_types[BT_FN_PTR_PTR], BUILT_IN_EMUTLS_GET_ADDRESS,
|
|
"__emutls_get_address", true);
|
|
gfc_define_builtin ("__emutls_register_common",
|
|
builtin_types[BT_FN_VOID_PTR_WORD_WORD_PTR],
|
|
BUILT_IN_EMUTLS_REGISTER_COMMON,
|
|
"__emutls_register_common", false);
|
|
|
|
build_common_builtin_nodes ();
|
|
targetm.init_builtins ();
|
|
}
|
|
|
|
#undef DEFINE_MATH_BUILTIN_C
|
|
#undef DEFINE_MATH_BUILTIN
|
|
|
|
#include "gt-fortran-f95-lang.h"
|
|
#include "gtype-fortran.h"
|