aboutsummaryrefslogtreecommitdiffstats
path: root/x86
Commit message (Expand)AuthorAgeFilesLines
* more for passing notrap through x86David Monniaux2019-09-075-10/+56
* for nontrapDavid Monniaux2019-09-061-0/+28
* Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-08-282-15/+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
* | helpers broke compilationDavid Monniaux2019-07-192-10/+2
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-197-31/+153
|\|
| * 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
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-0312-45/+305
|\|
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
| * Implement a `Osel` operation for x86Xavier Leroy2019-05-2011-38/+298
| * Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-6/+6
* | ça recompile sur x86David Monniaux2019-03-224-3/+37
* | try to be portable across archsDavid Monniaux2019-03-213-3/+11
|/
* x86: wrong modeling of ZF flag for FP comparisonsXavier Leroy2018-12-202-130/+66
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-123-6/+7
* Fix expansion of ctzl/clzl builtin for 64bit targets (#127)Michael Schmidt2018-07-121-2/+15
* Model external calls as destroying all caller-save registersXavier Leroy2018-06-012-3/+12
* 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
* Improve strength reduction of unsigned comparisons x ==u 0, x !=u 0, etc (#59)Xavier Leroy2018-02-162-15/+49
* Switching the cases seems to work on x86_32Bernhard Schommer2018-02-121-2/+2
* In "symbol + ofs" addressing modes, limit the range of "ofs" in 64 bitsXavier Leroy2018-02-123-11/+33
* x86 ConstpropOp.addr_strength_reduction: always check validity of resulting a...Xavier Leroy2018-02-082-10/+15
* Change AsmToJson to be similar to other printers.Bernhard Schommer2018-01-052-4/+12
* Resynchronize the LICENSE file and the license headers in individual files (#45)Xavier Leroy2018-01-051-0/+3
* Optimization for division by one during constant propagation (#39)Michael Schmidt2017-12-052-10/+24
* 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
* Merge pull request #191 from sigurdschneider/masterXavier Leroy2017-10-201-0/+1
|\
| * Ensure FunInd or Recdef is imported if functional induction is usedSigurd Schneider2017-07-201-0/+1
* | New support for inserting ais-annotations.Bernhard Schommer2017-10-193-8/+18
* | Moved common buitlins to C2C gernic_builtins.Bernhard Schommer2017-09-261-8/+0
* | Added dump-mnemonics option.Bernhard Schommer2017-09-252-0/+4
* | Remove coq warnings (#28)Bernhard Schommer2017-09-224-13/+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
|/
* Extend builtin arguments with a pointer addition operatorXavier Leroy2017-07-065-11/+61
* Formatted json printing.Bernhard Schommer2017-06-282-3/+3
* Issues with invalid x86 addressing modes (Github issue #183)Xavier Leroy2017-05-173-18/+27
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-0315-90/+92
generated by cgit (git 2.34.1) at 2024-06-02 21:22:46 +0000