Slowdown in hashset performance regression #4132
Description
#4127 turned on some target features on some platforms (e.g. sse and sse2 on x86_64 and neon on aarch64). One of the regressions suffered a significant slowdown as a result of this change:
hashset/check_contains_str | 767.537 | 33.0624 | +2221.480%
kani/tests/perf/hashset/src/lib.rs
Lines 42 to 45 in 23c842d
We need to investigate if this slowdown can be addressed.