[ayende]

One thing that is ignored here is that for crypto, there are additional concerns

For example, are the instructions cost depend on the data? If so, you have a timing leak and a hole in your system

One of the reasons to use assembly is specifically to avoid timing dependency and the compiler being "smart" about things and thus leading to timing attacks