Compiler Validation via Equivalence Modulo Inputs