summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2013-11-19caml_backtrace_pos is a 32-bit integer under amd64.Alain Frisch
2013-11-19Fix PR#6241Jacques Garrigue
2013-11-19Add proper casts.Alain Frisch
2013-11-19Perform constant optimizations for integer division and modulus on the C-- le...Benedikt Meurer
2013-11-18new version of the patch, using module_type option, and allowing unpacking wh...Jacques Garrigue
2013-11-18Fix PR#6240Jacques Garrigue
2013-11-18Fix PR#6240Jacques Garrigue
2013-11-16fix computation of positionJacques Garrigue
2013-11-15also generate module aliases when using includeJacques Garrigue
2013-11-15Missing include (==> implicit declaration of function 'caml_named_value').Alain Frisch
2013-11-14Revert "Don't use emit_parts_list for regular operations."Benedikt Meurer
2013-11-14Don't use emit_parts_list for regular operations.Benedikt Meurer
2013-11-13Changelog.Alain Frisch
2013-11-13Reintegrate raise_variants branch.Alain Frisch
2013-11-13No need for caml_init_exceptions.Alain Frisch
2013-11-13Cleanup.Alain Frisch
2013-11-13update for trunkJacques Garrigue
2013-11-13Fix PR#6235 + keep typing of pattern cases independent in principal modeJacques Garrigue
2013-11-11[arm] Improve code selection for shifted arithmetic operations.Benedikt Meurer
2013-11-11expand module aliases and type identifiers in "module type of"Jacques Garrigue
2013-11-11use new scrape_alias for Env tooJacques Garrigue
2013-11-11forgot test...Jacques Garrigue
2013-11-11use a strengthening version of scrape_alias in TypemodJacques Garrigue
2013-11-10build: make CAMLOPT_BIN default to "no-opt-compiler-available".Wojciech Meyer
2013-11-10build: always build lex/ and ocamlc with the compiler from boot/.Wojciech Meyer
2013-11-10myocamlbuild.ml: only build with .opt compilers if they're more recent.Wojciech Meyer
2013-11-08Simplify special logic for array bound error (allocate the exception value fr...Alain Frisch
2013-11-08Fix typos and wording (#6231).Alain Frisch
2013-11-08PR#6227 continued: problem with preferences between different register classes.Xavier Leroy
2013-11-07Remove use of deprecated features (#6227, patch by johnwhitington).Alain Frisch
2013-11-06Do not introduce Obj.raw_tag.Alain Frisch
2013-11-05#6042: fix msvc64 port.Alain Frisch
2013-11-05bound checking bug with caml_string_{get,set}{16,32,64}: fix the runtime C codeGabriel Scherer
2013-11-04Improve code generation for subtraction.Benedikt Meurer
2013-11-04[arm] Fix bug in div/mod by constant.Benedikt Meurer
2013-11-04Further refactor code generation for multiplication.Benedikt Meurer
2013-11-04Typo.Alain Frisch
2013-11-04#6042: fix Intel syntax.Alain Frisch
2013-11-04PR#6222: The mls instruction is not available on ARMv6.Benedikt Meurer
2013-11-02[arm] r12 is destroyed for constants that are not a power of 2.Benedikt Meurer
2013-11-02[arm] Optimize integer division and modulus by constant.Benedikt Meurer
2013-11-02Compile multiplication by power of 2 constant to left shift.Benedikt Meurer
2013-11-01Follow-up to commit r14254: optimization of immediate division and modulus fo...Xavier Leroy
2013-11-01Follow-up to commit r14254: optimization of division and modulus by constants...Xavier Leroy
2013-11-01Follow-up to commit r14254: update destroyed_at_oper and max_register_pressureXavier Leroy
2013-11-01PR#6042: optimize integer division and modulus when divisor is constant.Xavier Leroy
2013-10-30PR#6216: inlining of GADT matches generates invalid assemblyXavier Leroy
2013-10-30Add test for PR#6216. Not fixed yet.Jacques Garrigue
2013-10-28Fix PR#6174 (-rectypes case)Jacques Garrigue
2013-10-28Fix PR#6174 (non -rectypes)Jacques Garrigue