aboutsummaryrefslogtreecommitdiffstats
path: root/ia32
Commit message (Expand)AuthorAgeFilesLines
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-4/+4
* Updated PrintOp for the single-precision FP operations.Xavier Leroy2015-05-091-0/+12
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-093-24/+38
* Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-301-35/+35
* Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...Xavier Leroy2015-04-232-0/+3
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-232-0/+8
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-2/+1
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-212-3/+3
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-172-2/+7
* Added missing dummy functions.Bernhard Schommer2015-04-161-0/+8
* Merge branch 'master' into dwarfBernhard Schommer2015-04-028-62/+62
|\
| * Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-016-59/+56
| |\
| | * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-1/+1
| | * Extend annotations so that they can keep track of global variables and local ...Xavier Leroy2015-03-275-58/+55
| * | Merge pull request #31 from AbsInt/null-ptr-cmpXavier Leroy2015-04-012-3/+6
| |\ \
| | * | Revised semantics of comparisons between a pointer and 0.Xavier Leroy2015-03-152-3/+6
| | |/
* | | Merge branch 'master' into dwarfBernhard Schommer2015-03-311-4/+15
|\| |
| * | Missing initialization of current_function_sig.Xavier Leroy2015-03-141-1/+3
| * | Merge branch 'master' into struct-passingXavier Leroy2015-03-143-1080/+993
| |\ \
| * \ \ Merge branch 'master' into struct-passingXavier Leroy2015-03-141-18/+10
| |\ \ \
| | * | | Removed the MinGW port.Bernhard Schommer2015-02-191-53/+3
| | * | | Merge github.com:AbsInt/CompCertBernhard Schommer2015-02-191-7/+7
| | |\ \ \
| | | * | | Added back symbol functions in the different printer, since they are still ne...Bernhard Schommer2015-02-191-3/+10
| | | * | | Changed the symbol function back to its old definition.Bernhard Schommer2015-02-191-10/+3
| | * | | | Use lcomm instead of .local for Mingw.Bernhard Schommer2015-02-101-2/+2
| | * | | | Added new Mingw Printer. Currently the only difference to the Cygwin printer ...Bernhard Schommer2015-02-101-13/+55
| | |/ / /
| * / / / ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-3/+14
| |/ / /
* | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-161-1/+3
|\ \ \ \ | | |_|/ | |/| |
| * | | Missing initialization of current_function_sig.Xavier Leroy2015-03-141-1/+3
| | |/ | |/|
* | | Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-0/+6
* | | Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-111-0/+7
|/ /
* | Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-191-3/+6
* | Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-181-10/+13
* | Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-181-8/+8
* | Removed some style issues.Bernhard Schommer2015-02-181-9/+9
* | Changed arm backend to the common backend printer.Bernhard Schommer2015-02-091-1/+1
* | Changed the ia32 backend to the new Printer.Bernhard Schommer2015-02-063-1030/+976
* | Moved more common functions into a seperate file.Bernhard Schommer2015-02-041-56/+9
|/
* In -g -S mode, annotate the generated asm file with the C source code in comm...Xavier Leroy2015-01-071-22/+9
* Clean up support for common symbols. Uninitialized "const" symbols can be co...Xavier Leroy2014-12-171-14/+44
* Update the IA32/MacOS X port.Xavier Leroy2014-12-111-4/+6
* Prevent constant propagation on Oindirectsymbol addresses.Xavier Leroy2014-12-111-2/+11
* Verification of the Unusedglob pass (removal of unreferenced static global de...Xavier Leroy2014-11-242-67/+44
* Add Genv.public_symbol operation.Xavier Leroy2014-11-241-4/+12
* Refactored the code of ia32/PrintAsm.ml by moving the functions depending on ...Bernhard Schommer2014-10-081-138/+220
* Rename __builtin_cntlz to __builtin_clz.xleroy2014-08-272-0/+9
* All targets: add __builtin_membarxleroy2014-07-281-0/+3
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-0/+18
* The NaN behavior of float_of_single differs on PowerPC and on IA32/ARM.xleroy2014-07-281-1/+4
* Update with _a memory accessesxleroy2014-07-231-2/+2
generated by cgit (git 2.34.1) at 2024-06-02 21:35:14 +0000