Added test that results in wrong code on IA32.