- 16 Nov, 2022 1 commit
-
-
Sylvain Boulmé authored
-
- 14 Nov, 2022 1 commit
-
-
David Monniaux authored
-
- 12 Nov, 2022 2 commits
-
-
David Monniaux authored
-
David Monniaux authored
-
- 10 Nov, 2022 4 commits
-
-
David Monniaux authored
-
David Monniaux authored
-
David Monniaux authored
-
David Monniaux authored
-
- 02 Nov, 2022 2 commits
-
-
Léo Gourdin authored
-
Léo Gourdin authored
-
- 31 Oct, 2022 4 commits
-
-
Léo Gourdin authored
it does not change the behavior of lsr, but now only entry affine computations are considered (except for injurong operations) it fixes a rare bug where affine forms were smashed by a exit computation.
-
Léo Gourdin authored
-
Léo Gourdin authored
-
Léo Gourdin authored
-
- 27 Oct, 2022 1 commit
-
-
David Monniaux authored
-
- 25 Oct, 2022 1 commit
-
-
David Monniaux authored
-
- 24 Oct, 2022 5 commits
-
-
David Monniaux authored
-
EXT Benjamin Bonneau authored
-
Xavier Leroy authored
SimplExpr: revised handling of nested conditional, `||`, `&&` expressions
-
Xavier Leroy authored
Follow-up to ed89275cb. AArch64, ARM, RISC-V and x86 ELF targets are changed. PowerPC / ELF is unchanged because we use the EABI variant, which has no `.data.rel.ro` section as far as I can see in GCC's output. (The SVR4 variant has `.data.rel.ro` but does not have `.sdata2`, which CompCert uses.) Fixes: #454
-
EXT Benjamin Bonneau authored
-
- 23 Oct, 2022 1 commit
-
-
David Monniaux authored
-
- 21 Oct, 2022 4 commits
-
-
David Monniaux authored
-
David Monniaux authored
-
David Monniaux authored
-
David Monniaux authored
-
- 20 Oct, 2022 1 commit
-
-
Léo Gourdin authored
-
- 19 Oct, 2022 3 commits
-
-
Léo Gourdin authored
-
Léo Gourdin authored
-
Léo Gourdin authored
-
- 18 Oct, 2022 2 commits
-
-
Léo Gourdin authored
-
EXT Benjamin Bonneau authored
-
- 17 Oct, 2022 4 commits
-
-
EXT Benjamin Bonneau authored
-
EXT Benjamin Bonneau authored
Add the missing case for Sfoldr
-
EXT Benjamin Bonneau authored
-
EXT Benjamin Bonneau authored
Non-trapping loads which fail to match their annotation now return Vundef instead of failing. - [may_trap] can now returns false for non-trapping load even in the strict semantics. Hence non-trapping loads are not added in [ok_rsval]. - Allows the scheduler to move non-trapping loads above branches. - Re-enable -fnontrap-loads by default. - The simulation of the strict semantics by the lax one uses a less-def relation.
-
- 16 Oct, 2022 3 commits
-
-
Léo Gourdin authored
-
Léo Gourdin authored
-
Léo Gourdin authored
-
- 14 Oct, 2022 1 commit
-
-
EXT Benjamin Bonneau authored
-