Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Warn if a nonzero FP literal converts to infinity (overflow) or to 0 (underfl... | Xavier Leroy | 2015-04-25 | 1 | -3/+17 |
* | Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ... | Xavier Leroy | 2015-04-23 | 7 | -2/+12 |
* | Take asm clobbers into account for determining callee-save registers used. | Xavier Leroy | 2015-04-23 | 9 | -4/+37 |
* | Give a name to the type of atoms. | Xavier Leroy | 2015-04-23 | 1 | -2/+4 |
* | Update clightgen to the new annotations and the new inline asm. | Xavier Leroy | 2015-04-23 | 2 | -25/+10 |
* | Merge pull request #40 from AbsInt/inline-asm | Xavier Leroy | 2015-04-22 | 33 | -76/+604 |
|\ | |||||
| * | Extended asm: more lenient treatment of constraints. | Xavier Leroy | 2015-04-22 | 1 | -10/+21 |
| * | Avoid multiple errors being reported in the case #outputs >= 2. | Xavier Leroy | 2015-04-21 | 1 | -2/+6 |
| * | Proper treatment of extended asm. | Xavier Leroy | 2015-04-21 | 1 | -1/+5 |
| * | Use Cerrors for error reporting instead of rolling our own reporting in C2C. | Xavier Leroy | 2015-04-21 | 1 | -11/+5 |
| * | Cleanups and updates for extended asm. | Xavier Leroy | 2015-04-21 | 5 | -7/+5 |
| * | Printing of EF_inline_asm builtins in GCC extended asm syntax. | Xavier Leroy | 2015-04-21 | 1 | -0/+30 |
| * | Support for GCC-style extended asm, continued: | Xavier Leroy | 2015-04-21 | 15 | -101/+306 |
| * | Experiment: support a subset of GCC's extended asm statements. | Xavier Leroy | 2015-04-17 | 25 | -63/+341 |
| * | Define M_PI if not already there (it's not in <math.h> for strict ISO C99). | Xavier Leroy | 2015-04-17 | 1 | -0/+4 |
|/ | |||||
* | Correct type of label function. | Bernhard Schommer | 2015-04-16 | 1 | -1/+1 |
* | Added missing dummy functions. | Bernhard Schommer | 2015-04-16 | 2 | -0/+12 |
* | Merge pull request #37 from AbsInt/dwarf | Bernhard Schommer | 2015-04-15 | 24 | -42/+1615 |
|\ | |||||
| * | Merge branch 'dwarf' of /local/schommer/trunk/build/compcert.ppc/compcert int... | Bernhard Schommer | 2015-04-14 | 24 | -42/+1615 |
|/| | |||||
| * | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-14 | 5 | -7/+18 |
| |\ | |||||
| * \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-04 | 3 | -12/+23 |
| |\ \ | |||||
| * \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-02 | 88 | -682/+1973 |
| |\ \ \ | |||||
| * \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-01 | 2 | -2/+2 |
| |\ \ \ \ | |||||
| * | | | | | Print all files ever encountered in the filenum. | Bernhard Schommer | 2015-04-01 | 3 | -4/+11 |
| * | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-31 | 22 | -112/+1117 |
| |\ \ \ \ \ | |||||
| * | | | | | | Added more comments and fixed issue in DwarfPrinter.mli | Bernhard Schommer | 2015-03-30 | 3 | -10/+21 |
| * | | | | | | Refactored code, added comments and changed handling of types with attributes... | Bernhard Schommer | 2015-03-30 | 1 | -316/+417 |
| * | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-30 | 1 | -2/+2 |
| |\ \ \ \ \ \ | |||||
| * | | | | | | | Refactored the DwarfPrinter and added comments. | Bernhard Schommer | 2015-03-30 | 1 | -106/+80 |
| * | | | | | | | Compute the size of structs using the result of the packing and bitfield tran... | Bernhard Schommer | 2015-03-26 | 3 | -18/+36 |
| * | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-26 | 1 | -9/+4 |
| |\ \ \ \ \ \ \ | |||||
| * | | | | | | | | Added missing functions for printing the structs and unions. Still missing pr... | Bernhard Schommer | 2015-03-24 | 6 | -31/+149 |
| * | | | | | | | | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 6 | -73/+188 |
| * | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-23 | 1 | -2/+6 |
| |\ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | Activating the printing of the debug information for supported architecture. | Bernhard Schommer | 2015-03-19 | 4 | -17/+48 |
| * | | | | | | | | | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 7 | -30/+208 |
| * | | | | | | | | | Added file for the translation of the C Ast to Dwarf debugging information. | Bernhard Schommer | 2015-03-16 | 2 | -7/+18 |
| * | | | | | | | | | Added printers for the rest of the possible tags. | Bernhard Schommer | 2015-03-16 | 2 | -14/+76 |
| * | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-16 | 3 | -3/+6 |
| |\ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | Started implementing the printing functions for the debug info. Added a globa... | Bernhard Schommer | 2015-03-16 | 12 | -158/+343 |
| * | | | | | | | | | | Started integrating the debug printing in the common backend_printer. | Bernhard Schommer | 2015-03-11 | 10 | -160/+169 |
| * | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-11 | 1 | -1/+3 |
| |\ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'github/backend_printer' into dwarf | Bernhard Schommer | 2015-03-10 | 13 | -3441/+3116 |
| |\ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-10 | 33 | -606/+1612 |
| |\ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | | | | Starting to remove the seperate printers for each backend. | Bernhard Schommer | 2015-02-02 | 9 | -276/+432 |
| * | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-28 | 1 | -10/+2 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-23 | 42 | -1768/+4233 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-20 | 10 | -265/+342 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-12 | 1 | -3/+6 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-12 | 34 | -61988/+914 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ |