Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
tools
compiler_expand.ml
Find file
Blame
History
Permalink
insert CSE after constant propagation and before CSE2
· df103897
Sylvain Boulmé
authored
Feb 10, 2021
=> useful to have a nice generated code for || (and also probably &&)
df103897