Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | improving comments on Asmvliw | Sylvain Boulmé | 2019-04-08 | 1 | -17/+29 |
| | |||||
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-refactor | Cyril SIX | 2019-04-08 | 15 | -87/+1202 |
|\ | | | | | | | | | | | Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmblock.v | ||||
| * | no need for this to be in two_address_op | David Monniaux | 2019-04-06 | 1 | -1/+1 |
| | | |||||
| * | reinstated the orl selectl construct | David Monniaux | 2019-04-05 | 2 | -10/+7 |
| | | |||||
| * | Oselectf, Oselectfs with condition | David Monniaux | 2019-04-05 | 7 | -123/+323 |
| | | |||||
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-05 | 1 | -1/+1 |
| |\ | |||||
| * | | selectl with condition | David Monniaux | 2019-04-05 | 7 | -64/+171 |
| | | | |||||
| * | | Select cmplu | David Monniaux | 2019-04-05 | 2 | -1/+32 |
| | | | |||||
| * | | select cmpu | David Monniaux | 2019-04-05 | 7 | -5/+60 |
| | | | |||||
| * | | factor out some proofs | David Monniaux | 2019-04-05 | 1 | -6/+3 |
| | | | |||||
| * | | some more Oselect comparisons | David Monniaux | 2019-04-04 | 2 | -1/+14 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-04 | 2 | -352/+187 |
| |\ \ | |||||
| * | | | ternary ops work on (unsigned/signed) int with test on signed int | David Monniaux | 2019-04-04 | 1 | -3/+3 |
| | | | | |||||
| * | | | more on select | David Monniaux | 2019-04-04 | 1 | -0/+5 |
| | | | | |||||
| * | | | Oselect | David Monniaux | 2019-04-04 | 2 | -5/+16 |
| | | | | |||||
| * | | | progress on Oselect | David Monniaux | 2019-04-04 | 1 | -19/+35 |
| | | | | |||||
| * | | | select_sound | David Monniaux | 2019-04-04 | 3 | -38/+102 |
| | | | | |||||
| * | | | some more progress on select | David Monniaux | 2019-04-04 | 4 | -59/+84 |
| | | | | |||||
| * | | | progressing on select | David Monniaux | 2019-04-04 | 2 | -17/+11 |
| | | | | |||||
| * | | | working on select | David Monniaux | 2019-04-04 | 1 | -3/+24 |
| | | | | |||||
| * | | | working on select | David Monniaux | 2019-04-04 | 1 | -28/+58 |
| | | | | |||||
| * | | | prepare for conditions in cmove | David Monniaux | 2019-04-04 | 4 | -19/+34 |
| | | | | |||||
| * | | | ternary ops for float/double | David Monniaux | 2019-04-03 | 3 | -2/+72 |
| | | | | |||||
| * | | | for floats and doubles, asmgen support | David Monniaux | 2019-04-03 | 3 | -15/+92 |
| | | | | |||||
| * | | | ternary ops in AES and TEA | David Monniaux | 2019-04-03 | 4 | -8/+9 |
| | | | | |||||
| * | | | problem in ValueAOp | David Monniaux | 2019-04-03 | 4 | -9/+12 |
| | | | | |||||
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-03 | 30 | -2245/+1299 |
| |\ \ \ | |||||
| * \ \ \ | merge VLIW proofs | David Monniaux | 2019-03-28 | 7 | -23/+1073 |
| |\ \ \ \ | | | | | | | | | | | | | | | | | | | Merge branch 'mppa-mul' into mppa-ternary | ||||
| | * \ \ \ | merge proof of VLIW | David Monniaux | 2019-03-28 | 7 | -23/+1073 |
| | |\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Merge branch 'mppa_postpass' into mppa-mul | ||||
| * | | | | | | improvements on cmoved etc. | David Monniaux | 2019-03-27 | 2 | -93/+7 |
| | | | | | | | |||||
| * | | | | | | match some 'and' | David Monniaux | 2019-03-27 | 2 | -10/+34 |
| | | | | | | | |||||
| * | | | | | | selectl generation | David Monniaux | 2019-03-26 | 6 | -14/+205 |
| | | | | | | | |||||
| * | | | | | | ternary unsigned | David Monniaux | 2019-03-26 | 2 | -0/+47 |
| | | | | | | | |||||
| * | | | | | | rm cruft | David Monniaux | 2019-03-26 | 2 | -167/+9 |
| | | | | | | | |||||
| * | | | | | | cmoved works | David Monniaux | 2019-03-26 | 1 | -4/+5 |
| | | | | | | | |||||
| * | | | | | | ternary / cmove demo now works | David Monniaux | 2019-03-26 | 1 | -2/+2 |
| | | | | | | | |||||
| * | | | | | | ternary begins working | David Monniaux | 2019-03-26 | 2 | -13/+11 |
| | | | | | | | |||||
| * | | | | | | some progress | David Monniaux | 2019-03-26 | 2 | -19/+12 |
| | | | | | | | |||||
| * | | | | | | implemented ternary pattern | David Monniaux | 2019-03-26 | 2 | -1/+57 |
| | | | | | | | |||||
| * | | | | | | more on ternary | David Monniaux | 2019-03-26 | 2 | -6/+149 |
| | | | | | | | |||||
| * | | | | | | select basic operators | David Monniaux | 2019-03-26 | 1 | -0/+24 |
| | | | | | | | |||||
| * | | | | | | selectl | David Monniaux | 2019-03-25 | 2 | -0/+21 |
| | | | | | | | |||||
| * | | | | | | more on cmove | David Monniaux | 2019-03-25 | 4 | -66/+42 |
| | | | | | | | |||||
| * | | | | | | progress on cmove | David Monniaux | 2019-03-25 | 5 | -3/+17 |
| | | | | | | | |||||
| * | | | | | | draft comment | David Monniaux | 2019-03-25 | 1 | -0/+3 |
| | | | | | | | |||||
| * | | | | | | some version of select/selectl that runs through ValueAOp | David Monniaux | 2019-03-25 | 1 | -5/+32 |
| | | | | | | | |||||
| * | | | | | | NeedOp advancing | David Monniaux | 2019-03-25 | 1 | -0/+43 |
| | | | | | | | |||||
| * | | | | | | better Op select/selectl | David Monniaux | 2019-03-25 | 1 | -32/+24 |
| | | | | | | | |||||
| * | | | | | | progressing on select/selectl | David Monniaux | 2019-03-25 | 2 | -0/+12 |
| | | | | | | | |||||
| * | | | | | | going forward with select/selectl | David Monniaux | 2019-03-25 | 1 | -12/+26 |
| | | | | | | |