Merge pull request #6275 from WalterBright/fix13927

fix Issue 13927 - optimizer hangs in optelem with SIMD initialization
dlang · Nov 24, 2016 · c3a3200 · c3a3200
1 parent 2df3901
commit c3a3200
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/src/backend/cgelem.c b/src/backend/cgelem.c
@@ -1124,7 +1124,8 @@ STATIC elem * elmin(elem *e, goal_t goal)
   /* Disallow the optimization on doubles. The - operator is not        */
   /* rearrangable by K+R, and can cause floating point problems if      */
   /* converted to an add ((a + 1.0) - 1.0 shouldn't be folded).         */
-  if (cnst(e2) && !tyfloating(e2->Ety))
+  if (cnst(e2) && !tyfloating(e2->Ety) &&
+      !tyvector(e2->Ety)) // don't do vectors until we get constant folding for them
   {     e->E2 = el_una(OPneg,e2->Ety,e2);
         e->Eoper = OPadd;
         return optelem(e,GOALvalue);

diff --git a/test/runnable/testxmm.d b/test/runnable/testxmm.d
@@ -1456,6 +1456,15 @@ ubyte16 test11585(ubyte16* d)
     return __simd(XMM.PCMPEQB, *d, *d);
 }
 
+/*****************************************/
+// https://issues.dlang.org/show_bug.cgi?id=13927
+
+void test13927(ulong2 a)
+{
+    ulong2 b = [long.min, long.min];
+    auto tmp = a - b;
+}
+
 /*****************************************/
 
 int main()