Bricht ich strenge Aliasing-Regeln?

Question

Ich würde gerne wissen, ob ich strenge Aliasing-Regeln mit diesem Snippet zu brechen. (Ich glaube, so da es dereferencing einen punned-Zeiger, aber es ist in einem einzigen Ausdruck gemacht wird und/Wand weint nicht.)

inline double plop() const // member function 
{ 
    __m128d x = _mm_load_pd(v); 
    ... // some stuff 
    return *(reinterpret_cast<double*>(&x)); // return the lower double in xmm reg referred to by x. 
} 

Wenn ja, was ist die Abhilfe? Die gleichzeitige Verwendung verschiedener Repräsentationen wird immer schwieriger, wenn Sie die Spezifikation respektieren wollen.

Danke für deine Antworten, ich verliere meine gute Laune und versuche eine Lösung zu finden.

Antworten, die nicht akzeptiert und warum werden:

„Verwendung mm_store“ -> Der Optimierer schlägt fehl, es zu entfernen, wenn die folgenden Anweisungen ein XMM-Register erfordern, so dass es eine Last nur, nachdem sie erzeugt. Speichern + Laden für nichts.

"Verwenden Sie eine Union" -> Aliasing Regelverletzung, wenn Sie die beiden Arten für das gleiche Objekt verwenden. Wenn ich den Artikel von Thiago Macieira gut verstanden habe.

Answer 1

Es gibt nur eine intrinsische, dass „Extrakte“ die niederwertigen Doppel Wert von XMM-Register:

double _mm_cvtsd_f64 (__m128d a) 

Sie es auf diese Weise nutzen könnten:

return _mm_cvtsd_f64(x); 

Es ist ein Widerspruch zwischen den verschiedenen Referenzen . MSDN sagt: This intrinsic does not map to any specific machine instruction. Während Intel intrinsische Anleitung erwähnt movsd Anweisung. Im letzteren Fall wird diese zusätzliche Anweisung vom Optimierer leicht eliminiert. Mindestens gcc 4.8.1 mit -O2 Flag generiert Code ohne zusätzliche Anweisung.

Answer 2

Der Aufzählungspunkt in Fettdruck sollte ich denke, lassen Sie Ihre Besetzung hier, wie wir __m128d als ein Aggregat von vier double Union zum vollen Register betrachten können. In Bezug auf striktes Aliasing war der Compiler immer sehr um die Vereinigung herum versöhnt, wo am Ursprung nur eine Umwandlung in (char *) als gültig angenommen wurde.

§3.10: Wenn ein Programm versucht, den gespeicherten Wert eines Objekts durch eine glvalue von anderen als einer der folgenden Typen zuzugreifen das Verhalten undefined (Die Absicht dieser Liste ist es, diese Umstände zu spezifizieren in dem ein Objekt aliased werden kann oder auch nicht):

• die dynamische Art des Objekts,
• eine cv-qualifizierte Version des dynamischen Typs des Objekts,
• eine Art ähnlich (wie (definiert in 4.4) zum dynamischen Typ des Objekts,
• ein Typ, der dem dynamischen Typ des Objekts entspricht,
• ein Typ, bei dem es sich um einen Typ mit oder ohne Vorzeichen handelt. qualifizierte Version des dynamischen Objekttyps,
• ein Aggregat- oder Union-Typ, der eine der oben genannten Typen unter seinen Elementen oder nichtstatische Datenelemente enthält (einschließlich rekursiv ein Element oder nicht statisches Datenelement eines Unteraggregats) oder enthalten Union),
• ein Typ, der eine (möglicherweise cv-qualifizierte) Basisklasse Typ von ist der dynamische Typ des Objekts,
• ein char oder unsigned Char-Typ.

Answer 3

Ja, Ich denke, diese strenge Aliasing bricht. In der Praxis ist dies jedoch in der Regel gut.
(Ich schreibe dies vor allem als Antwort, weil es schwierig ist, gut in einem Kommentar zu beschreiben)

Aber Sie stattdessen so etwas tun könnte:

inline double plop() const // member function 
{ 
    __m128d x = _mm_load_pd(v); 
    ... // some stuff 

    union { 
     unsigned long long i; // 64-bit int 
     double    d; // 64-bit double 
    }; 

    i = _mm_cvtsi128_si64(_mm_castpd_si128(x)); // _mm_castpd_si128 to interpret the register as an int vector, _mm_cvtsi128_si64 to extract the lowest 64-bits 

    return d; // use the union to return the value as a double without breaking strict aliasing 
} 

Answer 4

Was return x.m128d_f64[0];?