Moves such as ``` mov -8(%rbp), -16(%rbp) ``` are transformed to ``` mov -8(%rbp), %rax mov %rax, -16(%rbp) ``` but what if `rax` is live at that point? Try to add tests which fail, or prove that no such programs exist.
Moves such as
are transformed to
but what if
raxis live at that point? Try to add tests which fail, or prove that no such programs exist.