Both were compiled with mspgcc version 3.3.6. I used the following commandline:
msp430-gcc -O2 -mmcu=msp430x1611 -S --save-temps copy.c

Also included in the test file is the (correct) int-pointer move.
