| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | Fixed syntax error and added Section_debug_line to the Json serializer. | Bernhard Schommer | 2015-10-09 | 1 | -0/+1 | |
| | | | ||||||
| | * | Quote the section names in the json files. | Bernhard Schommer | 2015-10-02 | 1 | -1/+1 | |
| | | | ||||||
| | * | Change the way the debug sections are printed. | Bernhard Schommer | 2015-09-28 | 1 | -1/+1 | |
| | | | | | | | | | | | | | If a user uses the #pragma use_section for functions the diab linker requires a separate debug_info section for each entry. This commit adds functionality to emulate this behavior. | |||||
| | * | Added support for the locations of stack allocated local variables. | Bernhard Schommer | 2015-09-25 | 1 | -1/+2 | |
| | | | | | | | | | | | This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section. | |||||
| * | | Use PowerPC 64 bits instructions (when available) for int<->FP conversions. | Xavier Leroy | 2015-09-13 | 1 | -0/+8 | |
| |/ | | | | | | Also: implement __builtin_isel on non-EREF platforms with a branch-free instruction sequence. Also: extend ./configure so that it recognizes "ppc64-" and "e5500-" platforms in addition to "ppc-". | |||||
| * | Name of stwcx. instruction should be printed Pstwcx_. | Bernhard Schommer | 2015-09-10 | 1 | -1/+1 | |
| | | ||||||
| * | Added builtin for isel. | Bernhard Schommer | 2015-09-08 | 1 | -0/+1 | |
| | | | | | | The builtin_isel function takes a _Bool as first argument and returns either the second or the third depending on the value of the _Bool. | |||||
| * | Added builtins for call frame and return address. | Bernhard Schommer | 2015-09-07 | 1 | -1/+1 | |
| | | | | | | | This builtins can be used to get the call frame address and the return address. To correctly compute the load address of the return address the allocframe is extended to contain the offset of the return address. | |||||
| * | Added builtin for the cmpb instruction. | Bernhard Schommer | 2015-09-07 | 1 | -0/+1 | |
| | | ||||||
| * | Fixed typo in AsmToJSON for instruction Pstfdu. | Bernhard Schommer | 2015-09-04 | 1 | -1/+1 | |
| | | ||||||
| * | Added json printing of Pbctr. | Bernhard Schommer | 2015-09-03 | 1 | -1/+1 | |
| | | ||||||
| * | Fixed minor typo in printing of the Plbzx instruction in AsmToJSON. | Bernhard Schommer | 2015-09-03 | 1 | -1/+1 | |
| | | ||||||
| * | Fixed minor typo in AsmToJSON. | Bernhard Schommer | 2015-09-03 | 1 | -1/+1 | |
| | | ||||||
| * | Added builtin for mbar instruction. | Bernhard Schommer | 2015-09-03 | 1 | -0/+1 | |
| | | | | | This commit adds a builtin function for the mbar instruction. | |||||
| * | New builtin for dcbz instruction. | Bernhard Schommer | 2015-09-03 | 1 | -4/+5 | |
| | | | | | | | This commit adds a builtin for the dcbz instructions. Additionally the dcbt,dcbtst,dcbtls and icbtls instruction are changed to their actually form all taking one additional register in Asm.v. | |||||
| * | Added builtin for the icbtls instruction. | Bernhard Schommer | 2015-09-02 | 1 | -0/+1 | |
| | | | | | This commit adds a builtin for the icbtls instruction. | |||||
| * | Print p_int_constant instead of p_int in AsmToJSON. | Bernhard Schommer | 2015-09-02 | 1 | -5/+5 | |
| | | ||||||
| * | Added builtin for dcbtls | Bernhard Schommer | 2015-09-02 | 1 | -1/+2 | |
| | | | | | | | THis commit adds a builtin function for the dcbtls instruction. Additionaly it changes the printing of the dcbt and dcbtst instruction to embedded mode and adds support for different address variants. | |||||
| * | Added the gcc builtin prefetch. | Bernhard Schommer | 2015-09-01 | 1 | -0/+2 | |
| | | | | | | | This commit implements the gcc __builtin_prefetch in a form with all arguments for the powerpc architecture. The resulting instructions are the dcbt and dcbtst instructions in Server Category. | |||||
| * | Adapt the PowerPC port to the new builtin representation. | Xavier Leroy | 2015-08-21 | 1 | -3/+8 | |
| | | | | | | | | __builtin_get_spr() and __builtin_set_spr() work, but horrible error message if the SPR argument is not a constant. powerpc/AsmToJSON.ml needs updating. | |||||
| * | Added builtin for the dcbf instruction | Bernhard Schommer | 2015-08-17 | 1 | -0/+1 | |
| | | ||||||
| * | Added builtin for the dcbi instruction. | Bernhard Schommer | 2015-08-17 | 1 | -0/+1 | |
| | | ||||||
| * | Added builitin for the icbi instruction. | Bernhard Schommer | 2015-08-14 | 1 | -0/+1 | |
| | | ||||||
| * | Added builtin for the lwsync barrier. | Bernhard Schommer | 2015-08-14 | 1 | -3/+4 | |
| | | ||||||
| * | Use the functions from C2C to extract the information for the atoms. ↵ | Bernhard Schommer | 2015-07-06 | 1 | -17/+18 | |
| | | | | | Simplified printing of storage class. | |||||
| * | Merge branch 'master' into json_export | Bernhard Schommer | 2015-07-06 | 1 | -1/+1 | |
| | | | | | | Conflicts: driver/Driver.ml | |||||
| * | Print bit representation of floats. | Bernhard Schommer | 2015-06-24 | 1 | -5/+6 | |
| | | ||||||
| * | Fixed typo also in json export. | Bernhard Schommer | 2015-06-22 | 1 | -1/+1 | |
| | | ||||||
| * | Merged instructions that are printed as same instruction already in printer. | Bernhard Schommer | 2015-05-29 | 1 | -26/+26 | |
| | | ||||||
| * | Updated the printing of iniline asm and simplified some structures. | Bernhard Schommer | 2015-05-18 | 1 | -136/+118 | |
| | | ||||||
| * | Moved the information needed from the atoms to the ASM printer and removed ↵ | Bernhard Schommer | 2015-05-06 | 1 | -26/+48 | |
| | | | | | unused information from the json dump. | |||||
| * | Removed printing of information for internals and externals that should be ↵ | Bernhard Schommer | 2015-05-05 | 1 | -49/+28 | |
| | | | | | folded away prior. | |||||
| * | Added the first version of the sdump export to json. | Bernhard Schommer | 2015-04-27 | 1 | -0/+377 | |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |