VADDPD (ZMM, K, ZMM, ZMM) - Port Usage
Port usage: 1*FP23