libgomp/ * target.c: New file. * Makefile.am (libgomp_la_SOURCES): Add target.c. * Makefile.in: Regenerated. * libgomp_g.h (GOMP_task): Add depend argument. (GOMP_barrier_cancel, GOMP_loop_end_cancel, GOMP_sections_end_cancel, GOMP_target, GOMP_target_data, GOMP_target_end_data, GOMP_target_update, GOMP_teams, GOMP_parallel_loop_static, GOMP_parallel_loop_dynamic, GOMP_parallel_loop_guided, GOMP_parallel_loop_runtime, GOMP_parallel, GOMP_cancel, GOMP_cancellation_point, GOMP_taskgroup_start, GOMP_taskgroup_end, GOMP_parallel_sections): New prototypes. * fortran.c (omp_is_initial_device): Add ialias_redirect. (omp_is_initial_device_): New function. (ULP, STR1, STR2, ialias_redirect): Removed. (omp_get_cancellation_, omp_get_proc_bind_, omp_set_default_device_, omp_set_default_device_8_, omp_get_default_device_, omp_get_num_devices_, omp_get_num_teams_, omp_get_team_num_): New functions. * libgomp.map (GOMP_barrier_cancel, GOMP_loop_end_cancel, GOMP_sections_end_cancel, GOMP_target, GOMP_target_data, GOMP_target_end_data, GOMP_target_update, GOMP_teams): Export @@GOMP_4.0. (omp_is_initial_device, omp_is_initial_device_, omp_get_cancellation, omp_get_cancellation_, omp_get_proc_bind, omp_get_proc_bind_, omp_set_default_device, omp_set_default_device_, omp_set_default_device_8_, omp_get_default_device, omp_get_default_device_, omp_get_num_devices, omp_get_num_devices_, omp_get_num_teams, omp_get_num_teams_, omp_get_team_num, omp_get_team_num_): Export @@OMP_4.0. * team.c (struct gomp_thread_start_data): Add place field. (gomp_thread_start): Clear thr->thread_pool and thr->task before returning. Use gomp_team_barrier_wait_final instead of gomp_team_barrier_wait. Initialize thr->place. (gomp_new_team): Initialize work_shares_to_free, work_share_cancelled, team_cancelled and task_queued_count fields. (gomp_free_pool_helper): Clear thr->thread_pool and thr->task before calling pthread_exit. (gomp_free_thread): No longer static. Use gomp_managed_threads_lock instead of gomp_remaining_threads_lock. (gomp_team_start): Add flags argument. Set thr->thread_pool->threads_busy to nthreads immediately after creating new pool. Use gomp_managed_threads_lock instead of gomp_remaining_threads_lock. Handle OpenMP 4.0 affinity. (gomp_team_end): Use gomp_managed_threads_lock instead of gomp_remaining_threads_lock. Use gomp_team_barrier_wait_final instead of gomp_team_barrier_wait. If team->team_cancelled, call gomp_fini_worshare on ws chain starting at team->work_shares_to_free rather than thr->ts.work_share. (initialize_team): Don't call gomp_sem_init here. * sections.c (GOMP_parallel_sections_start): Adjust gomp_team_start caller. (GOMP_parallel_sections, GOMP_sections_end_cancel): New functions. * env.c (gomp_global_icv): Add default_device_var, target_data and bind_var initializers. (gomp_cpu_affinity, gomp_cpu_affinity_len): Remove. (gomp_bind_var_list, gomp_bind_var_list_len, gomp_places_list, gomp_places_list_len): New variables. (parse_bind_var, parse_one_place, parse_places_var): New functions. (parse_affinity): Rewritten to construct OMP_PLACES list with unit sized places. (gomp_cancel_var): New global variable. (parse_int): New function. (handle_omp_display_env): New function. (initialize_env): Use it. Initialize default_device_var. Parse OMP_CANCELLATION env var. Use parse_bind_var to parse OMP_PROC_BIND instead of parse_boolean. Use parse_places_var for OMP_PLACES parsing. Don't call parse_affinity if OMP_PLACES has been successfully parsed (and call gomp_init_affinity in that case). (omp_get_cancellation, omp_get_proc_bind, omp_set_default_device, omp_get_default_device, omp_get_num_devices, omp_get_num_teams, omp_get_team_num, omp_is_initial_device): New functions. * libgomp.h: Include stdlib.h. (ialias_ulp, ialias_str1, ialias_str2, ialias_redirect, ialias_call): Define. (struct target_mem_desc): Forward declare. (struct gomp_task_icv): Add default_device_var, target_data, bind_var and thread_limit_var fields. (gomp_get_num_devices): New prototype. (gomp_cancel_var): New extern decl. (struct gomp_team): Add work_shares_to_free, work_share_cancelled, team_cancelled and task_queued_count fields. Add comments about task_{,queued_,running_}count. (gomp_cancel_kind): New enum. (gomp_work_share_end_cancel): New prototype. (struct gomp_task): Add next_taskgroup, prev_taskgroup, taskgroup, copy_ctors_done, dependers, depend_hash, depend_count, num_dependees and depend fields. (struct gomp_taskgroup): New type. (struct gomp_task_depend_entry, struct gomp_dependers_vec): New types. (gomp_finish_task): Free depend_hash if non-NULL. (struct gomp_team_state): Add place_partition_off and place_partition_len fields. (gomp_bind_var_list, gomp_bind_var_list_len, gomp_places_list, gomp_places_list_len): New extern decls. (struct gomp_thread): Add place field. (gomp_cpu_affinity, gomp_cpu_affinity_len): Remove. (gomp_init_thread_affinity): Add place argument. (gomp_affinity_alloc, gomp_affinity_init_place, gomp_affinity_add_cpus, gomp_affinity_remove_cpu, gomp_affinity_copy_place, gomp_affinity_same_place, gomp_affinity_finalize_place_list, gomp_affinity_init_level, gomp_affinity_print_place): New prototypes. (gomp_team_start): Add flags argument. (gomp_thread_limit_var, gomp_remaining_threads_count, gomp_remaining_threads_lock): Remove. (gomp_managed_threads_lock): New variable. (struct gomp_thread_pool): Add threads_busy field. (gomp_free_thread): New prototype. * task.c: Include hashtab.h. (hash_entry_type): New typedef. (htab_alloc, htab_free, htab_hash, htab_eq): New inlines. (gomp_init_task): Clear dependers, depend_hash, depend_count, copy_ctors_done and taskgroup fields. (GOMP_task): Add depend argument, handle depend clauses. If gomp_team_barrier_cancelled or if it's taskgroup has been cancelled, don't queue or start new tasks. Set copy_ctors_done field if needed. Initialize taskgroup field. If copy_ctors_done and already cancelled, don't discard the task. If taskgroup is non-NULL, enqueue the task into taskgroup queue. Increment num_children field in taskgroup. Increment task_queued_count. (gomp_task_run_pre, gomp_task_run_post_remove_parent, gomp_task_run_post_remove_taskgroup): New inline functions. (gomp_task_run_post_handle_depend_hash, gomp_task_run_post_handle_dependers, gomp_task_run_post_handle_depend): New functions. (GOMP_taskwait): Use them. If more than one new tasks have been queued, wake other threads if needed. (gomp_barrier_handle_tasks): Likewise. If gomp_team_barrier_cancelled, don't start any new tasks, just free all tasks. (GOMP_taskgroup_start, GOMP_taskgroup_end): New functions. * omp_lib.f90.in (omp_proc_bind_kind, omp_proc_bind_false, omp_proc_bind_true, omp_proc_bind_master, omp_proc_bind_close, omp_proc_bind_spread): New params. (omp_get_cancellation, omp_get_proc_bind, omp_set_default_device, omp_get_default_device, omp_get_num_devices, omp_get_num_teams, omp_get_team_num, omp_is_initial_device): New interfaces. (omp_get_dynamic, omp_get_nested, omp_in_parallel, omp_get_max_threads, omp_get_num_procs, omp_get_num_threads, omp_get_thread_num, 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_in_final): Remove useless use omp_lib_kinds. * omp.h.in (omp_proc_bind_t): New typedef. (omp_get_cancellation, omp_get_proc_bind, omp_set_default_device, omp_get_default_device, omp_get_num_devices, omp_get_num_teams, omp_get_team_num, omp_is_initial_device): New prototypes. * loop.c (gomp_parallel_loop_start): Add flags argument, pass it through to gomp_team_start. (GOMP_parallel_loop_static_start, GOMP_parallel_loop_dynamic_start, GOMP_parallel_loop_guided_start, GOMP_parallel_loop_runtime_start): Adjust gomp_parallel_loop_start callers. (GOMP_parallel_loop_static, GOMP_parallel_loop_dynamic, GOMP_parallel_loop_guided, GOMP_parallel_loop_runtime, GOMP_loop_end_cancel): New functions. (GOMP_parallel_end): Add ialias_redirect. * hashtab.h: New file. * libgomp.texi (Environment Variables): Minor cleanup, update section refs to OpenMP 4.0rc2. (OMP_DISPLAY_ENV, GOMP_SPINCOUNT): Document these environment variables. * work.c (gomp_work_share_end, gomp_work_share_end_nowait): Set team->work_shares_to_free to thr->ts.work_share before calling free_work_share. (gomp_work_share_end_cancel): New function. * config/linux/proc.c: Include errno.h. (gomp_get_cpuset_size, gomp_cpuset_size, gomp_cpusetp): New variables. (gomp_cpuset_popcount): Add cpusetsize argument, use it instead of sizeof (cpu_set_t) to determine number of iterations. Fix up check extern decl. Use CPU_COUNT_S if available, or CPU_COUNT if gomp_cpuset_size is sizeof (cpu_set_t). (gomp_init_num_threads): Initialize gomp_cpuset_size, gomp_get_cpuset_size and gomp_cpusetp here, use gomp_cpusetp instead of &cpuset and pass gomp_cpuset_size instead of sizeof (cpu_set_t) to pthread_getaffinity_np. Free and clear gomp_cpusetp if it didn't contain any logical CPUs. (get_num_procs): Don't call pthread_getaffinity_np if gomp_cpusetp is NULL. Use gomp_cpusetp instead of &cpuset and pass gomp_get_cpuset_size instead of sizeof (cpu_set_t) to pthread_getaffinity_np. Check gomp_places_list instead of gomp_cpu_affinity. Adjust gomp_cpuset_popcount caller. * config/linux/bar.c (gomp_barrier_wait_end, gomp_barrier_wait_last): Use BAR_* defines. (gomp_team_barrier_wait_end): Likewise. Clear BAR_CANCELLED from state where needed. Set work_share_cancelled to 0 on last thread. (gomp_team_barrier_wait_final, gomp_team_barrier_wait_cancel_end, gomp_team_barrier_wait_cancel, gomp_team_barrier_cancel): New functions. * config/linux/proc.h (gomp_cpuset_popcount): Add attribute_hidden. Add cpusetsize argument. (gomp_cpuset_size, gomp_cpusetp): Declare. * config/linux/affinity.c: Include errno.h, stdio.h and string.h. (affinity_counter): Remove. (CPU_ISSET_S, CPU_ZERO_S, CPU_SET_S, CPU_CLR_S): Define if CPU_ALLOC_SIZE isn't defined. (gomp_init_affinity): Rewritten, if gomp_places_list is NULL, try silently create OMP_PLACES=threads, if it is non-NULL afterwards, bind current thread to the first place. (gomp_init_thread_affinity): Rewritten. Add place argument, just pthread_setaffinity_np to gomp_places_list[place]. (gomp_affinity_alloc, gomp_affinity_init_place, gomp_affinity_add_cpus, gomp_affinity_remove_cpu, gomp_affinity_copy_place, gomp_affinity_same_place, gomp_affinity_finalize_place_list, gomp_affinity_init_level, gomp_affinity_print_place): New functions. * config/linux/bar.h (BAR_TASK_PENDING, BAR_WAS_LAST, BAR_WAITING_FOR_TASK, BAR_INCR, BAR_CANCELLED): Define. (gomp_barrier_t): Add awaited_final field. (gomp_barrier_init): Initialize awaited_final field. (gomp_team_barrier_wait_final, gomp_team_barrier_wait_cancel, gomp_team_barrier_wait_cancel_end, gomp_team_barrier_cancel): New prototypes. (gomp_barrier_wait_start): Preserve BAR_CANCELLED bit. Use BAR_* defines. (gomp_barrier_wait_cancel_start, gomp_team_barrier_wait_final_start, gomp_team_barrier_cancelled): New inline functions. (gomp_barrier_last_thread, 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): Use BAR_* defines. * config/posix/bar.c (gomp_barrier_init): Clear cancellable field. (gomp_barrier_wait_end): Use BAR_* defines. (gomp_team_barrier_wait_end): Clear BAR_CANCELLED from state. Set work_share_cancelled to 0 on last thread, use __atomic_load_n. Use BAR_* defines. (gomp_team_barrier_wait_cancel_end, gomp_team_barrier_wait_cancel, gomp_team_barrier_cancel): New functions. * config/posix/affinity.c (gomp_init_thread_affinity): Add place argument. (gomp_affinity_alloc, gomp_affinity_init_place, gomp_affinity_add_cpus, gomp_affinity_remove_cpu, gomp_affinity_copy_place, gomp_affinity_same_place, gomp_affinity_finalize_place_list, gomp_affinity_init_level, gomp_affinity_print_place): New stubs. * config/posix/bar.h (BAR_TASK_PENDING, BAR_WAS_LAST, BAR_WAITING_FOR_TASK, BAR_INCR, BAR_CANCELLED): Define. (gomp_barrier_t): Add cancellable field. (gomp_team_barrier_wait_cancel, gomp_team_barrier_wait_cancel_end, gomp_team_barrier_cancel): New prototypes. (gomp_barrier_wait_start): Preserve BAR_CANCELLED bit. (gomp_barrier_wait_cancel_start, gomp_team_barrier_wait_final, gomp_team_barrier_cancelled): New inline functions. (gomp_barrier_wait_start, gomp_barrier_last_thread, 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): Use BAR_* defines. * barrier.c (GOMP_barrier_cancel): New function. * omp_lib.h.in (omp_proc_bind_kind, omp_proc_bind_false, omp_proc_bind_true, omp_proc_bind_master, omp_proc_bind_close, omp_proc_bind_spread): New params. (omp_get_cancellation, omp_get_proc_bind, omp_set_default_device, omp_get_default_device, omp_get_num_devices, omp_get_num_teams, omp_get_team_num, omp_is_initial_device): New externals. * parallel.c (GOMP_parallel, GOMP_cancel, GOMP_cancellation_point): New functions. (gomp_resolve_num_threads): Adjust for thread_limit now being in icv->thread_limit_var. Use UINT_MAX instead of ULONG_MAX as infinity. If not nested, just return minimum of max_num_threads and icv->thread_limit_var and if thr->thread_pool, set threads_busy to the returned value. Otherwise, don't update atomically gomp_remaining_threads_count, but instead thr->thread_pool->threads_busy. (GOMP_parallel_end): Adjust for thread_limit now being in icv->thread_limit_var. Use UINT_MAX instead of ULONG_MAX as infinity. Adjust threads_busy in the pool rather than gomp_remaining_threads_count. Remember team->nthreads and call gomp_team_end before adjusting threads_busy, if not nested afterwards, just set it to 1 non-atomically. Add ialias. (GOMP_parallel_start): Adjust gomp_team_start caller. * testsuite/libgomp.c/atomic-14.c: Add parens to make it valid. * testsuite/libgomp.c/affinity-1.c: New test. * testsuite/libgomp.c/atomic-15.c: New test. * testsuite/libgomp.c/atomic-16.c: New test. * testsuite/libgomp.c/atomic-17.c: New test. * testsuite/libgomp.c/cancel-for-1.c: New test. * testsuite/libgomp.c/cancel-for-2.c: New test. * testsuite/libgomp.c/cancel-parallel-1.c: New test. * testsuite/libgomp.c/cancel-parallel-2.c: New test. * testsuite/libgomp.c/cancel-parallel-3.c: New test. * testsuite/libgomp.c/cancel-sections-1.c: New test. * testsuite/libgomp.c/cancel-taskgroup-1.c: New test. * testsuite/libgomp.c/cancel-taskgroup-2.c: New test. * testsuite/libgomp.c/depend-1.c: New test. * testsuite/libgomp.c/depend-2.c: New test. * testsuite/libgomp.c/depend-3.c: New test. * testsuite/libgomp.c/depend-4.c: New test. * testsuite/libgomp.c/for-1.c: New test. * testsuite/libgomp.c/for-1.h: New file. * testsuite/libgomp.c/for-2.c: New test. * testsuite/libgomp.c/for-2.h: New file. * testsuite/libgomp.c/for-3.c: New test. * testsuite/libgomp.c/pr58392.c: New test. * testsuite/libgomp.c/simd-1.c: New test. * testsuite/libgomp.c/simd-2.c: New test. * testsuite/libgomp.c/simd-3.c: New test. * testsuite/libgomp.c/simd-4.c: New test. * testsuite/libgomp.c/simd-5.c: New test. * testsuite/libgomp.c/simd-6.c: New test. * testsuite/libgomp.c/target-1.c: New test. * testsuite/libgomp.c/target-2.c: New test. * testsuite/libgomp.c/target-3.c: New test. * testsuite/libgomp.c/target-4.c: New test. * testsuite/libgomp.c/target-5.c: New test. * testsuite/libgomp.c/target-6.c: New test. * testsuite/libgomp.c/target-7.c: New test. * testsuite/libgomp.c/taskgroup-1.c: New test. * testsuite/libgomp.c/thread-limit-1.c: New test. * testsuite/libgomp.c/thread-limit-2.c: New test. * testsuite/libgomp.c/thread-limit-3.c: New test. * testsuite/libgomp.c/udr-1.c: New test. * testsuite/libgomp.c/udr-2.c: New test. * testsuite/libgomp.c/udr-3.c: New test. * testsuite/libgomp.c++/affinity-1.C: New test. * testsuite/libgomp.c++/atomic-10.C: New test. * testsuite/libgomp.c++/atomic-11.C: New test. * testsuite/libgomp.c++/atomic-12.C: New test. * testsuite/libgomp.c++/atomic-13.C: New test. * testsuite/libgomp.c++/atomic-14.C: New test. * testsuite/libgomp.c++/atomic-15.C: New test. * testsuite/libgomp.c++/cancel-for-1.C: New test. * testsuite/libgomp.c++/cancel-for-2.C: New test. * testsuite/libgomp.c++/cancel-parallel-1.C: New test. * testsuite/libgomp.c++/cancel-parallel-2.C: New test. * testsuite/libgomp.c++/cancel-parallel-3.C: New test. * testsuite/libgomp.c++/cancel-sections-1.C: New test. * testsuite/libgomp.c++/cancel-taskgroup-1.C: New test. * testsuite/libgomp.c++/cancel-taskgroup-2.C: New test. * testsuite/libgomp.c++/cancel-taskgroup-3.C: New test. * testsuite/libgomp.c++/cancel-test.h: New file. * testsuite/libgomp.c++/for-9.C: New test. * testsuite/libgomp.c++/for-10.C: New test. * testsuite/libgomp.c++/for-11.C: New test. * testsuite/libgomp.c++/simd-1.C: New test. * testsuite/libgomp.c++/simd-2.C: New test. * testsuite/libgomp.c++/simd-3.C: New test. * testsuite/libgomp.c++/simd-4.C: New test. * testsuite/libgomp.c++/simd-5.C: New test. * testsuite/libgomp.c++/simd-6.C: New test. * testsuite/libgomp.c++/simd-7.C: New test. * testsuite/libgomp.c++/simd-8.C: New test. * testsuite/libgomp.c++/target-1.C: New test. * testsuite/libgomp.c++/target-2.C: New test. * testsuite/libgomp.c++/target-2-aux.cc: New file. * testsuite/libgomp.c++/target-3.C: New test. * testsuite/libgomp.c++/taskgroup-1.C: New test. * testsuite/libgomp.c++/udr-1.C: New test. * testsuite/libgomp.c++/udr-2.C: New test. * testsuite/libgomp.c++/udr-3.C: New test. * testsuite/libgomp.c++/udr-4.C: New test. * testsuite/libgomp.c++/udr-5.C: New test. * testsuite/libgomp.c++/udr-6.C: New test. * testsuite/libgomp.c++/udr-7.C: New test. * testsuite/libgomp.c++/udr-8.C: New test. * testsuite/libgomp.c++/udr-9.C: New test. gcc/ * tree-pretty-print.c (dump_omp_clause): Handle OMP_CLAUSE__LOOPTEMP_ and new OpenMP 4.0 clauses, handle UDR OMP_CLAUSE_REDUCTION, formatting fixes, use pp_colon instead of pp_character (..., ':'), similarly pp_right_paren. (dump_generic_node): Handle OMP_DISTRIBUTE, OMP_TEAMS, OMP_TARGET_DATA, OMP_TARGET, OMP_TARGET_UPDATE, OMP_TASKGROUP, allow OMP_FOR_INIT to be NULL, handle OMP_ATOMIC_SEQ_CST. * tree.c (omp_clause_num_ops, omp_clause_code_name): Add OpenMP 4.0 clauses. (omp_declare_simd_clauses_equal, omp_remove_redundant_declare_simd_attrs): New functions. (attribute_value_equal): Use omp_declare_simd_clauses_equal. (walk_tree_1): Handle new OpenMP 4.0 clauses. * tree.h (OMP_LOOP_CHECK): Define. (OMP_FOR_BODY, OMP_FOR_CLAUSES, OMP_FOR_INIT, OMP_FOR_COND, OMP_FOR_INCR, OMP_FOR_PRE_BODY): Use it. (OMP_TASKGROUP_BODY, OMP_TEAMS_BODY, OMP_TEAMS_CLAUSES, OMP_TARGET_DATA_BODY, OMP_TARGET_DATA_CLAUSES, OMP_TARGET_BODY, OMP_TARGET_CLAUSES, OMP_TARGET_UPDATE_CLAUSES, OMP_CLAUSE_SIZE, OMP_ATOMIC_SEQ_CST, OMP_CLAUSE_DEPEND_KIND, OMP_CLAUSE_MAP_KIND, OMP_CLAUSE_MAP_ZERO_BIAS_ARRAY_SECTION, OMP_CLAUSE_PROC_BIND_KIND, OMP_CLAUSE_REDUCTION_OMP_ORIG_REF, OMP_CLAUSE_ALIGNED_ALIGNMENT, OMP_CLAUSE_NUM_TEAMS_EXPR, OMP_CLAUSE_THREAD_LIMIT_EXPR, OMP_CLAUSE_DEVICE_ID, OMP_CLAUSE_DIST_SCHEDULE_CHUNK_EXPR, OMP_CLAUSE_SIMDLEN_EXPR): Define. (OMP_CLAUSE_DECL): Change range up to OMP_CLAUSE__LOOPTEMP_. (omp_remove_redundant_declare_simd_attrs): New prototype. * gimple.def (GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS): New codes. (GIMPLE_OMP_RETURN): Use GSS_OMP_ATOMIC_STORE instead of GSS_BASE. * omp-low.c (struct omp_context): Add cancel_label and cancellable fields. (target_nesting_level): New variable. (extract_omp_for_data): Handle GF_OMP_FOR_KIND_DISTRIBUTE and OMP_CLAUSE_DIST_SCHEDULE. Don't fallback to library implementation for collapse > 1 static schedule unless ordered. (get_ws_args_for): Add par_stmt argument. Handle combined loops. (determine_parallel_type): Adjust get_ws_args_for caller. (install_var_field): Handle mask & 4 for double indirection. (scan_sharing_clauses): Ignore shared clause on teams construct. Handle OMP_CLAUSE__LOOPTEMP_ and new OpenMP 4.0 clauses. (create_omp_child_function): If inside target or declare target constructs, set "omp declare target" attribute on the child function. (find_combined_for): New function. (scan_omp_parallel): Handle combined loops. (scan_omp_target, scan_omp_teams): New functions. (check_omp_nesting_restrictions): Check new OpenMP 4.0 nesting restrictions and set ctx->cancellable for cancellable constructs. (scan_omp_1_stmt): Call check_omp_nesting_restrictions also on selected builtin calls. Handle GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS. (build_omp_barrier): Add lhs argument, return gimple rather than tree. (omp_clause_aligned_alignment): New function. (lower_rec_simd_input_clauses): Only call SET_DECL_VALUE_EXPR on decls. (lower_rec_input_clauses): Add FD argument. Ignore shared clauses on teams constructs. Handle user defined reductions and new OpenMP 4.0 clauses. (lower_reduction_clauses): Don't set placeholder to address of ref if it has already the right type. (lower_send_clauses): Handle OMP_CLAUSE__LOOPTEMP_. (expand_parallel_call): Use the new non-_start suffixed builtins, handle OMP_CLAUSE_PROC_BIND, don't call the outlined function and GOMP_parallel_end after the call. (expand_task_call): Handle OMP_CLAUSE_DEPEND. (expand_omp_for_init_counts): Handle combined loops. (expand_omp_for_init_vars): Add inner_stmt argument, handle combined loops. (expand_omp_for_generic): Likewise. Use GOMP_loop_end_cancel at the end of cancellable loops. (expand_omp_for_static_nochunk, expand_omp_for_static_chunk): Likewise. Handle collapse > 1 loops. (expand_omp_simd): Handle combined loops. (expand_omp_for): Add inner_stmt argument, adjust callers of expand_omp_for* functions, use expand_omp_for_static*chunk even for collapse > 1 unless ordered. (expand_omp_sections): Use GOMP_sections_end_cancel at the end of cancellable sections. (expand_omp_single): Remove need_barrier variable, just rely on gimple_omp_return_nowait_p. Adjust build_omp_barrier caller. (expand_omp_synch): Allow GIMPLE_OMP_TASKGROUP and GIMPLE_OMP_TEAMS. (expand_omp_atomic_load, expand_omp_atomic_store, expand_omp_atomic_fetch_op): Handle gimple_omp_atomic_seq_cst_p. (expand_omp_target): New function. (expand_omp): Handle combined loops. Handle GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TEAMS, GIMPLE_OMP_TARGET. (build_omp_regions_1): Immediately close region for GF_OMP_TARGET_KIND_UPDATE. (maybe_add_implicit_barrier_cancel): New function. (lower_omp_sections): Adjust lower_rec_input_clauses caller. Handle cancellation. (lower_omp_single): Likewise. Add clobber after the barrier. (lower_omp_taskgroup): New function. (lower_omp_for): Handle combined loops. Adjust lower_rec_input_clauses caller. Handle cancellation. (lower_depend_clauses): New function. (lower_omp_taskreg): Lower depend clauses. Adjust lower_rec_input_clauses caller. Add clobber after the call. Handle cancellation. (lower_omp_target, lower_omp_teams): New functions. (lower_omp_1): Handle cancellation. Handle GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GOMP_barrier, GOMP_cancel and GOMP_cancellation_point calls. (lower_omp): Fold stmts inside of target region. (diagnose_sb_1, diagnose_sb_2): Handle GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TARGET and GIMPLE_OMP_TEAMS. * builtin-types.def (DEF_FUNCTION_TYPE_8): Document. (BT_FN_VOID_OMPFN_PTR_UINT, BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG, BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG, BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT): Remove. (BT_FN_VOID_OMPFN_PTR_UINT_UINT_UINT, BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_UINT, BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG_UINT, BT_FN_BOOL_INT, BT_FN_BOOL_INT_BOOL, BT_FN_VOID_UINT_UINT, BT_FN_VOID_INT_PTR_SIZE_PTR_PTR_PTR, BT_FN_VOID_INT_OMPFN_PTR_SIZE_PTR_PTR_PTR, BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT_PTR): New. * tree-ssa-alias.c (ref_maybe_used_by_call_p_1, call_may_clobber_ref_p_1): Handle BUILT_IN_GOMP_BARRIER_CANCEL, BUILT_IN_GOMP_TASKGROUP_END, BUILT_IN_GOMP_LOOP_END_CANCEL, BUILT_IN_GOMP_SECTIONS_END_CANCEL. Don't handle BUILT_IN_GOMP_PARALLEL_END. * gimple-low.c (lower_stmt): Handle GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TARGET and GIMPLE_OMP_TEAMS. * gimple-pretty-print.c (dump_gimple_omp_for): Handle GF_OMP_FOR_KIND_DISTRIBUTE. (dump_gimple_omp_target, dump_gimple_omp_teams): New functions. (dump_gimple_omp_block): Handle GIMPLE_OMP_TASKGROUP. (dump_gimple_omp_return): Print lhs if it has any. (dump_gimple_omp_atomic_load, dump_gimple_omp_atomic_store): Handle gimple_omp_atomic_seq_cst_p. (pp_gimple_stmt_1): Handle GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TARGET and GIMPLE_OMP_TEAMS. * langhooks.c (lhd_omp_mappable_type): New function. * tree-vectorizer.c (struct simd_array_to_simduid): Fix up comment. * langhooks.h (struct lang_hooks_for_types): Add omp_mappable_type hook. * gimplify.c (enum gimplify_omp_var_data): Add GOVD_MAP, GOVD_ALIGNED and GOVD_MAP_TO_ONLY. (enum omp_region_type): Add ORT_TEAMS, ORT_TARGET_DATA and ORT_TARGET. (struct gimplify_omp_ctx): Add combined_loop field. (gimplify_call_expr, gimplify_modify_expr): Don't call fold_stmt on stmts inside of target region. (is_gimple_stmt): Return true for OMP_DISTRIBUTE and OMP_TASKGROUP. (omp_firstprivatize_variable): Handle GOVD_MAP, GOVD_ALIGNED, ORT_TARGET and ORT_TARGET_DATA. (omp_add_variable): Avoid checks on readding var for GOVD_ALIGNED. Handle GOVD_MAP. (omp_notice_threadprivate_variable): Complain about threadprivate variables in target region. (omp_notice_variable): Complain about vars with non-mappable type in target region. Handle ORT_TEAMS, ORT_TARGET and ORT_TARGET_DATA. (omp_check_private): Ignore ORT_TARGET* regions. (gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses_1, gimplify_adjust_omp_clauses): Handle new OpenMP 4.0 clauses. (find_combined_omp_for): New function. (gimplify_omp_for): Handle gimplification of combined loops. (gimplify_omp_workshare): Gimplify also OMP_TARGET, OMP_TARGET_DATA, OMP_TEAMS. (gimplify_omp_target_update): New function. (gimplify_omp_atomic): Handle OMP_ATOMIC_SEQ_CST. (gimplify_expr): Handle OMP_DISTRIBUTE, OMP_TARGET, OMP_TARGET_DATA, OMP_TARGET_UPDATE, OMP_TEAMS, OMP_TASKGROUP. (gimplify_body): If fndecl has "omp declare target" attribute, add implicit ORT_TARGET context around it. * tree.def (OMP_DISTRIBUTE, OMP_TEAMS, OMP_TARGET_DATA, OMP_TARGET, OMP_TASKGROUP, OMP_TARGET_UPDATE): New tree codes. * tree-nested.c (convert_nonlocal_reference_stmt, convert_local_reference_stmt, convert_gimple_call): Handle GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP. * omp-builtins.def (BUILT_IN_GOMP_TASK): Use BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT_PTR instead of BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT. (BUILT_IN_GOMP_TARGET, BUILT_IN_GOMP_TARGET_DATA, BUILT_IN_GOMP_TARGET_END_DATA, BUILT_IN_GOMP_TARGET_UPDATE, BUILT_IN_GOMP_TEAMS, BUILT_IN_BARRIER_CANCEL, BUILT_IN_GOMP_LOOP_END_CANCEL, BUILT_IN_GOMP_SECTIONS_END_CANCEL, BUILT_IN_OMP_GET_TEAM_NUM, BUILT_IN_OMP_GET_NUM_TEAMS, BUILT_IN_GOMP_TASKGROUP_START, BUILT_IN_GOMP_TASKGROUP_END, BUILT_IN_GOMP_PARALLEL_LOOP_STATIC, BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC, BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED, BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME, BUILT_IN_GOMP_PARALLEL, BUILT_IN_GOMP_PARALLEL_SECTIONS, BUILT_IN_GOMP_CANCEL, BUILT_IN_GOMP_CANCELLATION_POINT): New built-ins. (BUILT_IN_GOMP_PARALLEL_LOOP_STATIC_START, BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC_START, BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED_START, BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME_START, BUILT_IN_GOMP_PARALLEL_START, BUILT_IN_GOMP_PARALLEL_END, BUILT_IN_GOMP_PARALLEL_SECTIONS_START): Remove. * tree-inline.c (remap_gimple_stmt, estimate_num_insns): Handle GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP. * gimple.c (gimple_build_omp_taskgroup, gimple_build_omp_target, gimple_build_omp_teams): New functions. (walk_gimple_op): Handle GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP. Walk optional lhs on GIMPLE_OMP_RETURN. (walk_gimple_stmt, gimple_copy): Handle GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP. * gimple.h (enum gf_mask): GF_OMP_FOR_KIND_DISTRIBUTE, GF_OMP_FOR_COMBINED, GF_OMP_FOR_COMBINED_INTO, GF_OMP_TARGET_KIND_MASK, GF_OMP_TARGET_KIND_REGION, GF_OMP_TARGET_KIND_DATA, GF_OMP_TARGET_KIND_UPDATE, GF_OMP_ATOMIC_SEQ_CST): New. (gimple_build_omp_taskgroup, gimple_build_omp_target, gimple_build_omp_teams): New prototypes. (gimple_has_substatements): Handle GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP. (gimple_omp_subcode): Use GIMPLE_OMP_TEAMS instead of GIMPLE_OMP_SINGLE as end of range. (gimple_omp_return_set_lhs, gimple_omp_return_lhs, gimple_omp_return_lhs_ptr, gimple_omp_atomic_seq_cst_p, gimple_omp_atomic_set_seq_cst, gimple_omp_for_combined_p, gimple_omp_for_set_combined_p, gimple_omp_for_combined_into_p, gimple_omp_for_set_combined_into_p, gimple_omp_target_clauses, gimple_omp_target_clauses_ptr, gimple_omp_target_set_clauses, gimple_omp_target_kind, gimple_omp_target_set_kind, gimple_omp_target_child_fn, gimple_omp_target_child_fn_ptr, gimple_omp_target_set_child_fn, gimple_omp_target_data_arg, gimple_omp_target_data_arg_ptr, gimple_omp_target_set_data_arg, gimple_omp_teams_clauses, gimple_omp_teams_clauses_ptr, gimple_omp_teams_set_clauses): New inlines. (CASE_GIMPLE_OMP): Add GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP. * tree-core.h (enum omp_clause_code): Add new OpenMP 4.0 clause codes. (enum omp_clause_depend_kind, enum omp_clause_map_kind, enum omp_clause_proc_bind_kind): New. (union omp_clause_subcode): Add depend_kind, map_kind and proc_bind_kind fields. * tree-cfg.c (make_edges): Handle GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP. * langhooks-def.h (lhd_omp_mappable_type): New prototype. (LANG_HOOKS_OMP_MAPPABLE_TYPE): Define. (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add it. gcc/c-family/ * c-cppbuiltin.c (c_cpp_builtins): Predefine _OPENMP to 201307 instead of 201107. * c-common.c (DEF_FUNCTION_TYPE_8): Define. (c_common_attribute_table): Add "omp declare target" and "omp declare simd" attributes. (handle_omp_declare_target_attribute, handle_omp_declare_simd_attribute): New functions. * c-omp.c: Include c-pragma.h. (c_finish_omp_taskgroup): New function. (c_finish_omp_atomic): Add swapped argument, if true, build the operation first with rhs, lhs arguments and use NOP_EXPR build_modify_expr. (c_finish_omp_for): Add code argument, pass it down to make_code. (c_omp_split_clauses): New function. (c_split_parallel_clauses): Removed. (c_omp_declare_simd_clause_cmp, c_omp_declare_simd_clauses_to_numbers, c_omp_declare_simd_clauses_to_decls): New functions. * c-common.h (omp_clause_mask): New type. (OMP_CLAUSE_MASK_1): Define. (omp_clause_mask::omp_clause_mask, omp_clause_mask::operator &=, omp_clause_mask::operator |=, omp_clause_mask::operator ~, omp_clause_mask::operator |, omp_clause_mask::operator &, omp_clause_mask::operator <<, omp_clause_mask::operator >>, omp_clause_mask::operator ==): New methods. (enum c_omp_clause_split): New. (c_finish_omp_taskgroup): New prototype. (c_finish_omp_atomic): Add swapped argument. (c_finish_omp_for): Add code argument. (c_omp_split_clauses): New prototype. (c_split_parallel_clauses): Removed. (c_omp_declare_simd_clauses_to_numbers, c_omp_declare_simd_clauses_to_decls): New prototypes. * c-pragma.c (omp_pragmas): Add new OpenMP 4.0 constructs. * c-pragma.h (enum pragma_kind): Add PRAGMA_OMP_CANCEL, PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_DECLARE_REDUCTION, PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_SIMD, PRAGMA_OMP_TARGET, PRAGMA_OMP_TASKGROUP and PRAGMA_OMP_TEAMS. Remove PRAGMA_OMP_PARALLEL_FOR and PRAGMA_OMP_PARALLEL_SECTIONS. (enum pragma_omp_clause): Add PRAGMA_OMP_CLAUSE_ALIGNED, PRAGMA_OMP_CLAUSE_DEPEND, PRAGMA_OMP_CLAUSE_DEVICE, PRAGMA_OMP_CLAUSE_DIST_SCHEDULE, PRAGMA_OMP_CLAUSE_FOR, PRAGMA_OMP_CLAUSE_FROM, PRAGMA_OMP_CLAUSE_INBRANCH, PRAGMA_OMP_CLAUSE_LINEAR, PRAGMA_OMP_CLAUSE_MAP, PRAGMA_OMP_CLAUSE_NOTINBRANCH, PRAGMA_OMP_CLAUSE_NUM_TEAMS, PRAGMA_OMP_CLAUSE_PARALLEL, PRAGMA_OMP_CLAUSE_PROC_BIND, PRAGMA_OMP_CLAUSE_SAFELEN, PRAGMA_OMP_CLAUSE_SECTIONS, PRAGMA_OMP_CLAUSE_SIMDLEN, PRAGMA_OMP_CLAUSE_TASKGROUP, PRAGMA_OMP_CLAUSE_THREAD_LIMIT, PRAGMA_OMP_CLAUSE_TO and PRAGMA_OMP_CLAUSE_UNIFORM. gcc/ada/ * gcc-interface/utils.c (DEF_FUNCTION_TYPE_8): Define. gcc/fortran/ * trans-openmp.c (gfc_omp_clause_default_ctor, gfc_omp_clause_dtor): Return NULL for OMP_CLAUSE_REDUCTION. * f95-lang.c (ATTR_NULL, DEF_FUNCTION_TYPE_8): Define. * types.def (DEF_FUNCTION_TYPE_8): Document. (BT_FN_VOID_OMPFN_PTR_UINT, BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG, BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG, BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT): Remove. (BT_FN_VOID_OMPFN_PTR_UINT_UINT_UINT, BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_UINT, BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG_UINT, BT_FN_BOOL_INT, BT_FN_BOOL_INT_BOOL, BT_FN_VOID_UINT_UINT, BT_FN_VOID_INT_PTR_SIZE_PTR_PTR_PTR, BT_FN_VOID_INT_OMPFN_PTR_SIZE_PTR_PTR_PTR, BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT_PTR): New. gcc/lto/ * lto-lang.c (DEF_FUNCTION_TYPE_8): Define. gcc/c/ * c-lang.h (current_omp_declare_target_attribute): New extern decl. * c-parser.c: Include c-lang.h. (struct c_parser): Change tokens to c_token *. Add tokens_buf field. Change tokens_avail type to unsigned int. (c_parser_consume_token): If parser->tokens isn't &parser->tokens_buf[0], increment parser->tokens. (c_parser_consume_pragma): Likewise. (enum pragma_context): Add pragma_struct and pragma_param. (c_parser_external_declaration): Adjust c_parser_declaration_or_fndef caller. (c_parser_declaration_or_fndef): Add omp_declare_simd_clauses argument, if it is non-vNULL vector, call c_finish_omp_declare_simd. Adjust recursive call. (c_parser_struct_or_union_specifier): Use pragma_struct instead of pragma_external. (c_parser_parameter_declaration): Use pragma_param instead of pragma_external. (c_parser_compound_statement_nostart, c_parser_label, c_parser_for_statement): Adjust c_parser_declaration_or_fndef callers. (c_parser_expr_no_commas): Add omp_atomic_lhs argument, pass it through to c_parser_conditional_expression. (c_parser_conditional_expression): Add omp_atomic_lhs argument, pass it through to c_parser_binary_expression. Adjust recursive call. (c_parser_binary_expression): Remove prec argument, add omp_atomic_lhs argument instead. Always start from PREC_NONE, if omp_atomic_lhs is non-NULL and one of the arguments of toplevel binop matches it, use build2 instead of parser_build_binary_op. (c_parser_pragma): Handle PRAGMA_OMP_CANCEL, PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_TARGET, PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_DECLARE_REDUCTION. Handle pragma_struct and pragma_param the same as pragma_external. (c_parser_omp_clause_name): Parse new OpenMP 4.0 clause names. (c_parser_omp_variable_list): Parse array sections for OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses. (c_parser_omp_clause_collapse): Fully fold collapse expression. (c_parser_omp_clause_reduction): Handle user defined reductions. (c_parser_omp_clause_branch, c_parser_omp_clause_cancelkind, c_parser_omp_clause_num_teams, c_parser_omp_clause_thread_limit, c_parser_omp_clause_aligned, c_parser_omp_clause_linear, c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen, c_parser_omp_clause_depend, c_parser_omp_clause_map, c_parser_omp_clause_device, c_parser_omp_clause_dist_schedule, c_parser_omp_clause_proc_bind, c_parser_omp_clause_to, c_parser_omp_clause_from, c_parser_omp_clause_uniform): New functions. (c_parser_omp_all_clauses): Add finish_p argument. Don't call c_finish_omp_clauses if it is false. Handle new OpenMP 4.0 clauses. (c_parser_omp_atomic): Parse seq_cst clause, pass true if it is present to c_finish_omp_atomic. Handle OpenMP 4.0 atomic forms. (c_parser_omp_for_loop): Add CODE argument, pass it through to c_finish_omp_for. Change last argument to cclauses, and adjust uses to grab parallel clauses from the array of all the split clauses. Adjust c_parser_binary_expression, c_parser_declaration_or_fndef and c_finish_omp_for callers. (omp_split_clauses): New function. (c_parser_omp_simd): New function. (c_parser_omp_for): Add p_name, mask and cclauses arguments. Allow the function to be called also when parsing combined constructs, and call c_parser_omp_simd when parsing for simd. (c_parser_omp_sections_scope): If section-sequence doesn't start with #pragma omp section, require exactly one structured-block instead of sequence of statements. (c_parser_omp_sections): Add p_name, mask and cclauses arguments. Allow the function to be called also when parsing combined constructs. (c_parser_omp_parallel): Add p_name, mask and cclauses arguments. Allow the function to be called also when parsing combined constructs. (c_parser_omp_taskgroup, c_parser_omp_cancel, c_parser_omp_cancellation_point, c_parser_omp_distribute, c_parser_omp_teams, c_parser_omp_target_data, c_parser_omp_target_update, c_parser_omp_target, c_parser_omp_declare_simd, c_finish_omp_declare_simd, c_parser_omp_declare_target, c_parser_omp_end_declare_target, c_parser_omp_declare_reduction, c_parser_omp_declare): New functions. (c_parser_omp_construct): Add p_name and mask vars. Handle PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP, PRAGMA_OMP_TEAMS. Adjust c_parser_omp_for, c_parser_omp_parallel and c_parser_omp_sections callers. (c_parse_file): Initialize tparser.tokens and the_parser->tokens here. (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1. (OMP_PARALLEL_CLAUSE_MASK): Likewise. Add OMP_CLAUSE_PROC_BIND. (OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1. Add OMP_CLAUSE_DEPEND. (OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK, OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK, OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK, OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK, OMP_DECLARE_SIMD_CLAUSE_MASK): Define. * c-typeck.c: Include tree-inline.h. (c_finish_omp_cancel, c_finish_omp_cancellation_point, handle_omp_array_sections_1, handle_omp_array_sections, c_clone_omp_udr, c_find_omp_placeholder_r): New functions. (c_finish_omp_clauses): Handle new OpenMP 4.0 clauses and user defined reductions. (c_tree_equal): New function. * c-tree.h (temp_store_parm_decls, temp_pop_parm_decls, c_finish_omp_cancel, c_finish_omp_cancellation_point, c_tree_equal, c_omp_reduction_id, c_omp_reduction_decl, c_omp_reduction_lookup, c_check_omp_declare_reduction_r): New prototypes. * c-decl.c (current_omp_declare_target_attribute): New variable. (c_decl_attributes): New function. (start_decl, start_function): Use it instead of decl_attributes. (temp_store_parm_decls, temp_pop_parm_decls, c_omp_reduction_id, c_omp_reduction_decl, c_omp_reduction_lookup, c_check_omp_declare_reduction_r): New functions. gcc/cp/ * decl.c (duplicate_decls): Error out for redeclaration of UDRs. (declare_simd_adjust_this): New function. (grokfndecl): If "omp declare simd" attribute is present, call declare_simd_adjust_this if needed and c_omp_declare_simd_clauses_to_numbers. * cp-array-notation.c (expand_array_notation_exprs): Handle OMP_TASKGROUP. * cp-gimplify.c (cp_gimplify_expr): Handle OMP_SIMD and OMP_DISTRIBUTE. Handle is_invisiref_parm decls in OMP_CLAUSE_REDUCTION. (cp_genericize_r): Handle OMP_SIMD and OMP_DISTRIBUTE like OMP_FOR. (cxx_omp_privatize_by_reference): Return true for is_invisiref_parm decls. (cxx_omp_finish_clause): Adjust cxx_omp_create_clause_info caller. * pt.c (apply_late_template_attributes): For "omp declare simd" attribute call tsubst_omp_clauses, c_omp_declare_simd_clauses_to_decls, finish_omp_clauses and c_omp_declare_simd_clauses_to_numbers. (instantiate_class_template_1): Call cp_check_omp_declare_reduction for UDRs. (tsubst_decl): Handle UDRs. (tsubst_omp_clauses): Add declare_simd argument, if true don't call finish_omp_clauses. Handle new OpenMP 4.0 clauses. Handle non-NULL OMP_CLAUSE_REDUCTION_PLACEHOLDER on OMP_CLAUSE_REDUCTION. (tsubst_expr): For UDRs call pushdecl and cp_check_omp_declare_reduction. Adjust tsubst_omp_clauses callers. Handle OMP_SIMD, OMP_DISTRIBUTE, OMP_TEAMS, OMP_TARGET_DATA, OMP_TARGET_UPDATE, OMP_TARGET, OMP_TASKGROUP. Adjust finish_omp_atomic caller. (tsubst_omp_udr): New function. (instantiate_decl): For UDRs at block scope, don't call start_preparsed_function/finish_function. Call tsubst_omp_udr. * semantics.c (cxx_omp_create_clause_info): Add need_dtor argument, use it instead of need_default_ctor || need_copy_ctor. (struct cp_check_omp_declare_reduction_data): New type. (handle_omp_array_sections_1, handle_omp_array_sections, omp_reduction_id, omp_reduction_lookup, cp_remove_omp_priv_cleanup_stmt, cp_check_omp_declare_reduction_r, cp_check_omp_declare_reduction, clone_omp_udr, find_omp_placeholder_r, finish_omp_reduction_clause): New functions. (finish_omp_clauses): Handle new OpenMP 4.0 clauses and user defined reductions. (finish_omp_for): Add CODE argument, use it instead of hardcoded OMP_FOR. Adjust c_finish_omp_for caller. (finish_omp_atomic): Add seq_cst argument, adjust c_finish_omp_atomic callers, handle seq_cst and new OpenMP 4.0 atomic variants. (finish_omp_cancel, finish_omp_cancellation_point): New functions. * decl2.c (mark_used): Force immediate instantiation of DECL_OMP_DECLARE_REDUCTION_P decls. (is_late_template_attribute): Return true for "omp declare simd" attribute. (cp_omp_mappable_type): New function. (cplus_decl_attributes): Add implicit "omp declare target" attribute if requested. * parser.c (cp_debug_parser): Print parser->colon_doesnt_start_class_def_p. (cp_ensure_no_omp_declare_simd, cp_finalize_omp_declare_simd): New functions. (enum pragma_context): Add pragma_member and pragma_objc_icode. (cp_parser_binary_expression): Handle no_toplevel_fold_p even for binary operations other than comparison. (cp_parser_linkage_specification): Call cp_ensure_no_omp_declare_simd if needed. (cp_parser_namespace_definition): Likewise. (cp_parser_init_declarator): Call cp_finalize_omp_declare_simd. (cp_parser_direct_declarator): Pass declarator to cp_parser_late_return_type_opt. (cp_parser_late_return_type_opt): Add declarator argument, call cp_parser_late_parsing_omp_declare_simd for declare simd. (cp_parser_class_specifier_1): Call cp_ensure_no_omp_declare_simd. Parse UDRs before all other methods. (cp_parser_member_specification_opt): Use pragma_member instead of pragma_external. (cp_parser_member_declaration): Call cp_finalize_omp_declare_simd. (cp_parser_function_definition_from_specifiers_and_declarator, cp_parser_save_member_function_body): Likewise. (cp_parser_late_parsing_for_member): Handle UDRs specially. (cp_parser_next_token_starts_class_definition_p): Don't allow CPP_COLON if colon_doesnt_start_class_def_p flag is true. (cp_parser_objc_interstitial_code): Use pragma_objc_icode instead of pragma_external. (cp_parser_omp_clause_name): Parse new OpenMP 4.0 clause names. (cp_parser_omp_var_list_no_open): Parse array sections for OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses. Add COLON argument, if non-NULL, allow parsing to end with a colon rather than close paren. (cp_parser_omp_var_list): Adjust cp_parser_omp_var_list_no_open caller. (cp_parser_omp_clause_reduction): Handle user defined reductions. (cp_parser_omp_clause_branch, cp_parser_omp_clause_cancelkind, cp_parser_omp_clause_num_teams, cp_parser_omp_clause_thread_limit, cp_parser_omp_clause_aligned, cp_parser_omp_clause_linear, cp_parser_omp_clause_safelen, cp_parser_omp_clause_simdlen, cp_parser_omp_clause_depend, cp_parser_omp_clause_map, cp_parser_omp_clause_device, cp_parser_omp_clause_dist_schedule, cp_parser_omp_clause_proc_bind, cp_parser_omp_clause_to, cp_parser_omp_clause_from, cp_parser_omp_clause_uniform): New functions. (cp_parser_omp_all_clauses): Add finish_p argument. Don't call finish_omp_clauses if it is false. Handle new OpenMP 4.0 clauses. (cp_parser_omp_atomic): Parse seq_cst clause, pass true if it is present to finish_omp_atomic. Handle new OpenMP 4.0 atomic forms. (cp_parser_omp_for_loop): Add CODE argument, pass it through to finish_omp_for. Change last argument to cclauses, and adjust uses to grab parallel clauses from the array of all the split clauses. (cp_omp_split_clauses): New function. (cp_parser_omp_simd): New function. (cp_parser_omp_for): Add p_name, mask and cclauses arguments. Allow the function to be called also when parsing combined constructs, and call c_parser_omp_simd when parsing for simd. (cp_parser_omp_sections_scope): If section-sequence doesn't start with #pragma omp section, require exactly one structured-block instead of sequence of statements. (cp_parser_omp_sections): Add p_name, mask and cclauses arguments. Allow the function to be called also when parsing combined constructs. (cp_parser_omp_parallel): Add p_name, mask and cclauses arguments. Allow the function to be called also when parsing combined constructs. (cp_parser_omp_taskgroup, cp_parser_omp_cancel, cp_parser_omp_cancellation_point, cp_parser_omp_distribute, cp_parser_omp_teams, cp_parser_omp_target_data, cp_parser_omp_target_update, cp_parser_omp_target, cp_parser_omp_declare_simd, cp_parser_late_parsing_omp_declare_simd, cp_parser_omp_declare_target, cp_parser_omp_end_declare_target, cp_parser_omp_declare_reduction_exprs, cp_parser_omp_declare_reduction, cp_parser_omp_declare): New functions. (cp_parser_omp_construct): Add p_name and mask vars. Handle PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP, PRAGMA_OMP_TEAMS. Adjust cp_parser_omp_for, cp_parser_omp_parallel and cp_parser_omp_sections callers. (cp_parser_pragma): Handle PRAGMA_OMP_CANCEL, PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_DECLARE_REDUCTION, PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP, PRAGMA_OMP_TEAMS, PRAGMA_OMP_TARGET, PRAGMA_OMP_END_DECLARE_TARGET. Handle pragma_member and pragma_objc_icode like pragma_external. (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1. (OMP_PARALLEL_CLAUSE_MASK): Likewise. Add OMP_CLAUSE_PROC_BIND. (OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1. Add OMP_CLAUSE_DEPEND. (OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK, OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK, OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK, OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK, OMP_DECLARE_SIMD_CLAUSE_MASK): Define. * parser.h (struct cp_omp_declare_simd_data): New type. (struct cp_parser): Add colon_doesnt_start_class_def_p and omp_declare_simd fields. * cp-objcp-common.h (LANG_HOOKS_OMP_MAPPABLE_TYPE): Define. * cp-tree.h (struct lang_decl_fn): Add omp_declare_reduction_p bit. (DECL_OMP_DECLARE_REDUCTION_P): Define. (OMP_FOR_GIMPLIFYING_P): Use OMP_LOOP_CHECK macro. (struct saved_scope): Add omp_declare_target_attribute field. (cp_omp_mappable_type, omp_reduction_id, cp_remove_omp_priv_cleanup_stmt, cp_check_omp_declare_reduction, finish_omp_cancel, finish_omp_cancellation_point): New prototypes. (finish_omp_for): Add CODE argument. (finish_omp_atomic): Add seq_cst argument. (cxx_omp_create_clause_info): Add need_dtor argument. gcc/testsuite/ * c-c++-common/gomp/atomic-15.c: Adjust for C diagnostics. Remove error test that is now valid in OpenMP 4.0. * c-c++-common/gomp/atomic-16.c: New test. * c-c++-common/gomp/cancel-1.c: New test. * c-c++-common/gomp/depend-1.c: New test. * c-c++-common/gomp/depend-2.c: New test. * c-c++-common/gomp/map-1.c: New test. * c-c++-common/gomp/pr58472.c: New test. * c-c++-common/gomp/sections1.c: New test. * c-c++-common/gomp/simd1.c: New test. * c-c++-common/gomp/simd2.c: New test. * c-c++-common/gomp/simd3.c: New test. * c-c++-common/gomp/simd4.c: New test. * c-c++-common/gomp/simd5.c: New test. * c-c++-common/gomp/single1.c: New test. * g++.dg/gomp/block-0.C: Adjust for stricter #pragma omp sections parser. * g++.dg/gomp/block-3.C: Likewise. * g++.dg/gomp/clause-3.C: Adjust error messages. * g++.dg/gomp/declare-simd-1.C: New test. * g++.dg/gomp/declare-simd-2.C: New test. * g++.dg/gomp/depend-1.C: New test. * g++.dg/gomp/depend-2.C: New test. * g++.dg/gomp/target-1.C: New test. * g++.dg/gomp/target-2.C: New test. * g++.dg/gomp/taskgroup-1.C: New test. * g++.dg/gomp/teams-1.C: New test. * g++.dg/gomp/udr-1.C: New test. * g++.dg/gomp/udr-2.C: New test. * g++.dg/gomp/udr-3.C: New test. * g++.dg/gomp/udr-4.C: New test. * g++.dg/gomp/udr-5.C: New test. * g++.dg/gomp/udr-6.C: New test. * gcc.dg/autopar/outer-1.c: Expect 4 instead of 5 loopfn matches. * gcc.dg/autopar/outer-2.c: Likewise. * gcc.dg/autopar/outer-3.c: Likewise. * gcc.dg/autopar/outer-4.c: Likewise. * gcc.dg/autopar/outer-5.c: Likewise. * gcc.dg/autopar/outer-6.c: Likewise. * gcc.dg/autopar/parallelization-1.c: Likewise. * gcc.dg/gomp/block-3.c: Adjust for stricter #pragma omp sections parser. * gcc.dg/gomp/clause-1.c: Adjust error messages. * gcc.dg/gomp/combined-1.c: Look for GOMP_parallel_loop_runtime instead of GOMP_parallel_loop_runtime_start. * gcc.dg/gomp/declare-simd-1.c: New test. * gcc.dg/gomp/declare-simd-2.c: New test. * gcc.dg/gomp/nesting-1.c: Adjust for stricter #pragma omp sections parser. Add further #pragma omp sections nesting tests. * gcc.dg/gomp/target-1.c: New test. * gcc.dg/gomp/target-2.c: New test. * gcc.dg/gomp/taskgroup-1.c: New test. * gcc.dg/gomp/teams-1.c: New test. * gcc.dg/gomp/udr-1.c: New test. * gcc.dg/gomp/udr-2.c: New test. * gcc.dg/gomp/udr-3.c: New test. * gcc.dg/gomp/udr-4.c: New test. * gfortran.dg/gomp/appendix-a/a.35.5.f90: Add dg-error. Co-Authored-By: Richard Henderson <rth@redhat.com> Co-Authored-By: Tobias Burnus <burnus@net-b.de> From-SVN: r203408
1091 lines
40 KiB
C
1091 lines
40 KiB
C
/* gfortran backend interface
|
|
Copyright (C) 2000-2013 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 "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 "dumpfile.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 GTY(())
|
|
lang_identifier {
|
|
struct tree_identifier common;
|
|
};
|
|
|
|
/* The resulting tree type. */
|
|
|
|
union GTY((desc ("TREE_CODE (&%h.generic) == IDENTIFIER_NODE"),
|
|
chain_next ("CODE_CONTAINS_STRUCT (TREE_CODE (&%h.generic), TS_COMMON) ? ((union lang_tree_node *) TREE_CHAIN (&%h.generic)) : NULL")))
|
|
lang_tree_node {
|
|
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 GTY(())
|
|
language_function {
|
|
/* struct gfc_language_function base; */
|
|
struct binding_level *binding_level;
|
|
};
|
|
|
|
static void gfc_init_decl_processing (void);
|
|
static void gfc_init_builtin_functions (void);
|
|
static bool global_bindings_p (void);
|
|
|
|
/* Each front end provides its own. */
|
|
static bool gfc_init (void);
|
|
static void gfc_finish (void);
|
|
static void gfc_write_global_declarations (void);
|
|
static void gfc_be_parse_file (void);
|
|
static alias_set_type gfc_get_alias_set (tree);
|
|
static void gfc_init_ts (void);
|
|
static tree gfc_builtin_function (tree);
|
|
|
|
#undef LANG_HOOKS_NAME
|
|
#undef LANG_HOOKS_INIT
|
|
#undef LANG_HOOKS_FINISH
|
|
#undef LANG_HOOKS_WRITE_GLOBALS
|
|
#undef LANG_HOOKS_OPTION_LANG_MASK
|
|
#undef LANG_HOOKS_INIT_OPTIONS_STRUCT
|
|
#undef LANG_HOOKS_INIT_OPTIONS
|
|
#undef LANG_HOOKS_HANDLE_OPTION
|
|
#undef LANG_HOOKS_POST_OPTIONS
|
|
#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_INIT_TS
|
|
#undef LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE
|
|
#undef LANG_HOOKS_OMP_PREDETERMINED_SHARING
|
|
#undef LANG_HOOKS_OMP_REPORT_DECL
|
|
#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_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_WRITE_GLOBALS gfc_write_global_declarations
|
|
#define LANG_HOOKS_OPTION_LANG_MASK gfc_option_lang_mask
|
|
#define LANG_HOOKS_INIT_OPTIONS_STRUCT gfc_init_options_struct
|
|
#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_PARSE_FILE gfc_be_parse_file
|
|
#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_INIT_TS gfc_init_ts
|
|
#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
|
|
#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
|
|
|
|
struct lang_hooks lang_hooks = LANG_HOOKS_INITIALIZER;
|
|
|
|
#define NULL_BINDING_LEVEL (struct binding_level *) NULL
|
|
|
|
/* A chain of binding_level structures awaiting reuse. */
|
|
|
|
static GTY(()) struct binding_level *free_binding_level;
|
|
|
|
/* True means we've initialized exception handling. */
|
|
static bool gfc_eh_initialized_p;
|
|
|
|
/* The current translation unit. */
|
|
static GTY(()) tree current_translation_unit;
|
|
|
|
|
|
static void
|
|
gfc_create_decls (void)
|
|
{
|
|
/* GCC builtins. */
|
|
gfc_init_builtin_functions ();
|
|
|
|
/* Runtime/IO library functions. */
|
|
gfc_build_builtin_function_decls ();
|
|
|
|
gfc_init_constants ();
|
|
|
|
/* Build our translation-unit decl. */
|
|
current_translation_unit = build_translation_unit_decl (NULL_TREE);
|
|
}
|
|
|
|
|
|
static void
|
|
gfc_be_parse_file (void)
|
|
{
|
|
int errors;
|
|
int warnings;
|
|
|
|
gfc_create_decls ();
|
|
gfc_parse_file ();
|
|
gfc_generate_constructors ();
|
|
|
|
/* Tell the frontend about any errors. */
|
|
gfc_get_errors (&warnings, &errors);
|
|
errorcount += errors;
|
|
warningcount += warnings;
|
|
|
|
/* Clear the binding level stack. */
|
|
while (!global_bindings_p ())
|
|
poplevel (0, 0);
|
|
}
|
|
|
|
|
|
/* 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 ())
|
|
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;
|
|
}
|
|
|
|
/* ??? This is something of a hack.
|
|
|
|
Emulated tls lowering needs to see all TLS variables before we call
|
|
finalize_compilation_unit. The C/C++ front ends manage this
|
|
by calling decl_rest_of_compilation on each global and static variable
|
|
as they are seen. The Fortran front end waits until this hook.
|
|
|
|
A Correct solution is for finalize_compilation_unit not to be
|
|
called during the WRITE_GLOBALS langhook, and have that hook only do what
|
|
its name suggests and write out globals. But the C++ and Java front ends
|
|
have (unspecified) problems with aliases that gets in the way. It has
|
|
been suggested that these problems would be solved by completing the
|
|
conversion to cgraph-based aliases. */
|
|
|
|
static void
|
|
gfc_write_global_declarations (void)
|
|
{
|
|
tree decl;
|
|
|
|
/* Finalize all of the globals. */
|
|
for (decl = getdecls(); decl ; decl = DECL_CHAIN (decl))
|
|
rest_of_decl_compilation (decl, true, true);
|
|
|
|
write_global_declarations ();
|
|
}
|
|
|
|
/* 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 GTY(())
|
|
binding_level {
|
|
/* A chain of ..._DECL nodes for all variables, constants, functions,
|
|
parameters and type declarations. These ..._DECL nodes are chained
|
|
through the DECL_CHAIN field. */
|
|
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 true if we are in the global binding level. */
|
|
|
|
bool
|
|
global_bindings_p (void)
|
|
{
|
|
return current_binding_level == global_binding_level;
|
|
}
|
|
|
|
tree
|
|
getdecls (void)
|
|
{
|
|
return current_binding_level->names;
|
|
}
|
|
|
|
/* Enter a new binding level. */
|
|
|
|
void
|
|
pushlevel (void)
|
|
{
|
|
struct binding_level *newlevel = ggc_alloc_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. */
|
|
|
|
tree
|
|
poplevel (int keep, 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 = current_binding_level->names;
|
|
tree subblock_chain = current_binding_level->blocks;
|
|
tree subblock_node;
|
|
|
|
/* 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 = BLOCK_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 = DECL_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. */
|
|
DECL_INITIAL (current_function_decl) = block_node;
|
|
else if (current_binding_level == global_binding_level)
|
|
/* When using gfc_start_block/gfc_finish_block from middle-end hooks,
|
|
don't add newly created BLOCKs as subblocks of global_binding_level. */
|
|
;
|
|
else if (block_node)
|
|
{
|
|
current_binding_level->blocks
|
|
= block_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
|
|
= block_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)
|
|
{
|
|
if (global_bindings_p ())
|
|
DECL_CONTEXT (decl) = current_translation_unit;
|
|
else
|
|
{
|
|
/* External objects aren't nested. For debug info insert a copy
|
|
of the decl into the binding level. */
|
|
if (DECL_EXTERNAL (decl))
|
|
{
|
|
tree orig = decl;
|
|
decl = copy_node (decl);
|
|
DECL_CONTEXT (orig) = NULL_TREE;
|
|
}
|
|
DECL_CONTEXT (decl) = current_function_decl;
|
|
}
|
|
|
|
/* Put the declaration on the list. */
|
|
DECL_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;
|
|
}
|
|
|
|
#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 ();
|
|
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);
|
|
|
|
void_list_node = build_tree_list (NULL_TREE, void_type_node);
|
|
|
|
/* Set up F95 type nodes. */
|
|
gfc_init_kinds ();
|
|
gfc_init_types ();
|
|
gfc_init_c_interop_kinds ();
|
|
}
|
|
|
|
|
|
/* 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;
|
|
}
|
|
|
|
/* Builtin function initialization. */
|
|
|
|
static tree
|
|
gfc_builtin_function (tree decl)
|
|
{
|
|
pushdecl (decl);
|
|
return decl;
|
|
}
|
|
|
|
/* So far we need just these 6 attribute types. */
|
|
#define ATTR_NULL 0
|
|
#define ATTR_NOTHROW_LEAF_LIST (ECF_NOTHROW | ECF_LEAF)
|
|
#define ATTR_NOTHROW_LEAF_MALLOC_LIST (ECF_NOTHROW | ECF_LEAF | ECF_MALLOC)
|
|
#define ATTR_CONST_NOTHROW_LEAF_LIST (ECF_NOTHROW | ECF_LEAF | ECF_CONST)
|
|
#define ATTR_NOTHROW_LIST (ECF_NOTHROW)
|
|
#define ATTR_CONST_NOTHROW_LIST (ECF_NOTHROW | ECF_CONST)
|
|
|
|
static void
|
|
gfc_define_builtin (const char *name, tree type, enum built_in_function code,
|
|
const char *library_name, int attr)
|
|
{
|
|
tree decl;
|
|
|
|
decl = add_builtin_function (name, type, code, BUILT_IN_NORMAL,
|
|
library_name, NULL_TREE);
|
|
set_call_expr_flags (decl, attr);
|
|
|
|
set_builtin_decl (code, decl, true);
|
|
}
|
|
|
|
|
|
#define DO_DEFINE_MATH_BUILTIN(code, name, argtype, tbase) \
|
|
gfc_define_builtin ("__builtin_" name "l", tbase##longdouble[argtype], \
|
|
BUILT_IN_ ## code ## L, name "l", \
|
|
ATTR_CONST_NOTHROW_LEAF_LIST); \
|
|
gfc_define_builtin ("__builtin_" name, tbase##double[argtype], \
|
|
BUILT_IN_ ## code, name, \
|
|
ATTR_CONST_NOTHROW_LEAF_LIST); \
|
|
gfc_define_builtin ("__builtin_" name "f", tbase##float[argtype], \
|
|
BUILT_IN_ ## code ## F, name "f", \
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
#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)
|
|
{
|
|
/* type (*) (type) */
|
|
fntype[0] = build_function_type_list (type, type, NULL_TREE);
|
|
/* type (*) (type, type) */
|
|
fntype[1] = build_function_type_list (type, type, type, NULL_TREE);
|
|
/* type (*) (type, int) */
|
|
fntype[2] = build_function_type_list (type,
|
|
type, integer_type_node, NULL_TREE);
|
|
/* type (*) (void) */
|
|
fntype[3] = build_function_type_list (type, NULL_TREE);
|
|
/* type (*) (type, &int) */
|
|
fntype[4] = build_function_type_list (type, type,
|
|
build_pointer_type (integer_type_node),
|
|
NULL_TREE);
|
|
/* type (*) (int, type) */
|
|
fntype[5] = build_function_type_list (type,
|
|
integer_type_node, type, NULL_TREE);
|
|
}
|
|
|
|
|
|
static tree
|
|
builtin_type_for_size (int size, bool unsignedp)
|
|
{
|
|
tree type = gfc_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_8(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6, ARG7, ARG8) 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_8
|
|
#undef DEF_FUNCTION_TYPE_VAR_0
|
|
#undef DEF_POINTER_TYPE
|
|
BT_LAST
|
|
};
|
|
|
|
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 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);
|
|
|
|
func_cfloat_float = build_function_type_list (float_type_node,
|
|
complex_float_type_node,
|
|
NULL_TREE);
|
|
|
|
func_float_cfloat = build_function_type_list (complex_float_type_node,
|
|
float_type_node, NULL_TREE);
|
|
|
|
func_cdouble_double = build_function_type_list (double_type_node,
|
|
complex_double_type_node,
|
|
NULL_TREE);
|
|
|
|
func_double_cdouble = build_function_type_list (complex_double_type_node,
|
|
double_type_node, NULL_TREE);
|
|
|
|
func_clongdouble_longdouble =
|
|
build_function_type_list (long_double_type_node,
|
|
complex_long_double_type_node, NULL_TREE);
|
|
|
|
func_longdouble_clongdouble =
|
|
build_function_type_list (complex_long_double_type_node,
|
|
long_double_type_node, NULL_TREE);
|
|
|
|
ptype = build_pointer_type (float_type_node);
|
|
func_float_floatp_floatp =
|
|
build_function_type_list (void_type_node, ptype, ptype, NULL_TREE);
|
|
|
|
ptype = build_pointer_type (double_type_node);
|
|
func_double_doublep_doublep =
|
|
build_function_type_list (void_type_node, ptype, ptype, NULL_TREE);
|
|
|
|
ptype = build_pointer_type (long_double_type_node);
|
|
func_longdouble_longdoublep_longdoublep =
|
|
build_function_type_list (void_type_node, ptype, ptype, NULL_TREE);
|
|
|
|
/* Non-math builtins are defined manually, so they're not included here. */
|
|
#define OTHER_BUILTIN(ID,NAME,TYPE,CONST)
|
|
|
|
#include "mathbuiltins.def"
|
|
|
|
gfc_define_builtin ("__builtin_roundl", mfunc_longdouble[0],
|
|
BUILT_IN_ROUNDL, "roundl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_round", mfunc_double[0],
|
|
BUILT_IN_ROUND, "round", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_roundf", mfunc_float[0],
|
|
BUILT_IN_ROUNDF, "roundf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
gfc_define_builtin ("__builtin_truncl", mfunc_longdouble[0],
|
|
BUILT_IN_TRUNCL, "truncl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_trunc", mfunc_double[0],
|
|
BUILT_IN_TRUNC, "trunc", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_truncf", mfunc_float[0],
|
|
BUILT_IN_TRUNCF, "truncf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
gfc_define_builtin ("__builtin_cabsl", func_clongdouble_longdouble,
|
|
BUILT_IN_CABSL, "cabsl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cabs", func_cdouble_double,
|
|
BUILT_IN_CABS, "cabs", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cabsf", func_cfloat_float,
|
|
BUILT_IN_CABSF, "cabsf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
gfc_define_builtin ("__builtin_copysignl", mfunc_longdouble[1],
|
|
BUILT_IN_COPYSIGNL, "copysignl",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_copysign", mfunc_double[1],
|
|
BUILT_IN_COPYSIGN, "copysign",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_copysignf", mfunc_float[1],
|
|
BUILT_IN_COPYSIGNF, "copysignf",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
gfc_define_builtin ("__builtin_nextafterl", mfunc_longdouble[1],
|
|
BUILT_IN_NEXTAFTERL, "nextafterl",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_nextafter", mfunc_double[1],
|
|
BUILT_IN_NEXTAFTER, "nextafter",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_nextafterf", mfunc_float[1],
|
|
BUILT_IN_NEXTAFTERF, "nextafterf",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
gfc_define_builtin ("__builtin_frexpl", mfunc_longdouble[4],
|
|
BUILT_IN_FREXPL, "frexpl", ATTR_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_frexp", mfunc_double[4],
|
|
BUILT_IN_FREXP, "frexp", ATTR_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_frexpf", mfunc_float[4],
|
|
BUILT_IN_FREXPF, "frexpf", ATTR_NOTHROW_LEAF_LIST);
|
|
|
|
gfc_define_builtin ("__builtin_fabsl", mfunc_longdouble[0],
|
|
BUILT_IN_FABSL, "fabsl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_fabs", mfunc_double[0],
|
|
BUILT_IN_FABS, "fabs", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_fabsf", mfunc_float[0],
|
|
BUILT_IN_FABSF, "fabsf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
gfc_define_builtin ("__builtin_scalbnl", mfunc_longdouble[5],
|
|
BUILT_IN_SCALBNL, "scalbnl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_scalbn", mfunc_double[5],
|
|
BUILT_IN_SCALBN, "scalbn", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_scalbnf", mfunc_float[5],
|
|
BUILT_IN_SCALBNF, "scalbnf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
gfc_define_builtin ("__builtin_fmodl", mfunc_longdouble[1],
|
|
BUILT_IN_FMODL, "fmodl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_fmod", mfunc_double[1],
|
|
BUILT_IN_FMOD, "fmod", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_fmodf", mfunc_float[1],
|
|
BUILT_IN_FMODF, "fmodf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
/* iround{f,,l}, lround{f,,l} and llround{f,,l} */
|
|
ftype = build_function_type_list (integer_type_node,
|
|
float_type_node, NULL_TREE);
|
|
gfc_define_builtin("__builtin_iroundf", ftype, BUILT_IN_IROUNDF,
|
|
"iroundf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
ftype = build_function_type_list (long_integer_type_node,
|
|
float_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_lroundf", ftype, BUILT_IN_LROUNDF,
|
|
"lroundf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
ftype = build_function_type_list (long_long_integer_type_node,
|
|
float_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_llroundf", ftype, BUILT_IN_LLROUNDF,
|
|
"llroundf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
ftype = build_function_type_list (integer_type_node,
|
|
double_type_node, NULL_TREE);
|
|
gfc_define_builtin("__builtin_iround", ftype, BUILT_IN_IROUND,
|
|
"iround", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
ftype = build_function_type_list (long_integer_type_node,
|
|
double_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_lround", ftype, BUILT_IN_LROUND,
|
|
"lround", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
ftype = build_function_type_list (long_long_integer_type_node,
|
|
double_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_llround", ftype, BUILT_IN_LLROUND,
|
|
"llround", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
ftype = build_function_type_list (integer_type_node,
|
|
long_double_type_node, NULL_TREE);
|
|
gfc_define_builtin("__builtin_iroundl", ftype, BUILT_IN_IROUNDL,
|
|
"iroundl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
ftype = build_function_type_list (long_integer_type_node,
|
|
long_double_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_lroundl", ftype, BUILT_IN_LROUNDL,
|
|
"lroundl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
ftype = build_function_type_list (long_long_integer_type_node,
|
|
long_double_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_llroundl", ftype, BUILT_IN_LLROUNDL,
|
|
"llroundl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
/* These are used to implement the ** operator. */
|
|
gfc_define_builtin ("__builtin_powl", mfunc_longdouble[1],
|
|
BUILT_IN_POWL, "powl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_pow", mfunc_double[1],
|
|
BUILT_IN_POW, "pow", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_powf", mfunc_float[1],
|
|
BUILT_IN_POWF, "powf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cpowl", mfunc_clongdouble[1],
|
|
BUILT_IN_CPOWL, "cpowl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cpow", mfunc_cdouble[1],
|
|
BUILT_IN_CPOW, "cpow", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cpowf", mfunc_cfloat[1],
|
|
BUILT_IN_CPOWF, "cpowf", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_powil", mfunc_longdouble[2],
|
|
BUILT_IN_POWIL, "powil", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_powi", mfunc_double[2],
|
|
BUILT_IN_POWI, "powi", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_powif", mfunc_float[2],
|
|
BUILT_IN_POWIF, "powif", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
|
|
if (targetm.libc_has_function (function_c99_math_complex))
|
|
{
|
|
gfc_define_builtin ("__builtin_cbrtl", mfunc_longdouble[0],
|
|
BUILT_IN_CBRTL, "cbrtl",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cbrt", mfunc_double[0],
|
|
BUILT_IN_CBRT, "cbrt",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cbrtf", mfunc_float[0],
|
|
BUILT_IN_CBRTF, "cbrtf",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cexpil", func_longdouble_clongdouble,
|
|
BUILT_IN_CEXPIL, "cexpil",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cexpi", func_double_cdouble,
|
|
BUILT_IN_CEXPI, "cexpi",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_cexpif", func_float_cfloat,
|
|
BUILT_IN_CEXPIF, "cexpif",
|
|
ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
}
|
|
|
|
if (targetm.libc_has_function (function_sincos))
|
|
{
|
|
gfc_define_builtin ("__builtin_sincosl",
|
|
func_longdouble_longdoublep_longdoublep,
|
|
BUILT_IN_SINCOSL, "sincosl", ATTR_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_sincos", func_double_doublep_doublep,
|
|
BUILT_IN_SINCOS, "sincos", ATTR_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_sincosf", func_float_floatp_floatp,
|
|
BUILT_IN_SINCOSF, "sincosf", ATTR_NOTHROW_LEAF_LIST);
|
|
}
|
|
|
|
/* For LEADZ, TRAILZ, POPCNT and POPPAR. */
|
|
ftype = build_function_type_list (integer_type_node,
|
|
unsigned_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_clz", ftype, BUILT_IN_CLZ,
|
|
"__builtin_clz", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_ctz", ftype, BUILT_IN_CTZ,
|
|
"__builtin_ctz", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_parity", ftype, BUILT_IN_PARITY,
|
|
"__builtin_parity", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_popcount", ftype, BUILT_IN_POPCOUNT,
|
|
"__builtin_popcount", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
ftype = build_function_type_list (integer_type_node,
|
|
long_unsigned_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_clzl", ftype, BUILT_IN_CLZL,
|
|
"__builtin_clzl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_ctzl", ftype, BUILT_IN_CTZL,
|
|
"__builtin_ctzl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_parityl", ftype, BUILT_IN_PARITYL,
|
|
"__builtin_parityl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_popcountl", ftype, BUILT_IN_POPCOUNTL,
|
|
"__builtin_popcountl", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
ftype = build_function_type_list (integer_type_node,
|
|
long_long_unsigned_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_clzll", ftype, BUILT_IN_CLZLL,
|
|
"__builtin_clzll", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_ctzll", ftype, BUILT_IN_CTZLL,
|
|
"__builtin_ctzll", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_parityll", ftype, BUILT_IN_PARITYLL,
|
|
"__builtin_parityll", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__builtin_popcountll", ftype, BUILT_IN_POPCOUNTLL,
|
|
"__builtin_popcountll", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
/* Other builtin functions we use. */
|
|
|
|
ftype = build_function_type_list (long_integer_type_node,
|
|
long_integer_type_node,
|
|
long_integer_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_expect", ftype, BUILT_IN_EXPECT,
|
|
"__builtin_expect", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
ftype = build_function_type_list (void_type_node,
|
|
pvoid_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_free", ftype, BUILT_IN_FREE,
|
|
"free", ATTR_NOTHROW_LEAF_LIST);
|
|
|
|
ftype = build_function_type_list (pvoid_type_node,
|
|
size_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_malloc", ftype, BUILT_IN_MALLOC,
|
|
"malloc", ATTR_NOTHROW_LEAF_MALLOC_LIST);
|
|
|
|
ftype = build_function_type_list (pvoid_type_node, size_type_node,
|
|
size_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_calloc", ftype, BUILT_IN_CALLOC,
|
|
"calloc", ATTR_NOTHROW_LEAF_MALLOC_LIST);
|
|
DECL_IS_MALLOC (builtin_decl_explicit (BUILT_IN_CALLOC)) = 1;
|
|
|
|
ftype = build_function_type_list (pvoid_type_node,
|
|
size_type_node, pvoid_type_node,
|
|
NULL_TREE);
|
|
gfc_define_builtin ("__builtin_realloc", ftype, BUILT_IN_REALLOC,
|
|
"realloc", ATTR_NOTHROW_LEAF_LIST);
|
|
|
|
ftype = build_function_type_list (integer_type_node,
|
|
void_type_node, NULL_TREE);
|
|
gfc_define_builtin ("__builtin_isnan", ftype, BUILT_IN_ISNAN,
|
|
"__builtin_isnan", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
|
|
#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_list (builtin_types[(int) RETURN], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_1(ENUM, RETURN, ARG1) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type_list (builtin_types[(int) RETURN], \
|
|
builtin_types[(int) ARG1], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_2(ENUM, RETURN, ARG1, ARG2) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type_list (builtin_types[(int) RETURN], \
|
|
builtin_types[(int) ARG1], \
|
|
builtin_types[(int) ARG2], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_3(ENUM, RETURN, ARG1, ARG2, ARG3) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type_list (builtin_types[(int) RETURN], \
|
|
builtin_types[(int) ARG1], \
|
|
builtin_types[(int) ARG2], \
|
|
builtin_types[(int) ARG3], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_4(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type_list (builtin_types[(int) RETURN], \
|
|
builtin_types[(int) ARG1], \
|
|
builtin_types[(int) ARG2], \
|
|
builtin_types[(int) ARG3], \
|
|
builtin_types[(int) ARG4], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_5(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type_list (builtin_types[(int) RETURN], \
|
|
builtin_types[(int) ARG1], \
|
|
builtin_types[(int) ARG2], \
|
|
builtin_types[(int) ARG3], \
|
|
builtin_types[(int) ARG4], \
|
|
builtin_types[(int) ARG5], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_6(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
|
|
ARG6) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type_list (builtin_types[(int) RETURN], \
|
|
builtin_types[(int) ARG1], \
|
|
builtin_types[(int) ARG2], \
|
|
builtin_types[(int) ARG3], \
|
|
builtin_types[(int) ARG4], \
|
|
builtin_types[(int) ARG5], \
|
|
builtin_types[(int) ARG6], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_7(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
|
|
ARG6, ARG7) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type_list (builtin_types[(int) RETURN], \
|
|
builtin_types[(int) ARG1], \
|
|
builtin_types[(int) ARG2], \
|
|
builtin_types[(int) ARG3], \
|
|
builtin_types[(int) ARG4], \
|
|
builtin_types[(int) ARG5], \
|
|
builtin_types[(int) ARG6], \
|
|
builtin_types[(int) ARG7], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_8(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
|
|
ARG6, ARG7, ARG8) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_function_type_list (builtin_types[(int) RETURN], \
|
|
builtin_types[(int) ARG1], \
|
|
builtin_types[(int) ARG2], \
|
|
builtin_types[(int) ARG3], \
|
|
builtin_types[(int) ARG4], \
|
|
builtin_types[(int) ARG5], \
|
|
builtin_types[(int) ARG6], \
|
|
builtin_types[(int) ARG7], \
|
|
builtin_types[(int) ARG8], \
|
|
NULL_TREE);
|
|
#define DEF_FUNCTION_TYPE_VAR_0(ENUM, RETURN) \
|
|
builtin_types[(int) ENUM] \
|
|
= build_varargs_function_type_list (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);
|
|
#include "../sync-builtins.def"
|
|
#undef DEF_SYNC_BUILTIN
|
|
|
|
if (gfc_option.gfc_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);
|
|
#include "../omp-builtins.def"
|
|
#undef DEF_GOMP_BUILTIN
|
|
}
|
|
|
|
gfc_define_builtin ("__builtin_trap", builtin_types[BT_FN_VOID],
|
|
BUILT_IN_TRAP, NULL, ATTR_NOTHROW_LEAF_LIST);
|
|
TREE_THIS_VOLATILE (builtin_decl_explicit (BUILT_IN_TRAP)) = 1;
|
|
|
|
gfc_define_builtin ("__emutls_get_address",
|
|
builtin_types[BT_FN_PTR_PTR],
|
|
BUILT_IN_EMUTLS_GET_ADDRESS,
|
|
"__emutls_get_address", ATTR_CONST_NOTHROW_LEAF_LIST);
|
|
gfc_define_builtin ("__emutls_register_common",
|
|
builtin_types[BT_FN_VOID_PTR_WORD_WORD_PTR],
|
|
BUILT_IN_EMUTLS_REGISTER_COMMON,
|
|
"__emutls_register_common", ATTR_NOTHROW_LEAF_LIST);
|
|
|
|
build_common_builtin_nodes ();
|
|
targetm.init_builtins ();
|
|
}
|
|
|
|
#undef DEFINE_MATH_BUILTIN_C
|
|
#undef DEFINE_MATH_BUILTIN
|
|
|
|
static void
|
|
gfc_init_ts (void)
|
|
{
|
|
tree_contains_struct[NAMESPACE_DECL][TS_DECL_NON_COMMON] = 1;
|
|
tree_contains_struct[NAMESPACE_DECL][TS_DECL_WITH_VIS] = 1;
|
|
tree_contains_struct[NAMESPACE_DECL][TS_DECL_WRTL] = 1;
|
|
tree_contains_struct[NAMESPACE_DECL][TS_DECL_COMMON] = 1;
|
|
tree_contains_struct[NAMESPACE_DECL][TS_DECL_MINIMAL] = 1;
|
|
}
|
|
|
|
void
|
|
gfc_maybe_initialize_eh (void)
|
|
{
|
|
if (!flag_exceptions || gfc_eh_initialized_p)
|
|
return;
|
|
|
|
gfc_eh_initialized_p = true;
|
|
using_eh_for_cleanups ();
|
|
}
|
|
|
|
|
|
#include "gt-fortran-f95-lang.h"
|
|
#include "gtype-fortran.h"
|