Comment by jonjojojon

I have heard search based compiler optimization called "superoptimization"[1]. It seems interesting, but as far as I know has not seen much industrial use.

1. https://blog.regehr.org/archives/2578