In the eWASM readme books it is mentioned that
Assumption 2: 1 second of CPU execution equals to 10 million gas (i.e. 1 gas equals to 0.1 us).
In Haswell table for DIV r32- it is mentioned the latency range 22-29
and for DIV r64- it is mentioned the latency range 32-96
But in gas-cost table for both i32 and i64 type it is mentioned 80 cycle
This is the original source of the document: https://gist.github.com/axic/5bf506728005864461454dd4d37a7f37
And it refers to “Appendix C” of https://software.intel.com/sites/default/files/managed/9e/bc/64-ia-32-architectures-optimization-manual.pdf of which @cetrio copy pasted.
Anyway, I wrote it over 3 years so don’t remember where the 80 came from.