Cómo elegir AVX comparar variantes de predicados

Question

Cómo elegir AVX comparar variantes de predicados

En las Extensiones Vectoriales Avanzadas (AVX) las instrucciones de comparación como _m256_cmp_ps, el último argumento es un predicado de comparación. Las opciones para el predicado me abruman. Parecen ser un triple tipo, orden, señalización. Por ejemplo, _CMP_LE_OS es ' menor o igual, ordenado, señalización.

Para empezar, ¿hay una razón de rendimiento para seleccionar señalización o no señalización, y del mismo modo, es ordenado o desordenado más rápido que el otro?

Y qué no ¿las señales son malas? No puedo encontrar esto en los médicos. ¿Alguna regla general sobre cuándo seleccionar qué?

Aquí están las opciones de predicados de avxintrin.h:

/* Compare */
#define _CMP_EQ_OQ    0x00 /* Equal (ordered, non-signaling)  */
#define _CMP_LT_OS    0x01 /* Less-than (ordered, signaling)  */
#define _CMP_LE_OS    0x02 /* Less-than-or-equal (ordered, signaling)  */
#define _CMP_UNORD_Q  0x03 /* Unordered (non-signaling)  */
#define _CMP_NEQ_UQ   0x04 /* Not-equal (unordered, non-signaling)  */
#define _CMP_NLT_US   0x05 /* Not-less-than (unordered, signaling)  */
#define _CMP_NLE_US   0x06 /* Not-less-than-or-equal (unordered, signaling)  */
#define _CMP_ORD_Q    0x07 /* Ordered (nonsignaling)   */
#define _CMP_EQ_UQ    0x08 /* Equal (unordered, non-signaling)  */
#define _CMP_NGE_US   0x09 /* Not-greater-than-or-equal (unord, signaling)  */
#define _CMP_NGT_US   0x0a /* Not-greater-than (unordered, signaling)  */
#define _CMP_FALSE_OQ 0x0b /* False (ordered, non-signaling)  */
#define _CMP_NEQ_OQ   0x0c /* Not-equal (ordered, non-signaling)  */
#define _CMP_GE_OS    0x0d /* Greater-than-or-equal (ordered, signaling)  */
#define _CMP_GT_OS    0x0e /* Greater-than (ordered, signaling)  */
#define _CMP_TRUE_UQ  0x0f /* True (unordered, non-signaling)  */
#define _CMP_EQ_OS    0x10 /* Equal (ordered, signaling)  */
#define _CMP_LT_OQ    0x11 /* Less-than (ordered, non-signaling)  */
#define _CMP_LE_OQ    0x12 /* Less-than-or-equal (ordered, non-signaling)  */
#define _CMP_UNORD_S  0x13 /* Unordered (signaling)  */
#define _CMP_NEQ_US   0x14 /* Not-equal (unordered, signaling)  */
#define _CMP_NLT_UQ   0x15 /* Not-less-than (unordered, non-signaling)  */
#define _CMP_NLE_UQ   0x16 /* Not-less-than-or-equal (unord, non-signaling)  */
#define _CMP_ORD_S    0x17 /* Ordered (signaling)  */
#define _CMP_EQ_US    0x18 /* Equal (unordered, signaling)  */
#define _CMP_NGE_UQ   0x19 /* Not-greater-than-or-equal (unord, non-sign)  */
#define _CMP_NGT_UQ   0x1a /* Not-greater-than (unordered, non-signaling)  */
#define _CMP_FALSE_OS 0x1b /* False (ordered, signaling)  */
#define _CMP_NEQ_OS   0x1c /* Not-equal (ordered, signaling)  */
#define _CMP_GE_OQ    0x1d /* Greater-than-or-equal (ordered, non-signaling)  */
#define _CMP_GT_OQ    0x1e /* Greater-than (ordered, non-signaling)  */
#define _CMP_TRUE_US  0x1f /* True (unordered, signaling)  */

25

simd avx

Author: Bram, 2013-06-07

Source

1 answers

score 23 · Accepted Answer

Ordenado vs Desordenado tiene que ver con si la comparación es verdadera si uno de los operandos contiene una NaN (ver ¿Qué significa la comparación ordenada / desordenada?). Señalización (S) vs no señalización (Q para silencio?) determinará si se genera una excepción si un operando contiene una NaN.

Desde una perspectiva de rendimiento, todos deberían ser los mismos (suponiendo, por supuesto, que no se planteen excepciones). Si quieres ser alertado cuando hay una abuela, entonces quieres señalización. En cuanto a ordenado vs desordenado, todo depende de cómo se quiere tratar con NaNs.