diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-07-03 19:08:18 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-17 09:17:28 +0200 |
| commit | 10aa130361a5a673a14a7b38ed9c077103f9155f (patch) | |
| tree | 88b1da80d7f16285f3b4fe19420b6be4c49f618d /extraction | |
| parent | e16b34d9fc1aa7854759787fd52ad59c964c2d4b (diff) | |
| download | compcert-kvx-10aa130361a5a673a14a7b38ed9c077103f9155f.tar.gz compcert-kvx-10aa130361a5a673a14a7b38ed9c077103f9155f.zip | |
Improve CSE for known built-in functions
Known built-in functions are guaranteed not to change memory.
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions