x86_64: ecg_gen_muldiv doesn't work properly. #1
Description
On x86_64, ecg_gen_muldiv should work around the fact that %rax/%rdx might already be allocated, or that the inputs to the function might not be in %rax/%rdx.
{{ message }}
On x86_64, ecg_gen_muldiv should work around the fact that %rax/%rdx might already be allocated, or that the inputs to the function might not be in %rax/%rdx.