The second operand of VPERMT2* instruction is a shuffle mask. The type of this operand is always Integer.
The other operands may be or Integer (VPEMT2D) or Floating Point (VPERMT2PS).
I separated VPERMT2 from VPERMI2 , because VPERMI2 has the shuffle mask in the first operand. The type of first operand of VPERMI2 is not strictly defined since it is the SIMD register, which is source (int) and destination(fp or int) at the same time.
I did not add tests, since we already have tests for these intrinsics.