Fix the JIT encoding of VSPLTI*