summaryrefslogtreecommitdiff
path: root/asmcomp/mach.mli
Commit message (Expand)AuthorAgeFilesLines
* Turn float comparisons into primitive operations (#9945)Stefan Muenzel2023-01-241-0/+1
* Introduce atomic loads in Cmm and Mach IRsOlivier Nicole2022-02-011-1/+4
* Merge commit 'edf0075888ec27a50c4f50f76dba46f730797651' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+1
|\
| * Add [@poll error] attribute (#10462)Sadiq Jaffer2021-11-091-0/+1
| * Safepoints (#10039)Sadiq Jaffer2021-07-091-0/+1
* | remove multicore nop debugging (reverts ocaml-multicore#384)Tom Kelly2021-10-081-1/+0
* | Merge commit '1037341d8cbd533209c2898e0743757189ce8f1e' into parallel_minor_g...Tom Kelly2021-10-011-1/+1
|\ \ | |/
| * Allow CSE of immutable loads across stores (#9562)Stephen Dolan2021-05-261-1/+1
* | Merge commit '4f4e46af447364ed633dd6baf5f8a2ad79c5d081' into parallel_minor_g...Tom Kelly2021-10-011-3/+1
|\ \ | |/
| * Remove the availability analysis (#10355)Xavier Leroy2021-04-231-11/+1
* | Merge commit '24d7f3bde8f0af585b8328b5b4e5f386f8909cff' into parallel_minor_g...Tom Kelly2021-10-011-0/+7
|\ \ | |/
| * Refactor Proc.op_is_pure and fix Mach.operation_can_raiseXavier Leroy2021-04-201-0/+7
* | 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
* | Remove fun_suppress_pollsMark Shinwell2021-09-061-1/+0
* | add polling at mach layerSadiq Jaffer2021-09-061-9/+2
* | Add primitive for fetching dls stateKC Sivaramakrishnan2021-06-101-0/+1
* | Merge commit '86c8a98f3c36b25c2e3f2185c24809d0babad5b4' into parallel_minor_g...Tom Kelly2021-03-081-36/+7
|\ \ | |/
| * Remove labels after calls, checkbound, and GC pointsNicolás Ojeda Bär2020-10-081-14/+7
| * Remove SpacetimeNicolás Ojeda Bär2020-10-081-24/+2
* | Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g...Tom Kelly2021-03-041-2/+4
|\ \ | |/
| * Revised passing of arguments to external C functionsXavier Leroy2020-07-241-1/+3
* | Merge commit '62bae6fcf5fe12ee52e3373280d066d1d576c41c' into parallel_minor_g...Tom Kelly2021-02-251-1/+1
|\ \ | |/
| * Use allocation-size info on more than just amd64.Stephen Dolan2019-10-221-10/+1
| * Retain debug information about allocation sizes, for statmemprof.Stephen Dolan2019-10-221-1/+10
* | Add a primitive to insert nop instructionKC Sivaramakrishnan2020-07-311-0/+1
* | removal of IloadmutTom Kelly2020-07-141-1/+0
* | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g...Tom Kelly2020-04-281-0/+2
|\ \ | |/
| * Move contains_calls and num_stack_slots from Proc to Mach.fundeclGreta Yorsh2019-09-091-0/+2
| * Move backtrace support global variables to domain state.KC Sivaramakrishnan2019-08-231-1/+1
* | Merge commit '1dba5329a2ea19320ed2ed019e367bf9e99a6618' into parallel_minor_g...Tom Kelly2020-04-171-1/+0
|\ \ | |/
| * Remove loop constructors in Cmm and MachVincent Laviron2019-02-191-1/+0
* | Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_g...Tom Kelly2020-04-091-2/+2
|\ \ | |/
| * 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/+1
* | Merge commit 'e866ba3f6891a18ede3235f125babd5f7fd6d03a' into parallel_minor_g...Tom Kelly2020-03-301-1/+1
|\ \ | |/
| * Disable CSE for the initialization function (#1455)Pierre Chambart2018-03-151-1/+1
* | Merge commit '15e8f62b851a8cf5e4a88d6d674f7c171cc1ae35' into parallel_minor_g...Tom Kelly2020-03-301-3/+5
|\ \ | |/
| * Treat negated float comparisons more directly (#1487)Leo White2018-02-281-3/+5
* | Polling passAnmol Sahoo2020-02-131-0/+1
* | Bootstrap for 4.06.0 updatesKC Sivaramakrishnan2018-03-281-2/+15
|\ \ | |/
| * Register availability analysis (#856)Mark Shinwell2017-09-151-1/+14
| * Add a recursive flag on the Ccatch constructPierre Chambart2016-10-281-5/+1
| * code reviewMark Shinwell2016-10-281-0/+2
| * Change Cmm Ccatch construct to allow recursive casesPierre Chambart2016-10-281-1/+3
* | 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/+27
| * 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-7/+13
View Lorry Controller Status