Я страдаю GCC встроенной сборки на PowerPC. Программа прекрасно компилируется с -g2 -O3
, но не компилируется с -g3 -O0
, Проблема в том, что мне нужно наблюдать за этим в отладчике, поэтому мне нужны символы без оптимизации.
Вот программа:
$ cat test.cxx
#include <altivec.h>
#undef vector
typedef __vector unsigned char uint8x16_p;
uint8x16_p VectorFastLoad8(const void* p)
{
long offset = 0;
uint8x16_p res;
__asm(" lxvd2x %x0, %1, %2 \n\t": "=wa" (res)
: "g" (p), "g" (offset/4), "Z" (*(const char (*)[16]) p));
return res;
}
А вот и ошибка. (Ошибка существует с Замена PowerPC vec_xl_be с использованием встроенной сборки, но я был в состоянии игнорировать это до сих пор).
$ g++ -g3 -O0 -mcpu=power8 test.cxx -c
/home/test/tmp/ccWvBTN4.s: Assembler messages:
/home/test/tmp/ccWvBTN4.s:31: Error: operand out of range (64 is not between 0 and 31)
/home/test/tmp/ccWvBTN4.s:31: Error: syntax error; found `(', expected `,'
/home/test/tmp/ccWvBTN4.s:31: Error: junk at end of line: `(31),32(31)'
Я считаю, что это больное место из списка * .s:
#APP
# 12 "test.cxx" 1
lxvd2x 0, 64(31), 32(31)
Есть некоторые похожие проблемы при использовании lwz
, но я не нашел ни одного обсуждающего проблемы с lxvd2x
,
В чем проблема и как ее исправить?
Вот глава *.s
файл:
$ head -n 40 test.s
.file "test.cxx".abiversion 2
.section ".toc","aw".align 3
.section ".text".machine power8
.Ltext0:
.align 2
.globl _Z15VectorFastLoad8PKv
.type _Z15VectorFastLoad8PKv, @function
_Z15VectorFastLoad8PKv:
.LFB0:
.file 1 "test.cxx".loc 1 7 0
.cfi_startproc
std 31,-8(1)
stdu 1,-96(1)
.cfi_def_cfa_offset 96
.cfi_offset 31, -8
mr 31,1
.cfi_def_cfa_register 31
std 3,64(31)
.LBB2:
.loc 1 8 0
li 9,0
std 9,32(31)
.loc 1 12 0
ld 9,64(31)
#APP
# 12 "test.cxx" 1
lxvd2x 0, 64(31), 32(31)
# 0 "" 2
#NO_APP
xxpermdi 0,0,0,2
li 9,48
stxvd2x 0,31,9
.loc 1 13 0
li 9,48
lxvd2x 0,31,9
Вот код, сгенерированный в -O3
:
$ g++ -g3 -O3 -mcpu=power8 test.cxx -save-temps -c
$ objdump --disassemble test.o | c++filt
test.o: file format elf64-powerpcle
Disassembly of section .text:
0000000000000000 <VectorFastLoad8(void const*)>:
0: 99 06 43 7c lxvd2x vs34,r3,r0
4: 20 00 80 4e blr
8: 00 00 00 00 .long 0x0
c: 00 09 00 00 .long 0x900
10: 00 00 00 00 .long 0x0
Проблема в том, что сгенерированный asm имеет операнды регистр + смещение для RA и RB, но lxvd2x
инструкция принимает только прямые адреса регистров (т.е. без смещений).
Похоже, что вы неправильно поняли ваши ограничения. Глядя на встроенный ассм:
__asm(" lxvd2x %x0, %1, %2 \n\t": "=wa" (res)
: "g" (p), "g" (offset/4), "Z" (*(const char (*)[16]) p));
Во-первых, у вас есть один выходной операнд и три входных операнда (всего четыре), но только три операнда используются в вашем шаблоне.
Я предполагаю, что ваша функция читает непосредственно из *p
и он ничего не затирает, так что похоже, что это неиспользуемый операнд для указания потенциального доступа к памяти (подробнее об этом ниже). Сейчас мы будем простыми; сбросив это дает нам:
__asm(" lxvd2x %x0, %1, %2 \n\t": "=wa" (res)
: "g" (p), "g" (offset/4));
Компилируя это, я все еще получаю смещение, используемое для RA и / или RB:
lxvd2x 0, 40(31), 9
Глядя на документы для "g"
ограничение, мы видим:
‘г’:
Допускается любой регистр, память или непосредственный целочисленный операнд,
за исключением регистров, которые не являются общими регистрами.
Однако мы не можем предоставить здесь операнд памяти; разрешен только регистр (без смещения). Если мы изменим ограничение на "r"
:
__asm(" lxvd2x %x0, %1, %2 \n\t": "=wa" (res)
: "r" (p), "r" (offset/4));
Для меня это компилируется в действительный lxvd2x
вызов:
lxvd2x 0, 9, 10
— который ассемблер с радостью принимает.
Теперь, как прокомментировал @PeterCordes, этот пример больше не указывает, что он может обращаться к памяти, поэтому мы должны восстановить эту зависимость ввода памяти, давая:
__asm(" lxvd2x %x0, %1, %2 \n\t": "=wa" (res)
: "r" (p), "r" (offset/4), "m" (*(const char (*)[16]) p));
По сути, все, что мы сделали, это изменили ограничения "g"
в "r"
, заставляя компилятор использовать несмещенные операнды регистра.
Других решений пока нет …