154685 2016-02-25 10:58:16 -0800 B3 should have a DoubleToInt that takes a list of exceptional values 2016-02-25 10:59:50 -0800 1 1 1 Unclassified WebKit JavaScriptCore WebKit Nightly Build All All NEW P2 Normal --- 154319 1 fpizlo webkit-unassigned benjamin oldest_to_newest 1168144 0 fpizlo 2016-02-25 10:58:16 -0800 Different hardware returns different results for double-to-int failure. Because of that, we avoided adding DoubleToInt as an opcode in B3. But we could add a DoubleToInt opcode that has this syntax: @result = DoubleToInt(@input, @negOverflow, @posOverflow, @negNaN, @posNaN) Where: - @negOverflow is the value we return if @input is smaller than INT_MIN. - @posOverflow is the value we return if @input is larger than INT_MAX. - @negNaN is the value we return if @input is negative NaN. - @posNaN is the value we return if @input is positive NaN. Collectively these are the failure codes. This means that the client could request that B3 emulates any kind of hardware doubleToInt operation. If you want X86 behavior, you pass INT_MIN for all of the failure codes. On ARM64, we would pass either INT_MIN or INT_MAX depending on whether it's positive or negative. 1168145 1 fpizlo 2016-02-25 10:59:50 -0800 This was @titzer's idea for making wasm d2i trap-free. It's super profitable for wasm to do this. We don't *need* to do this in B3 since we can d2i using a patchpoint, but it would probably be a progression.