Finding deep compiler bugs via guided stochastic program mutation