#include #include #include #include #include char *name = "Rosa's FloatVsDoubleBenchmark"; double f_if(float x1, float x2) { float r14932 = x1; float r14933 = 2.0f; float r14934 = r14933 * r14932; float r14935 = 3.0f; float r14936 = r14935 * r14932; float r14937 = r14936 * r14932; float r14938 = x2; float r14939 = r14933 * r14938; float r14940 = r14937 + r14939; float r14941 = r14940 - r14932; float r14942 = r14932 * r14932; float r14943 = 1.0f; float r14944 = r14942 + r14943; float r14945 = r14941 / r14944; float r14946 = r14934 * r14945; float r14947 = r14945 - r14935; float r14948 = r14946 * r14947; float r14949 = 4.0f; float r14950 = r14949 * r14945; float r14951 = 6.0f; float r14952 = r14950 - r14951; float r14953 = r14942 * r14952; float r14954 = r14948 + r14953; float r14955 = r14954 * r14944; float r14956 = r14937 * r14945; float r14957 = r14955 + r14956; float r14958 = r14942 * r14932; float r14959 = r14957 + r14958; float r14960 = r14959 + r14932; float r14961 = r14937 - r14939; float r14962 = r14961 - r14932; float r14963 = r14962 / r14944; float r14964 = r14935 * r14963; float r14965 = r14960 + r14964; float r14966 = r14932 + r14965; return r14966; } double f_id(double x1, double x2) { double r14967 = x1; double r14968 = 2.0; double r14969 = r14968 * r14967; double r14970 = 3.0; double r14971 = r14970 * r14967; double r14972 = r14971 * r14967; double r14973 = x2; double r14974 = r14968 * r14973; double r14975 = r14972 + r14974; double r14976 = r14975 - r14967; double r14977 = r14967 * r14967; double r14978 = 1.0; double r14979 = r14977 + r14978; double r14980 = r14976 / r14979; double r14981 = r14969 * r14980; double r14982 = r14980 - r14970; double r14983 = r14981 * r14982; double r14984 = 4.0; double r14985 = r14984 * r14980; double r14986 = 6.0; double r14987 = r14985 - r14986; double r14988 = r14977 * r14987; double r14989 = r14983 + r14988; double r14990 = r14989 * r14979; double r14991 = r14972 * r14980; double r14992 = r14990 + r14991; double r14993 = r14977 * r14967; double r14994 = r14992 + r14993; double r14995 = r14994 + r14967; double r14996 = r14972 - r14974; double r14997 = r14996 - r14967; double r14998 = r14997 / r14979; double r14999 = r14970 * r14998; double r15000 = r14995 + r14999; double r15001 = r14967 + r15000; return r15001; } double f_of(float x1, float x2) { float r15002 = 4.0f; float r15003 = x1; float r15004 = 1.0f; float r15005 = fma(r15003, r15003, r15004); float r15006 = r15002 / r15005; float r15007 = 3.0f; float r15008 = r15003 * r15007; float r15009 = x2; float r15010 = 2.0f; float r15011 = r15009 * r15010; float r15012 = r15011 - r15003; float r15013 = fma(r15008, r15003, r15012); float r15014 = r15006 * r15013; float r15015 = r15014 * r15014; float r15016 = 6.0f; float r15017 = r15016 * r15016; float r15018 = r15015 - r15017; float r15019 = r15003 * r15003; float r15020 = r15018 * r15019; float r15021 = pow(r15020, r15004); float r15022 = r15005 / r15010; float r15023 = r15022 / r15013; float r15024 = r15021 * r15023; float r15025 = r15014 + r15016; float r15026 = fma(r15008, r15003, r15011); float r15027 = r15026 / r15005; float r15028 = r15003 / r15005; float r15029 = r15007 + r15028; float r15030 = r15027 - r15029; float r15031 = r15030 * r15003; float r15032 = r15025 * r15031; float r15033 = r15024 + r15032; float r15034 = r15007 * r15003; float r15035 = fma(r15034, r15003, r15012); float r15036 = fma(r15006, r15035, r15016); float r15037 = r15035 / r15022; float r15038 = r15036 / r15037; float r15039 = r15033 / r15038; float r15040 = r15013 / r15005; float r15041 = r15003 * r15008; float r15042 = r15003 * (r15003 * r15003); float r15043 = fma(r15040, r15041, r15042); float r15044 = fma(r15039, r15005, r15043); float r15045 = r15003 + r15003; float r15046 = r15007 / r15005; float r15047 = fma(r15009, r15010, r15003); float r15048 = r15041 - r15047; float r15049 = r15046 * r15048; float r15050 = r15045 + r15049; float r15051 = r15044 + r15050; return r15051; } double f_od(double x1, double x2) { double r15052 = 4.0; double r15053 = x1; double r15054 = 1.0; double r15055 = fma(r15053, r15053, r15054); double r15056 = r15052 / r15055; double r15057 = 3.0; double r15058 = r15053 * r15057; double r15059 = x2; double r15060 = 2.0; double r15061 = r15059 * r15060; double r15062 = r15061 - r15053; double r15063 = fma(r15058, r15053, r15062); double r15064 = r15056 * r15063; double r15065 = r15064 * r15064; double r15066 = 6.0; double r15067 = r15066 * r15066; double r15068 = r15065 - r15067; double r15069 = r15053 * r15053; double r15070 = r15068 * r15069; double r15071 = pow(r15070, r15054); double r15072 = r15055 / r15060; double r15073 = r15072 / r15063; double r15074 = r15071 * r15073; double r15075 = r15064 + r15066; double r15076 = fma(r15058, r15053, r15061); double r15077 = r15076 / r15055; double r15078 = r15053 / r15055; double r15079 = r15057 + r15078; double r15080 = r15077 - r15079; double r15081 = r15080 * r15053; double r15082 = r15075 * r15081; double r15083 = r15074 + r15082; double r15084 = r15057 * r15053; double r15085 = fma(r15084, r15053, r15062); double r15086 = fma(r15056, r15085, r15066); double r15087 = r15085 / r15072; double r15088 = r15086 / r15087; double r15089 = r15083 / r15088; double r15090 = r15063 / r15055; double r15091 = r15053 * r15058; double r15092 = r15053 * (r15053 * r15053); double r15093 = fma(r15090, r15091, r15092); double r15094 = fma(r15089, r15055, r15093); double r15095 = r15053 + r15053; double r15096 = r15057 / r15055; double r15097 = fma(r15059, r15060, r15053); double r15098 = r15091 - r15097; double r15099 = r15096 * r15098; double r15100 = r15095 + r15099; double r15101 = r15094 + r15100; return r15101; } 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 r15102, r15103, r15104, r15105, r15106, r15107, r15108, r15109, r15110, r15111, r15112, r15113, r15114, r15115, r15116, r15117, r15118, r15119, r15120, r15121, r15122, r15123, r15124, r15125, r15126, r15127, r15128, r15129, r15130, r15131, r15132, r15133, r15134, r15135, r15136; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15102); mpfr_init_set_str(r15103, "2", 10, MPFR_RNDN); mpfr_init(r15104); mpfr_init_set_str(r15105, "3", 10, MPFR_RNDN); mpfr_init(r15106); mpfr_init(r15107); mpfr_init(r15108); mpfr_init(r15109); mpfr_init(r15110); mpfr_init(r15111); mpfr_init(r15112); mpfr_init_set_str(r15113, "1", 10, MPFR_RNDN); mpfr_init(r15114); mpfr_init(r15115); mpfr_init(r15116); mpfr_init(r15117); mpfr_init(r15118); mpfr_init_set_str(r15119, "4", 10, MPFR_RNDN); mpfr_init(r15120); mpfr_init_set_str(r15121, "6", 10, MPFR_RNDN); mpfr_init(r15122); mpfr_init(r15123); mpfr_init(r15124); mpfr_init(r15125); mpfr_init(r15126); mpfr_init(r15127); mpfr_init(r15128); mpfr_init(r15129); mpfr_init(r15130); mpfr_init(r15131); mpfr_init(r15132); mpfr_init(r15133); mpfr_init(r15134); mpfr_init(r15135); mpfr_init(r15136); } double f_im(double x1, double x2) { mpfr_set_d(r15102, x1, MPFR_RNDN); ; mpfr_mul(r15104, r15103, r15102, MPFR_RNDN); ; mpfr_mul(r15106, r15105, r15102, MPFR_RNDN); mpfr_mul(r15107, r15106, r15102, MPFR_RNDN); mpfr_set_d(r15108, x2, MPFR_RNDN); mpfr_mul(r15109, r15103, r15108, MPFR_RNDN); mpfr_add(r15110, r15107, r15109, MPFR_RNDN); mpfr_sub(r15111, r15110, r15102, MPFR_RNDN); mpfr_mul(r15112, r15102, r15102, MPFR_RNDN); ; mpfr_add(r15114, r15112, r15113, MPFR_RNDN); mpfr_div(r15115, r15111, r15114, MPFR_RNDN); mpfr_mul(r15116, r15104, r15115, MPFR_RNDN); mpfr_sub(r15117, r15115, r15105, MPFR_RNDN); mpfr_mul(r15118, r15116, r15117, MPFR_RNDN); ; mpfr_mul(r15120, r15119, r15115, MPFR_RNDN); ; mpfr_sub(r15122, r15120, r15121, MPFR_RNDN); mpfr_mul(r15123, r15112, r15122, MPFR_RNDN); mpfr_add(r15124, r15118, r15123, MPFR_RNDN); mpfr_mul(r15125, r15124, r15114, MPFR_RNDN); mpfr_mul(r15126, r15107, r15115, MPFR_RNDN); mpfr_add(r15127, r15125, r15126, MPFR_RNDN); mpfr_mul(r15128, r15112, r15102, MPFR_RNDN); mpfr_add(r15129, r15127, r15128, MPFR_RNDN); mpfr_add(r15130, r15129, r15102, MPFR_RNDN); mpfr_sub(r15131, r15107, r15109, MPFR_RNDN); mpfr_sub(r15132, r15131, r15102, MPFR_RNDN); mpfr_div(r15133, r15132, r15114, MPFR_RNDN); mpfr_mul(r15134, r15105, r15133, MPFR_RNDN); mpfr_add(r15135, r15130, r15134, MPFR_RNDN); mpfr_add(r15136, r15102, r15135, MPFR_RNDN); return mpfr_get_d(r15136, MPFR_RNDN); } static mpfr_t r15137, r15138, r15139, r15140, r15141, r15142, r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162, r15163, r15164, r15165, r15166, r15167, r15168, r15169, r15170, r15171, r15172, r15173, r15174, r15175, r15176, r15177, r15178, r15179, r15180, r15181, r15182, r15183, r15184, r15185, r15186; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r15137, "4", 10, MPFR_RNDN); mpfr_init(r15138); mpfr_init_set_str(r15139, "1", 10, MPFR_RNDN); mpfr_init(r15140); mpfr_init(r15141); mpfr_init_set_str(r15142, "3", 10, MPFR_RNDN); mpfr_init(r15143); mpfr_init(r15144); mpfr_init_set_str(r15145, "2", 10, MPFR_RNDN); mpfr_init(r15146); mpfr_init(r15147); mpfr_init(r15148); mpfr_init(r15149); mpfr_init(r15150); mpfr_init_set_str(r15151, "6", 10, MPFR_RNDN); mpfr_init(r15152); mpfr_init(r15153); mpfr_init(r15154); mpfr_init(r15155); mpfr_init(r15156); mpfr_init(r15157); mpfr_init(r15158); mpfr_init(r15159); mpfr_init(r15160); mpfr_init(r15161); mpfr_init(r15162); mpfr_init(r15163); mpfr_init(r15164); mpfr_init(r15165); mpfr_init(r15166); mpfr_init(r15167); mpfr_init(r15168); mpfr_init(r15169); mpfr_init(r15170); mpfr_init(r15171); mpfr_init(r15172); mpfr_init(r15173); mpfr_init(r15174); mpfr_init(r15175); mpfr_init(r15176); mpfr_init(r15177); mpfr_init(r15178); mpfr_init(r15179); mpfr_init(r15180); mpfr_init(r15181); mpfr_init(r15182); mpfr_init(r15183); mpfr_init(r15184); mpfr_init(r15185); mpfr_init(r15186); } double f_fm(double x1, double x2) { ; mpfr_set_d(r15138, x1, MPFR_RNDN); ; mpfr_fma(r15140, r15138, r15138, r15139, MPFR_RNDN); mpfr_div(r15141, r15137, r15140, MPFR_RNDN); ; mpfr_mul(r15143, r15138, r15142, MPFR_RNDN); mpfr_set_d(r15144, x2, MPFR_RNDN); ; mpfr_mul(r15146, r15144, r15145, MPFR_RNDN); mpfr_sub(r15147, r15146, r15138, MPFR_RNDN); mpfr_fma(r15148, r15143, r15138, r15147, MPFR_RNDN); mpfr_mul(r15149, r15141, r15148, MPFR_RNDN); mpfr_sqr(r15150, r15149, MPFR_RNDN); ; mpfr_sqr(r15152, r15151, MPFR_RNDN); mpfr_sub(r15153, r15150, r15152, MPFR_RNDN); mpfr_sqr(r15154, r15138, MPFR_RNDN); mpfr_mul(r15155, r15153, r15154, MPFR_RNDN); mpfr_pow(r15156, r15155, r15139, MPFR_RNDN); mpfr_div(r15157, r15140, r15145, MPFR_RNDN); mpfr_div(r15158, r15157, r15148, MPFR_RNDN); mpfr_mul(r15159, r15156, r15158, MPFR_RNDN); mpfr_add(r15160, r15149, r15151, MPFR_RNDN); mpfr_fma(r15161, r15143, r15138, r15146, MPFR_RNDN); mpfr_div(r15162, r15161, r15140, MPFR_RNDN); mpfr_div(r15163, r15138, r15140, MPFR_RNDN); mpfr_add(r15164, r15142, r15163, MPFR_RNDN); mpfr_sub(r15165, r15162, r15164, MPFR_RNDN); mpfr_mul(r15166, r15165, r15138, MPFR_RNDN); mpfr_mul(r15167, r15160, r15166, MPFR_RNDN); mpfr_add(r15168, r15159, r15167, MPFR_RNDN); mpfr_mul(r15169, r15142, r15138, MPFR_RNDN); mpfr_fma(r15170, r15169, r15138, r15147, MPFR_RNDN); mpfr_fma(r15171, r15141, r15170, r15151, MPFR_RNDN); mpfr_div(r15172, r15170, r15157, MPFR_RNDN); mpfr_div(r15173, r15171, r15172, MPFR_RNDN); mpfr_div(r15174, r15168, r15173, MPFR_RNDN); mpfr_div(r15175, r15148, r15140, MPFR_RNDN); mpfr_mul(r15176, r15138, r15143, MPFR_RNDN); mpfr_mul(r15177, r15138, r15138, MPFR_RNDN); mpfr_mul(r15177, r15177, r15138, MPFR_RNDN); mpfr_fma(r15178, r15175, r15176, r15177, MPFR_RNDN); mpfr_fma(r15179, r15174, r15140, r15178, MPFR_RNDN); mpfr_add(r15180, r15138, r15138, MPFR_RNDN); mpfr_div(r15181, r15142, r15140, MPFR_RNDN); mpfr_fma(r15182, r15144, r15145, r15138, MPFR_RNDN); mpfr_sub(r15183, r15176, r15182, MPFR_RNDN); mpfr_mul(r15184, r15181, r15183, MPFR_RNDN); mpfr_add(r15185, r15180, r15184, MPFR_RNDN); mpfr_add(r15186, r15179, r15185, MPFR_RNDN); return mpfr_get_d(r15186, MPFR_RNDN); } static mpfr_t r15187, r15188, r15189, r15190, r15191, r15192, r15193, r15194, r15195, r15196, r15197, r15198, r15199, r15200, r15201, r15202, r15203, r15204, r15205, r15206, r15207, r15208, r15209, r15210, r15211, r15212, r15213, r15214, r15215, r15216, r15217, r15218, r15219, r15220, r15221, r15222, r15223, r15224, r15225, r15226, r15227, r15228, r15229, r15230, r15231, r15232, r15233, r15234, r15235, r15236; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r15187, "4", 10, MPFR_RNDN); mpfr_init(r15188); mpfr_init_set_str(r15189, "1", 10, MPFR_RNDN); mpfr_init(r15190); mpfr_init(r15191); mpfr_init_set_str(r15192, "3", 10, MPFR_RNDN); mpfr_init(r15193); mpfr_init(r15194); mpfr_init_set_str(r15195, "2", 10, MPFR_RNDN); mpfr_init(r15196); mpfr_init(r15197); mpfr_init(r15198); mpfr_init(r15199); mpfr_init(r15200); mpfr_init_set_str(r15201, "6", 10, MPFR_RNDN); mpfr_init(r15202); mpfr_init(r15203); mpfr_init(r15204); mpfr_init(r15205); mpfr_init(r15206); mpfr_init(r15207); mpfr_init(r15208); mpfr_init(r15209); mpfr_init(r15210); mpfr_init(r15211); mpfr_init(r15212); mpfr_init(r15213); mpfr_init(r15214); mpfr_init(r15215); mpfr_init(r15216); mpfr_init(r15217); mpfr_init(r15218); mpfr_init(r15219); mpfr_init(r15220); mpfr_init(r15221); mpfr_init(r15222); mpfr_init(r15223); mpfr_init(r15224); mpfr_init(r15225); mpfr_init(r15226); mpfr_init(r15227); mpfr_init(r15228); mpfr_init(r15229); mpfr_init(r15230); mpfr_init(r15231); mpfr_init(r15232); mpfr_init(r15233); mpfr_init(r15234); mpfr_init(r15235); mpfr_init(r15236); } double f_dm(double x1, double x2) { ; mpfr_set_d(r15188, x1, MPFR_RNDN); ; mpfr_fma(r15190, r15188, r15188, r15189, MPFR_RNDN); mpfr_div(r15191, r15187, r15190, MPFR_RNDN); ; mpfr_mul(r15193, r15188, r15192, MPFR_RNDN); mpfr_set_d(r15194, x2, MPFR_RNDN); ; mpfr_mul(r15196, r15194, r15195, MPFR_RNDN); mpfr_sub(r15197, r15196, r15188, MPFR_RNDN); mpfr_fma(r15198, r15193, r15188, r15197, MPFR_RNDN); mpfr_mul(r15199, r15191, r15198, MPFR_RNDN); mpfr_sqr(r15200, r15199, MPFR_RNDN); ; mpfr_sqr(r15202, r15201, MPFR_RNDN); mpfr_sub(r15203, r15200, r15202, MPFR_RNDN); mpfr_sqr(r15204, r15188, MPFR_RNDN); mpfr_mul(r15205, r15203, r15204, MPFR_RNDN); mpfr_pow(r15206, r15205, r15189, MPFR_RNDN); mpfr_div(r15207, r15190, r15195, MPFR_RNDN); mpfr_div(r15208, r15207, r15198, MPFR_RNDN); mpfr_mul(r15209, r15206, r15208, MPFR_RNDN); mpfr_add(r15210, r15199, r15201, MPFR_RNDN); mpfr_fma(r15211, r15193, r15188, r15196, MPFR_RNDN); mpfr_div(r15212, r15211, r15190, MPFR_RNDN); mpfr_div(r15213, r15188, r15190, MPFR_RNDN); mpfr_add(r15214, r15192, r15213, MPFR_RNDN); mpfr_sub(r15215, r15212, r15214, MPFR_RNDN); mpfr_mul(r15216, r15215, r15188, MPFR_RNDN); mpfr_mul(r15217, r15210, r15216, MPFR_RNDN); mpfr_add(r15218, r15209, r15217, MPFR_RNDN); mpfr_mul(r15219, r15192, r15188, MPFR_RNDN); mpfr_fma(r15220, r15219, r15188, r15197, MPFR_RNDN); mpfr_fma(r15221, r15191, r15220, r15201, MPFR_RNDN); mpfr_div(r15222, r15220, r15207, MPFR_RNDN); mpfr_div(r15223, r15221, r15222, MPFR_RNDN); mpfr_div(r15224, r15218, r15223, MPFR_RNDN); mpfr_div(r15225, r15198, r15190, MPFR_RNDN); mpfr_mul(r15226, r15188, r15193, MPFR_RNDN); mpfr_mul(r15227, r15188, r15188, MPFR_RNDN); mpfr_mul(r15227, r15227, r15188, MPFR_RNDN); mpfr_fma(r15228, r15225, r15226, r15227, MPFR_RNDN); mpfr_fma(r15229, r15224, r15190, r15228, MPFR_RNDN); mpfr_add(r15230, r15188, r15188, MPFR_RNDN); mpfr_div(r15231, r15192, r15190, MPFR_RNDN); mpfr_fma(r15232, r15194, r15195, r15188, MPFR_RNDN); mpfr_sub(r15233, r15226, r15232, MPFR_RNDN); mpfr_mul(r15234, r15231, r15233, MPFR_RNDN); mpfr_add(r15235, r15230, r15234, MPFR_RNDN); mpfr_add(r15236, r15229, r15235, MPFR_RNDN); return mpfr_get_d(r15236, MPFR_RNDN); }