[clang][Interp] ComplexFloatingToBoolean casts

[aaron.ballman]

LG

clang/test/AST/Interp/complex.cpp

70–74

Might as well skip the integral to float cast as that's not really interesting for the test.

clang/lib/AST/Interp/ByteCodeExprGen.cpp

if (!this->visit(SubExpr))
       return false;
 
     if (!this->emitNull(PtrT, CE))
       return false;
 
     return this->emitNE(PtrT, CE);
   }
 
-  case CK_IntegralComplexToBoolean: {
+  case CK_IntegralComplexToBoolean:
+  case CK_FloatingComplexToBoolean: {
     std::optional<PrimType> ElemT =
         classifyComplexElementType(SubExpr->getType());
     if (!ElemT)
       return false;
     // We emit the expression (__real(E) != 0 || __imag(E) != 0)
     // for us, that means (bool)E[0] || (bool)E[1]
     if (!this->visit(SubExpr))
       return false;
     if (!this->emitConstUint8(0, CE))
       return false;
     if (!this->emitArrayElemPtrUint8(CE))
       return false;
     if (!this->emitLoadPop(*ElemT, CE))
       return false;
+    if (*ElemT == PT_Float) {
+      if (!this->emitCastFloatingIntegral(PT_Bool, CE))
+        return false;
+    } else {
       if (!this->emitCast(*ElemT, PT_Bool, CE))
         return false;
+    }
+
     // We now have the bool value of E[0] on the stack.
     LabelTy LabelTrue = this->getLabel();
     if (!this->jumpTrue(LabelTrue))
       return false;
 
     if (!this->emitConstUint8(1, CE))
       return false;
     if (!this->emitArrayElemPtrPopUint8(CE))
       return false;
     if (!this->emitLoadPop(*ElemT, CE))
       return false;
+    if (*ElemT == PT_Float) {
+      if (!this->emitCastFloatingIntegral(PT_Bool, CE))
+        return false;
+    } else {
       if (!this->emitCast(*ElemT, PT_Bool, CE))
         return false;
+    }
     // Leave the boolean value of E[1] on the stack.
     LabelTy EndLabel = this->getLabel();
     this->jump(EndLabel);
 
     this->emitLabel(LabelTrue);
     if (!this->emitPopPtr(CE))
       return false;
     if (!this->emitConstBool(true, CE))

clang/test/AST/Interp/complex.cpp

namespace CastToBool {
   static_assert(!F3, "");
 
   constexpr _Complex unsigned char F4 = {0, 1};
   static_assert(F4, "");
   constexpr _Complex unsigned char F5 = {1, 0};
   static_assert(F5, "");
   constexpr _Complex unsigned char F6 = {0, 0};
   static_assert(!F6, "");
+
+  constexpr _Complex float F7 = {0, 1};
+  static_assert(F7, "");
+  constexpr _Complex float F8 = {1, 0};
+  static_assert(F8, "");
+  constexpr _Complex double F9 = {0, 0};
+  static_assert(!F9, "");
 }