aboutsummaryrefslogtreecommitdiffstats
path: root/ia32
Commit message (Expand)AuthorAgeFilesLines
* 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
| |/
| * Missing initialization of current_function_sig.Xavier Leroy2015-03-141-1/+3
* | Missing initialization of current_function_sig.Xavier Leroy2015-03-141-1/+3
* | Merge branch 'master' into struct-passingXavier Leroy2015-03-143-1080/+993
|\|
| * 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
* | 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
|/
* 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
* Merge the various $(ARCH)/$(VARIANT)/xxx.v files into $(ARCH)/xxx.v.xleroy2014-07-232-0/+5
* Merge of "newspilling" branch:xleroy2014-07-2317-324/+698
* Refactoring: move symbol_offset into Genv.xleroy2014-05-247-75/+50
* Fused multiply-add for IA32.xleroy2014-05-052-0/+35
* ia32/Select*: complete the modifications to shifts.xleroy2014-04-112-12/+20
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...xleroy2014-04-094-86/+138
* Support Onot operator / notl instruction. More constant propagation during s...xleroy2014-04-0611-26/+100
* Use .comm to declare uninitialized BSS variables. xleroy2014-03-141-12/+24
* Force dependency of SelectOp on Compopts.xleroy2014-03-031-0/+1
* In Regalloc, dead code elimination, don't eliminate move operationsxleroy2014-02-231-0/+3
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-193-0/+3
* Recognize .i and .p source files as C sources not to be preprocessed.xleroy2014-02-051-0/+1
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.xleroy2014-01-125-17/+9
* Introduce and use the platform-specific Archi module giving:xleroy2014-01-031-5/+13
* Updated neededness analysis for IA32.xleroy2014-01-021-37/+60
generated by cgit (git 2.34.1) at 2024-06-13 09:25:00 +0000