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 /test/regression/attribs1.c | |
parent | e16b34d9fc1aa7854759787fd52ad59c964c2d4b (diff) | |
download | compcert-10aa130361a5a673a14a7b38ed9c077103f9155f.tar.gz compcert-10aa130361a5a673a14a7b38ed9c077103f9155f.zip |
Improve CSE for known built-in functions
Known built-in functions are guaranteed not to change memory.
Diffstat (limited to 'test/regression/attribs1.c')
0 files changed, 0 insertions, 0 deletions