summaryrefslogtreecommitdiff
path: root/asmcomp/schedgen.ml
Commit message (Expand)AuthorAgeFilesLines
* Instruction scheduling: do not reorder atomic loads (#12248)HEADtrunkXavier Leroy2023-05-161-1/+6
* Introduce atomic loads in Cmm and Mach IRsOlivier Nicole2022-02-011-2/+7
* Merge commit '1037341d8cbd533209c2898e0743757189ce8f1e' into parallel_minor_g...Tom Kelly2021-10-011-2/+2
|\
| * Allow CSE of immutable loads across stores (#9562)Stephen Dolan2021-05-261-2/+2
* | Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g...Tom Kelly2021-10-011-1/+1
|\ \ | |/
| * Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392)Alain Frisch2021-05-111-1/+1
* | add polling at mach layerSadiq Jaffer2021-09-061-1/+1
* | Merge commit '86c8a98f3c36b25c2e3f2185c24809d0babad5b4' into parallel_minor_g...Tom Kelly2021-03-081-6/+5
|\ \ | |/
| * Remove labels after calls, checkbound, and GC pointsNicolás Ojeda Bär2020-10-081-5/+5
| * Remove SpacetimeNicolás Ojeda Bär2020-10-081-1/+0
* | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g...Tom Kelly2020-04-281-1/+5
|\ \ | |/
| * Move contains_calls and num_stack_slots from Proc to Mach.fundeclGreta Yorsh2019-09-091-0/+4
| * Split Linearize into two modulesGreta Yorsh2019-09-041-1/+1
* | Merge commit '36d299b4aaf7f2d317fbfa148d7f94e720c80730' into parallel_minor_g...Tom Kelly2020-04-201-0/+1
|\ \ | |/
| * Position [Lprologue] correctly (#2292)Mark Shinwell2019-03-291-0/+1
* | Merge commit '0bd539ae24b036382f855724aa671ea38032b042' into parallel_minor_g...Tom Kelly2020-04-191-1/+1
|\ \ | |/
| * GPR#2082: New option -no-insn-schedMark Shinwell2019-03-131-1/+1
* | Merge commit '1dba5329a2ea19320ed2ed019e367bf9e99a6618' into parallel_minor_g...Tom Kelly2020-04-171-1/+2
|\ \ | |/
| * Linearize: for Trywith, remove the jump/call to the handler (#2237)Vincent Laviron2019-03-071-1/+2
* | Bootstrap for 4.06.0 updatesKC Sivaramakrishnan2018-03-281-2/+2
|\ \ | |/
| * Typos and basic grammar error fixing (#1280)Fourchaux2017-08-101-2/+2
* | Merge updates from 4.04.2KC Sivaramakrishnan2018-03-121-7/+7
|\ \ | |/
| * Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-1/+3
| * Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-5/+5
| * Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-5/+5
| * Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-5/+5
| * Update headers for the new license.Damien Doligez2016-02-181-11/+14
| * More precise typing at the C-- and Mach level:Xavier Leroy2014-11-061-1/+1
| * Reflecting commit 14963 on version/4.02:Xavier Leroy2014-06-051-12/+23
* | Promote to 4.04.2 => bootstrap succeededKC Sivaramakrishnan2018-03-091-11/+16
* | WIP native codeKC Sivaramakrishnan2016-05-161-0/+1
* | PR#2719: wrong scheduling of bound checks within a try...with Invalid_argumen...Xavier Leroy2014-06-051-12/+23
|/
* Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-091-0/+2
* New back-end optimization pass: common subexpression elimination (CSE).Xavier Leroy2014-04-261-1/+1
* Debug info was lost when rescheduling "checkbound" instructions.Xavier Leroy2013-11-281-2/+2
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* PR#5731: take destroyed registers into account during scheduling.Xavier Leroy2012-08-201-20/+48
* Enable and fix more warnings.Alain Frisch2012-05-291-1/+0
* PR#5487: addition of CFI directives and a few filename/linenumber info to gen...Xavier Leroy2012-02-211-1/+2
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* PR#4975: spelling mistakes "overriden" and "informations"Damien Doligez2010-05-211-2/+2
* clean up spaces and tabsDamien Doligez2010-01-221-2/+2
* Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy2007-01-291-4/+3
* suppression unused varDamien Doligez2004-11-291-2/+1
* Getting rid of obsolete boolean operators & and orPierre Weis2000-12-281-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Warning de la séquencePierre Weis1998-11-121-2/+3
* Scheduler les checkbound avant les load correspondantsXavier Leroy1998-10-191-13/+38
* Nouvelle syntaxe des classesJérôme Vouillon1998-06-241-11/+11
* Scheduling plus agressif des loads et des storesXavier Leroy1998-04-271-17/+62