diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-04 16:47:29 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-04 16:47:29 +0200 |
| commit | 67c58f9ee025fb2fc0de6d932366b7e5db7a6678 (patch) | |
| tree | 004fd3c3a10d69c06ab6ff7082e947fc1af8f85f /cfrontend/Initializers.v | |
| parent | d2af79a77ed2936ff0ed90cadf8e48637d774d4c (diff) | |
| download | compcert-kvx-67c58f9ee025fb2fc0de6d932366b7e5db7a6678.tar.gz compcert-kvx-67c58f9ee025fb2fc0de6d932366b7e5db7a6678.zip | |
Fix some 32-bit regressions
While merging the 32- and 64-bit code generators, some regressions were introduced in the 32 bit case.
Diffstat (limited to 'cfrontend/Initializers.v')
0 files changed, 0 insertions, 0 deletions