summaryrefslogtreecommitdiff
path: root/asmcomp/printmach.ml
Commit message (Expand)AuthorAgeFilesLines
* Turn float comparisons into primitive operations (#9945)Stefan Muenzel2023-01-241-0/+1
* Use return values instead of globals for linear scan intervals (#11627)Stefan Muenzel2022-10-141-3/+3
* Introduce atomic loads in Cmm and Mach IRsOlivier Nicole2022-02-011-6/+10
* remove multicore nop debugging (reverts ocaml-multicore#384)Tom Kelly2021-10-081-1/+0
* Merge commit '0117428c3ea163f42f4549ff4e7f255f29f6b4d4' into 5.00Tom Kelly2021-10-041-0/+2
|\
| * Support more arguments to tail calls by passing them through the domain state...Xavier Leroy2021-09-091-0/+2
| * Safepoints (#10039)Sadiq Jaffer2021-07-091-0/+6
* | Merge commit '1037341d8cbd533209c2898e0743757189ce8f1e' into parallel_minor_g...Tom Kelly2021-10-011-1/+4
|\ \ | |/
| * Allow CSE of immutable loads across stores (#9562)Stephen Dolan2021-05-261-1/+4
* | Merge commit '4f4e46af447364ed633dd6baf5f8a2ad79c5d081' into parallel_minor_g...Tom Kelly2021-10-011-10/+0
|\ \ | |/
| * Remove the availability analysis (#10355)Xavier Leroy2021-04-231-19/+0
* | Merge commit 'b720b583a1d8eeeb295adbf597c6d2ddf994c1cd' into parallel_minor_g...Tom Kelly2021-09-301-0/+1
|\ \ | |/
| * Keep Sys.opaque_identity in Cmm and Mach (#9412)Stephen Dolan2021-04-151-0/+1
* | add polling at mach layerSadiq Jaffer2021-09-061-10/+6
* | Add primitive for fetching dls stateKC Sivaramakrishnan2021-06-101-0/+1
* | Merge commit '86c8a98f3c36b25c2e3f2185c24809d0babad5b4' into parallel_minor_g...Tom Kelly2021-03-081-17/+5
|\ \ | |/
| * Remove labels after calls, checkbound, and GC pointsNicolás Ojeda Bär2020-10-081-11/+5
| * Remove SpacetimeNicolás Ojeda Bär2020-10-081-8/+2
* | Merge commit '8a79f6ce59cdabd65870af5124e3e3eebc366ff1' into parallel_minor_g...Tom Kelly2021-02-261-2/+2
|\ \ | |/
| * -dno-locations: hide source locations (and debug events) from IR dumpsGabriel Scherer2020-01-091-2/+2
* | Add a primitive to insert nop instructionKC Sivaramakrishnan2020-07-311-0/+1
* | removal of IloadmutTom Kelly2020-07-141-2/+0
* | Merge commit 'd6fb9ad86a7628d8b8683d8f96957e7ceaa3bf5d' into parallel_minor_g...Tom Kelly2020-04-291-3/+1
|\ \ | |/
| * Merge dump_live and print_liveFlorian Angeletti2019-09-301-3/+1
| * Move backtrace support global variables to domain state.KC Sivaramakrishnan2019-08-231-1/+1
* | Merge commit '107a9f55d8945125d7fd454f7ae97857164c8224' into parallel_minor_g...Tom Kelly2020-04-271-1/+2
|\ \ | |/
| * Fix Mach printer (#8669)Vincent Laviron2019-05-161-1/+2
* | Merge commit '1dba5329a2ea19320ed2ed019e367bf9e99a6618' into parallel_minor_g...Tom Kelly2020-04-171-2/+0
|\ \ | |/
| * Remove loop constructors in Cmm and MachVincent Laviron2019-02-191-2/+0
* | Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_g...Tom Kelly2020-04-091-3/+5
|\ \ | |/
| * s/string_of_int/Int.to_string/gDaniel Bünzli2018-11-071-1/+1
| * Rename Mach.Ialloc record field from _words_ to _bytes_ and fix logic in a co...Mark Shinwell2018-10-021-1/+1
| * GPR#2056 (Backend_var)Mark Shinwell2018-09-281-1/+3
* | Merge commit '15e8f62b851a8cf5e4a88d6d674f7c171cc1ae35' into parallel_minor_g...Tom Kelly2020-03-301-6/+5
|\ \ | |/
| * Treat negated float comparisons more directly (#1487)Leo White2018-02-281-6/+5
* | Polling passAnmol Sahoo2020-02-131-0/+1
* | Bootstrap for 4.06.0 updatesKC Sivaramakrishnan2018-03-281-4/+44
|\ \ | |/
| * Register availability analysis (#856)Mark Shinwell2017-09-151-0/+17
| * Initial import of linear-scan-register-allocatorNicolas Ojeda Bar2017-02-221-0/+13
| * Add a recursive flag on the Ccatch constructPierre Chambart2016-10-281-2/+3
| * Change Cmm Ccatch construct to allow recursive casesPierre Chambart2016-10-281-4/+13
* | Fix backtraces for multicore.KC Sivaramakrishnan2018-03-161-1/+1
* | Merge updates from 4.04.2KC Sivaramakrishnan2018-03-121-7/+7
|\ \ | |/
| * Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-4/+16
| * Specialize raise_kind after cmmgenFrançois Bobot2016-07-281-1/+1
| * Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-8/+8
| * Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-8/+8
| * Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-8/+8
| * Update headers for the new license.Damien Doligez2016-02-181-11/+14
| * PR#7024 and GPR#295: CSE confuses +0.0 and -0.0Xavier Leroy2015-11-191-1/+1
View Lorry Controller Status