Как заставить ассемблер clang выдавать префикс rex.W?
Есть ли способ принудительно использовать префикс rex.W при написании встроенного ассемблера?
Поэтому вместо
"psllq $12, %%xmm1\n"
генерация 66 0f 73 f1 0c, я хочу 66 48 0f 73 f1 0c, с дополнительным префиксом 0x48 rex.W.
Обновлено: Я ошибся с начальным названием, проблема в clang, а не в GCC.
insn_sse2.c:11794:11: error: unexpected token in argument list
"rex.W psllq $12, %%xmm1\n"
^
<inline asm>:7:13: note: instantiated into assembly here
rex.W psllq $12, %xmm1
Зачем тебе это?
Clang принимает rex64 psllq $12, %xmm1, но, к сожалению, неправильно его собирает.
Ответы 1
Вы можете просто добавить префикс rex.W:
rex.W psllq $12, %xmm1
Именно так GNU binutils дизассемблирует предоставленные вами байты кода операции. Из файла psllq.s с содержимым
.byte 0x66, 0x48, 0x0f, 0x73, 0xf1, 0x0c
мы можем запустить as psllq.s -o psllq.o && objdump -d psllq.o, чтобы получить:
psllq.o: file format elf64-x86-64
Disassembly of section .text:
0000000000000000 <.text>:
0: 66 48 0f 73 f1 0c rex.W psllq $0xc,%xmm1
Кажется, это не работает с clang (и это должно работать как с GCC, так и с clang).
@PaulFloyd Есть ли какая-то конкретная причина, по которой вам нужен именно префикс rex.W?
Вы всегда можете записать псевдооперацию .byte вручную…
Наверное, я так и сделаю.
@fuz неудивительно, что это тестовый пример Valgrind. На данный момент psllq обрабатывается без rex.W, но не с rex.W. Мне нужен тестовый пример с rex.W (и, возможно, еще с несколькими похожими кодами операций).
См. bugs.kde.org/show_bug.cgi?id=487439
@PaulFloyd Имеет смысл. В этом случае я рекомендую закрепить используемые регистры с помощью переменных register asm (...), а затем вручную выдавать нужные байты инструкций с помощью .byte.
@ user3840170, вы не можете просто использовать .byte для префикса REX, потому что префикс REX должен идти после префикса 66, который является частью инструкции PSLLQ. Поэтому для полной инструкции вам придется использовать .byte.
Как ни странно, вы просто добавляете префикс
rex.W:)rex.W psllq $12, %%xmm1