summaryrefslogtreecommitdiff
path: root/asmcomp/amd64/emit.mlp
Commit message (Expand)AuthorAgeFilesLines
* MPR#7591: frametable not 8-aligned on x86-64 portXavier Leroy2017-07-221-1/+2
* Remove Istore_symbol (plus some Win64 fixes) (#955)Mark Shinwell2016-12-271-5/+1
* Remove duplicate live_offset entries from frametables (#453)KC Sivaramakrishnan2016-12-091-6/+2
* Fix Spacetime assembler comments (MPR#7326)Mark Shinwell2016-08-151-2/+3
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-27/+153
* Specialize raise_kind after cmmgenFrançois Bobot2016-07-281-2/+2
* Fix backtrace for regular raise on arm64, armFrançois Bobot2016-07-281-8/+3
* Merge pull request #645 from mshinwell/delete_cmm_label_stuffAlain Frisch2016-07-101-7/+0
|\
| * Remove Cdefine_label and Clabel_addressMark Shinwell2016-06-291-7/+0
* | Improve location handling in the middle end (version for merging) (#666)Mark Shinwell2016-07-061-11/+13
* | Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-28/+35
* | Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-35/+28
* | Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-28/+35
|/
* In frame tables, distinguish data pointers from code pointersXavier Leroy2016-06-271-1/+2
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Merge pull request #408 from btj/trunkDamien Doligez2016-02-121-0/+7
|\
| * Add missing .cfi_adjust_cfa_offset before .cfi_endprocBart Jacobs2016-01-081-0/+7
* | Generate local jump labels on OS X (PR#7133)Bart Jacobs2016-02-101-3/+2
|/
* PR#7024 and GPR#295: CSE confuses +0.0 and -0.0Xavier Leroy2015-11-191-4/+3
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-3/+3
* Update to trunk r16267.cmm-mach-typesXavier Leroy2015-07-271-583/+726
|\
| * merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-171-0/+6
| * GPR#197: Do not emit [add zsh, %rsp] and [sub zsh, %rsp] (patch from cgaebel).Alain Frisch2015-06-171-7/+16
| * Support far relocations in Win64, using a custom local implementation of some...Alain Frisch2015-03-111-17/+46
| * PR#6167: OCAMLPARAM support for disabling PIC generation ('pic=0')Gabriel Scherer2015-01-241-2/+2
| * Revert previous commits (not ready yet).Alain Frisch2015-01-221-23/+16
| * Use __flimp_ prefix understood by flexlink, not __imp_.Alain Frisch2015-01-221-1/+1
| * Adapt amd64 backends under windows in order to avoid relative relocations to ...Alain Frisch2015-01-221-16/+23
| * Use curried style for X86_dsl. Will adapt 32-bit emit.mlp later.Alain Frisch2014-11-271-85/+85
| * Rename Intel_* to X86_*.Alain Frisch2014-11-271-7/+7
| * Fix for MacOSX.Alain Frisch2014-10-061-19/+15
| * Fix .section directives for MacOSX.Alain Frisch2014-10-061-3/+3
| * Typo.Alain Frisch2014-10-031-1/+1
| * Typos.Alain Frisch2014-10-031-1/+1
| * Get rid of warning attribute.Alain Frisch2014-09-301-2/+0
| * Inline inner DSL module.Alain Frisch2014-09-301-3/+2
| * Get rid of End directive (hard-code in masm backend).Alain Frisch2014-09-301-2/+0
| * ascii -> bytesAlain Frisch2014-09-301-2/+2
| * llabel -> labelAlain Frisch2014-09-301-3/+3
| * Move directive emitters into a sub-module (64-bit).Alain Frisch2014-09-301-80/+80
| * Merge DSL32 and DSL64.Alain Frisch2014-09-301-9/+9
| * Cleanup.Alain Frisch2014-09-301-14/+14
| * Cleanup.Alain Frisch2014-09-301-0/+2
| * Getting rid of instruction suffixes. Finish, merge INS, INS32, INS64, get rid...Alain Frisch2014-09-301-8/+7
| * Getting rid of instruction suffixes: step 2, using pure Intel mnemonics for t...Alain Frisch2014-09-301-71/+71
| * Avoid duplication in register names.Alain Frisch2014-09-291-11/+3
| * Rename NO -> NONE.Alain Frisch2014-09-261-7/+7
| * Cleanup.Alain Frisch2014-09-241-11/+6
| * Cosmetic, bringing i386 and amd64 versions of emit.mlp closer to each other.Alain Frisch2014-09-241-32/+25
| * Cosmetic.Alain Frisch2014-09-231-21/+7