Получение максимального значения в векторе __m128i с помощью SSE?

Я только начал использовать SSE и не понимаю, как получить максимальное целочисленное значение ( max) для __m128i. Например:

__m128i t = _mm_setr_ps(0,1,2,3);
// max(t) = 3;

Поиски привели меня к инструкции MAXPS, но я не могу найти, как использовать ее с "xmmintrin.h".

Кроме того, есть ли какая-либо документация для "xmmintrin.h", которую вы могли бы порекомендовать вместо изучения самого заголовочного файла?