If we are using AVX512 instructions I think we can assume that all the comparison predicates are supported since we don't have an AMD implementation to compare against?
Though maybe we proved that AMD really does implement all 32 comparisons correctly in AVX1/2? We are using 0xF to create all ones on AVX1 right?