aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/PrintAsm.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge of the reuse-temps branch:xleroy2010-09-021-51/+11
* Adding __builtin_annotationxleroy2010-09-011-1/+31
* Renamed C2Clight into C2Cxleroy2010-08-181-3/+3
* Support for inlined built-ins.xleroy2010-06-291-110/+120
* Merging the Princeton implementation of the memory model. Separate axioms in...xleroy2010-06-281-4/+7
* Updated Caml parts to match new representation for global variables.xleroy2010-05-261-7/+13
* Cleaned up handling of linker sections.xleroy2010-05-081-53/+87
* Cosmetic: comments to mark expansions of some pseudoinstructions.xleroy2010-05-081-7/+17
* __builtin_memcpy, continued.xleroy2010-04-171-8/+8
* Support __builtin_memcpy; use it for struct assignmentxleroy2010-04-171-0/+25
* PowerPC: xleroy2010-04-101-3/+23
* Updated Linux conventionsxleroy2010-03-301-3/+6
* Emit a few comments to help reading the generated asmxleroy2010-03-281-10/+16
* Handling of volatile accesses through builtin functions.xleroy2010-03-081-4/+106
* Handling of builtins, continued.xleroy2010-03-071-17/+4
* Merge of the newmem and newextcalls branches:xleroy2010-03-071-1/+2
* Suppressed Init_pointer, now useless. Improved printing of strings in genera...xleroy2010-03-031-20/+22
* Switching to the new C parser/elaborator/simplifierxleroy2010-03-031-3/+3
* Revised handling of #pragma section and small data areasxleroy2010-01-271-14/+8
* More realistic treatment of jump tables: show the absence of overflow when ac...xleroy2009-11-101-2/+1
* Added support for jump tables in back end.xleroy2009-11-101-5/+20
* PowerPC/EABI port: preliminary support for #pragma section andxleroy2009-11-031-10/+19
* Simplified the treatment of the PowerPC small data area; now more specific to...xleroy2009-11-021-27/+19
* Preliminary support for small data area in PowerPC port.xleroy2009-11-011-14/+39
* Support Clight initializers of the form "int * x = &y;".xleroy2009-11-011-0/+3
* Storing of single floats: must insert frsp instruction before store. (Tempor...xleroy2009-10-301-2/+4
* Refactored Selection.v and Selectionproof.v into a machine-dependent part + a...xleroy2009-08-171-2/+2
* Use Configuration.systemxleroy2009-03-291-28/+38
* Honor "static" modifier on C globals.xleroy2009-03-281-22/+58
* Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...xleroy2009-01-291-3/+2
* Elimination of "alloc" instruction in Caml files and test files.xleroy2009-01-111-2/+0
* Cleanupxleroy2008-12-311-105/+0
* Continuation of PowerPC/EABI portxleroy2008-12-311-141/+363
* Reorganized the development, modularizing away machine-dependent parts.xleroy2008-12-301-0/+532
generated by cgit (git 2.34.1) at 2024-06-29 01:45:49 +0000