Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: bmeurer/ocamlo…

Jan 05, 2013

  1. Benedikt Meurer

    [coloring] Prototype of "Optimistic Register Coalescing".

    authored

Dec 31, 2012

  1. Benedikt Meurer

    [coloring] Prototype implementation of "Iterated Register Coalescing".

    The implementation is based on the scheme described in POPL'96, and
    TOPLAS v18 #3, pp 325-353. The implementation is losely coupled to the
    remainder of the OCaml compiler to make it easier to experiment with.
    
    Our implementation differs from the base algorithm in the following ways:
    1. Moves are sorted such that higher rated moves are coalesced first.
    2. The freeze worklist is sorted such that lower rated registers are
       frozen first, where the freeze rating of a register is the sum of
       all move ratings this register is involved into.
    authored
  2. Benedikt Meurer

    [interf] Expose the interference graph add_edge and has_edge functions.

    authored
  3. Benedikt Meurer

    [asmgen] Print register allocation statistics.

    authored
  4. Wojciech Meyer

    Add two more entries to .ignore

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  5. Wojciech Meyer

    Removed sporious modules from .odocl

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13178 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored

Dec 30, 2012

  1. Wojciech Meyer

    More work on ocamlbuild testsuite.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  2. Wojciech Meyer

    Prefer forward slashes to backward slashes on NT as it's more portable.

    Nowdays all the Windows operating systems accept both, more over it's
    being passed to our toolchain as a relative path (not UNC), so I see
    no harm if we want to be a little bit more portable. The only reason
    to not doing so is conventiob and IDEs which might parse Makefile.nt
    and not recognise it.
    
    Proposed by Adrien Nader.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13176 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  3. Wojciech Meyer

    WinError.h -> winerror.h. This improves cross-compilation for Windows.

    Patch proposed by Adrien Nader.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13175 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  4. Wojciech Meyer

    config/Makefile.*: remove DBM-related variables.

    Patch by Adien Nader!
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13174 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored

Dec 29, 2012

  1. Benedikt Meurer

    Fix several C compiler warnings.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored
  2. Wojciech Meyer

    New testing infrastructure for ocamlbuild (PR#5755)

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  3. Benedikt Meurer

    [arm] Fix arch selection with ARMv6. Rename EABI_VFP to EABI_HF.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored

Dec 28, 2012

  1. Benedikt Meurer

    [arm] Improve register pressure for interval splitting.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored
  2. Wojciech Meyer

    Revert "PR#5652: Try to use camlp4.opt if it's possible"

    camlp4.opt works only with native plugins therefore the fix will break bytecode camlp4 plugins.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored

Dec 27, 2012

  1. Benedikt Meurer

    Slightly improve ordering of constrained registers.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored
  2. add test cases for PR#5673

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored
  3. fix PR#5673

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored
  4. fix PR#5835

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored
  5. update dependencies

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored
  6. Fix PR#5865

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored
  7. delayed check for absent variant constructors in patterns

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored

Dec 25, 2012

  1. do not diff the patch itself

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored
  2. only need to copy if pattern contains polymorphic variants

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored

Dec 24, 2012

  1. raise an error when multiple private keywords are used in type declar…

    …ations
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Hongbo Zhang authored

Dec 22, 2012

  1. Wojciech Meyer

    PR#5697: Update changes

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  2. Wojciech Meyer

    Update reference file for the ocamlbuild tests - still need some more…

    … work
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13155 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  3. Wojciech Meyer

    Fix PR#5752.

    Patch by Grégoire Sutre!
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  4. Wojciech Meyer

    Fix test

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  5. Wojciech Meyer

    Always store full path to ocamlbuild in a variable that is available …

    …to the sub-tests
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored
  6. Wojciech Meyer

    Use name of the the tools in high detail level logs, this helps compa…

    …ring logs
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey authored

Dec 21, 2012

  1. Benedikt Meurer

    Collect the constrained registers into a set.

    Sets allow for faster insertion than ordered lists, while also supporting
    iteration according to the comparison function.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored
  2. Benedikt Meurer

    PR#5181: Merge common floating point constants in ocamlopt.

    Instead of generating a unique quadword constant for each and every
    floating point constant use within a function, we now collect the floating
    point constants on a per-module basis, and generate only one quadword
    per floating point constant.
    
    This affects only the amd64 and i386 ports (both Unix/Linux/OS X and Windows).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored
  3. propagate type information to patterns, even with polymorphic variants

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13147 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue authored

Dec 20, 2012

  1. add kaputt to the external test suite

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13146 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez authored
Something went wrong with that request. Please try again.