923e4770_The_CompCertTSO_compiler__Pass
[Source & target] Csharpminor to Cminor [Compiler code] Cminorgen [Correctness proof] Cminorgenproof [Pass] 
Simplification of switch statements
The CompCertTSO compiler
Pass