Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bitfield improvements continued: perform bitfield expansion before ↵ | Xavier Leroy | 2015-04-28 | 3 | -181/+211 |
| | | | | unblocking; improve translation of bitfield initializers and compound literals. | ||||
* | Extended inline asm: handle missing cases. | Xavier Leroy | 2015-04-28 | 8 | -19/+105 |
| | | | | | | Bitfields: better translation of initializers and compound literals; run this pass before unblocking. Transform.stmt: extend with ability to treat unblocked code. test/regression: more bitfield tests. | ||||
* | Warn if a nonzero FP literal converts to infinity (overflow) or to 0 ↵ | Xavier Leroy | 2015-04-25 | 1 | -3/+17 |
| | | | | | | (underflow). Also: spurious '\n' in C2C.warning. | ||||
* | Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ↵ | Xavier Leroy | 2015-04-23 | 7 | -2/+12 |
| | | | | clobber lists. | ||||
* | 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 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | GCC-style extended inline asm. The subset implemented is: - zero or one output - output constraints "=r" (to register) or "=m" (to memory) - zero, one or several inputs - input constraints "r" (in register), "m" (in memory), "i" and "n" (compile-time integer constant) - clobbered registers (the 3rd argument) - both anonymous (%3) and named (%[name]) operands - modifiers %R and %Q to refer to the most significant / least significant part of a register pair holding a 64-bit integer. (Undocumented GCC ARM feature.) All asm statements are treated as "volatile", possibly modifying memory and condition codes. | ||||
| * | Extended asm: more lenient treatment of constraints. | Xavier Leroy | 2015-04-22 | 1 | -10/+21 |
| | | | | | | | | | | We can ignore alternatives as long as one of the constraints we handle (r, m, i, n) is there. | ||||
| * | 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 |
| | | | | | | | | | | | | | | | | - support "r", "m" and "i" constraints - support "%Q" and "%R" modifiers for register pairs - support register clobbers - split off analysis and transformation of asm statements in cparser/ExtendedAsm.ml | ||||
| * | 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 |
|\ | | | | | Added the Dwarf v2 debugging information for global variables and functions for the Diab Backend. | ||||
| * | Merge branch 'dwarf' of /local/schommer/trunk/build/compcert.ppc/compcert ↵ | Bernhard Schommer | 2015-04-14 | 24 | -42/+1615 |
|/| | | | | | | | into dwarf | ||||
| * | 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 |
| |\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: Makefile driver/Driver.ml | ||||
| * | | | | | | 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 ↵ | Bernhard Schommer | 2015-03-30 | 1 | -316/+417 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | attributes to avoid duplications. | ||||
| * | | | | | | 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 ↵ | Bernhard Schommer | 2015-03-26 | 3 | -18/+36 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | transformations. | ||||
| * | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-26 | 1 | -9/+4 |
| |\ \ \ \ \ \ \ | |||||
| * | | | | | | | | Added missing functions for printing the structs and unions. Still missing ↵ | Bernhard Schommer | 2015-03-24 | 6 | -31/+149 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | printing of packed structs. | ||||
| * | | | | | | | | 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 ↵ | Bernhard Schommer | 2015-03-16 | 12 | -158/+343 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | global target dependend option to activate the printing only for targets wher it works. | ||||
| * | | | | | | | | | | 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 |
| |\ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: arm/PrintAsm.ml ia32/PrintAsm.ml powerpc/PrintAsm.ml | ||||
| * \ \ \ \ \ \ \ \ \ \ \ | 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 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ |