psy's Introduction

PSyclone xDSL transformations

Needs to have ftn xDSL dialect in PYTHONPATH

./psy-opt -p "ftn-ast-to-ftn-dag" output.xdsl

./psy-opt -p "ftn-ast-to-ftn-dag" output.xdsl -t fortran

./psy-opt -p "ftn-ast-to-ftn-dag,bind-procedures,apply-gpu-analysis" output.xdsl -t fortran-openacc

./psy-opt -p "ftn-ast-to-ftn-dag,bind-procedures,apply-pgas-analysis" output.xdsl -t fortran

psy's People

Contributors

Stargazers

Watchers

psy's Issues

PsyIR supported constructs

PsyIR completion:

FileContainer

Completed

Container

Completed

Routine

Working - be good to add boolean hasReturnVar function?

Assignment

Completed

BinaryOperation

Working - currently operations are string, be better to make as enum

UnaryOperation

Working - currently operations are string, be better to make as enum

NAryOperation

Not implemented

RangeNode

Not implemented

Literal

Implemented, but potential enhancements as don't consider string or character currently

IfBlock

Completed

Loop

Completed

Return

Completed

Clause

Not implemented

RegionDirective

Not implemented

StandaloneDirective

Not implemented

CallNode

Completed

Variable Declarations

Completed, but the way we handle arrays of derived types could be improved

Routine Access

Completed

Derived Type Declaration

In FTN DAG but not in PsyIR yet

Name change for LLVMIRUndef and LLVMInsertValue

LLVMIRUndef has changed its named to UndefOp and LLVMInsertValue to InsertValueOp. This affects the file psy/extract_extencil.py.

Missing/planned tasks

A list of limitations/short term todos:

Stencil apply extracts each target into separate stencil regions, should keep these unified
For loops where initialise array members to 0 or 1, of stencil variables then used later on, these initialisations are not stencilised. This is an issue due to NUMA
Can not have temporaries in stencils currently
Better way to interface with C and other Fortran modules (e.g. MPI, dl_timer etc) needed, currently is done via intrinsics
Support derived types
Parse FIR (fix parsing in dialect)
Lint and pyright FIR
Other FIR types
Move FIR into dialects/experimental of xDSL
Pass allocatable arrays to procedures with their bounds intact
Support array bounds not starting at 1
Support range operator i.e. a(:,:,:)=.... (both in FIR and also stencil application)
Support integer to float conversion in arith dialect, that's currently not supported
Support more unary operators and nary operators
Reduce number of bridged regions (multiple stencils in a region), for instance "merge" these into one bridged region if there isn't any Fortran code in between them

Recommend Projects