+cl_DF_globals_init_helper::cl_DF_globals_init_helper()
+{
+ if (count++ == 0) {
+#if (cl_word_size == 64)
+ new ((void *)&cl_DF_0) cl_DF(allocate_dfloat(0)); // 0.0d0
+ new ((void *)&cl_DF_1) cl_DF(encode_DF(0, 1, bit(DF_mant_len))); // 1.0d0
+ new ((void *)&cl_DF_minus1) cl_DF(encode_DF(-1,1,bit(DF_mant_len))); // -1.0d0