__m256i __attribute__((__target__("avx512vl,avx512dq"))) mm256_mullo_epi64_wrap(__m256i a, __m256i b) { return _mm256_mullo_epi64(a, b); }
__m256i test_mm256_mullo_epi64 (__m256i __A, __m256i __B) { // CHECK-LABEL: @test_mm256_mullo_epi64 // CHECK: mul <4 x i64> return _mm256_mullo_epi64(__A, __B); }