Haswell 32-bit SPEC2000