Commits on Feb 18, 2011
Commits on Feb 2, 2011
  1. Fixed minor error with incrementalised TagMap handling.

    Comment about TagMap type.
    jleeuwes committed Feb 2, 2011
Commits on Jan 25, 2011
  1. Fix wrong name

    jleeuwes committed Jan 25, 2011
Commits on Jan 17, 2011
Commits on Jan 14, 2011
  1. Put ModOffsets of a module in the CompileUnit-state. Fill it after doing

    NumberIdents (in TransformGrin), and use it when doing HPT (in TransformGrin)
    and renumbering (in TopLevelPhases).
    
    Two new transformations:
      - RenumberIdents: a simple renumbering of all variables. Used in
        grModMergeRenumber, which is now used when merging all Grin modules.
      - BuildMainBinding: adds the 'hsnMainFullProg' function to the program, which
        was originally done during BuildAppBindings (but removed in r2125). Applied
        by the GrinCompilerDriver, i.e. in the whole-program phase.
    jleeuwes committed Jan 14, 2011
Commits on Jan 5, 2011
  1. Split module numbering from equation collecting.

    Fix ModOffsets bug and introduce some runtime checks for variants < 100.
    Improve debugging.
    Disable numbering and drop VarMap in GrinCompilerDriver.
    jleeuwes committed Jan 5, 2011
Commits on Dec 1, 2010
  1. Fix PointsToAnalysis:

     - Use Equation etc instead of EquationG etc.
     - Use CommonCrossModule.
     - Drop ParamMap (no longer used) and VarMap (stored by NumberIdents).
     - Do NumberIdents as part of heapPointsToAnalysis (which has now become a
       transformation), because we need to pass information to it and get
       information from it to do the numbering right.
    Remove ParamMap and VarMap from SolveEqs; it now assumes, like it did before,
    that all HsNames are numbers, and that parameters follow function names.
    jleeuwes committed Dec 1, 2010
Commits on Nov 29, 2010
  1. Improve naming and implementation of ModOffsets

    jleeuwes committed Nov 29, 2010
  2. Undo abstracting over the variable type in AbsValue, Equation and fri…

    …ends,
    
    which was done in revision 2114; variables are now Int again.
    jleeuwes committed Nov 29, 2010
Commits on Oct 20, 2010
  1. Put numbering stuff in a different file.

    jleeuwes committed Oct 20, 2010
Commits on Aug 31, 2010
  1. Propagate TagMap of imported modules.

    jleeuwes committed Aug 31, 2010
Commits on Aug 10, 2010
  1. Remove some bug triggering code in UHC.BoxArray

    jleeuwes committed Aug 10, 2010
  2. Use Binary instead of Serialize for PartialHptResult to speed up writ…

    …ing of HI file.
    
    Do not store final HPT result in HI file.
    jleeuwes committed Aug 10, 2010
Commits on Aug 3, 2010
  1. Fix small mistake in previous commit.

    jleeuwes committed Aug 3, 2010
  2. Some debugging and working around bugs:

    - Do not add hsnMainFullProg function in the BuildAppBindings transformation.
    - Remove function calls triggering bugs from the UHC.Base library.
    - Add verbose and dump-grin-stages flag to EHC invocation when building libraries.
    - Do less specializing to reduce library compilation time.
    - Make some errors non-critical (trace instead of error) to cheat our way to actually being able to partially analyse the program.
    jleeuwes committed Aug 3, 2010
  3. Pass the VarMap (that maps HsNames to their number) to solveEquations…

    …, and use
    
    this instead of getNr. This is neccessary because NumberIdents is not done
    before partial HPT analysis, so getNr fails.
    Also, don't traceShow the result of the analysis anymore.
    jleeuwes committed Aug 3, 2010
Commits on Jul 28, 2010
  1. More details in CheckGrinInvariant error messages.

    jleeuwes committed Jul 28, 2010
  2. Make the incremental pipeline work properly for variant 20, for a fre…

    …sh compile
    
    as well as for a recompile.
    Drop support for early module merging (the old one-big-core generation).
    jleeuwes committed Jul 28, 2010
  3. The LamMp is now serialized to and deserialized from HI file starting…

    … with variant 20, instead of 99.
    jleeuwes committed Jul 28, 2010
Commits on Jul 26, 2010
  1. In SolveEqs, use the collected ParamMap to look up the arguments belo…

    …nging to a function, instead of assuming they start at funnr+2.
    jleeuwes committed Jul 26, 2010
Commits on Jul 23, 2010
  1. PartialHptMap of Main module is now used as HptMap in GrinCompilerDri…

    …ver. NumberIdents numbers variables the same as in this HptMap.
    jleeuwes committed Jul 23, 2010
Commits on Jul 21, 2010
  1. Partial HPT analysis now sort of works in the pipeline. There are sti…

    …ll some loose ends. Also, the Main module's partial HPT result needs to be converted into a proper HptMap, and this needs to be consistent with NumberIdents.
    jleeuwes committed Jul 21, 2010
  2. Hacked together a per-module partial HPT analysis.

    jleeuwes committed Jul 21, 2010
Commits on Jul 20, 2010
  1. Abstract over the variable type in AbsValue, Equation and friends.

    Change an import declaration in InlineEA accordingly.
    jleeuwes committed Jul 20, 2010
  2. Small cleanup action.

    jleeuwes committed Jul 20, 2010
  3. Warn about a confusing piece of AG code.

    jleeuwes committed Jul 20, 2010
Commits on Jul 19, 2010
  1. Extend and use the Uniqification mechanism for building unique names for

    specialized functions, instead of appending ad hoc suffixes.
    Also remove a useless AG rule.
    jleeuwes committed Jul 19, 2010
Commits on Jul 6, 2010
  1. Incrementalise CheckGrinInvariant in the same way as the other transf…

    …ormations.
    jleeuwes committed Jul 6, 2010
Commits on May 12, 2010
  1. Make GrinInfo part of HI.

    jleeuwes committed May 12, 2010
Commits on May 11, 2010
  1. Some more transformations incrementalized.

    jleeuwes committed May 11, 2010
Commits on May 9, 2010
  1. Incrementalize SimpleNullary.

    jleeuwes committed May 9, 2010