index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
powerpc
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
|
Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...
David Monniaux
2019-06-03
16
-108
/
+470
|
\
|
|
*
Provide a float select operation for PowerPC. (#173)
Bernhard Schommer
2019-05-28
9
-7
/
+101
|
*
PowerPC: add SelectOp.select function
Xavier Leroy
2019-05-26
2
-0
/
+31
|
*
Emulate the "isel" instruction on non-EREF PPC processors
Xavier Leroy
2019-05-20
3
-22
/
+42
|
*
Implement a `Osel` operation for PowerPC
Xavier Leroy
2019-05-20
7
-9
/
+106
|
*
Give a semantics to the Pisel instruction
Xavier Leroy
2019-05-20
1
-1
/
+7
|
*
PowerPC: make sure evaluation of conditions do not destroy any register
Xavier Leroy
2019-05-20
4
-54
/
+155
|
*
Added options -fcommon and -fno-common (#164)
Bernhard Schommer
2019-05-10
1
-5
/
+14
|
*
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
*
|
seems like powerpc runs but the result segfaults
David Monniaux
2019-03-22
4
-3
/
+36
*
|
try to be portable across archs
David Monniaux
2019-03-21
2
-0
/
+7
|
/
*
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
[prev]
[next]