#include #include #include #include #include char *name = "simple fma test"; double f_if(float x, float y, float z) { float r22119 = x; float r22120 = y; float r22121 = z; float r22122 = fma(r22119, r22120, r22121); float r22123 = 1; float r22124 = r22119 * r22120; float r22125 = r22124 + r22121; float r22126 = r22123 + r22125; float r22127 = r22122 - r22126; return r22127; } double f_id(double x, double y, double z) { double r22128 = x; double r22129 = y; double r22130 = z; double r22131 = fma(r22128, r22129, r22130); double r22132 = 1; double r22133 = r22128 * r22129; double r22134 = r22133 + r22130; double r22135 = r22132 + r22134; double r22136 = r22131 - r22135; return r22136; } double f_of(float x, float y, float z) { float r22137 = -1; float r22138 = x; float r22139 = y; float r22140 = z; float r22141 = fma(r22138, r22139, r22140); float r22142 = r22138 * r22139; float r22143 = r22141 - r22142; float r22144 = r22143 - r22140; float r22145 = r22137 + r22144; float r22146 = 3; float r22147 = pow(r22145, r22146); float r22148 = cbrt(r22147); float r22149 = -1.0000000000000089; bool r22150 = r22148 <= r22149; float r22151 = r22139 * r22138; float r22152 = r22140 - r22141; float r22153 = r22151 + r22152; float r22154 = r22137 - r22153; float r22155 = pow(r22154, r22146); float r22156 = cbrt(r22155); float r22157 = -1.0; bool r22158 = r22148 <= r22157; float r22159 = r22158 ? r22148 : r22156; float r22160 = r22150 ? r22156 : r22159; return r22160; } double f_od(double x, double y, double z) { double r22161 = -1; double r22162 = x; double r22163 = y; double r22164 = z; double r22165 = fma(r22162, r22163, r22164); double r22166 = r22162 * r22163; double r22167 = r22165 - r22166; double r22168 = r22167 - r22164; double r22169 = r22161 + r22168; double r22170 = 3; double r22171 = pow(r22169, r22170); double r22172 = cbrt(r22171); double r22173 = -1.0000000000000089; bool r22174 = r22172 <= r22173; double r22175 = r22163 * r22162; double r22176 = r22164 - r22165; double r22177 = r22175 + r22176; double r22178 = r22161 - r22177; double r22179 = pow(r22178, r22170); double r22180 = cbrt(r22179); double r22181 = -1.0; bool r22182 = r22172 <= r22181; double r22183 = r22182 ? r22172 : r22180; double r22184 = r22174 ? r22180 : r22183; return r22184; } void mpfr_fmod2(mpfr_t r, mpfr_t n, mpfr_t d, mpfr_rnd_t rmd) { mpfr_fmod(r, n, d, rmd); if (mpfr_cmp_ui(r, 0) < 0) mpfr_add(r, r, d, rmd); } static mpfr_t r22185, r22186, r22187, r22188, r22189, r22190, r22191, r22192, r22193; void setup_mpfr_f_im() { mpfr_set_default_prec(2384); mpfr_init(r22185); mpfr_init(r22186); mpfr_init(r22187); mpfr_init(r22188); mpfr_init_set_str(r22189, "1", 10, MPFR_RNDN); mpfr_init(r22190); mpfr_init(r22191); mpfr_init(r22192); mpfr_init(r22193); } double f_im(double x, double y, double z) { mpfr_set_d(r22185, x, MPFR_RNDN); mpfr_set_d(r22186, y, MPFR_RNDN); mpfr_set_d(r22187, z, MPFR_RNDN); mpfr_fma(r22188, r22185, r22186, r22187, MPFR_RNDN); ; mpfr_mul(r22190, r22185, r22186, MPFR_RNDN); mpfr_add(r22191, r22190, r22187, MPFR_RNDN); mpfr_add(r22192, r22189, r22191, MPFR_RNDN); mpfr_sub(r22193, r22188, r22192, MPFR_RNDN); return mpfr_get_d(r22193, MPFR_RNDN); } static mpfr_t r22194, r22195, r22196, r22197, r22198, r22199, r22200, r22201, r22202, r22203, r22204, r22205, r22206, r22207, r22208, r22209, r22210, r22211, r22212, r22213, r22214, r22215, r22216, r22217; void setup_mpfr_f_fm() { mpfr_set_default_prec(2384); mpfr_init_set_str(r22194, "-1", 10, MPFR_RNDN); mpfr_init(r22195); mpfr_init(r22196); mpfr_init(r22197); mpfr_init(r22198); mpfr_init(r22199); mpfr_init(r22200); mpfr_init(r22201); mpfr_init(r22202); mpfr_init_set_str(r22203, "3", 10, MPFR_RNDN); mpfr_init(r22204); mpfr_init(r22205); mpfr_init_set_str(r22206, "-1.0000000000000089", 10, MPFR_RNDN); mpfr_init(r22207); mpfr_init(r22208); mpfr_init(r22209); mpfr_init(r22210); mpfr_init(r22211); mpfr_init(r22212); mpfr_init(r22213); mpfr_init_set_str(r22214, "-1.0", 10, MPFR_RNDN); mpfr_init(r22215); mpfr_init(r22216); mpfr_init(r22217); } double f_fm(double x, double y, double z) { ; mpfr_set_d(r22195, x, MPFR_RNDN); mpfr_set_d(r22196, y, MPFR_RNDN); mpfr_set_d(r22197, z, MPFR_RNDN); mpfr_fma(r22198, r22195, r22196, r22197, MPFR_RNDN); mpfr_mul(r22199, r22195, r22196, MPFR_RNDN); mpfr_sub(r22200, r22198, r22199, MPFR_RNDN); mpfr_sub(r22201, r22200, r22197, MPFR_RNDN); mpfr_add(r22202, r22194, r22201, MPFR_RNDN); ; mpfr_pow(r22204, r22202, r22203, MPFR_RNDN); mpfr_cbrt(r22205, r22204, MPFR_RNDN); ; mpfr_set_si(r22207, mpfr_cmp(r22205, r22206) <= 0, MPFR_RNDN); mpfr_mul(r22208, r22196, r22195, MPFR_RNDN); mpfr_sub(r22209, r22197, r22198, MPFR_RNDN); mpfr_add(r22210, r22208, r22209, MPFR_RNDN); mpfr_sub(r22211, r22194, r22210, MPFR_RNDN); mpfr_pow(r22212, r22211, r22203, MPFR_RNDN); mpfr_cbrt(r22213, r22212, MPFR_RNDN); ; mpfr_set_si(r22215, mpfr_cmp(r22205, r22214) <= 0, MPFR_RNDN); if (mpfr_get_si(r22215, MPFR_RNDN)) { mpfr_set(r22216, r22205, MPFR_RNDN); } else { mpfr_set(r22216, r22213, MPFR_RNDN); }; if (mpfr_get_si(r22207, MPFR_RNDN)) { mpfr_set(r22217, r22213, MPFR_RNDN); } else { mpfr_set(r22217, r22216, MPFR_RNDN); }; return mpfr_get_d(r22217, MPFR_RNDN); } static mpfr_t r22218, r22219, r22220, r22221, r22222, r22223, r22224, r22225, r22226, r22227, r22228, r22229, r22230, r22231, r22232, r22233, r22234, r22235, r22236, r22237, r22238, r22239, r22240, r22241; void setup_mpfr_f_dm() { mpfr_set_default_prec(2384); mpfr_init_set_str(r22218, "-1", 10, MPFR_RNDN); mpfr_init(r22219); mpfr_init(r22220); mpfr_init(r22221); mpfr_init(r22222); mpfr_init(r22223); mpfr_init(r22224); mpfr_init(r22225); mpfr_init(r22226); mpfr_init_set_str(r22227, "3", 10, MPFR_RNDN); mpfr_init(r22228); mpfr_init(r22229); mpfr_init_set_str(r22230, "-1.0000000000000089", 10, MPFR_RNDN); mpfr_init(r22231); mpfr_init(r22232); mpfr_init(r22233); mpfr_init(r22234); mpfr_init(r22235); mpfr_init(r22236); mpfr_init(r22237); mpfr_init_set_str(r22238, "-1.0", 10, MPFR_RNDN); mpfr_init(r22239); mpfr_init(r22240); mpfr_init(r22241); } double f_dm(double x, double y, double z) { ; mpfr_set_d(r22219, x, MPFR_RNDN); mpfr_set_d(r22220, y, MPFR_RNDN); mpfr_set_d(r22221, z, MPFR_RNDN); mpfr_fma(r22222, r22219, r22220, r22221, MPFR_RNDN); mpfr_mul(r22223, r22219, r22220, MPFR_RNDN); mpfr_sub(r22224, r22222, r22223, MPFR_RNDN); mpfr_sub(r22225, r22224, r22221, MPFR_RNDN); mpfr_add(r22226, r22218, r22225, MPFR_RNDN); ; mpfr_pow(r22228, r22226, r22227, MPFR_RNDN); mpfr_cbrt(r22229, r22228, MPFR_RNDN); ; mpfr_set_si(r22231, mpfr_cmp(r22229, r22230) <= 0, MPFR_RNDN); mpfr_mul(r22232, r22220, r22219, MPFR_RNDN); mpfr_sub(r22233, r22221, r22222, MPFR_RNDN); mpfr_add(r22234, r22232, r22233, MPFR_RNDN); mpfr_sub(r22235, r22218, r22234, MPFR_RNDN); mpfr_pow(r22236, r22235, r22227, MPFR_RNDN); mpfr_cbrt(r22237, r22236, MPFR_RNDN); ; mpfr_set_si(r22239, mpfr_cmp(r22229, r22238) <= 0, MPFR_RNDN); if (mpfr_get_si(r22239, MPFR_RNDN)) { mpfr_set(r22240, r22229, MPFR_RNDN); } else { mpfr_set(r22240, r22237, MPFR_RNDN); }; if (mpfr_get_si(r22231, MPFR_RNDN)) { mpfr_set(r22241, r22237, MPFR_RNDN); } else { mpfr_set(r22241, r22240, MPFR_RNDN); }; return mpfr_get_d(r22241, MPFR_RNDN); }