Hacker News Reader

Did I miss something, or why the opmask registers k0-k7 weren't count?

You didn't miss anything! I completely forgot them.

I plan to do an update to the post this afternoon.

Phew. I must have re-read the post like 3 times to confirm they were actually missing. Thanks for clarification.

There's good evidence for mask registers and x87 registers sharing the same hardware on recent Intel chips: https://travisdowns.github.io/blog/2020/05/26/kreg2.html