<p>Really interesting read (from Varun Gandhi) about optimizers and transparent vs observable, reliable behavior: <a href="https://typesanitizer.com/blog/rethink-optimizers.html" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">typesanitizer.com/blog/rethink</span><span class="invisible">-optimizers.html</span></a></p><p>I've had similar thoughts when working on weval and Cranelift -- sometimes one wants to assert that a load-bearing simplification really does happen; and also maybe have a more systematic way of directing compiler effort. (Something like Tcl tool scripting in the EDA world maybe?) We have infra for testing but it's not user-facing; maybe that should change...</p>
