| Commit message (Expand) | Author | Age | Files | Lines |
* | Instruction scheduling: do not reorder atomic loads (#12248)HEADtrunk | Xavier Leroy | 2023-05-16 | 1 | -1/+6 |
* | Introduce atomic loads in Cmm and Mach IRs | Olivier Nicole | 2022-02-01 | 1 | -2/+7 |
* | Merge commit '1037341d8cbd533209c2898e0743757189ce8f1e' into parallel_minor_g... | Tom Kelly | 2021-10-01 | 1 | -2/+2 |
|\ |
|
| * | Allow CSE of immutable loads across stores (#9562) | Stephen Dolan | 2021-05-26 | 1 | -2/+2 |
* | | Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g... | Tom Kelly | 2021-10-01 | 1 | -1/+1 |
|\ \
| |/ |
|
| * | Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392) | Alain Frisch | 2021-05-11 | 1 | -1/+1 |
* | | add polling at mach layer | Sadiq Jaffer | 2021-09-06 | 1 | -1/+1 |
* | | Merge commit '86c8a98f3c36b25c2e3f2185c24809d0babad5b4' into parallel_minor_g... | Tom Kelly | 2021-03-08 | 1 | -6/+5 |
|\ \
| |/ |
|
| * | Remove labels after calls, checkbound, and GC points | Nicolás Ojeda Bär | 2020-10-08 | 1 | -5/+5 |
| * | Remove Spacetime | Nicolás Ojeda Bär | 2020-10-08 | 1 | -1/+0 |
* | | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g... | Tom Kelly | 2020-04-28 | 1 | -1/+5 |
|\ \
| |/ |
|
| * | Move contains_calls and num_stack_slots from Proc to Mach.fundecl | Greta Yorsh | 2019-09-09 | 1 | -0/+4 |
| * | Split Linearize into two modules | Greta Yorsh | 2019-09-04 | 1 | -1/+1 |
* | | Merge commit '36d299b4aaf7f2d317fbfa148d7f94e720c80730' into parallel_minor_g... | Tom Kelly | 2020-04-20 | 1 | -0/+1 |
|\ \
| |/ |
|
| * | Position [Lprologue] correctly (#2292) | Mark Shinwell | 2019-03-29 | 1 | -0/+1 |
* | | Merge commit '0bd539ae24b036382f855724aa671ea38032b042' into parallel_minor_g... | Tom Kelly | 2020-04-19 | 1 | -1/+1 |
|\ \
| |/ |
|
| * | GPR#2082: New option -no-insn-sched | Mark Shinwell | 2019-03-13 | 1 | -1/+1 |
* | | Merge commit '1dba5329a2ea19320ed2ed019e367bf9e99a6618' into parallel_minor_g... | Tom Kelly | 2020-04-17 | 1 | -1/+2 |
|\ \
| |/ |
|
| * | Linearize: for Trywith, remove the jump/call to the handler (#2237) | Vincent Laviron | 2019-03-07 | 1 | -1/+2 |
* | | Bootstrap for 4.06.0 updates | KC Sivaramakrishnan | 2018-03-28 | 1 | -2/+2 |
|\ \
| |/ |
|
| * | Typos and basic grammar error fixing (#1280) | Fourchaux | 2017-08-10 | 1 | -2/+2 |
* | | Merge updates from 4.04.2 | KC Sivaramakrishnan | 2018-03-12 | 1 | -7/+7 |
|\ \
| |/ |
|
| * | Spacetime: a new memory profiler (#585) | Mark Shinwell | 2016-07-29 | 1 | -1/+3 |
| * | Labels after calls, call GC points and checkbound points (again) (#660) | Mark Shinwell | 2016-07-06 | 1 | -5/+5 |
| * | Revert "Labels after calls, call GC points and checkbound points" | Alain Frisch | 2016-07-01 | 1 | -5/+5 |
| * | Labels after calls, call GC points and checkbound points (#644) | Mark Shinwell | 2016-07-01 | 1 | -5/+5 |
| * | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -11/+14 |
| * | More precise typing at the C-- and Mach level: | Xavier Leroy | 2014-11-06 | 1 | -1/+1 |
| * | Reflecting commit 14963 on version/4.02: | Xavier Leroy | 2014-06-05 | 1 | -12/+23 |
* | | Promote to 4.04.2 => bootstrap succeeded | KC Sivaramakrishnan | 2018-03-09 | 1 | -11/+16 |
* | | WIP native code | KC Sivaramakrishnan | 2016-05-16 | 1 | -0/+1 |
* | | PR#2719: wrong scheduling of bound checks within a try...with Invalid_argumen... | Xavier Leroy | 2014-06-05 | 1 | -12/+23 |
|/ |
|
* | Add reset functions to make modules reentrant when used through compiler-libs | Fabrice Le Fessant | 2014-05-09 | 1 | -0/+2 |
* | New back-end optimization pass: common subexpression elimination (CSE). | Xavier Leroy | 2014-04-26 | 1 | -1/+1 |
* | Debug info was lost when rescheduling "checkbound" instructions. | Xavier Leroy | 2013-11-28 | 1 | -2/+2 |
* | remove all $Id keywords | Damien Doligez | 2012-10-15 | 1 | -2/+0 |
* | PR#5731: take destroyed registers into account during scheduling. | Xavier Leroy | 2012-08-20 | 1 | -20/+48 |
* | Enable and fix more warnings. | Alain Frisch | 2012-05-29 | 1 | -1/+0 |
* | PR#5487: addition of CFI directives and a few filename/linenumber info to gen... | Xavier Leroy | 2012-02-21 | 1 | -1/+2 |
* | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez | 2011-07-27 | 1 | -1/+1 |
* | PR#4975: spelling mistakes "overriden" and "informations" | Damien Doligez | 2010-05-21 | 1 | -2/+2 |
* | clean up spaces and tabs | Damien Doligez | 2010-01-22 | 1 | -2/+2 |
* | Stack backtraces on uncaught exceptions in native code (merge of the opt_back... | Xavier Leroy | 2007-01-29 | 1 | -4/+3 |
* | suppression unused var | Damien Doligez | 2004-11-29 | 1 | -2/+1 |
* | Getting rid of obsolete boolean operators & and or | Pierre Weis | 2000-12-28 | 1 | -1/+1 |
* | Changement de la licence | Xavier Leroy | 1999-11-17 | 1 | -1/+2 |
* | Warning de la séquence | Pierre Weis | 1998-11-12 | 1 | -2/+3 |
* | Scheduler les checkbound avant les load correspondants | Xavier Leroy | 1998-10-19 | 1 | -13/+38 |
* | Nouvelle syntaxe des classes | Jérôme Vouillon | 1998-06-24 | 1 | -11/+11 |
* | Scheduling plus agressif des loads et des stores | Xavier Leroy | 1998-04-27 | 1 | -17/+62 |