Hi Everyone,
We have this inline asm on x86_64. Notice adcq and the constant $0:
asm ("addq %2, %0; adcq $0, %1;" : "+r"(a0), "+r"(a1) : "r"(b) : "cc");
I convert it to adcx. This conversion tests OK.
asm ("addq %2, %0; adcx %3, %1;" : "+r"(a0), "+r"(a1) : "r"(b),
"r"(0ULL) : "cc");
Is this a valid conversion?
The reason I ask is, I've got a larger one with 9 operands. When I
make the same change (swap constant for a positional with 0) and test
it, it fails. The only thing I can think of is, it is not a valid
conversion but the tools don't reject it.
Jeff
