issue 3632 - modify float is float to do a bitwise compare

src/constfold.c

@@ -866,8 +866,27 @@ Expression *Identity(enum TOK op, Type *type, Expression *e1, Expression *e2)
     }
     else
     {
-        return Equal((op == TOKidentity) ? TOKequal : TOKnotequal,
-                type, e1, e2);
+       if (e1->type->isreal())
+       {
+           real_t v1 = e1->toReal();
+           real_t v2 = e2->toReal();
+           cmp = !memcmp(&v1, &v2, sizeof(real_t));
+       }
+       else if (e1->type->isimaginary())
+       {
+           real_t v1 = e1->toImaginary();
+           real_t v2 = e2->toImaginary();
+           cmp = !memcmp(&v1, &v2, sizeof(real_t));
+       }
+       else if (e1->type->iscomplex())
+       {
+           complex_t v1 = e1->toComplex();
+           complex_t v2 = e2->toComplex();
+           cmp = !memcmp(&v1, &v2, sizeof(complex_t));
+       }
+       else
+           return Equal((op == TOKidentity) ? TOKequal : TOKnotequal,
+                   type, e1, e2);
     }
     if (op == TOKnotidentity)
         cmp ^= 1;

src/e2ir.c

@@ -2444,7 +2444,7 @@ elem *IdentityExp::toElem(IRState *irs)
 
     //printf("IdentityExp::toElem() %s\n", toChars());
 
-    if (t1->ty == Tstruct)
+    if (t1->ty == Tstruct || t1->isfloating())
     {   // Do bit compare of struct's
         elem *es1;
         elem *es2;

test/runnable/xtest46.d

@@ -3011,6 +3011,23 @@ void test153()
     static assert(!__traits(isStaticFunction, bar));
 }
 
+/***************************************************/
+// 3632
+
+
+void test154() {
+    float f;
+    assert(f is float.init);
+    double d;
+    assert(d is double.init);
+    real r;
+    assert(r is real.init);
+
+    assert(float.nan is float.nan);
+    assert(double.nan is double.nan);
+    assert(real.nan is real.nan);
+}
+
 /***************************************************/
 
 int main()
@@ -3168,6 +3185,7 @@ int main()
     test151();
     test152();
     test153();
+    test154();
 
     printf("Success\n");
     return 0;