mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-24 11:29:10 +00:00
442 lines
12 KiB
C
442 lines
12 KiB
C
/* This file contains routines to construct GNU OpenMP constructs,
|
|
called from parsing in the C and C++ front ends.
|
|
|
|
Copyright (C) 2005 Free Software Foundation, Inc.
|
|
Contributed by Richard Henderson <rth@redhat.com>,
|
|
Diego Novillo <dnovillo@redhat.com>.
|
|
|
|
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 2, 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 COPYING. If not, write to the Free
|
|
Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
|
|
02110-1301, USA. */
|
|
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "tm.h"
|
|
#include "tree.h"
|
|
#include "function.h"
|
|
#include "c-common.h"
|
|
#include "toplev.h"
|
|
#include "tree-gimple.h"
|
|
#include "bitmap.h"
|
|
#include "langhooks.h"
|
|
|
|
|
|
/* Complete a #pragma omp master construct. STMT is the structured-block
|
|
that follows the pragma. */
|
|
|
|
tree
|
|
c_finish_omp_master (tree stmt)
|
|
{
|
|
return add_stmt (build1 (OMP_MASTER, void_type_node, stmt));
|
|
}
|
|
|
|
/* Complete a #pragma omp critical construct. STMT is the structured-block
|
|
that follows the pragma, NAME is the identifier in the pragma, or null
|
|
if it was omitted. */
|
|
|
|
tree
|
|
c_finish_omp_critical (tree body, tree name)
|
|
{
|
|
tree stmt = make_node (OMP_CRITICAL);
|
|
TREE_TYPE (stmt) = void_type_node;
|
|
OMP_CRITICAL_BODY (stmt) = body;
|
|
OMP_CRITICAL_NAME (stmt) = name;
|
|
return add_stmt (stmt);
|
|
}
|
|
|
|
/* Complete a #pragma omp ordered construct. STMT is the structured-block
|
|
that follows the pragma. */
|
|
|
|
tree
|
|
c_finish_omp_ordered (tree stmt)
|
|
{
|
|
return add_stmt (build1 (OMP_ORDERED, void_type_node, stmt));
|
|
}
|
|
|
|
|
|
/* Complete a #pragma omp barrier construct. */
|
|
|
|
void
|
|
c_finish_omp_barrier (void)
|
|
{
|
|
tree x;
|
|
|
|
x = built_in_decls[BUILT_IN_GOMP_BARRIER];
|
|
x = build_function_call_expr (x, NULL);
|
|
add_stmt (x);
|
|
}
|
|
|
|
|
|
/* Complete a #pragma omp atomic construct. The expression to be
|
|
implemented atomically is LHS code= RHS. The value returned is
|
|
either error_mark_node (if the construct was erroneous) or an
|
|
OMP_ATOMIC node which should be added to the current statement tree
|
|
with add_stmt. */
|
|
|
|
tree
|
|
c_finish_omp_atomic (enum tree_code code, tree lhs, tree rhs)
|
|
{
|
|
tree x, type, addr;
|
|
|
|
if (lhs == error_mark_node || rhs == error_mark_node)
|
|
return error_mark_node;
|
|
|
|
/* ??? According to one reading of the OpenMP spec, complex type are
|
|
supported, but there are no atomic stores for any architecture.
|
|
But at least icc 9.0 doesn't support complex types here either.
|
|
And lets not even talk about vector types... */
|
|
type = TREE_TYPE (lhs);
|
|
if (!INTEGRAL_TYPE_P (type)
|
|
&& !POINTER_TYPE_P (type)
|
|
&& !SCALAR_FLOAT_TYPE_P (type))
|
|
{
|
|
error ("invalid expression type for %<#pragma omp atomic%>");
|
|
return error_mark_node;
|
|
}
|
|
|
|
/* ??? Validate that rhs does not overlap lhs. */
|
|
|
|
/* Take and save the address of the lhs. From then on we'll reference it
|
|
via indirection. */
|
|
addr = build_unary_op (ADDR_EXPR, lhs, 0);
|
|
if (addr == error_mark_node)
|
|
return error_mark_node;
|
|
addr = save_expr (addr);
|
|
if (TREE_CODE (addr) != SAVE_EXPR
|
|
&& (TREE_CODE (addr) != ADDR_EXPR
|
|
|| TREE_CODE (TREE_OPERAND (addr, 0)) != VAR_DECL))
|
|
{
|
|
/* Make sure LHS is simple enough so that goa_lhs_expr_p can recognize
|
|
it even after unsharing function body. */
|
|
tree var = create_tmp_var_raw (TREE_TYPE (addr), NULL);
|
|
addr = build4 (TARGET_EXPR, TREE_TYPE (addr), var, addr, NULL, NULL);
|
|
}
|
|
lhs = build_indirect_ref (addr, NULL);
|
|
|
|
/* There are lots of warnings, errors, and conversions that need to happen
|
|
in the course of interpreting a statement. Use the normal mechanisms
|
|
to do this, and then take it apart again. */
|
|
x = build_modify_expr (lhs, code, rhs);
|
|
if (x == error_mark_node)
|
|
return error_mark_node;
|
|
gcc_assert (TREE_CODE (x) == MODIFY_EXPR);
|
|
rhs = TREE_OPERAND (x, 1);
|
|
|
|
/* Punt the actual generation of atomic operations to common code. */
|
|
return build2 (OMP_ATOMIC, void_type_node, addr, rhs);
|
|
}
|
|
|
|
|
|
/* Complete a #pragma omp flush construct. We don't do anything with the
|
|
variable list that the syntax allows. */
|
|
|
|
void
|
|
c_finish_omp_flush (void)
|
|
{
|
|
tree x;
|
|
|
|
x = built_in_decls[BUILT_IN_SYNCHRONIZE];
|
|
x = build_function_call_expr (x, NULL);
|
|
add_stmt (x);
|
|
}
|
|
|
|
|
|
/* Check and canonicalize #pragma omp for increment expression.
|
|
Helper function for c_finish_omp_for. */
|
|
|
|
static tree
|
|
check_omp_for_incr_expr (tree exp, tree decl)
|
|
{
|
|
tree t;
|
|
|
|
if (!INTEGRAL_TYPE_P (TREE_TYPE (exp))
|
|
|| TYPE_PRECISION (TREE_TYPE (exp)) < TYPE_PRECISION (TREE_TYPE (decl)))
|
|
return error_mark_node;
|
|
|
|
if (exp == decl)
|
|
return build_int_cst (TREE_TYPE (exp), 0);
|
|
|
|
switch (TREE_CODE (exp))
|
|
{
|
|
case NOP_EXPR:
|
|
t = check_omp_for_incr_expr (TREE_OPERAND (exp, 0), decl);
|
|
if (t != error_mark_node)
|
|
return fold_convert (TREE_TYPE (exp), t);
|
|
break;
|
|
case MINUS_EXPR:
|
|
t = check_omp_for_incr_expr (TREE_OPERAND (exp, 0), decl);
|
|
if (t != error_mark_node)
|
|
return fold_build2 (MINUS_EXPR, TREE_TYPE (exp), t, TREE_OPERAND (exp, 1));
|
|
break;
|
|
case PLUS_EXPR:
|
|
t = check_omp_for_incr_expr (TREE_OPERAND (exp, 0), decl);
|
|
if (t != error_mark_node)
|
|
return fold_build2 (PLUS_EXPR, TREE_TYPE (exp), t, TREE_OPERAND (exp, 1));
|
|
t = check_omp_for_incr_expr (TREE_OPERAND (exp, 1), decl);
|
|
if (t != error_mark_node)
|
|
return fold_build2 (PLUS_EXPR, TREE_TYPE (exp), TREE_OPERAND (exp, 0), t);
|
|
break;
|
|
default:
|
|
break;
|
|
}
|
|
|
|
return error_mark_node;
|
|
}
|
|
|
|
/* Validate and emit code for the OpenMP directive #pragma omp for.
|
|
INIT, COND, INCR, BODY and PRE_BODY are the five basic elements
|
|
of the loop (initialization expression, controlling predicate, increment
|
|
expression, body of the loop and statements to go before the loop).
|
|
DECL is the iteration variable. */
|
|
|
|
tree
|
|
c_finish_omp_for (location_t locus, tree decl, tree init, tree cond,
|
|
tree incr, tree body, tree pre_body)
|
|
{
|
|
location_t elocus = locus;
|
|
bool fail = false;
|
|
|
|
if (EXPR_HAS_LOCATION (init))
|
|
elocus = EXPR_LOCATION (init);
|
|
|
|
/* Validate the iteration variable. */
|
|
if (!INTEGRAL_TYPE_P (TREE_TYPE (decl)))
|
|
{
|
|
error ("%Hinvalid type for iteration variable %qE", &elocus, decl);
|
|
fail = true;
|
|
}
|
|
if (TYPE_UNSIGNED (TREE_TYPE (decl)))
|
|
warning (0, "%Hiteration variable %qE is unsigned", &elocus, decl);
|
|
|
|
/* In the case of "for (int i = 0...)", init will be a decl. It should
|
|
have a DECL_INITIAL that we can turn into an assignment. */
|
|
if (init == decl)
|
|
{
|
|
elocus = DECL_SOURCE_LOCATION (decl);
|
|
|
|
init = DECL_INITIAL (decl);
|
|
if (init == NULL)
|
|
{
|
|
error ("%H%qE is not initialized", &elocus, decl);
|
|
init = integer_zero_node;
|
|
fail = true;
|
|
}
|
|
|
|
init = build_modify_expr (decl, NOP_EXPR, init);
|
|
SET_EXPR_LOCATION (init, elocus);
|
|
}
|
|
gcc_assert (TREE_CODE (init) == MODIFY_EXPR);
|
|
gcc_assert (TREE_OPERAND (init, 0) == decl);
|
|
|
|
if (cond == NULL_TREE)
|
|
{
|
|
error ("%Hmissing controlling predicate", &elocus);
|
|
fail = true;
|
|
}
|
|
else
|
|
{
|
|
bool cond_ok = false;
|
|
|
|
if (EXPR_HAS_LOCATION (cond))
|
|
elocus = EXPR_LOCATION (cond);
|
|
|
|
if (TREE_CODE (cond) == LT_EXPR
|
|
|| TREE_CODE (cond) == LE_EXPR
|
|
|| TREE_CODE (cond) == GT_EXPR
|
|
|| TREE_CODE (cond) == GE_EXPR)
|
|
{
|
|
tree op0 = TREE_OPERAND (cond, 0);
|
|
tree op1 = TREE_OPERAND (cond, 1);
|
|
|
|
/* 2.5.1. The comparison in the condition is computed in the type
|
|
of DECL, otherwise the behavior is undefined.
|
|
|
|
For example:
|
|
long n; int i;
|
|
i < n;
|
|
|
|
according to ISO will be evaluated as:
|
|
(long)i < n;
|
|
|
|
We want to force:
|
|
i < (int)n; */
|
|
if (TREE_CODE (op0) == NOP_EXPR
|
|
&& decl == TREE_OPERAND (op0, 0))
|
|
{
|
|
TREE_OPERAND (cond, 0) = TREE_OPERAND (op0, 0);
|
|
TREE_OPERAND (cond, 1) = fold_build1 (NOP_EXPR, TREE_TYPE (decl),
|
|
TREE_OPERAND (cond, 1));
|
|
}
|
|
else if (TREE_CODE (op1) == NOP_EXPR
|
|
&& decl == TREE_OPERAND (op1, 0))
|
|
{
|
|
TREE_OPERAND (cond, 1) = TREE_OPERAND (op1, 0);
|
|
TREE_OPERAND (cond, 0) = fold_build1 (NOP_EXPR, TREE_TYPE (decl),
|
|
TREE_OPERAND (cond, 0));
|
|
}
|
|
|
|
if (decl == TREE_OPERAND (cond, 0))
|
|
cond_ok = true;
|
|
else if (decl == TREE_OPERAND (cond, 1))
|
|
{
|
|
TREE_SET_CODE (cond, swap_tree_comparison (TREE_CODE (cond)));
|
|
TREE_OPERAND (cond, 1) = TREE_OPERAND (cond, 0);
|
|
TREE_OPERAND (cond, 0) = decl;
|
|
cond_ok = true;
|
|
}
|
|
}
|
|
|
|
if (!cond_ok)
|
|
{
|
|
error ("%Hinvalid controlling predicate", &elocus);
|
|
fail = true;
|
|
}
|
|
}
|
|
|
|
if (incr == NULL_TREE)
|
|
{
|
|
error ("%Hmissing increment expression", &elocus);
|
|
fail = true;
|
|
}
|
|
else
|
|
{
|
|
bool incr_ok = false;
|
|
|
|
if (EXPR_HAS_LOCATION (incr))
|
|
elocus = EXPR_LOCATION (incr);
|
|
|
|
/* Check all the valid increment expressions: v++, v--, ++v, --v,
|
|
v = v + incr, v = incr + v and v = v - incr. */
|
|
switch (TREE_CODE (incr))
|
|
{
|
|
case POSTINCREMENT_EXPR:
|
|
case PREINCREMENT_EXPR:
|
|
case POSTDECREMENT_EXPR:
|
|
case PREDECREMENT_EXPR:
|
|
incr_ok = (TREE_OPERAND (incr, 0) == decl);
|
|
break;
|
|
|
|
case MODIFY_EXPR:
|
|
if (TREE_OPERAND (incr, 0) != decl)
|
|
break;
|
|
if (TREE_OPERAND (incr, 1) == decl)
|
|
break;
|
|
if (TREE_CODE (TREE_OPERAND (incr, 1)) == PLUS_EXPR
|
|
&& (TREE_OPERAND (TREE_OPERAND (incr, 1), 0) == decl
|
|
|| TREE_OPERAND (TREE_OPERAND (incr, 1), 1) == decl))
|
|
incr_ok = true;
|
|
else if (TREE_CODE (TREE_OPERAND (incr, 1)) == MINUS_EXPR
|
|
&& TREE_OPERAND (TREE_OPERAND (incr, 1), 0) == decl)
|
|
incr_ok = true;
|
|
else
|
|
{
|
|
tree t = check_omp_for_incr_expr (TREE_OPERAND (incr, 1), decl);
|
|
if (t != error_mark_node)
|
|
{
|
|
incr_ok = true;
|
|
t = build2 (PLUS_EXPR, TREE_TYPE (decl), decl, t);
|
|
incr = build2 (MODIFY_EXPR, void_type_node, decl, t);
|
|
}
|
|
}
|
|
break;
|
|
|
|
default:
|
|
break;
|
|
}
|
|
if (!incr_ok)
|
|
{
|
|
error ("%Hinvalid increment expression", &elocus);
|
|
fail = true;
|
|
}
|
|
}
|
|
|
|
if (fail)
|
|
return NULL;
|
|
else
|
|
{
|
|
tree t = make_node (OMP_FOR);
|
|
|
|
TREE_TYPE (t) = void_type_node;
|
|
OMP_FOR_INIT (t) = init;
|
|
OMP_FOR_COND (t) = cond;
|
|
OMP_FOR_INCR (t) = incr;
|
|
OMP_FOR_BODY (t) = body;
|
|
OMP_FOR_PRE_BODY (t) = pre_body;
|
|
|
|
SET_EXPR_LOCATION (t, locus);
|
|
return add_stmt (t);
|
|
}
|
|
}
|
|
|
|
|
|
/* Divide CLAUSES into two lists: those that apply to a parallel construct,
|
|
and those that apply to a work-sharing construct. Place the results in
|
|
*PAR_CLAUSES and *WS_CLAUSES respectively. In addition, add a nowait
|
|
clause to the work-sharing list. */
|
|
|
|
void
|
|
c_split_parallel_clauses (tree clauses, tree *par_clauses, tree *ws_clauses)
|
|
{
|
|
tree next;
|
|
|
|
*par_clauses = NULL;
|
|
*ws_clauses = build_omp_clause (OMP_CLAUSE_NOWAIT);
|
|
|
|
for (; clauses ; clauses = next)
|
|
{
|
|
next = OMP_CLAUSE_CHAIN (clauses);
|
|
|
|
switch (OMP_CLAUSE_CODE (clauses))
|
|
{
|
|
case OMP_CLAUSE_PRIVATE:
|
|
case OMP_CLAUSE_SHARED:
|
|
case OMP_CLAUSE_FIRSTPRIVATE:
|
|
case OMP_CLAUSE_LASTPRIVATE:
|
|
case OMP_CLAUSE_REDUCTION:
|
|
case OMP_CLAUSE_COPYIN:
|
|
case OMP_CLAUSE_IF:
|
|
case OMP_CLAUSE_NUM_THREADS:
|
|
case OMP_CLAUSE_DEFAULT:
|
|
OMP_CLAUSE_CHAIN (clauses) = *par_clauses;
|
|
*par_clauses = clauses;
|
|
break;
|
|
|
|
case OMP_CLAUSE_SCHEDULE:
|
|
case OMP_CLAUSE_ORDERED:
|
|
OMP_CLAUSE_CHAIN (clauses) = *ws_clauses;
|
|
*ws_clauses = clauses;
|
|
break;
|
|
|
|
default:
|
|
gcc_unreachable ();
|
|
}
|
|
}
|
|
}
|
|
|
|
/* True if OpenMP sharing attribute of DECL is predetermined. */
|
|
|
|
enum omp_clause_default_kind
|
|
c_omp_predetermined_sharing (tree decl)
|
|
{
|
|
/* Variables with const-qualified type having no mutable member
|
|
are predetermined shared. */
|
|
if (TREE_READONLY (decl))
|
|
return OMP_CLAUSE_DEFAULT_SHARED;
|
|
|
|
return OMP_CLAUSE_DEFAULT_UNSPECIFIED;
|
|
}
|