# -----------------------------------------------------------------------------
# BSD 3-Clause License
#
# Copyright (c) 2017-2026, Science and Technology Facilities Council.
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are met:
#
# * Redistributions of source code must retain the above copyright notice, this
# list of conditions and the following disclaimer.
#
# * Redistributions in binary form must reproduce the above copyright notice,
# this list of conditions and the following disclaimer in the documentation
# and/or other materials provided with the distribution.
#
# * Neither the name of the copyright holder nor the names of its
# contributors may be used to endorse or promote products derived from
# this software without specific prior written permission.
#
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
# COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
# POSSIBILITY OF SUCH DAMAGE.
# -----------------------------------------------------------------------------
# Authors R. W. Ford, A. R. Porter, S. Siso and N. Nobre, STFC Daresbury Lab
# A. B. G. Chalk STFC Daresbury Lab
# J. Henrichs, Bureau of Meteorology
# Modified I. Kavcic, Met Office
''' This module provides the OMPTargetTrans PSyIR transformation '''
import warnings
from psyclone.psyir.nodes import (
CodeBlock, OMPTargetDirective, Call, Routine, Reference, Literal,
OMPTaskwaitDirective, Directive, Schedule, Node)
from psyclone.psyir.symbols import ScalarType
from psyclone.psyir.transformations.region_trans import RegionTrans
from psyclone.psyir.transformations.async_trans_mixin import \
AsyncTransMixin
from psyclone.psyir.transformations import TransformationError
from psyclone.utils import transformation_documentation_wrapper
[docs]
@transformation_documentation_wrapper
class OMPTargetTrans(RegionTrans, AsyncTransMixin):
'''
Adds an OpenMP target directive to a region of code.
For example:
>>> from psyclone.psyir.frontend.fortran import FortranReader
>>> from psyclone.psyir.backend.fortran import FortranWriter
>>> from psyclone.psyir.nodes import Loop
>>> from psyclone.psyir.transformations import OMPTargetTrans
>>>
>>> tree = FortranReader().psyir_from_source("""
... subroutine my_subroutine()
... integer, dimension(10, 10) :: A
... integer :: i
... integer :: j
... do i = 1, 10
... do j = 1, 10
... A(i, j) = 0
... end do
... end do
... end subroutine
... """)
>>> OMPTargetTrans().apply(tree.walk(Loop)[0])
>>> print(FortranWriter()(tree))
subroutine my_subroutine()
integer, dimension(10,10) :: a
integer :: i
integer :: j
<BLANKLINE>
!$omp target
do i = 1, 10, 1
do j = 1, 10, 1
a(i,j) = 0
enddo
enddo
!$omp end target
<BLANKLINE>
end subroutine my_subroutine
<BLANKLINE>
'''
excluded_node_types = (CodeBlock, )
def _add_asynchronicity(self, instance: Directive):
'''Adds asynchronicity to the provided directive if possible. If
PSyclone's analysis suggests that it is not possible, the directive
is left unchanged.
:param instance: The directive to become asynchronous if possible.
'''
# Nodes is all the children of the OmpTargetDirective
nodes = instance.dir_body.children[:]
next_depend = self._find_next_dependency(nodes, instance)
# If find_next_dependency returns False, then this loop is its own
# next dependency so we can't add an asynchronous clause.
if not next_depend:
return
# As soon as we have a nowait target, we need to add a barrier
# at the end of the Routine.
containing_routine = instance.ancestor(Routine)
if not isinstance(containing_routine.children[-1],
OMPTaskwaitDirective):
containing_routine.addchild(OMPTaskwaitDirective())
# If find next_dependency returns True there is no follow up
# dependency, so we don't need an additional barrier.
if next_depend is True:
# Add nowait to the instance.
instance.nowait = True
return
# Otherwise we have the next dependencies and we need to find where
# the correct place for the preceding barrier is. Need to find a
# guaranteed control flow path to place it.
for depend in next_depend:
# Find the deepest schedule in the tree containing both.
sched = depend.ancestor(Schedule, shared_with=instance)
# Get the path from sched to depend
path = depend.path_from(sched)
# The first element of path is the position of the ancestor
# of next_depend that is in sched, so we add the barrier there.
sched.addchild(OMPTaskwaitDirective(), path[0])
instance.nowait = True
[docs]
def validate(self, node: list[Node], options=None, **kwargs):
# pylint: disable=signature-differs
'''
Check that we can safely enclose the supplied node or list of nodes
within an OpenMPTargetDirective.
:param node: the PSyIR node or nodes to enclose in the OpenMP
target region.
:param options: a dictionary with options for transformations.
:type options: Optional[Dict[str, Any]]
:raises TransformationError: if it contains calls to routines that
are not available in the accelerator device.
:raises TransformationError: if its a function and the target region
attempts to enclose the assignment setting the return value.
:raises TransformationError: if the target region attempts to enclose
string operations and the 'allow_strings' option is not set.
'''
if options:
# TODO #2668: Deprecate options.
warnings.warn(self._deprecation_warning, DeprecationWarning, 2)
device_string = options.get("device_string", "")
strings = options.get("allow_strings", False)
verbose = options.get("verbose", False)
else:
self.validate_options(**kwargs)
device_string = self.get_option("device_string", **kwargs)
strings = self.get_option("allow_strings", **kwargs)
verbose = self.get_option("verbose", **kwargs)
node_list = self.get_node_list(node)
super().validate(node, options, **kwargs)
for node in node_list:
for call in node.walk(Call):
if not call.is_available_on_device(device_string):
device_str = device_string if device_string else "default"
message = (
f"'{call.routine.name}' is not available on the"
f" '{device_str}' accelerator device, and therefore "
f"it cannot be called from within an OMP Target "
f"region. Use the 'device_string' option to specify a "
f"different device.")
if verbose:
node.preceding_comment = message
raise TransformationError(message)
routine = node.ancestor(Routine)
if routine and routine.return_symbol:
# if it is a function, the target must not include its return sym
for check_node in node_list:
for ref in check_node.walk(Reference):
if ref.symbol is routine.return_symbol:
raise TransformationError(
f"OpenMP Target cannot enclose a region that has "
f"a function return value symbol, but found one in"
f" '{routine.return_symbol.name}'.")
if not strings:
for check_node in node_list:
for datanode in check_node.walk((Reference, Literal),
stop_type=Reference):
dtype = datanode.datatype
# Don't allow CHARACTERS on GPU
if hasattr(dtype, "intrinsic"):
if dtype.intrinsic == ScalarType.Intrinsic.CHARACTER:
message = (
f"OpenMP Target cannot enclose a region that "
f"uses characters, but found: "
f"{datanode.debug_string()}"
)
if verbose:
node.preceding_comment = message
raise TransformationError(message)
# TODO #3054: Deal with UnresolvedType
[docs]
def apply(self, node: list[Node], options=None, nowait: bool = False,
device_string: str = "",
allow_strings: bool = False, verbose: bool = False,
**kwargs):
''' Insert an OMPTargetDirective before the provided node or list
of nodes.
:param node: the PSyIR node or nodes to enclose in the OpenMP
target region.
:param options: a dictionary with options for transformations.
:type options: Optional[Dict[str,Any]]
:param nowait: whether to add a nowait clause and a
corresponding barrier to enable asynchronous execution.
:param device_string: provide a compiler-platform
identifier.
:param allow_strings: permit OMP target regions
enclosing string operations.
:param verbose: insert preceding comments with the
reason that made this validation fail.
'''
node_list = self.get_node_list(node)
self.validate(node_list, options, nowait=nowait,
device_string=device_string,
allow_strings=allow_strings,
verbose=verbose, **kwargs)
if options:
# TODO #2668 Deprecate options.
nowait = options.get("nowait", False)
# Check whether we've been passed a list of nodes or just a
# single node. If the latter then we create ourselves a
# list containing just that node.
# Create a directive containing the nodes in node_list and insert it.
parent = node_list[0].parent
start_index = node_list[0].position
directive = OMPTargetDirective(
parent=parent, children=[node.detach() for node in node_list])
parent.children.insert(start_index, directive)
if nowait:
self._add_asynchronicity(directive)
