| Commit message (Expand) | Author | Age | Files | Lines |
* | Move Z definitions out of Integers and into Zbits | Xavier Leroy | 2019-04-26 | 2 | -9/+10 |
* | Upgrade embedded version of Flocq to 3.1. | Guillaume Melquiond | 2019-03-27 | 1 | -11/+14 |
* | Fix typo in asmexpand. Bug 24953 | Bernhard Schommer | 2018-11-07 | 1 | -1/+1 |
* | Use 'gpr_or_zero' for base register of indexed load/stores, bug 24776 | Michael Schmidt | 2018-10-20 | 2 | -5/+10 |
* | Switch conditions for eref plattforms. | Bernhard Schommer | 2018-09-19 | 1 | -4/+4 |
* | Support __builtin_isel64 for non-EREF PPC64 platforms (#141) | Xavier Leroy | 2018-09-18 | 1 | -22/+28 |
* | Add builtin isel (conditional move) for int64, uint64 and _Bool (#140) | Bernhard Schommer | 2018-09-18 | 2 | -1/+16 |
* | Improved diagnostics: spelling, wording, etc (#138) | Michael Schmidt | 2018-09-14 | 1 | -1/+1 |
* | Generate a nop instruction after some ais annotations (#137) | Bernhard Schommer | 2018-09-12 | 2 | -6/+3 |
* | Fix typo in pattern match of error case, bug 24326 | Michael Schmidt | 2018-08-22 | 1 | -1/+1 |
* | Added Pldi to instr_size. | Bernhard Schommer | 2018-08-01 | 1 | -0/+1 |
* | Model external calls as destroying all caller-save registers | Xavier Leroy | 2018-06-01 | 2 | -3/+12 |
* | Add missing tab character, bug 23541 | Michael Schmidt | 2018-05-02 | 1 | -1/+1 |
* | Add new powerpc builtins. | Michael Schmidt | 2018-04-27 | 5 | -4/+44 |
* | Print symbols as symbols. | Bernhard Schommer | 2018-03-08 | 1 | -16/+19 |
* | Use binary output. | Bernhard Schommer | 2018-03-07 | 1 | -1/+1 |
* | Reactivated and improved ais annotations. | Bernhard Schommer | 2018-03-06 | 1 | -9/+10 |
* | Improve strength reduction of unsigned comparisons x ==u 0, x !=u 0, etc (#59) | Xavier Leroy | 2018-02-16 | 2 | -6/+55 |
* | Refactor the handling of errors and warnings (#44) | Bernhard Schommer | 2018-02-08 | 1 | -1/+1 |
* | Change AsmToJson to be similar to other printers. | Bernhard Schommer | 2018-01-05 | 2 | -5/+17 |
* | Resynchronize the LICENSE file and the license headers in individual files (#45) | Xavier Leroy | 2018-01-05 | 1 | -0/+3 |
* | Optimization for division by one during constant propagation (#39) | Michael Schmidt | 2017-12-05 | 2 | -6/+13 |
* | New json printing interface. | Bernhard Schommer | 2017-11-14 | 1 | -143/+18 |
* | Remove no longer used function. Bug 22525 | Bernhard Schommer | 2017-11-10 | 1 | -2/+0 |
* | Removed no longer used function. Bug 22525 | Bernhard Schommer | 2017-11-09 | 1 | -30/+0 |
* | Fix jumptable issue. | Bernhard Schommer | 2017-11-08 | 1 | -1/+1 |
* | Simplifiy handling of constant emmitting. | Bernhard Schommer | 2017-11-08 | 1 | -20/+14 |
* | Remove superfluous function. | Bernhard Schommer | 2017-11-06 | 1 | -2/+0 |
* | Merge pull request #191 from sigurdschneider/master | Xavier Leroy | 2017-10-20 | 1 | -0/+1 |
|\ |
|
| * | Ensure FunInd or Recdef is imported if functional induction is used | Sigurd Schneider | 2017-07-20 | 1 | -0/+1 |
* | | New support for inserting ais-annotations. | Bernhard Schommer | 2017-10-19 | 4 | -13/+29 |
* | | Make the list unique. Bug 22239 | Bernhard Schommer | 2017-09-26 | 1 | -177/+22 |
* | | Moved common buitlins to C2C gernic_builtins. | Bernhard Schommer | 2017-09-26 | 1 | -8/+0 |
* | | Added dump-mnemonics option. | Bernhard Schommer | 2017-09-25 | 2 | -0/+186 |
* | | Remove coq warnings (#28) | Bernhard Schommer | 2017-09-22 | 5 | -23/+23 |
* | | Disallow usage of default pattern for AsmToJSON. | Bernhard Schommer | 2017-09-22 | 1 | -2/+11 |
* | | Fixed typo. | Bernhard Schommer | 2017-08-24 | 1 | -1/+1 |
* | | Added annot to json dump. | Bernhard Schommer | 2017-07-24 | 1 | -3/+20 |
* | | Print_annot should produce a string. | Bernhard Schommer | 2017-07-19 | 1 | -5/+5 |
|/ |
|
* | Constprop strength reduction (#17) | Bernhard Schommer | 2017-07-12 | 3 | -16/+304 |
* | Extend builtin arguments with a pointer addition operator, continued | Xavier Leroy | 2017-07-06 | 5 | -87/+179 |
* | Issue #16P: wrong rlwinm instruction generated by constant propagation | Xavier Leroy | 2017-07-05 | 2 | -11/+26 |
* | Adopted section names in AsmToJson. | Bernhard Schommer | 2017-06-29 | 1 | -10/+23 |
* | Formatted json printing. | Bernhard Schommer | 2017-06-28 | 2 | -315/+307 |
* | Added pseudo instruction for inline asm. | Bernhard Schommer | 2017-06-20 | 1 | -0/+15 |
* | Print 64bit constants for rldimn and rldimi. | Bernhard Schommer | 2017-05-05 | 1 | -2/+2 |
* | bug 20956, print correct error message depending on architecture | Michael Schmidt | 2017-05-03 | 1 | -2/+8 |
* | More asserts. | Bernhard Schommer | 2017-05-03 | 1 | -1/+1 |
* | Hybrid 64bit/32bit PowerPC port | Bernhard Schommer | 2017-05-03 | 22 | -189/+2378 |
* | RISC-V port and assorted changes | Xavier Leroy | 2017-04-28 | 2 | -0/+13 |