Parafrase-2 List of Known Bugs/Problem Reports
Note that this list is not extensive nor exsaustive. Your bug report
will be appreciated. If you could contribute a fix, we'd appreciate
it. Thanks.
Table of Contents
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)
Last Updated: Oct. 1, 1994
Questions? Send e-mail to Hideki Saito (saito@csrd.uiuc.edu).