OpenCL Pipes не поддерживает запись данных int16?

Question

У меня есть следующий код:

 pipe int16 testPipe __attribute__((xcl_reqd_pipe_depth(512)));
 write_pipe_block(testPipe, &vector);   //vector is of type int16

Выдает ошибку:

ОШИБКА: [XOCC 200-41]:

Неподдерживаемая реинтерпретация указателя от типа '__spir_size_t' к типу 'i32*' для переменной 'word'. Проверка на синтезируемость не удалась.

Если предположить, vector определяется как тип int16 с 16 элементами (каждый элемент является 4-байтовым словом):

char  word[4] = {'A', 'B', 'C', 'D'};   
int16 vector = (int16)(
                         word[0], word[1], word[2], word[3], 
                         word[0], word[1], word[2], word[3],                                                         
                         word[0], word[1], word[2], word[3],                                                                 
                         word[0], word[1], word[2], word[3]
                      );

Я использую OpenCL от Xilinx.