Make sure that FMA3 is favored even when FMA4 is also enabled. Test case for r162454.