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 | |
parent | 446cff1087ffe40d9b19b616162212ca83677515 (diff) | |
download | compcert-e89538bf48f86f088e2ad0ad37ca34cc29cb6024.tar.gz compcert-e89538bf48f86f088e2ad0ad37ca34cc29cb6024.zip |
Update Changelog for clightgen
-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. |