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
*
Move declarations of __builtin_clz* and __builtin_ctz* to C2C.ml
Xavier Leroy
2020-07-27
1
-12
/
+0
*
No need to process __builtin_fabs in $ARCH/Asmexpand.ml
Xavier Leroy
2020-07-27
1
-2
/
+0
*
Added asserts for constraints of PowerPC builtins
Bernhard Schommer
2020-07-01
1
-0
/
+6
*
Fix typo in name of builtin function.
Bernhard Schommer
2020-07-01
1
-1
/
+1
*
Move shared code in new file.
Bernhard Schommer
2020-06-28
2
-18
/
+0
*
Remove the `can_reserve_register` function.
Bernhard Schommer
2020-06-28
2
-5
/
+0
*
Use Hashtbl.find_opt.
Bernhard Schommer
2020-06-28
1
-1
/
+1
*
Documentation comment for single_passed_as_single
Xavier Leroy
2020-03-02
1
-1
/
+2
*
In strict PPC ABI mode, pass single FP on stack in double FP format
Xavier Leroy
2020-03-02
1
-2
/
+2
*
Make single arg alignment depend on toolchain.
Bernhard Schommer
2020-03-02
3
-3
/
+20
*
Platform-independent implementation of Conventions.size_arguments (#222)
Xavier Leroy
2020-02-24
1
-126
/
+0
*
Support re-normalization of values returned by function calls
Xavier Leroy
2020-02-21
1
-0
/
+6
*
Refine the type of function results in AST.signature
Xavier Leroy
2020-02-21
3
-17
/
+15
*
Model GPR0 in isel (#199)
Xavier Leroy
2019-09-17
2
-2
/
+4
*
Reworked json export.
Bernhard Schommer
2019-09-12
1
-31
/
+32
*
Merge pull request #313 from AbsInt/aarch64
Xavier Leroy
2019-09-11
1
-2
/
+2
|
\
|
*
Fix compile for architectures other than AArch64 (#192)
Bernhard Schommer
2019-08-17
1
-2
/
+2
*
|
Compatibility for OCaml 4.08.1
Bernhard Schommer
2019-09-05
1
-4
/
+4
*
|
Allow Long as const result for ppc64 variant.
Bernhard Schommer
2019-08-13
2
-0
/
+3
*
|
bswap builtins: give semantics to them, support bswap64 on all targets
Bernhard Schommer
2019-08-12
1
-0
/
+20
|
/
*
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
[next]