The only missing AVX512BW/AVX512DQ opcodes are now: "NDS.66.0F3A.W0 42 VDBPSADBW" "NDS.512.66.0F3A.W0 56 VREDUCEPS NDS.512.66.0F3A.W1 56 VREDUCEPD" "NDS.512.66.0F3A.W0 57 VREDUCESS NDS.512.66.0F3A.W1 57 VREDUCESD"
TODO: update MVSC workspace files