I would imagine that any x64 binary compiled to work with both chipsets would only use the instructions that are common between them. This would mean there’s not much gain in developing a new insutruction unless both companies support it.

I’m sure there’s some super-optimised stuff out there that targets extra instructions when they’re available, but it’s very rare.