Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | bug 17544, use json-printer function for mfcr instruction | Michael Schmidt | 2015-11-09 | 1 | -3/+2 |
| | |||||
* | Removed unused p_char_list function. Bug 17544. | Bernhard Schommer | 2015-11-03 | 1 | -2/+0 |
| | |||||
* | Changed the name of a few ppc instructions. Bug 17544 | Bernhard Schommer | 2015-11-03 | 1 | -3/+3 |
| | |||||
* | Simplify the Json export. | Bernhard Schommer | 2015-11-03 | 1 | -166/+183 |
| | | | | | | Instead of having a function for each instruction we now use a generic function to print the arguments. Bug 17544. | ||||
* | Few simple rewrite for the AsmToJSON printer. | Bernhard Schommer | 2015-10-29 | 1 | -155/+147 |
| | | | | | | In a first step all the print commands for the names are replaced by a more safe variant that avoids missing \". Bug 17328 | ||||
* | Another typo in AsmToJson. | Bernhard Schommer | 2015-10-29 | 1 | -1/+1 |
| | | | | Bug 17473 | ||||
* | Fixed some minor types in the asm printer. | Bernhard Schommer | 2015-10-29 | 1 | -1/+1 |
| | | | | Bug 17473 | ||||
* | Fixed typo in AsmToJson. | Bernhard Schommer | 2015-10-26 | 1 | -1/+1 |
| | | | | Bug 17473. | ||||
* | Implemented the usage of DW_AT_ranges for non-contiguous address ranges. | Bernhard Schommer | 2015-10-16 | 1 | -0/+1 |
| | | | | | | | | | | The gcc produces DW_AT_ranges for non-contiguous address ranges, like compilation units containing functions which are placed in different ELF-sections or lexical scopes that are split up. With this commit CompCert also uses this DWARF v3 feature for gnu backend based targets. In order to ensure backward compability a flag is added which avoids this and produces debug info in DWARF v2 format. Bug 17392. | ||||
* | bug 17392: remove trailing whitespace in source files | Michael Schmidt | 2015-10-14 | 1 | -16/+16 |
| | |||||
* | Implement the usage of the debug_str section for the gcc backend. | Bernhard Schommer | 2015-10-13 | 1 | -1/+2 |
| | | | | | | | | GCC prints all string larger than 3 characters in the debug_str section which reduces the size of the debug information since entries containing the same string now map to the same string in the debug_str sections. Bug 17392. | ||||
* | Merge branch 'master' into ppc64 | Xavier Leroy | 2015-10-11 | 1 | -3/+5 |
|\ | | | | | | | Resolved conflicts in:configure powerpc/Asmexpand.ml | ||||
| * | 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 |