Incorrect decompile (x % 10)

Hey!

This function does not decompile correctly:

modby10: movabsq $-3689348814741910323, %rdx
mov %rdi, %rax
mul %rdx
mov %rdx, %rax
shr $3, %rax
lea (%rax,%rax,4), %rdx
mov %rdi, %rax
add %rdx, %rdx
sub %rdx, %rax
ret

Correct decompile would be:

uint64_t modby10(int64_t arg1) {
return arg1 % 10;
}

current decompile is:

int64_t modby10(int64_t result)
return result;
}

Tuxifan

Start with the supplied modby10 x86-64 sequence and trace how its multiply, shift, and subtraction operations are recognized. Confirm the decompiler emits a modulo expression rather than returning the input; the payload names no source file or test, so locate the relevant arithmetic or decompilation regression entry point before changing code.

Written by the indexing model from the issue text.