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
*
Add `Declare Scope` where appropriate (#440)
Xavier Leroy
2022-09-19
1
-0
/
+1
*
More simplifications for literal printing
Bernhard Schommer
2022-09-03
1
-5
/
+0
*
Refactor emitting of constants.
Bernhard Schommer
2022-09-03
1
-16
/
+0
*
Support mergeable sections for fixed-size literals
Xavier Leroy
2022-08-29
1
-13
/
+14
*
Do not use `.rodata.cst8` for floating-point literals
Xavier Leroy
2022-08-15
1
-1
/
+1
*
Introduce float_conversion_default_nan parameter for float-float conversions
Bernhard Schommer
2022-04-25
1
-1
/
+4
*
PPC64: revised generation of rldic* instructions
Xavier Leroy
2021-10-28
4
-20
/
+31
*
Qualify `Instance` and `Program Instance` as `Global`
Xavier Leroy
2021-10-03
1
-2
/
+2
*
Typo in expand_builtin_memcpy_small
Xavier Leroy
2021-10-01
1
-1
/
+1
*
Fix wrong expansion of __builtin_memcpy_aligned
Xavier Leroy
2021-09-23
1
-2
/
+2
*
Fix the type and the semantics of BI_bsel
Xavier Leroy
2021-09-22
1
-4
/
+17
*
Share code for memory access for PowerPC
Bernhard Schommer
2021-09-06
4
-166
/
+159
*
Use the LGPL instead of the GPL for dual-licensed files
Xavier Leroy
2021-05-08
4
-16
/
+20
*
Support __builtin_unreachable
Xavier Leroy
2021-05-02
1
-0
/
+3
*
More fixes for ld/std issue.
Bernhard Schommer
2021-04-24
1
-11
/
+40
*
Tentative first fix for offsets of ld/std.
Bernhard Schommer
2021-04-24
5
-152
/
+259
*
Fix regression on PowerPC / Diab
Xavier Leroy
2021-02-23
1
-2
/
+4
*
Section handling: finer control of variable initialization
Xavier Leroy
2021-02-23
1
-1
/
+1
*
Introduce and use PrintAsmaux.variable_section
Xavier Leroy
2021-02-23
1
-14
/
+8
*
Qualify `Hint` as `Global Hint` where appropriate
Xavier Leroy
2021-01-21
2
-8
/
+8
*
Support re-normalization of function parameters at function entry
Xavier Leroy
2021-01-16
1
-1
/
+2
*
PowerPC: wrong computation of the position of the first vararg argument
Xavier Leroy
2021-01-15
1
-2
/
+3
*
Replace `omega` tactic with `lia`, continued
Xavier Leroy
2021-01-13
1
-1
/
+1
*
Replace `omega` tactic with `lia`
Xavier Leroy
2020-12-29
9
-81
/
+81
*
Changed cc_varargs to an option type
Bernhard Schommer
2020-12-25
1
-1
/
+1
*
PowerPC modeling of registers destroyed by pseudo-instructions
Xavier Leroy
2020-12-06
2
-4
/
+6
*
Remove Pfcfi, Pfcfiu, Pfctiu pseudoinstructions
Xavier Leroy
2020-12-06
12
-99
/
+23
*
Added semantics for the PowerPC sel and mulh built-ins
Bernhard Schommer
2020-11-07
1
-4
/
+44
*
Added missing printer for PowerPC 64 bit comparison.
Bernhard Schommer
2020-11-06
1
-0
/
+8
*
Support the use of already-installed MenhirLib and Flocq libraries
Xavier Leroy
2020-09-21
1
-2
/
+1
*
Add __builtin_sqrt as synonymous for __builtin_fsqrt
Xavier Leroy
2020-07-27
1
-1
/
+1
*
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
[next]