Fortran Transformations

Here are all transformations converting Fortran program behaviors to CIVL-C ones.

1 Program Unit

1.1 Program Entry

• PROGRAM indicates the entry of the whole program.

A 'PROGRAM' chunk is transformed to be the main function in CIVL-C.

1.2 Subroutines & Call Statements

• SUBROUTINE is a set of program instructions that process given arguments.

A 'SUBROUTINE' chunk is transformed as a CIVL-C function with void type; All parameters with scalar types will be transformed as passed-by-reference.

• 'SUBROUTINE' chunks are triggered by CALL keyword.

A CALL-statement is transformed as a normal function call without a return-value. Argument variables with scalar types are transformed as an address-of expression.

1.3 Functions & Function Returned Values

2 Statements

2.1 Control Statements

• IF-ELSE IF-ELSE structure keeps unchanged.

• DO loops are transformed as for loops in CIVL-C.

(TODO: Fix the bound issue on the loop variable, which goes beyond the bound in C but stops on the bound in Fortran.)

• Computed GOTO structures are transformed as switch-case structure in CIVL.

2.2 Common Block Statements

2.3 Inclusion

3 Expressions

4 Variables & Types

4.1 Scalar Types

4.2 Array Types & Array Sections