aboutsummaryrefslogtreecommitdiffstats
path: root/x86/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into kvx-workDavid Monniaux2021-06-111-3/+11
|\
| * x86 assembly: fix the comment delimiter for macos and make it per-OSXavier Leroy2021-06-101-3/+11
* | comment is now ## due to some weird MacOS bugDavid Monniaux2021-06-091-1/+1
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-11/+10
|\|
| * Section handling: finer control of variable initializationXavier Leroy2021-02-231-4/+3
| * Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-6/+6
| * "macosx" is now called "macos"Xavier Leroy2021-01-181-1/+1
| * x86 32 bits: ABI non-conformance for functions returning structs/unionsXavier Leroy2020-12-111-1/+1
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-26/+34
|\|
| * Support Cygwin 64 bitsXavier Leroy2020-10-051-5/+31
| * Remove support for x86-32 under macOSXavier Leroy2020-07-291-21/+3
* | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-121-3/+62
|\ \
| * | fix IA32 profiling bugDavid Monniaux2020-04-121-2/+4
| * | x86-64 profilingDavid Monniaux2020-04-121-3/+60
| |/
| * Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-031-0/+2
| * Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-211-2/+0
* | fix for x86+arm unsupported thread localDavid Monniaux2020-02-241-3/+9
|/
* x86: wrong expansion of __builtin_fmadd et alXavier Leroy2019-08-061-13/+19
* Extended asm: print register names according to their typesXavier Leroy2019-06-171-3/+3
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
* Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-6/+6
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-121-1/+3
* Fix register naming for stack pointer.Bernhard Schommer2018-03-081-3/+4
* Removed % prefix from ais annot register names.Bernhard Schommer2018-03-081-1/+18
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-5/+5
* Remove no longer used function. Bug 22525Bernhard Schommer2017-11-101-2/+0
* Removed no longer used function. Bug 22525Bernhard Schommer2017-11-091-28/+0
* Fix jumptable issue.Bernhard Schommer2017-11-081-1/+1
* Simplifiy handling of constant emmitting.Bernhard Schommer2017-11-081-15/+11
* Remove superfluous function.Bernhard Schommer2017-11-061-2/+0
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-3/+13
* Update the Cygwin x86-32 portXavier Leroy2017-09-121-10/+11
* Resurrect the Cygwin x86-32 portXavier Leroy2017-09-111-2/+57
* Print_annot should produce a string.Bernhard Schommer2017-07-191-3/+8
* OS X: emit jumptables in .text segment, not .const segmentXavier Leroy2017-02-101-1/+1
* Inline open Datatypes.Bernhard Schommer2017-02-061-3/+2
* Use 64 bit address in debug information.Bernhard Schommer2016-11-101-0/+2
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-271-0/+881
generated by cgit (git 2.34.1) at 2024-05-18 23:46:02 +0000