Superoptimization is not machine learning - it's brute forcing a small problem space to find patterns that can be implemented in compiler. Where did you get tha

Superoptimization is not machine learning - it's brute forcing a small problem space to find patterns that can be implemented in compiler. Where did you get that it was machine learning? Unless you consider all back propagation to be 'machine learning'?