Я работаю над оптимизацией ARM с использованием встроенных функций NEON из кода C ++. Я понимаю и справляюсь с большинством проблем с набором текста, но я застрял на этом:
Инструкция vzip_u8 возвращает значение uint8x8x2_t (фактически массив из двух uint8x8_t). Я хочу присвоить возвращаемое значение простому uint16x8_t. Я не вижу подходящего vreinterpretq внутреннего для достижения этого, и простые преобразования отклоняются.
На некоторые определения ответить четко ...
NEON имеет 32 регистра, шириной 64 бита (двойное представление как 16 регистров, шириной 128 бит).
Блок NEON может просматривать тот же банк регистров, что и:
- шестнадцать 128-битных регистров четверного слова, Q0-Q15
- тридцать два 64-битных регистра двойного слова, D0-D31.
uint16x8_t - это тип, для которого требуется 128-битное хранилище, поэтому он должен находиться в регистре quadword.
В ARM NEON Intrinsics есть определение vector array data type в языке ARM® C Расширения:
... для использования в операциях загрузки и сохранения, в операциях поиска по таблицам и в качестве результата операций, возвращающих пару векторов.
Инструкция по vzip
... чередует элементы двух векторов.
vzip Dd, Dm
и имеет внутренний, например
uint8x8x2_t vzip_u8 (uint8x8_t, uint8x8_t)
из них мы можем заключить, что uint8x8x2_t на самом деле является списком из двух случайных пронумерованных регистров двойного слова, потому что инструкции vzip не имеют никаких требований к порядку входных регистров.
Теперь ответ ...
uint8x8x2_t может содержать два непоследовательных регистра двойного слова, а uint16x8_t - это структура данных, состоящая из двух последовательных регистров двойного слова, первый из которых имеет четный индекс (D0-D31 -> Q0-Q15).
Из-за этого вы не можете преобразовать vector array data type с двумя регистрами двойного слова в регистр четверного слова ... легко.
Компилятор может быть достаточно умен, чтобы помочь вам, или вы можете просто принудительно преобразовать, но я бы проверил полученную сборку на правильность и производительность.
Вы можете построить 128-битный вектор из двух 64-битных векторов, используя встроенные функции vcombine_ *. Таким образом, вы можете вот так добиться того, чего хотите.
#include <arm_neon.h>
uint8x16_t f(uint8x8_t a, uint8x8_t b)
{
uint8x8x2_t tmp = vzip_u8(a,b);
uint8x16_t result;
result = vcombine_u8(tmp.val[0], tmp.val[1]);
return result;
}
Я нашел обходной путь: учитывая, что член val типа uint8x8x2_t является массивом, он поэтому рассматривается как указатель. Приведение и отсчет указателя работают! [Принимая во внимание адрес данных, возникает предупреждение "адрес временного".]
uint16x8_t Value= *(uint16x8_t*)vzip_u8(arg0, arg1).val;
Оказывается, это компилируется и выполняется как следует (по крайней мере, в случае, который я пробовал). Я не смотрел код сборки, поэтому не могу гарантировать, что он реализован должным образом (я имею в виду просто сохранение значения в регистре вместо записи / чтения в / из памяти.)
Я столкнулся с той же проблемой, поэтому я представил гибкий тип данных.
Поэтому теперь я могу определить следующее:
typedef NeonVectorType<uint8x16_t> uint_128bit_t; //suitable for uint8x16_t, uint8x8x2_t, uint32x4_t, etc.
typedef NeonVectorType<uint8x8_t> uint_64bit_t; //suitable for uint8x8_t, uint32x2_t, etc.
Это ошибка в GCC (теперь исправленная) в сериях 4.5 и 4.6.
Ссылка на Bugzilla http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48252
Пожалуйста, возьмите исправление этой ошибки, примените к исходному тексту gcc и перестройте его.
