aboutsummaryrefslogtreecommitdiffstats
path: root/x86
Commit message (Expand)AuthorAgeFilesLines
* Use a shorter insruction on x86 for loading unsigned 32-bit immediates into 6...Valoran2023-04-051-1/+3
* Change preference for new register in allocatorBernhard Schommer2023-03-061-0/+17
* Remove support for 32-bit CygwinXavier Leroy2022-12-081-14/+7
* Use .data.rel.ro section for const data with relocatable inits on ELF targets...Xavier Leroy2022-10-241-1/+4
* Add `Declare Scope` where appropriate (#440)Xavier Leroy2022-09-191-0/+1
* More simplifications for literal printingBernhard Schommer2022-09-031-3/+0
* Refactor emitting of constants.Bernhard Schommer2022-09-031-15/+0
* Support mergeable sections for fixed-size literalsXavier Leroy2022-08-291-19/+22
* Do not use `.rodata.cst8` for floating-point literalsXavier Leroy2022-08-151-1/+1
* Add op for float max and min for x86.Bernhard Schommer2022-02-0710-23/+66
* Return second arg for float min/max on x86.Bernhard Schommer2022-02-071-4/+4
* Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-2/+2
* Protect against overflows in `leaq` (all forms)Bernhard Schommer2021-08-271-22/+27
* Protect against overflows in `leaq N(src), dst` (#407)Xavier Leroy2021-08-271-12/+17
* x86 assembly: fix the comment delimiter for macos and make it per-OSXavier Leroy2021-06-101-3/+11
* Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-083-12/+15
* Support __builtin_unreachableXavier Leroy2021-05-021-1/+4
* Section handling: finer control of variable initializationXavier Leroy2021-02-231-4/+3
* Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-6/+6
* Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-211-1/+1
* "macosx" is now called "macos"Xavier Leroy2021-01-182-2/+2
* Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-1/+6
* Replace `omega` tactic with `lia`Xavier Leroy2020-12-297-60/+60
* Changed cc_varargs to an option typeBernhard Schommer2020-12-251-2/+2
* x86 32 bits: ABI non-conformance for functions returning structs/unionsXavier Leroy2020-12-111-1/+1
* Support Cygwin 64 bitsXavier Leroy2020-10-059-90/+296
* Remove support for x86-32 under macOSXavier Leroy2020-07-291-21/+3
* Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-1/+1
* Move declarations of __builtin_clz* and __builtin_ctz* to C2C.mlXavier Leroy2020-07-271-13/+0
* No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-4/+0
* Move shared code in new file.Bernhard Schommer2020-06-282-18/+0
* Remove the `can_reserve_register` function.Bernhard Schommer2020-06-282-3/+0
* Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-1/+1
* Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-242-146/+1
* Support re-normalization of values returned by function callsXavier Leroy2020-02-211-0/+14
* Refine the type of function results in AST.signatureXavier Leroy2020-02-213-19/+17
* Remove __builtin_nop from list of x86 builtins.Bernhard Schommer2020-01-031-3/+0
* Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-034-0/+10
* Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-214-10/+0
* Merge pull request #313 from AbsInt/aarch64Xavier Leroy2019-09-111-4/+4
|\
| * Fix compile for architectures other than AArch64 (#192)Bernhard Schommer2019-08-171-4/+4
| * x86: wrong expansion of __builtin_fmadd et alXavier Leroy2019-08-071-13/+19
* | bswap builtins: give semantics to them, support bswap64 on all targetsBernhard Schommer2019-08-121-2/+0
* | x86: wrong expansion of __builtin_fmadd et alXavier Leroy2019-08-061-13/+19
|/
* x86_64: branchless implementation of floatofintu and intuoffloatXavier Leroy2019-07-172-14/+29
* Give formal semantics to some built-in functions and run-time functionsXavier Leroy2019-07-173-10/+75
* Remove the cparser/Builtins moduleXavier Leroy2019-07-171-2/+2
* Extended asm: print register names according to their typesXavier Leroy2019-06-171-3/+3
* Perform constant propagation and strength reduction on conditional movesXavier Leroy2019-06-172-2/+36
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1