>>ChadNa+(OP)
I don't want an optimizer that eliminates an unnecessary operation. I want a compiler that tells me that it is unnecessary so I can remove it.
>>norir+fQ8
This is not always possible. Consider the monomorphized output of a generic function. An operation may be dead in one instance but not generally