5 ms·

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

• woodruffw 6y ago
  You didn't miss anything! I completely forgot them. I plan to do an update to the post this afternoon.
  • innocenat 6y ago
    Phew. I must have re-read the post like 3 times to confirm they were actually missing. Thanks for clarification.
    • corsix 6y ago
      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 https://travisdowns.github.io/blog/2020/05/26/kreg2.html