aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/Asmexpand.ml
Commit message (Expand)AuthorAgeFilesLines
...
| * | Use PowerPC 64 bits instructions (when available) for int<->FP conversions.Xavier Leroy2015-09-131-2/+51
* | | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-1/+1
| |/ |/|
* | Filled in missing functions for debug information on ia32.Bernhard Schommer2015-10-091-23/+2
* | Filled in the rest of the funciton needed for thte debug info under arm.Bernhard Schommer2015-10-091-9/+3
* | Added versions of the tranform_* functions in AST to work with functionsBernhard Schommer2015-10-081-22/+1
* | Moved expandation of debug information to Asmexpandaux.Bernhard Schommer2015-10-081-66/+5
* | Removed the debug output for the debug information.Bernhard Schommer2015-10-011-2/+1
* | Use also fucntion id for local variables since atom is not unique.Bernhard Schommer2015-10-011-3/+3
* | Do not move the line directives.Bernhard Schommer2015-10-011-5/+9
* | Merge pull request #56 from AbsInt/debug_locationsBernhard Schommer2015-09-301-6/+144
|\ \
| * | Fixed minor issue with parameters that get put on the stack, madeBernhard Schommer2015-09-301-2/+4
| * | Added location for the formal parameters and move the end of allBernhard Schommer2015-09-281-2/+8
| * | Added back again the emitting of the debuging annotations for debugingBernhard Schommer2015-09-271-3/+4
| * | Added translation of the range lists to location entries.Bernhard Schommer2015-09-251-1/+1
| * | Added support for the locations of stack allocated local variables.Bernhard Schommer2015-09-251-40/+72
| * | Added placing labels for live ranges etc.Bernhard Schommer2015-09-241-6/+103
* | | Use R10 in atomic compare and exchange for the rlwinm.Bernhard Schommer2015-09-221-2/+2
* | | Fix typo dest -> dstMichael Schmidt2015-09-221-9/+9
* | | Merge pull request #54 from AbsInt/atomic-builtinsBernhard Schommer2015-09-211-5/+56
|\ \ \ | |/ / |/| |
| * | Removed unnecessary move register and use the correct register as base value ...Bernhard Schommer2015-09-211-3/+2
| * | Applied a few simplification for temporary registers.Bernhard Schommer2015-09-211-13/+14
| * | Integrated the fix of commit de40fce9c16ced8d23389cbcfc55ef6d99466fe8 for the...Bernhard Schommer2015-09-171-11/+3
| * | Removed usage of bne and removed duplicated code for return values of atomics.Bernhard Schommer2015-09-151-39/+19
| * | Use fix registers for atomic builtins.Bernhard Schommer2015-09-141-9/+33
| * | Use the gcc version of atomic load.Bernhard Schommer2015-09-111-3/+1
| * | Added builtin for atomic compare and exchange.Bernhard Schommer2015-09-101-1/+1
| * | Merge branch 'master' into atomic-builtinsBernhard Schommer2015-09-101-0/+37
| |\|
| * | Add builtin for atomic load.Bernhard Schommer2015-09-091-0/+9
| * | Added an builtin for the atomic exchange operation.Bernhard Schommer2015-09-091-5/+16
| |/
* / correct error message for __builtin_dcbtlsMichael Schmidt2015-09-181-1/+1
|/
* Added builtin for isel.Bernhard Schommer2015-09-081-0/+4
* Added builtins for call frame and return address.Bernhard Schommer2015-09-071-2/+17
* Added builtin for the cmpb instruction.Bernhard Schommer2015-09-071-0/+2
* Simplified generation of builtins for cache instructions.Bernhard Schommer2015-09-071-57/+18
* Added builtin for mbar instruction.Bernhard Schommer2015-09-031-0/+6
* New builtin for dcbz instruction.Bernhard Schommer2015-09-031-4/+6
* Added builtin for the icbtls instruction.Bernhard Schommer2015-09-021-0/+10
* Allow only CT values of 0 and 2 in dcbtls instruction.Bernhard Schommer2015-09-021-1/+1
* Added builtin for dcbtlsBernhard Schommer2015-09-021-9/+50
* Added the gcc builtin prefetch.Bernhard Schommer2015-09-011-0/+11
* Improve error reporting in Asmexpand.Xavier Leroy2015-08-241-19/+32
* Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-19/+17
* Adapt the PowerPC port to the new builtin representation.Xavier Leroy2015-08-211-168/+189
* Added builtin for the dcbf instructionBernhard Schommer2015-08-171-0/+2
* Merge pull request #46 from AbsInt/asmexpandXavier Leroy2015-08-171-44/+11
|\
| * Merge branch 'master' into asmexpandBernhard Schommer2015-07-141-4/+5
| |\
| * | Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-44/+11
| * | Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-261-11/+44
| * | Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-44/+11
| |\ \
| | * | Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...Bernhard Schommer2015-06-101-44/+11
generated by cgit (git 2.34.1) at 2024-05-20 11:33:24 +0000