# -----------------------------------------------------------------------------
# BSD 3-Clause License
#
# Copyright (c) 2021-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.
# -----------------------------------------------------------------------------
# Author: R. W. Ford, STFC Daresbury Lab
# Modified: J. Henrichs, Bureau of Meteorology
# A. R. Porter, STFC Daresbury Lab
'''This module contains PSyclone Algorithm-layer-specific PSyIR classes.
'''
import re
from psyclone.errors import GenerationError, InternalError
from psyclone.psyir.frontend.fortran import FortranReader
from psyclone.psyir.nodes import (Call, Reference, DataNode,
Routine, Container, FileContainer)
from psyclone.psyir.symbols import DataTypeSymbol
[docs]
class AlgorithmInvokeCall(Call):
'''An invoke call in a PSyclone Algorithm layer.
:param invoke_routine_symbol: the routine that this call calls.
:type invoke_routine_symbol: \
py:class:`psyclone.psyir.symbols.RoutineSymbol`
:param int index: the position of this invoke call relative to \
other invokes in the algorithm layer.
:param parent: optional parent of this node in the PSyIR. Defaults \
to None.
:type parent: sub-class of :py:class:`psyclone.psyir.nodes.Node` \
or NoneType
:param Optional[str] name: an optional name, describing the \
AlgorithmInvokeCall. Defaults to None.
:raises TypeError: if the index argument is not an integer.
:raises ValueError: if the index argument is negative.
:raises ValueError: if an invalid name is supplied.
'''
_children_valid_format = "Reference, [KernelFunctor]*"
_text_name = "AlgorithmInvokeCall"
_colour = "green"
def __init__(self, invoke_routine_symbol, index, parent=None, name=None):
super().__init__(parent=parent)
self.addchild(Reference(invoke_routine_symbol))
if not isinstance(index, int):
raise TypeError(
f"AlgorithmInvokeCall index argument should be an int but "
f"found '{type(index).__name__}'.")
if index < 0:
raise ValueError(
f"AlgorithmInvokeCall index argument should be a non-negative "
f"integer but found {index}.")
try:
if name:
FortranReader.validate_name(name)
except (TypeError, ValueError) as err:
raise ValueError(
f"Error with AlgorithmInvokeCall name argument: "
f"{err}") from err
self._index = index
# Keep the root names as these will also be needed by the
# PSy-layer to use as tags to pull out the actual names from
# the algorithm symbol table, once issue #753 is complete.
# They are public properties because they are needed in
# AlgInvoke2PSyCallTrans.
self.psylayer_routine_root_name = None
self.psylayer_container_root_name = None
self._name = name
[docs]
@classmethod
def create(cls, routine, arguments, index, name=None):
# pylint: disable=arguments-differ
'''Create an instance of the calling class given valid instances of a
routine symbol, a list of child nodes for its arguments, an
index and an optional name.
:param routine: the routine that the calling class calls.
:type routine: py:class:`psyclone.psyir.symbols.RoutineSymbol`
:param arguments: the arguments to this routine. These are \
added as child nodes.
:type arguments: list of :py:class:`psyclone.psyir.nodes.DataNode`
:param int index: the position of this invoke call relative to \
other invokes in the algorithm layer.
:param Optional[str] name: a string naming/describing the invoke
or None if one is not provided. This is converted to lower case
and used to create the name of the routine that replaces the
invoke. It must be a valid Fortran name. Defaults to None.
:raises GenerationError: if the arguments argument is not a \
list.
:returns: an instance of the calling class.
:rtype: :py:class:`psyclone.psyir.nodes.AlgorithmInvokeCall` \
or a subclass thereof.
'''
if not isinstance(arguments, list):
raise GenerationError(
f"AlgorithmInvokeCall create arguments argument should be a "
f"list but found '{type(arguments).__name__}'.")
# Convert name to lowercase if provided.
if name:
# We have to validate it first as that checks (amongst other
# things) that it is a str.
FortranReader.validate_name(name)
lwr_name = name.lower()
else:
lwr_name = None
call = cls(routine, index, name=lwr_name)
call.children.extend(arguments)
return call
@staticmethod
def _validate_child(position, child):
'''
:param int position: the position to be validated.
:param child: a child to be validated.
:type child: :py:class:`psyclone.psyir.nodes.Node`
:returns: whether the given child and position are valid for this node.
:rtype: bool
'''
if position == 0:
return isinstance(child, Reference)
return isinstance(child, KernelFunctor)
[docs]
def node_str(self, colour=True):
'''Construct a text representation of this node, optionally
containing colour control codes. Specialise as this node has
an additional name argument.
:param bool colour: whether or not to include colour control \
codes. Optional argument that defaults to True.
:returns: description of this PSyIR node.
:rtype: str
'''
return f"{self.coloured_name(colour)}[name=\"{self._name}\"]"
def _def_routine_root_name(self):
'''Internal method that returns the proposed language-level routine
name.
:returns: the proposed processed routine name for this invoke.
:rtype: str
:raises TypeError: if the name provided in the invoke call is invalid.
'''
if self._name:
routine_root_name = self._name.lower().strip()
if routine_root_name[0] == '"' and routine_root_name[-1] == '"' \
or \
routine_root_name[0] == "'" and routine_root_name[-1] == "'":
# fparser2 (issue #295) currently includes quotes as
# part of a string, so strip them out.
routine_root_name = routine_root_name[1:-1].strip()
routine_root_name = routine_root_name.replace(" ", "_")
# Check that the name is a valid routine name
pattern = re.compile(r"^[a-zA-Z]\w*$", re.ASCII)
if not pattern.match(routine_root_name):
raise TypeError(
f"AlgorithmInvokeCall:_def_routine_root_name() the "
f"(optional) name of an invoke must be a string "
f"containing a valid name (with any spaces replaced by "
f"underscores) but found '{routine_root_name}'.")
if not routine_root_name.startswith("invoke"):
routine_root_name = f"invoke_{routine_root_name}"
else:
routine_root_name = f"invoke_{self._index}"
if len(self.arguments) == 1:
# Add the name of the kernel if there is only one call
routine_root_name += "_" + self.arguments[0].name
return routine_root_name
[docs]
def create_psylayer_symbol_root_names(self):
'''If the PSy-layer routine and container root names have not been
created, then create them. The invoke root name is based on
the position of this node (compared to other nodes of the same
type) in the PSyIR tree. Note, we do not create and store
symbols, as the container name needs to be consistent between
different invoke calls and we have no way of knowing whether
one has already been created without the symbol being stored
in the symbol table, and we don't want to add anything related
to the lower level PSyIR to the symbol table before lowering.
:raises InternalError: if no Routine or Container is found in \
the PSyIR tree containing this node.
'''
if not self.psylayer_routine_root_name:
self.psylayer_routine_root_name = self._def_routine_root_name()
if not self.psylayer_container_root_name:
# The PSy-layer module naming logic (in algorithm.py) finds
# the first program, module, subroutine or function in the
# parse tree and uses that name for the container name. Here
# we temporarily replicate this functionality. Eventually we
# will merge. Note, a better future solution could be to use
# the closest ancestor routine instead.
for node in self.root.walk((Routine, Container)):
if not isinstance(node, FileContainer):
self.psylayer_container_root_name = \
self._def_container_root_name(node)
return
raise InternalError("No Routine or Container node found.")
@staticmethod
def _def_container_root_name(node):
'''
:returns: the root name to use for the container.
:rtype: str
'''
return f"psy_{node.name}"
[docs]
class KernelFunctor(Reference):
'''Object containing a kernel call, a description of its required
interface and the arguments to be passed to it.
:param symbol: the functor symbol.
:type symbol: :py:class:`psyclone.psyir.symbols.Symbol`
:param parent: the parent node of this functor instance.
:type parent: :py:class:`psyclone.psyir.nodes.Node` or NoneType
'''
_children_valid_format = "[DataNode]*"
_text_name = "KernelFunctor"
def __init__(self, symbol, parent=None):
super().__init__(symbol, parent=parent)
if not isinstance(symbol, DataTypeSymbol):
raise TypeError(
f"KernelFunctor symbol argument should be a DataTypeSymbol "
f"but found '{type(symbol).__name__}'.")
[docs]
@classmethod
def create(cls, symbol, arguments):
'''Create an instance of the calling class given valid instances of a
DataTypeSymbol and a list of child nodes for its arguments.
:param symbol: the name of the kernel type that this object \
references.
:type symbol: py:class:`psyclone.psyir.symbols.DataTypeSymbol`
:param arguments: the arguments to this routine. These are \
added as child nodes.
:type arguments: list of :py:class:`psyclone.psyir.nodes.DataNode`
:returns: an instance of the calling class.
:rtype: :py:class:`psyclone.psyir.nodes.Call` or subclass thereof.
'''
if not isinstance(symbol, DataTypeSymbol):
raise GenerationError(
f"KernelFunctor create() symbol argument should be a "
f"DataTypeSymbol but found '{type(symbol).__name__}'.")
if not isinstance(arguments, list):
raise GenerationError(
f"KernelFunctor create() arguments argument should be a list "
f"but found '{type(arguments).__name__}'.")
call = cls(symbol)
call.children = arguments
return call
@staticmethod
def _validate_child(position, child):
'''
:param int position: the position to be validated.
:param child: a child to be validated.
:type child: :py:class:`psyclone.psyir.nodes.Node`
:return: whether the given child and position are valid for this node.
:rtype: bool
'''
return isinstance(child, DataNode)
__all__ = [
'AlgorithmInvokeCall',
'KernelFunctor']
