summaryrefslogtreecommitdiff
path: root/asmcomp/arm64/emit.mlp
Commit message (Expand)AuthorAgeFilesLines
* Turn float comparisons into primitive operations (#9945)Stefan Muenzel2023-01-241-13/+19
* Tab align arm64 emit (#11852)KC Sivaramakrishnan2023-01-021-22/+25
* emit.mlp: stop using references for variables initialised and never updated (...Vincent Laviron2022-12-111-17/+16
* Use '$' to escape special characters in all portsXavier Leroy2022-07-121-1/+1
* Merge pull request #11218 from dra27/backend-referencesGabriel Scherer2022-05-031-1/+0
|\
| * Fix header generation of asmcomp/emit.mlDavid Allsopp2022-04-241-1/+0
* | arm64: fix out-of-range immediate in add instruction (#11230)Nicolás Ojeda Bär2022-04-291-1/+1
|/
* ARM64 CFI support (#11099)Tom Kelly2022-03-161-3/+12
* ARM64 address review:Tom Kelly2022-02-211-7/+6
* ARM64: memory model changesTom Kelly2022-02-211-17/+41
* address review: comment that x19 is a callee saved register for no-alloc Iext...Tom Kelly2022-02-211-31/+9
* ARM64: assembler, emit and proc changes to get it workingTom Kelly2022-02-211-9/+97
* Support more arguments to tail calls by passing them through the domain state...Xavier Leroy2021-09-091-1/+6
* Safepoints (#10039)Sadiq Jaffer2021-07-091-0/+47
* Remove Cmm.memory_chunk.Double_u (#10433)Greta Yorsh2021-06-211-2/+2
* Allow CSE of immutable loads across stores (#9562)Stephen Dolan2021-05-261-2/+2
* Remove the availability analysis (#10355)Xavier Leroy2021-04-231-2/+0
* Introduce per-function environment for Emit (#8936)Greta Yorsh2021-04-221-151/+102
* Keep Sys.opaque_identity in Cmm and Mach (#9412)Stephen Dolan2021-04-151-0/+3
* Recycle the former "young limit" register, giving one more allocatable registerXavier Leroy2020-12-111-5/+5
* Do not cache young_limit in a processor registersXavier Leroy2020-12-101-6/+5
* ARM64: add and recognize specific operation for sign extensionXavier Leroy2020-11-261-0/+3
* ARM64: Improve code generation for load integer immediateXavier Leroy2020-11-261-50/+42
* Remove labels after calls, checkbound, and GC pointsNicolás Ojeda Bär2020-10-081-55/+51
* ARM64: revised generation of ADD/SUB/CMP immediateXavier Leroy2020-09-161-3/+38
* Prologue size should not depend on stack_offset (power, arm64) (#9083)Greta Yorsh2020-09-031-4/+7
* arm64: use Arch.macosx instead of is_macosxEduardoRFS2020-07-251-10/+7
* arm64: support ios shared libraryEduardoRFS2020-07-251-3/+3
* arm64 emitter: support apple variant of assembleriOS Porting Team2020-07-251-11/+46
* Revised passing of arguments to external C functionsXavier Leroy2020-07-241-0/+14
* Per-architecture support for allocation size info in frame tables.Stephen Dolan2019-10-231-12/+8
* Use allocation-size info on more than just amd64.Stephen Dolan2019-10-221-18/+19
* Move contains_calls and num_stack_slots from Proc to Mach.fundeclGreta Yorsh2019-09-091-1/+12
* Split Linearize into two modulesGreta Yorsh2019-09-041-1/+1
* Support for domain state on arm64 architectureKC Sivaramakrishnan2019-08-231-4/+11
* Add .caml to function section namesGreta Yorsh2019-07-151-2/+2
* Fix arm emittersGreta Yorsh2019-07-151-1/+1
* Add compile-time option -function-sectionsGreta Yorsh2019-07-151-1/+1
* Emit each function in a separate section (amd64,i386,arm,arm64)Greta Yorsh2019-07-151-3/+12
* Add pseudo-instruction `Ladjust_trap_depth` (#2322)Greta Yorsh2019-06-241-0/+6
* Ensure that Gc.minor_words remains accurate after a GC (#8619)Stephen Dolan2019-05-041-10/+13
* Ensure frame table is 8-aligned on ARM64 and PPC64 (#8557)Xavier Leroy2019-03-291-1/+2
* Position [Lprologue] correctly (#2292)Mark Shinwell2019-03-291-3/+3
* Add FreeBSD/aarch64 supportGreg V2019-03-221-1/+1
* Remove gprof support (#2314)Mark Shinwell2019-03-161-12/+0
* Linearize: for Trywith, remove the jump/call to the handler (#2237)Vincent Laviron2019-03-071-8/+6
* Rename Mach.Ialloc record field from _words_ to _bytes_ and fix logic in a co...Mark Shinwell2018-10-021-12/+12
* Add Lprologue (#2055)Mark Shinwell2018-09-241-20/+26
* Treat negated float comparisons more directly (#1487)Leo White2018-02-281-12/+14
* Add a padding word before "data_end" symbols (MPR#6329) (#1437)Mark Shinwell2017-10-241-0/+1