> If you want to produce machine code that performs operations in constant time regardless of the branch taken Nobody is asking for that. That's the whole poin

> If you want to produce machine code that performs operations in constant time regardless of the branch taken Nobody is asking for that. That's the whole point. Crypto code that needs to be constant time in regards to secret data is needs to avoid branching based on secret data, but the optimizer is converting non-branching code into branching code.