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