summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2014-09-10Forgot to apply emit_symbol.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-09Fix for mingw64.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-09Comment.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15198 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-05#5528: factorize the generation of names for inlined records.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15194 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-05fix Travis script: git requires a name and emailJérémie Dimino
(Patch by Pierre Chambart) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-04Make ocamldoc compile (still need support for inlined records).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15192 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-04Bootstrap.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-04Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-03Need to call begin_assembly after Compilenv.reset.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-03Let the binary backend split the sections.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-03Allow a binary code emitter to avoid the creation of an assembly source file.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-03PR#6539: don't divide caml_major_heap_increment by the word sizeJérémie Dimino
(Patch by Daniel Richman) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15186 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-03PR#6540: update documentation of default values in gc.mliJérémie Dimino
(Patch by Daniel Richman) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-03Factorize the sequencing of operations for setting up the assembly output, ↵Alain Frisch
calling the assembler, closing/removing the assembly output. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-03The internal assembler emits to a file, not to a string.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-02Fix for Windows.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-02Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-02Only include Intel_* modules when arch is i386 or amd64.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-02emit_nt is not needed anymore.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-02Note.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15178 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-02Fix for msvc64.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-02Fix for msvc64.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15176 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-01#6529: the checked flag is now part of pers_struct.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15174 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-01Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-01#6529: further optimize consistency check.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-31Reflecting commit 15169 on version/4.02:Xavier Leroy
PR#6529: fix quadratic-time algorithm in Consistbl.extract. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29merge changes of version/4.02 from r15121 to r15155Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29merge changes of version/4.02 from r15121 to r15155Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Print instructions one by one to the assembly file (instead of printing ↵Alain Frisch
everything in a single huge text buffer). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Do not use hex syntax for 32-bit constants (if we want to use it, we must ↵Alain Frisch
display it as 32-bit integers, not 64-bit). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Add interfaces for intel_gas/intel_masm, remove dead code.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Move the DSL part from intel_gas to its own module.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Add intel_proc.mli, get rid of arch64 bool ref, move StringSet/StringMap to ↵Alain Frisch
misc. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Share the masm criterion.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Introducing a new module (pure interface) to define the AST of the intel ↵Alain Frisch
assembly language. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Reindent + minor style tweaks.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Revert (unrelated change).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15147 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-28(in|out)_channel_of_descr: improve documentation (Christophe Troestler)Gabriel Scherer
Following a discussion on the mailing list, it appears that more explanation on the closing of channels created from file descriptors is desirable. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15142 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-28fix minor error-reporting bugGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15141 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-27PR#6517: use ISO C99 types {,u}int{32,64}_t in preference to our homegrownXavier Leroy
types {,u}int{32,64}. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15131 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ↵Damien Doligez
15121) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-22add ocamldoc to check-typo; some mergeinfo that svn wants to commitDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-18new -opaque flag: ocamlopt creates .cmx without cross-module infoGabriel Scherer
(Patch by Pierre Chambart and Gabriel Scherer) (Ack'ed by Damien Doligez) This enables a form of incremental compilation for ocamlopt: if A depends on B, and B is compiled with `ocamlopt -opaque`, then minor implementation changes in B that do not affect the module interface will not require recompilation of A. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-18import new intel emit branchFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-18Create branch abstract_intel_emit from trunk r15095Fabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15096 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-17Fix PR#6516 in testsuiteFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15095 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-16minor typo spotted by Jeremy YallopGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15093 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02