summaryrefslogtreecommitdiff
path: root/asmcomp/amd64/proc.ml
Commit message (Expand)AuthorAgeFilesLines
* Place Win64 ABI shadow store in c_stack_linkDavid Allsopp2023-03-151-1/+1
* Fix register metadata for Win64 ABIDavid Allsopp2023-03-141-3/+3
* Turn float comparisons into primitive operations (#9945)Stefan Muenzel2023-01-241-11/+17
* Remove arm, i386 native-code backends (#11904)Nicolás Ojeda Bär2023-01-221-4/+0
* Restore frame-pointers support for amd64fabbing2022-06-301-2/+1
* Update Iextcall of emit_instr for frame-pointersfabbing2022-06-301-1/+2
* Merge commit '0117428c3ea163f42f4549ff4e7f255f29f6b4d4' into 5.00Tom Kelly2021-10-041-15/+24
|\
| * Support more arguments to tail calls by passing them through the domain state...Xavier Leroy2021-09-091-15/+24
| * Safepoints (#10039)Sadiq Jaffer2021-07-091-6/+6
* | Merge commit '24d7f3bde8f0af585b8328b5b4e5f386f8909cff' into parallel_minor_g...Tom Kelly2021-10-011-11/+0
|\ \ | |/
| * Refactor Proc.op_is_pure and fix Mach.operation_can_raiseXavier Leroy2021-04-201-11/+0
* | Merge commit 'b720b583a1d8eeeb295adbf597c6d2ddf994c1cd' into parallel_minor_g...Tom Kelly2021-09-301-1/+1
|\ \ | |/
| * Keep Sys.opaque_identity in Cmm and Mach (#9412)Stephen Dolan2021-04-151-1/+1
* | add polling at mach layerSadiq Jaffer2021-09-061-7/+7
* | Add primitive for fetching dls stateKC Sivaramakrishnan2021-06-101-1/+1
* | Port https://github.com/ocaml-multicore/ocaml-multicore/pull/510 for multicoreSadiq Jaffer2021-04-121-2/+4
* | Merge commit '86c8a98f3c36b25c2e3f2185c24809d0babad5b4' into parallel_minor_g...Tom Kelly2021-03-081-21/+6
|\ \ | |/
| * Remove labels after calls, checkbound, and GC pointsNicolás Ojeda Bär2020-10-081-3/+3
| * Remove SpacetimeNicolás Ojeda Bär2020-10-081-25/+6
* | Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g...Tom Kelly2021-03-041-9/+8
|\ \ | |/
| * Revised passing of arguments to external C functionsXavier Leroy2020-07-241-9/+8
| * Micro-optimise allocations on amd64 to save a register (#9280)Stephen Dolan2020-03-091-4/+10
* | Add a primitive to insert nop instructionKC Sivaramakrishnan2020-07-311-1/+1
* | removal of IloadmutTom Kelly2020-07-141-1/+1
* | Iloadmut doesn't clobber rax and rdx when we don't have a read barrierTom Kelly2020-06-231-1/+0
* | Merge commit 'f4b30f0a9b93a51317272812c33441326881f9ae' into parallel_minor_g...Tom Kelly2020-04-301-1/+1
|\ \ | |/
| * Improve code-generation for 32-to-64-bit zero-extension on amd64.Stephen Dolan2019-10-141-1/+1
* | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g...Tom Kelly2020-04-281-7/+5
|\ \ | |/
| * Move contains_calls and num_stack_slots from Proc to Mach.fundeclGreta Yorsh2019-09-091-7/+5
* | Merge commit '5ad64306d36755b600f2556805effb73627508c8' into parallel_minor_g...Tom Kelly2020-04-281-1/+1
|\ \ | |/
| * Optimising poptrap in i386KC Sivaramakrishnan2019-08-231-1/+1
| * Destroy r11 at ItrywithKC Sivaramakrishnan2019-08-231-0/+1
* | Fix for r11 being clobbered in Itrywith on amd64Tom Kelly2020-04-241-0/+1
* | Merge commit '36d299b4aaf7f2d317fbfa148d7f94e720c80730' into parallel_minor_g...Tom Kelly2020-04-201-0/+6
|\ \ | |/
| * Position [Lprologue] correctly (#2292)Mark Shinwell2019-03-291-0/+6
* | Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_g...Tom Kelly2020-04-091-0/+18
|\ \ | |/
| * Add [Proc.destroyed_at_reloadretaddr] (#2065)Mark Shinwell2018-10-151-0/+2
| * DWARF register numberings (#2080)Mark Shinwell2018-10-041-0/+16
* | Merge commit 'e37b5c07d493e0a5c53f04ca76b8bc94885c5d22' into parallel_minor_g...Tom Kelly2020-04-061-1/+1
|\ \ | |/
| * Optimize 32->64 sign-extension for AMD64 (#1631)LemonBoy2018-05-281-1/+1
* | Added Domain.Sync.poll to poll for interruptsKC Sivaramakrishnan2020-02-231-1/+1
* | Stack refactoring for callbacks. Fixes DWARF CFI for caml_start_program.Stephen Dolan2018-11-091-4/+7
* | Bootstrap for 4.06.0 updatesKC Sivaramakrishnan2018-03-281-12/+37
|\ \ | |/
| * Take PLT-clobbered registers into account at Ialloc (#1304)Mark Shinwell2017-08-281-8/+36
| * Remove Istore_symbol (plus some Win64 fixes) (#955)Mark Shinwell2016-12-271-4/+1
* | Merge updates from 4.04.2KC Sivaramakrishnan2018-03-121-7/+7
|\ \ | |/
| * Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-2/+17
| * Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-6/+7
| * Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-7/+6
| * Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-6/+7
View Lorry Controller Status