October 2006 - Cvs-nhc98

patch applied (hat): Fix incorrect reporting of bad zero pointers in hat-check -v.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Apr 9 10:46:09 PDT 2001 malcolm * Fix incorrect reporting of bad zero pointers in hat-check -v. M ./src/hattools/hat-check.c -1 +1

1 0

patch applied (hat): Integers < sizeof Int are now shown properly in browser.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Apr 9 10:44:56 PDT 2001 malcolm * Integers < sizeof Int are now shown properly in browser. M ./src/hattools/utils.c -1 +8

1 0

patch applied (hat): Generate real integers in hat trace files.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Apr 9 10:37:32 PDT 2001 malcolm * Generate real integers in hat trace files. M ./src/old/runtime/fileformat.c -3 +15

1 0

patch applied (hat): Hat: store tuple constructors with correct number of commas, no longer
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Apr 9 06:43:48 PDT 2001 malcolm * Hat: store tuple constructors with correct number of commas, no longer with one comma extra. M ./src/compiler98/DbgDumpSRIDTable.hs -1 +2 M ./src/compiler98/DbgDumpSRIDTableC.hs -1 +2

1 0

patch applied (hat): added signal handler to clean mark bits from file when -r option set
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 6 08:43:24 PDT 2001 colin * added signal handler to clean mark bits from file when -r option set M ./src/hattools/hat-check.c -5 +25

1 0

patch applied (hat): Introduced trusted and suspected variant of application combinators.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 6 07:44:54 PDT 2001 olaf * Introduced trusted and suspected variant of application combinators. The suspected application combinators ap and rap always create a trace node for an application. The trusted application combinators tap and trap create a trace node for an application, if the function is suspected (no need to trust parent). Changed transformation to use the new application combinators. Trace file unchanged. Traced code 5-10% faster on small heaps, unchanged for large heaps. M ./src/compiler98/DbgId.hs -3 +8 M ./src/compiler98/DbgTrans.hs -2 +2

1 0

patch applied (hat): extended -v to check for null pointers in wrong context
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 6 06:49:42 PDT 2001 colin * extended -v to check for null pointers in wrong context added -n to print textual version of single node only extended -a and -n to show whether each node reachable or not with -r M ./src/hattools/hat-check.c -177 +233

1 0

patch applied (hat): Modified tracing transformation to create different programs for trusted and suspected modules.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 5 12:13:29 PDT 2001 olaf * Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code M ./src/compiler98/DbgId.hs -13 +21 M ./src/compiler98/DbgTrans.hs -548 +868 M ./src/compiler98/GcodeFix.hs -1 +6 M ./src/compiler98/Main.hs -2 +4 M ./src/compiler98/PrimCode.hs -13 +29 M ./src/old/runtime/fileformat.c -2 +2

1 0

patch applied (hat): Hat: primSR3() wrongly assumed ModInfo already in file.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 5 07:57:50 PDT 2001 malcolm * Hat: primSR3() wrongly assumed ModInfo already in file. M ./src/old/runtime/fileformat.c +1

1 0

patch applied (hat): Hat: speed up cEnter, and remove its NmType argument.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 5 07:41:15 PDT 2001 malcolm * Hat: speed up cEnter, and remove its NmType argument. Because cEnter is called on every reduction step, any improvement in its speed should go a long way. At the moment, it looks like we gain only about 1.5% by eliminating tests in C that are no longer useful. However, by eliminating its NmType argument, we hope that we can change some of the transformation/combinators, to produce much fewer NmType nodes in the file. M ./src/old/runtime/io.c -2 +8

1 0