The Alive2 for SIL project aims to do translation validation of the Swift compiler's optimization passes using Alive2. For more details about the project checkout it's abstract and proposal.
Running sil-opt with the --translation-validation
flag at the beginning and end of the list of optimization passes will invoke translation validation engine on said optimization passes.