0f261156_The_CompCert_verified_compiler__Pass
[Source & target] RTL to RTL [Compiler code] Constprop ConstpropOp [Correctness proof] Constpropproof ConstproppOproof [Pass] 
Constant propagation
The CompCert verified compiler
Pass