index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
powerpc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Give formal semantics to some built-in functions and run-time functions
Xavier Leroy
2019-07-17
3
-15
/
+55
*
Remove the cparser/Builtins module
Xavier Leroy
2019-07-17
1
-2
/
+2
*
Add floating-point square root and fused multiply-add
Xavier Leroy
2019-07-17
1
-0
/
+5
*
Revised specification of NaN payload behavior
Xavier Leroy
2019-07-12
1
-13
/
+17
*
Extended asm: print register names according to their types
Xavier Leroy
2019-06-17
1
-2
/
+2
*
Perform constant propagation and strength reduction on conditional moves
Xavier Leroy
2019-06-17
2
-2
/
+36
*
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
*
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
[next]