SSE is fully specified*. Muller is an expert in floating point arithmetic; who are you going to trust, him or some guy on a gamedev forum?
(*) there are actually a few exceptions for non-IEEE-754 operations like rsqrtss, where Intel never fully specified the behavior, but that doesn’t effect the IEEE-754 basic operations, and more importantly their behavior can’t actually change at this point because it would break binary compatibility for too many things, so they’re as good as specified.