diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-06-12 09:18:53 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-06-12 09:18:53 +0200 |
| commit | e89538bf48f86f088e2ad0ad37ca34cc29cb6024 (patch) | |
| tree | 5cd3ab14323c159ea1d65b2f593608470f163ac5 /Changelog | |
| parent | 446cff1087ffe40d9b19b616162212ca83677515 (diff) | |
| download | compcert-kvx-e89538bf48f86f088e2ad0ad37ca34cc29cb6024.tar.gz compcert-kvx-e89538bf48f86f088e2ad0ad37ca34cc29cb6024.zip | |
Update Changelog for clightgen
Diffstat (limited to 'Changelog')
| -rw-r--r-- | Changelog | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ - Add options -finline / -fno-inline to control function inlining. - Avoid generating useless conditional branches for empty if/else statements. - Removed the compilation of '.cm' files written in Cminor concrete syntax. +- clightgen: add option "-normalize" to avoid memory loads deep inside expressions Bug fixing: - Issue #179: clightgen produces wrong output for "switch" statements. |