avx1-i32x4 implementation as sse4-i32x4 with avx target-feature flag