+ } else if (FPC->getType() == Type::X86_FP80Ty) {
+ const uint64_t *p = FPC->getValueAPF().convertToAPInt().getRawData();
+ Out << "static const ConstantFP80Ty FPConstant" << FPCounter++
+ << " = { 0x" << std::hex
+ << ((uint16_t)p[1] | (p[0] & 0xffffffffffffLL)<<16)
+ << ", 0x" << (uint16_t)(p[0] >> 48) << ",0,0,0"
+ << "}; /* Long double constant */\n" << std::dec;