Issue 12852 - 64 bit wrong code generated