Parafrase-2 List of Known Bugs/Problem Reports

Table of Contents

• Generic
• flow
• Fortran Front End
• Fortran Code Generator
• distribute
• f2c
• induction
• Loop Interchange
• scalar
• vectorize

List of Known Bugs/Problem Reports

Generic

flow

• Doesn't add a stop node when the input is C and the return statement at the end of a function is omitted.
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Nov. 13, 1994)
  • Fixed by: (not yet)

Fortran Front End

• Doesn't assign DOUBLE PRECISION constants very well. 0.d0 is treated as a real.
  • Reported by: Susana Moreno (susana@ac.upc.es, May 3, 1994)
  • Fixed by: (not yet)
• cjb_expr_dtype() in aux/aux_expr.c doesn't handle complex constants.
  • Reported by: Susana Moreno (susana@ac.upc.es, May 3, 1994)
  • Fixed by: (not yet)

Fortran Code Generator

• It generates duplicated declaration for loop local loop index variables when a (outermost?) doall loop has multiple loop nests in it and there's a sharing of loop indices between those nests.
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Oct. 4, 1994)
  • Fixed by: (not yet)
• Parafrase-2 eliminates IMPLICIT statements but doesn't generate complete set of declarations. It should at least generate "IMPLICIT NONE" so that users realize the problem when compiling the code. The better solution is of course to generate the complete set of declarations. Known mulfunction is the missing declarations for functions.
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Oct. 21, 1994)
  • Fixed by: (not yet)
  • Treated by: Hideki Saito (Oct. 25, 1994) As an emergency treatment for this, "IMPLICIT NONE" is being generated. Note that this is not in Fortran77, however,it is reported to work on Alliant(FX2800), DEC(R3000/Alpha), IBM(RS6000), SGI(Challenge), and HP(HP9000/700). For SPARC Fortran, use -I2 option to generate "IMPLICIT UNDEFINED(A-Z)".

distribute

• Test Program
• Pass File
• signal SEGV (no mapping at the fault address) in FoldExpression at line 1757 in file "code/symdep/constant.c"
  1757 if (!(os = getout (exp, T_NEST (T_STMT (exp)))))
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Dec. 16, 1994)
  • Fixed by: (not yet)

f2c

• Test Program
• Pass File
• f2c pass (p2f2c) does not update data structures properly.
  signal SEGV (no mapping at the fault address) in ispath at line 2378 in file "../code/analyze/depanal.c"
  2378 for(temp = T_NEXT(curstmt); temp != NULL; temp = T_NEXT(temp)){
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Jun. 27, 1994)
  • Fixed by: (not yet)

induction

• Test Program: Program TRFD in the Perfect Club Benchmark
• Pass File: "induction" before "codegen"
• induction pass eliminates the variable npq in the main program but undefined npq remains in the calls to INTGRL.
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Oct. 1, 1994)
  • Fixed by: This was not a bug. Certain sequence of the passes will produce obscure output. Try the following sequence.
    • fixup
    • callgraph /dev/null
    • sumfcn /dev/null
    • libsum -imath /dev/null
    • param_alias
    • donest /dev/null
    • depend /dev/null
    • flow
    • constant
    • induction #-v5
    • dotodoall /dev/null
    • codegen

Loop Interchange

• Test Program
• Pass File
• Does not interchange the terminal statements.
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Jun. 6, 1994)
  • Fixed by: (not yet)
• Does not interchange the dependence information.
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Jul. 26, 1994)
  • Fixed by: (not yet)
• Codegen complains with a warning.
  WARNING:"Fgen.c"(292): Bad exprtype (1) in gen_stmt()
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Jul. 14, 1994)
  • Fixed by: (not yet)

scalar

• signal SEGV (no mapping at the fault address) in sc_set_cond_tags at line 933 in file "code/scalar/scalar.c"
  933 for (bb = last_flow; bb != F_DOMINATOR(first_flow); bb = F_DOMINATOR(bb)) {
  • Reported by: (bhansali@eecs.wsu.edu, May 5, 1994)
  • Fixed by: Hideki Saito (Jun ?, 1994).
    Passes flow and builddep are added to the prerequisite.
• signal SEGV (no mapping at the fault address) in allanal at line 286 in file "../code/analyze/dotoall.c"
  286 if (DEP_ALL(tempd) & (ALLIN | ALLOUT)) {
  • Reported by: Hideki Saito (saito@csrd.uiuc.edu, Jun ?, 1994).
  • Fixed by: (not yet)

vectorize

• In transform/vig.c: gen_vector_expr(),
  islinear(t); should be islinear(t,T_NEST(T_STMT(t)));
  • Reported by Susana Moreno (susana@ac.upc.es, Dec. 15, 1993)
  • Fixed by Hideki Saito (Jun. 23, 1994)