Perhaps fortunately, this isn't my call, but I'm having a hard time seeing the denormal behaviour as something that's in dire need of touching.
Agreed. That said, I don't think we should diverge from vkd3d without a good reason, so I'd propose to either port vkd3d's 69ecfdfb0 directly, or if we're going to make further changes, change it there first.