Gergö Barany

When initializing a struct containing a struct via a variable (see test/initializer.c, function test_struct()): ``` struct foo { int a; int b; } f = { 1, 2 }; struct...

On the `next` branch we have: ``` $ cstool/cstool x64 "62 c1 fd 08 7e 6c aa 20" 0 62 c1 fd 08 7e 6c aa 20 vmovq qword ptr...

This pull request changes CompCert's stack and register model from a value-based one to a more low-level one based on bytes. That is, from the LTL level onwards, data structures...

Type checking and preservation proof for LTL

2

The main reason for the patches in this branch is to strengthen the `Locmap.gss_reg` lemma, which used to claim that any value can be written to and recovered from any...

#### TL;DR Make automatic loop vectorization available for just-in-time (JIT) compilations in GraalVM Community Edition. #### Goals Add compiler phases and supporting infrastructure to enable automatic loop vectorization in GraalVM...