It doesn&#x27;t really seem like this solves the problem of optimizers introducing bugs and vulnerabilities.<p>Take the canonical optimizer-created security hole: the hardware optimizer replaces a constant-time compare (which doesn&#x27;t leak timing information) with a variable-time compare (which does).<p>I don&#x27;t think this solves the problem we&#x27;re setting out to solve, ie. the optimizer introducing bugs.