Sergi Siso

(closes #1495) Add support for type-bound subroutine calls

3

In addition to the frontend-node-backend I also ported the LFRic haloex lowering to check that it is equivalent to the gen_code, but I have not continued porting other LFRic infrastructure...

Issues with range2loop expansion of string with (1:1)

2

Intel compiler doesn´t accept: ``` do idx = 1, 1, 1 cdltmp(idx) = ... ``` as a range2loop expansion of: ``` CHARACTER(LEN = ilenlong) :: cdltmp cdltmp(1:1) = ACHAR(IACHAR(cdltmp(1 :...

Add support to parse Fortran array bounds with expressions

4

For example: `real :: a(start - 1: stop + 1)` Currently it is a UnknownFortranType, but it should be an ArrayType with an ArrayBound with 2 psyir expressions.

Symbols can be given UnsupportedTypes with unmatching names

1

Currently we can assign UnknownType to symbols with a name that does not match the declaration: ``` dt = UnknownFortranType("REAL :: name1") symbol = DataSymbol("var1", dt) ``` We could add...

Some examples are: - The _symtab ArgOrdering and its subclasses KernelInterface, KernCallArgList, ... - The _parent_call in the Arguments and its subclasses - the _ig_kernels map in DynMeshes that uses...

Canonicalise WHERE with reduction intrinsics, which currently are placed into CodeBlocks

8

In ECMWF NEMO sbccpl.f90 this WHERE construct. ``` WHERE( picefr(:,:) > 1.e-10 ) ; zevap_ice(:,:,1) = frcv(jpr_ievp)%z3(:,:,1) * SUM( a_i_last_couple, dim=3 ) / picefr(:,:) ELSEWHERE ; zevap_ice(:,:,1) = 0._wp END...

Currently STOP ends up in a codeblock, but the PSyIR could understand it as an impure subroutine call with one optional argument to avoid the CodeBlock.

Add a transformation that uses LLM (OpenAI) to modify the code

1

The transformation is quite simple, it essentially: 1. outputs the provided node in Fortran 2. sends it to OpenAI with a text prompt (currently to the paid model -needs a...

Improve and use whole routine reference_accesses

3

Some transformations have ad-hoc implementations to find all the symbols "used" in a routine, e.g. the two inline transformations (src/psyclone/domain/common/transformations/kernel_module_inline_trans.py line 184) and (src/psyclone/psyir/transformations/inline_trans.py line 678) and maybe others. These...