├── CODEOWNERS ├── Dockerfile ├── LICENSE ├── NOTICE ├── README.md ├── Release.md ├── benchmarks ├── NPB │ ├── Readme.txt │ ├── npb-config │ │ ├── NPB-base-O0 │ │ │ ├── BT │ │ │ │ ├── Makefile │ │ │ │ ├── add.c │ │ │ │ ├── adi.c │ │ │ │ ├── bt.c │ │ │ │ ├── error.c │ │ │ │ ├── exact_rhs.c │ │ │ │ ├── exact_solution.c │ │ │ │ ├── header.h │ │ │ │ ├── initialize.c │ │ │ │ ├── inputbt.data.sample │ │ │ │ ├── rhs.c │ │ │ │ ├── set_constants.c │ │ │ │ ├── solve_subs.c │ │ │ │ ├── verify.c │ │ │ │ ├── work_lhs.h │ │ │ │ ├── x_solve.c │ │ │ │ ├── y_solve.c │ │ │ │ └── z_solve.c │ │ │ ├── CG │ │ │ │ ├── Makefile │ │ │ │ ├── README.carefully │ │ │ │ ├── cg.c │ │ │ │ └── globals.h │ │ │ ├── EP │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ └── ep.c │ │ │ ├── FT │ │ │ │ ├── Makefile │ │ │ │ ├── appft.c │ │ │ │ ├── auxfnct.c │ │ │ │ ├── fft3d.c │ │ │ │ ├── global.h │ │ │ │ ├── mainft.c │ │ │ │ └── verify.c │ │ │ ├── IS │ │ │ │ ├── Makefile │ │ │ │ ├── README.carefully │ │ │ │ └── is.c │ │ │ ├── LU │ │ │ │ ├── Makefile │ │ │ │ ├── applu.incl │ │ │ │ ├── blts.c │ │ │ │ ├── buts.c │ │ │ │ ├── domain.c │ │ │ │ ├── erhs.c │ │ │ │ ├── error.c │ │ │ │ ├── exact.c │ │ │ │ ├── inputlu.data.sample │ │ │ │ ├── jacld.c │ │ │ │ ├── jacu.c │ │ │ │ ├── l2norm.c │ │ │ │ ├── lu.c │ │ │ │ ├── pintgr.c │ │ │ │ ├── read_input.c │ │ │ │ ├── rhs.c │ │ │ │ ├── setbv.c │ │ │ │ ├── setcoeff.c │ │ │ │ ├── setiv.c │ │ │ │ ├── ssor.c │ │ │ │ └── verify.c │ │ │ ├── MG │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ ├── globals.h │ │ │ │ ├── mg.c │ │ │ │ └── mg.input.sample │ │ │ ├── Makefile │ │ │ ├── SP │ │ │ │ ├── Makefile │ │ │ │ ├── add.c │ │ │ │ ├── adi.c │ │ │ │ ├── error.c │ │ │ │ ├── exact_rhs.c │ │ │ │ ├── exact_solution.c │ │ │ │ ├── header.h │ │ │ │ ├── initialize.c │ │ │ │ ├── inputsp.data.sample │ │ │ │ ├── ninvr.c │ │ │ │ ├── pinvr.c │ │ │ │ ├── rhs.c │ │ │ │ ├── set_constants.c │ │ │ │ ├── sp.c │ │ │ │ ├── txinvr.c │ │ │ │ ├── tzetar.c │ │ │ │ ├── verify.c │ │ │ │ ├── x_solve.c │ │ │ │ ├── y_solve.c │ │ │ │ └── z_solve.c │ │ │ ├── common │ │ │ │ ├── c_print_results.c │ │ │ │ ├── c_timers.c │ │ │ │ ├── print_results.c │ │ │ │ ├── print_results.h │ │ │ │ ├── randdp.c │ │ │ │ ├── randdp.h │ │ │ │ ├── timers.h │ │ │ │ ├── type.h │ │ │ │ ├── wtime.c │ │ │ │ ├── wtime.h │ │ │ │ └── wtime_sgi64.c │ │ │ ├── config │ │ │ │ ├── NAS.samples │ │ │ │ │ ├── README │ │ │ │ │ ├── make.def_crayx1 │ │ │ │ │ ├── make.def_gcc_x86 │ │ │ │ │ ├── make.def_ibm │ │ │ │ │ ├── make.def_ibm64 │ │ │ │ │ ├── make.def_intel │ │ │ │ │ ├── make.def_pgi │ │ │ │ │ ├── make.def_sgi │ │ │ │ │ ├── make.def_sgi64 │ │ │ │ │ ├── make.def_sun │ │ │ │ │ ├── make.def_sun64 │ │ │ │ │ ├── suite.def.bt │ │ │ │ │ ├── suite.def.cg │ │ │ │ │ ├── suite.def.ep │ │ │ │ │ ├── suite.def.ft │ │ │ │ │ ├── suite.def.is │ │ │ │ │ ├── suite.def.lu │ │ │ │ │ ├── suite.def.mg │ │ │ │ │ └── suite.def.sp │ │ │ │ ├── make.def │ │ │ │ ├── make.def.template │ │ │ │ ├── suite.def │ │ │ │ └── suite.def.template │ │ │ ├── run.sh │ │ │ ├── run.sh.rm │ │ │ └── sys │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ ├── make.common │ │ │ │ ├── print_header │ │ │ │ ├── print_instructions │ │ │ │ ├── setparams.c │ │ │ │ └── suite.awk │ │ ├── NPB-base-O3 │ │ │ ├── BT │ │ │ │ ├── Makefile │ │ │ │ ├── add.c │ │ │ │ ├── adi.c │ │ │ │ ├── bt.c │ │ │ │ ├── error.c │ │ │ │ ├── exact_rhs.c │ │ │ │ ├── exact_solution.c │ │ │ │ ├── header.h │ │ │ │ ├── initialize.c │ │ │ │ ├── inputbt.data.sample │ │ │ │ ├── rhs.c │ │ │ │ ├── set_constants.c │ │ │ │ ├── solve_subs.c │ │ │ │ ├── verify.c │ │ │ │ ├── work_lhs.h │ │ │ │ ├── x_solve.c │ │ │ │ ├── y_solve.c │ │ │ │ └── z_solve.c │ │ │ ├── CG │ │ │ │ ├── Makefile │ │ │ │ ├── README.carefully │ │ │ │ ├── cg.c │ │ │ │ └── globals.h │ │ │ ├── EP │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ └── ep.c │ │ │ ├── FT │ │ │ │ ├── Makefile │ │ │ │ ├── appft.c │ │ │ │ ├── auxfnct.c │ │ │ │ ├── fft3d.c │ │ │ │ ├── global.h │ │ │ │ ├── mainft.c │ │ │ │ └── verify.c │ │ │ ├── IS │ │ │ │ ├── Makefile │ │ │ │ ├── README.carefully │ │ │ │ └── is.c │ │ │ ├── LU │ │ │ │ ├── Makefile │ │ │ │ ├── applu.incl │ │ │ │ ├── blts.c │ │ │ │ ├── buts.c │ │ │ │ ├── domain.c │ │ │ │ ├── erhs.c │ │ │ │ ├── error.c │ │ │ │ ├── exact.c │ │ │ │ ├── inputlu.data.sample │ │ │ │ ├── jacld.c │ │ │ │ ├── jacu.c │ │ │ │ ├── l2norm.c │ │ │ │ ├── lu.c │ │ │ │ ├── pintgr.c │ │ │ │ ├── read_input.c │ │ │ │ ├── rhs.c │ │ │ │ ├── setbv.c │ │ │ │ ├── setcoeff.c │ │ │ │ ├── setiv.c │ │ │ │ ├── ssor.c │ │ │ │ └── verify.c │ │ │ ├── MG │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ ├── globals.h │ │ │ │ ├── mg.c │ │ │ │ └── mg.input.sample │ │ │ ├── Makefile │ │ │ ├── SP │ │ │ │ ├── Makefile │ │ │ │ ├── add.c │ │ │ │ ├── adi.c │ │ │ │ ├── error.c │ │ │ │ ├── exact_rhs.c │ │ │ │ ├── exact_solution.c │ │ │ │ ├── header.h │ │ │ │ ├── initialize.c │ │ │ │ ├── inputsp.data.sample │ │ │ │ ├── ninvr.c │ │ │ │ ├── pinvr.c │ │ │ │ ├── rhs.c │ │ │ │ ├── set_constants.c │ │ │ │ ├── sp.c │ │ │ │ ├── txinvr.c │ │ │ │ ├── tzetar.c │ │ │ │ ├── verify.c │ │ │ │ ├── x_solve.c │ │ │ │ ├── y_solve.c │ │ │ │ └── z_solve.c │ │ │ ├── common │ │ │ │ ├── c_print_results.c │ │ │ │ ├── c_timers.c │ │ │ │ ├── print_results.c │ │ │ │ ├── print_results.h │ │ │ │ ├── randdp.c │ │ │ │ ├── randdp.h │ │ │ │ ├── timers.h │ │ │ │ ├── type.h │ │ │ │ ├── wtime.c │ │ │ │ ├── wtime.h │ │ │ │ └── wtime_sgi64.c │ │ │ ├── config │ │ │ │ ├── NAS.samples │ │ │ │ │ ├── README │ │ │ │ │ ├── make.def_crayx1 │ │ │ │ │ ├── make.def_gcc_x86 │ │ │ │ │ ├── make.def_ibm │ │ │ │ │ ├── make.def_ibm64 │ │ │ │ │ ├── make.def_intel │ │ │ │ │ ├── make.def_pgi │ │ │ │ │ ├── make.def_sgi │ │ │ │ │ ├── make.def_sgi64 │ │ │ │ │ ├── make.def_sun │ │ │ │ │ ├── make.def_sun64 │ │ │ │ │ ├── suite.def.bt │ │ │ │ │ ├── suite.def.cg │ │ │ │ │ ├── suite.def.ep │ │ │ │ │ ├── suite.def.ft │ │ │ │ │ ├── suite.def.is │ │ │ │ │ ├── suite.def.lu │ │ │ │ │ ├── suite.def.mg │ │ │ │ │ └── suite.def.sp │ │ │ │ ├── make.def │ │ │ │ ├── make.def.template │ │ │ │ ├── suite.def │ │ │ │ └── suite.def.template │ │ │ ├── run.sh │ │ │ ├── run.sh.rm │ │ │ └── sys │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ ├── make.common │ │ │ │ ├── print_header │ │ │ │ ├── print_instructions │ │ │ │ ├── setparams.c │ │ │ │ └── suite.awk │ │ ├── clean.sh │ │ ├── result.sh │ │ └── setup.sh │ └── npb-debug │ │ ├── BT │ │ ├── Makefile │ │ ├── add.c │ │ ├── adi.c │ │ ├── bt.c │ │ ├── error.c │ │ ├── exact_rhs.c │ │ ├── exact_solution.c │ │ ├── header.h │ │ ├── initialize.c │ │ ├── inputbt.data.sample │ │ ├── rhs.c │ │ ├── set_constants.c │ │ ├── solve_subs.c │ │ ├── verify.c │ │ ├── work_lhs.h │ │ ├── x_solve.c │ │ ├── y_solve.c │ │ └── z_solve.c │ │ ├── CG.B │ │ ├── Makefile │ │ ├── README.carefully │ │ ├── cg-log.txt │ │ ├── cg-regions.json │ │ ├── cg.c │ │ ├── cg.c.ori │ │ ├── cg.c.ori.ori │ │ ├── cg.o │ │ ├── cg_trans.c │ │ ├── func-list.json │ │ ├── globals.h │ │ ├── nohup.out │ │ ├── npbparams.h │ │ ├── pLiner-input.json │ │ ├── pLiner-sparse │ │ ├── pLiner-sparse-lines │ │ ├── run.sh │ │ ├── runcmd.txt │ │ └── runlog.txt │ │ ├── CG │ │ ├── Makefile │ │ ├── README.carefully │ │ ├── cg.c │ │ └── globals.h │ │ ├── EP │ │ ├── Makefile │ │ ├── README │ │ └── ep.c │ │ ├── FT │ │ ├── Makefile │ │ ├── appft.c │ │ ├── auxfnct.c │ │ ├── fft3d.c │ │ ├── global.h │ │ ├── mainft.c │ │ └── verify.c │ │ ├── IS │ │ ├── Makefile │ │ ├── README.carefully │ │ └── is.c │ │ ├── LU │ │ ├── Makefile │ │ ├── applu.incl │ │ ├── blts.c │ │ ├── buts.c │ │ ├── domain.c │ │ ├── erhs.c │ │ ├── error.c │ │ ├── exact.c │ │ ├── inputlu.data.sample │ │ ├── jacld.c │ │ ├── jacu.c │ │ ├── l2norm.c │ │ ├── lu.c │ │ ├── pintgr.c │ │ ├── read_input.c │ │ ├── rhs.c │ │ ├── setbv.c │ │ ├── setcoeff.c │ │ ├── setiv.c │ │ ├── ssor.c │ │ └── verify.c │ │ ├── MG │ │ ├── Makefile │ │ ├── README │ │ ├── globals.h │ │ ├── mg.c │ │ └── mg.input.sample │ │ ├── Makefile │ │ ├── README.md │ │ ├── SP.A │ │ ├── Makefile │ │ ├── add-regions.json │ │ ├── add.c │ │ ├── add.c.ori │ │ ├── add.o │ │ ├── add_trans.c │ │ ├── adi-regions.json │ │ ├── adi.c │ │ ├── adi.c.ori │ │ ├── adi.o │ │ ├── adi_trans.c │ │ ├── error.c │ │ ├── error.c.ori │ │ ├── error.o │ │ ├── exact_rhs-regions.json │ │ ├── exact_rhs.c │ │ ├── exact_rhs.c.ori │ │ ├── exact_rhs.o │ │ ├── exact_rhs_trans.c │ │ ├── exact_solution-regions.json │ │ ├── exact_solution.c │ │ ├── exact_solution.c.ori │ │ ├── exact_solution.o │ │ ├── exact_solution_trans.c │ │ ├── func-list.json │ │ ├── header.h │ │ ├── initialize.c │ │ ├── initialize.c.ori │ │ ├── initialize.o │ │ ├── inputsp.data.sample │ │ ├── mine.csv │ │ ├── ninvr-log.txt │ │ ├── ninvr-regions.json │ │ ├── ninvr.c │ │ ├── ninvr.c.ori │ │ ├── ninvr.o │ │ ├── ninvr_trans.c │ │ ├── nohup.out │ │ ├── npbparams.h │ │ ├── pLiner-input.json │ │ ├── pLiner-ninvr │ │ ├── pLiner-ninvr-lines │ │ ├── pinvr-regions.json │ │ ├── pinvr.c │ │ ├── pinvr.c.ori │ │ ├── pinvr.o │ │ ├── pinvr_trans.c │ │ ├── plog.txt │ │ ├── rhs-regions.json │ │ ├── rhs.c │ │ ├── rhs.c.ori │ │ ├── rhs.o │ │ ├── rhs_trans.c │ │ ├── run.sh │ │ ├── runcmd.txt │ │ ├── runlog.txt │ │ ├── set_constants.c │ │ ├── set_constants.c.ori │ │ ├── set_constants.o │ │ ├── sp-regions.json │ │ ├── sp.c │ │ ├── sp.c.ori │ │ ├── sp.o │ │ ├── sp_trans.c │ │ ├── txinvr-regions.json │ │ ├── txinvr.c │ │ ├── txinvr.c.ori │ │ ├── txinvr.o │ │ ├── txinvr_trans.c │ │ ├── tzetar-regions.json │ │ ├── tzetar.c │ │ ├── tzetar.c.ori │ │ ├── tzetar.o │ │ ├── tzetar_trans.c │ │ ├── verify.c │ │ ├── verify.c.ori │ │ ├── verify.o │ │ ├── x_solve-regions.json │ │ ├── x_solve.c │ │ ├── x_solve.c.ori │ │ ├── x_solve.o │ │ ├── x_solve_trans.c │ │ ├── y_solve-regions.json │ │ ├── y_solve.c │ │ ├── y_solve.c.ori │ │ ├── y_solve.o │ │ ├── y_solve_trans.c │ │ ├── z_solve-regions.json │ │ ├── z_solve.c │ │ ├── z_solve.c.ori │ │ ├── z_solve.o │ │ └── z_solve_trans.c │ │ ├── SP.B │ │ ├── Makefile │ │ ├── add-regions.json │ │ ├── add.c │ │ ├── add.c.ori │ │ ├── add.o │ │ ├── add_trans.c │ │ ├── adi-regions.json │ │ ├── adi.c │ │ ├── adi.c.ori │ │ ├── adi.o │ │ ├── adi_trans.c │ │ ├── error.c │ │ ├── error.c.ori │ │ ├── error.o │ │ ├── exact_rhs-regions.json │ │ ├── exact_rhs.c │ │ ├── exact_rhs.c.ori │ │ ├── exact_rhs.o │ │ ├── exact_rhs_trans.c │ │ ├── exact_solution-log.txt │ │ ├── exact_solution-regions.json │ │ ├── exact_solution.c │ │ ├── exact_solution.c.ori │ │ ├── exact_solution.o │ │ ├── exact_solution_trans.c │ │ ├── func-list.json │ │ ├── header.h │ │ ├── initialize.c │ │ ├── initialize.c.ori │ │ ├── initialize.o │ │ ├── inputsp.data.sample │ │ ├── mine.csv │ │ ├── ninvr-log.txt │ │ ├── ninvr-regions.json │ │ ├── ninvr.c │ │ ├── ninvr.c.ori │ │ ├── ninvr.o │ │ ├── ninvr_trans.c │ │ ├── nohup.out │ │ ├── npbparams.h │ │ ├── pLiner-exact_solution │ │ ├── pLiner-exact_solution-lines │ │ ├── pLiner-input.json │ │ ├── pLiner-ninvr │ │ ├── pLiner-ninvr-lines │ │ ├── pinvr-regions.json │ │ ├── pinvr.c │ │ ├── pinvr.c.ori │ │ ├── pinvr.o │ │ ├── pinvr_trans.c │ │ ├── plog.txt │ │ ├── rhs-regions.json │ │ ├── rhs.c │ │ ├── rhs.c.ori │ │ ├── rhs.o │ │ ├── rhs_trans.c │ │ ├── run.sh │ │ ├── runcmd.txt │ │ ├── runlog.txt │ │ ├── set_constants.c │ │ ├── set_constants.c.ori │ │ ├── set_constants.o │ │ ├── sp-regions.json │ │ ├── sp.c │ │ ├── sp.c.ori │ │ ├── sp.o │ │ ├── sp_trans.c │ │ ├── txinvr-regions.json │ │ ├── txinvr.c │ │ ├── txinvr.c.ori │ │ ├── txinvr.o │ │ ├── txinvr_trans.c │ │ ├── tzetar-regions.json │ │ ├── tzetar.c │ │ ├── tzetar.c.ori │ │ ├── tzetar.o │ │ ├── tzetar_trans.c │ │ ├── verify.c │ │ ├── verify.c.ori │ │ ├── verify.o │ │ ├── x_solve-regions.json │ │ ├── x_solve.c │ │ ├── x_solve.c.ori │ │ ├── x_solve.o │ │ ├── x_solve_trans.c │ │ ├── y_solve-regions.json │ │ ├── y_solve.c │ │ ├── y_solve.c.ori │ │ ├── y_solve.o │ │ ├── y_solve_trans.c │ │ ├── z_solve-regions.json │ │ ├── z_solve.c │ │ ├── z_solve.c.ori │ │ ├── z_solve.o │ │ └── z_solve_trans.c │ │ ├── SP │ │ ├── Makefile │ │ ├── add.c │ │ ├── adi.c │ │ ├── error.c │ │ ├── exact_rhs.c │ │ ├── exact_solution.c │ │ ├── header.h │ │ ├── initialize.c │ │ ├── inputsp.data.sample │ │ ├── loc.txt │ │ ├── ninvr.c │ │ ├── pinvr.c │ │ ├── rhs.c │ │ ├── set_constants.c │ │ ├── sp.c │ │ ├── txinvr.c │ │ ├── tzetar.c │ │ ├── verify.c │ │ ├── x_solve.c │ │ ├── y_solve.c │ │ └── z_solve.c │ │ ├── bin │ │ └── cg.B.x │ │ ├── common │ │ ├── c_print_results.c │ │ ├── c_timers.c │ │ ├── c_timers.o │ │ ├── print_results.c │ │ ├── print_results.h │ │ ├── print_results.o │ │ ├── randdp.c │ │ ├── randdp.h │ │ ├── randdp.o │ │ ├── timers.h │ │ ├── type.h │ │ ├── wtime.c │ │ ├── wtime.h │ │ ├── wtime.o │ │ └── wtime_sgi64.c │ │ ├── compare_npb_programs.py │ │ ├── config │ │ ├── NAS.samples │ │ │ ├── README │ │ │ ├── make.def_crayx1 │ │ │ ├── make.def_gcc_x86 │ │ │ ├── make.def_ibm │ │ │ ├── make.def_ibm64 │ │ │ ├── make.def_intel │ │ │ ├── make.def_pgi │ │ │ ├── make.def_sgi │ │ │ ├── make.def_sgi64 │ │ │ ├── make.def_sun │ │ │ ├── make.def_sun64 │ │ │ ├── suite.def.bt │ │ │ ├── suite.def.cg │ │ │ ├── suite.def.ep │ │ │ ├── suite.def.ft │ │ │ ├── suite.def.is │ │ │ ├── suite.def.lu │ │ │ ├── suite.def.mg │ │ │ └── suite.def.sp │ │ ├── make.def │ │ ├── make.def.template │ │ ├── suite.def │ │ └── suite.def.template │ │ ├── run.sh │ │ ├── run_npb_programs.py │ │ └── sys │ │ ├── Makefile │ │ ├── README │ │ ├── make.common │ │ ├── print_header │ │ ├── print_instructions │ │ ├── setparams │ │ ├── setparams.c │ │ └── suite.awk └── Varity │ ├── README.md │ ├── Varity-intel │ ├── Makefile │ ├── cmp.sh │ ├── compare_varity_results.py │ ├── exclude.json │ ├── reference │ │ ├── Makefile │ │ ├── cmp.sh │ │ ├── herbgrind-plog.json │ │ ├── herbgrind.sh │ │ ├── pLiner-plog.json │ │ ├── perf.py │ │ ├── perf.sh │ │ ├── performance.txt │ │ ├── run.sh │ │ ├── test_1-log.txt │ │ ├── test_1-regions.json │ │ ├── test_1.c │ │ ├── test_10-log.txt │ │ ├── test_10-regions.json │ │ ├── test_10.c │ │ ├── test_10_O0.gh │ │ ├── test_10_trans.c │ │ ├── test_11-log.txt │ │ ├── test_11-regions.json │ │ ├── test_11.c │ │ ├── test_11_O0.gh │ │ ├── test_11_O3.gh │ │ ├── test_11_trans.c │ │ ├── test_12-log.txt │ │ ├── test_12-regions.json │ │ ├── test_12.c │ │ ├── test_12_O0.gh │ │ ├── test_12_O3.gh │ │ ├── test_12_debug.c │ │ ├── test_12_her.c │ │ ├── test_12_trans_whole.c │ │ ├── test_13-log.txt │ │ ├── test_13-regions.json │ │ ├── test_13.c │ │ ├── test_13_O0.gh │ │ ├── test_13_O3.gh │ │ ├── test_13_trans.c │ │ ├── test_14-log.txt │ │ ├── test_14-regions.json │ │ ├── test_14.c │ │ ├── test_14_O0.gh │ │ ├── test_14_O3.gh │ │ ├── test_14_trans.c │ │ ├── test_15-log.txt │ │ ├── test_15-regions.json │ │ ├── test_15.c │ │ ├── test_15_O0.gh │ │ ├── test_15_O3.gh │ │ ├── test_15_trans_whole.c │ │ ├── test_16-log.txt │ │ ├── test_16-regions.json │ │ ├── test_16.c │ │ ├── test_16_O0.gh │ │ ├── test_16_O3.gh │ │ ├── test_16_trans.c │ │ ├── test_17-log.txt │ │ ├── test_17-regions.json │ │ ├── test_17.c │ │ ├── test_17_O0.gh │ │ ├── test_17_O3.gh │ │ ├── test_17_trans.c │ │ ├── test_18-log.txt │ │ ├── test_18-regions.json │ │ ├── test_18.c │ │ ├── test_18_O0.gh │ │ ├── test_18_O3.gh │ │ ├── test_18_trans.c │ │ ├── test_19-log.txt │ │ ├── test_19-regions.json │ │ ├── test_19.c │ │ ├── test_19_O0.gh │ │ ├── test_19_O3.gh │ │ ├── test_19_trans.c │ │ ├── test_1_O0.gh │ │ ├── test_1_O3.gh │ │ ├── test_1_trans.c │ │ ├── test_2-log.txt │ │ ├── test_2-regions.json │ │ ├── test_2.c │ │ ├── test_20-log.txt │ │ ├── test_20-regions.json │ │ ├── test_20.c │ │ ├── test_20_O0.gh │ │ ├── test_20_O3.gh │ │ ├── test_20_trans.c │ │ ├── test_21-log.txt │ │ ├── test_21-regions.json │ │ ├── test_21.c │ │ ├── test_21_O0.gh │ │ ├── test_21_trans.c │ │ ├── test_22-log.txt │ │ ├── test_22-regions.json │ │ ├── test_22.c │ │ ├── test_22_O0.gh │ │ ├── test_22_trans.c │ │ ├── test_23-log.txt │ │ ├── test_23-regions.json │ │ ├── test_23.c │ │ ├── test_23_O0.gh │ │ ├── test_23_O3.gh │ │ ├── test_23_trans.c │ │ ├── test_24-log.txt │ │ ├── test_24-regions.json │ │ ├── test_24.c │ │ ├── test_24_O0.gh │ │ ├── test_24_O3.gh │ │ ├── test_24_trans.c │ │ ├── test_25-log.txt │ │ ├── test_25-regions.json │ │ ├── test_25.c │ │ ├── test_25_O0.gh │ │ ├── test_25_O3.gh │ │ ├── test_25_trans.c │ │ ├── test_26-log.txt │ │ ├── test_26-regions.json │ │ ├── test_26.c │ │ ├── test_26_O0.gh │ │ ├── test_26_O3.gh │ │ ├── test_26_trans.c │ │ ├── test_27-log.txt │ │ ├── test_27-regions.json │ │ ├── test_27.c │ │ ├── test_27_O0.gh │ │ ├── test_27_O3.gh │ │ ├── test_27_trans.c │ │ ├── test_28-log.txt │ │ ├── test_28-regions.json │ │ ├── test_28.c │ │ ├── test_28_O0.gh │ │ ├── test_28_O3.gh │ │ ├── test_28_trans.c │ │ ├── test_29-log.txt │ │ ├── test_29-regions.json │ │ ├── test_29.c │ │ ├── test_29_O0.gh │ │ ├── test_29_trans.c │ │ ├── test_2_O0.gh │ │ ├── test_2_O3.gh │ │ ├── test_2_her.c │ │ ├── test_2_trans.c │ │ ├── test_3-log.txt │ │ ├── test_3-regions.json │ │ ├── test_3.c │ │ ├── test_30-log.txt │ │ ├── test_30-regions.json │ │ ├── test_30.c │ │ ├── test_30_O0.gh │ │ ├── test_30_O3.gh │ │ ├── test_30_trans.c │ │ ├── test_31-log.txt │ │ ├── test_31-regions.json │ │ ├── test_31.c │ │ ├── test_31_O0.gh │ │ ├── test_31_O3.gh │ │ ├── test_31_trans.c │ │ ├── test_32-log.txt │ │ ├── test_32-regions.json │ │ ├── test_32.c │ │ ├── test_32_O0.gh │ │ ├── test_32_debug.c │ │ ├── test_32_trans_whole.c │ │ ├── test_33-log.txt │ │ ├── test_33-regions.json │ │ ├── test_33.c │ │ ├── test_33_O0.gh │ │ ├── test_33_O3.gh │ │ ├── test_33_trans.c │ │ ├── test_34-log.txt │ │ ├── test_34-regions.json │ │ ├── test_34.c │ │ ├── test_34_O0.gh │ │ ├── test_34_O3.gh │ │ ├── test_34_trans.c │ │ ├── test_34_trans_whole.c │ │ ├── test_35-log.txt │ │ ├── test_35-regions.json │ │ ├── test_35.c │ │ ├── test_35_O0.gh │ │ ├── test_35_O3.gh │ │ ├── test_35_trans.c │ │ ├── test_36-log.txt │ │ ├── test_36-regions.json │ │ ├── test_36.c │ │ ├── test_36_O0.gh │ │ ├── test_36_O3.gh │ │ ├── test_36_trans.c │ │ ├── test_37-log.txt │ │ ├── test_37-regions.json │ │ ├── test_37.c │ │ ├── test_37_O0.gh │ │ ├── test_37_O3.gh │ │ ├── test_37_trans.c │ │ ├── test_38-log.txt │ │ ├── test_38-regions.json │ │ ├── test_38.c │ │ ├── test_38_O0.gh │ │ ├── test_38_trans.c │ │ ├── test_39-log.txt │ │ ├── test_39-regions.json │ │ ├── test_39.c │ │ ├── test_39_O0.gh │ │ ├── test_39_O3.gh │ │ ├── test_39_trans.c │ │ ├── test_3_O0.gh │ │ ├── test_3_O3.gh │ │ ├── test_3_trans.c │ │ ├── test_4-log.txt │ │ ├── test_4-regions.json │ │ ├── test_4.c │ │ ├── test_40-log.txt │ │ ├── test_40-regions.json │ │ ├── test_40.c │ │ ├── test_40_O0.gh │ │ ├── test_40_O3.gh │ │ ├── test_40_trans.c │ │ ├── test_41-log.txt │ │ ├── test_41-regions.json │ │ ├── test_41.c │ │ ├── test_41_O0.gh │ │ ├── test_41_trans_whole.c │ │ ├── test_42-log.txt │ │ ├── test_42-regions.json │ │ ├── test_42.c │ │ ├── test_42_O0.gh │ │ ├── test_42_O3.gh │ │ ├── test_42_trans.c │ │ ├── test_43-log.txt │ │ ├── test_43-regions.json │ │ ├── test_43.c │ │ ├── test_43_O0.gh │ │ ├── test_43_O3.gh │ │ ├── test_43_trans.c │ │ ├── test_44-log.txt │ │ ├── test_44-regions.json │ │ ├── test_44.c │ │ ├── test_44_O0.gh │ │ ├── test_44_O3.gh │ │ ├── test_44_trans.c │ │ ├── test_45-log.txt │ │ ├── test_45-regions.json │ │ ├── test_45.c │ │ ├── test_45_O0.gh │ │ ├── test_45_O3.gh │ │ ├── test_45_trans.c │ │ ├── test_46-log.txt │ │ ├── test_46-regions.json │ │ ├── test_46.c │ │ ├── test_46_O0.gh │ │ ├── test_46_O3.gh │ │ ├── test_46_debug.c │ │ ├── test_46_trans_whole.c │ │ ├── test_47-log.txt │ │ ├── test_47-regions.json │ │ ├── test_47.c │ │ ├── test_47_O0.gh │ │ ├── test_47_O3.gh │ │ ├── test_47_debug.c │ │ ├── test_47_trans_whole.c │ │ ├── test_48-log.txt │ │ ├── test_48-regions.json │ │ ├── test_48.c │ │ ├── test_48_O0.gh │ │ ├── test_48_O3.gh │ │ ├── test_48_trans.c │ │ ├── test_48_trans_whole.c │ │ ├── test_49-log.txt │ │ ├── test_49-regions.json │ │ ├── test_49.c │ │ ├── test_49_O0.gh │ │ ├── test_49_O3.gh │ │ ├── test_49_trans.c │ │ ├── test_4_O0.gh │ │ ├── test_4_O3.gh │ │ ├── test_4_trans.c │ │ ├── test_5-log.txt │ │ ├── test_5-regions.json │ │ ├── test_5.c │ │ ├── test_50-log.txt │ │ ├── test_50-regions.json │ │ ├── test_50.c │ │ ├── test_50_O0.gh │ │ ├── test_50_O3.gh │ │ ├── test_50_trans.c │ │ ├── test_5_O0.gh │ │ ├── test_5_O3.gh │ │ ├── test_5_trans.c │ │ ├── test_6-log.txt │ │ ├── test_6-regions.json │ │ ├── test_6.c │ │ ├── test_6_O0.gh │ │ ├── test_6_O3.gh │ │ ├── test_6_trans.c │ │ ├── test_7-log.txt │ │ ├── test_7-regions.json │ │ ├── test_7.c │ │ ├── test_7_O0.gh │ │ ├── test_7_O3.gh │ │ ├── test_7_trans.c │ │ ├── test_8-log.txt │ │ ├── test_8-regions.json │ │ ├── test_8.c │ │ ├── test_8_O0.gh │ │ ├── test_8_O3.gh │ │ ├── test_8_trans.c │ │ ├── test_9-log.txt │ │ ├── test_9-regions.json │ │ ├── test_9.c │ │ ├── test_9_O0.gh │ │ ├── test_9_O3.gh │ │ ├── test_9_trans.c │ │ ├── tmp │ │ ├── tmptmp │ │ ├── tmp} │ │ ├── tool.sh │ │ ├── varity-results.txt │ │ ├── varity-results.txt.bck │ │ └── verrou.sh │ ├── run.sh │ ├── run_varity_programs.py │ ├── test_1.c │ ├── test_10.c │ ├── test_11.c │ ├── test_12.c │ ├── test_13.c │ ├── test_14.c │ ├── test_15.c │ ├── test_16.c │ ├── test_17.c │ ├── test_18.c │ ├── test_19.c │ ├── test_2.c │ ├── test_20.c │ ├── test_21.c │ ├── test_22.c │ ├── test_23.c │ ├── test_24.c │ ├── test_25.c │ ├── test_26.c │ ├── test_27.c │ ├── test_28.c │ ├── test_29.c │ ├── test_3.c │ ├── test_30.c │ ├── test_31.c │ ├── test_32.c │ ├── test_33.c │ ├── test_34.c │ ├── test_35.c │ ├── test_36.c │ ├── test_37.c │ ├── test_38.c │ ├── test_39.c │ ├── test_4.c │ ├── test_40.c │ ├── test_41.c │ ├── test_42.c │ ├── test_43.c │ ├── test_44.c │ ├── test_45.c │ ├── test_46.c │ ├── test_47.c │ ├── test_48.c │ ├── test_49.c │ ├── test_5.c │ ├── test_50.c │ ├── test_6.c │ ├── test_7.c │ ├── test_8.c │ └── test_9.c │ └── Varity-power8 │ ├── Makefile │ ├── cmp.sh │ ├── reference │ ├── Makefile │ ├── cmp.sh │ ├── run.sh │ ├── test_1-log.txt │ ├── test_1.c │ ├── test_10-log.txt │ ├── test_10.c │ ├── test_10_trans.c │ ├── test_11-log.txt │ ├── test_11.c │ ├── test_11_trans.c │ ├── test_12-log.txt │ ├── test_12.c │ ├── test_12_minimal.c │ ├── test_12_trans_whole.c │ ├── test_13-log.txt │ ├── test_13.c │ ├── test_13_minimal.c │ ├── test_13_trans_whole.c │ ├── test_14-log.txt │ ├── test_14.c │ ├── test_14_trans.c │ ├── test_15-log.txt │ ├── test_15.c │ ├── test_15_trans.c │ ├── test_16-log.txt │ ├── test_16.c │ ├── test_16_trans.c │ ├── test_17-log.txt │ ├── test_17.c │ ├── test_17_trans.c │ ├── test_18-log.txt │ ├── test_18.c │ ├── test_18_trans.c │ ├── test_19-log.txt │ ├── test_19.c │ ├── test_19_trans.c │ ├── test_1_trans.c │ ├── test_2-log.txt │ ├── test_2.c │ ├── test_20-log.txt │ ├── test_20.c │ ├── test_20_trans.c │ ├── test_21-log.txt │ ├── test_21.c │ ├── test_21_trans.c │ ├── test_22-log.txt │ ├── test_22.c │ ├── test_22_trans.c │ ├── test_23-log.txt │ ├── test_23.c │ ├── test_23_trans.c │ ├── test_24-log.txt │ ├── test_24.c │ ├── test_24_trans.c │ ├── test_25-log.txt │ ├── test_25.c │ ├── test_25_trans.c │ ├── test_26-log.txt │ ├── test_26.c │ ├── test_26_trans.c │ ├── test_27-log.txt │ ├── test_27.c │ ├── test_27_minimal.c │ ├── test_27_trans_whole.c │ ├── test_28-log.txt │ ├── test_28.c │ ├── test_28_debug.c │ ├── test_28_trans.c │ ├── test_29-log.txt │ ├── test_29.c │ ├── test_29_trans.c │ ├── test_2_trans.c │ ├── test_3-log.txt │ ├── test_3.c │ ├── test_30-log.txt │ ├── test_30.c │ ├── test_30_trans.c │ ├── test_31-log.txt │ ├── test_31.c │ ├── test_31_trans.c │ ├── test_32-log.txt │ ├── test_32.c │ ├── test_32_trans.c │ ├── test_33-log.txt │ ├── test_33.c │ ├── test_33_trans.c │ ├── test_34-log.txt │ ├── test_34.c │ ├── test_34_trans.c │ ├── test_35-log.txt │ ├── test_35.c │ ├── test_35_trans.c │ ├── test_36-log.txt │ ├── test_36.c │ ├── test_36_debug.c │ ├── test_36_trans_whole.c │ ├── test_37-log.txt │ ├── test_37.c │ ├── test_37_debug.c │ ├── test_37_trans_whole.c │ ├── test_38-log.txt │ ├── test_38.c │ ├── test_38_trans.c │ ├── test_38_trans_whole.c │ ├── test_39-log.txt │ ├── test_39.c │ ├── test_39_debug.c │ ├── test_39_minimal_invalid.c │ ├── test_39_trans_whole.c │ ├── test_3_debug.c │ ├── test_3_minimal.c │ ├── test_3_minimal_O0.dump │ ├── test_3_minimal_O3.dump │ ├── test_3_minimal_test.c │ ├── test_3_trans_whole.c │ ├── test_4-log.txt │ ├── test_4.c │ ├── test_40-log.txt │ ├── test_40.c │ ├── test_40_trans.c │ ├── test_41-log.txt │ ├── test_41.c │ ├── test_41_trans.c │ ├── test_42-log.txt │ ├── test_42.c │ ├── test_42_trans.c │ ├── test_43-log.txt │ ├── test_43.c │ ├── test_43_trans.c │ ├── test_44-log.txt │ ├── test_44.c │ ├── test_44_trans.c │ ├── test_45-log.txt │ ├── test_45.c │ ├── test_45_debug.c │ ├── test_45_trans.c │ ├── test_45_trans_whole.c │ ├── test_46-log.txt │ ├── test_46.c │ ├── test_46_trans.c │ ├── test_47-log.txt │ ├── test_47.c │ ├── test_47_trans.c │ ├── test_48-log.txt │ ├── test_48.c │ ├── test_48_trans.c │ ├── test_49-log.txt │ ├── test_49.c │ ├── test_49_trans.c │ ├── test_4_minimal.c │ ├── test_4_trans_whole.c │ ├── test_5-log.txt │ ├── test_5.c │ ├── test_50-log.txt │ ├── test_50.c │ ├── test_50_trans.c │ ├── test_51-log.txt │ ├── test_51.c │ ├── test_51_debug.c │ ├── test_51_minimal.c │ ├── test_51_trans_whole.c │ ├── test_52-log.txt │ ├── test_52.c │ ├── test_52_debug.c │ ├── test_52_trans_whole.c │ ├── test_53-log.txt │ ├── test_53.c │ ├── test_53_trans.c │ ├── test_5_minimal.c │ ├── test_5_trans_whole.c │ ├── test_6-log.txt │ ├── test_6.c │ ├── test_6_trans.c │ ├── test_7-log.txt │ ├── test_7.c │ ├── test_7_trans.c │ ├── test_8-log.txt │ ├── test_8.c │ ├── test_8_trans.c │ ├── test_9-log.txt │ ├── test_9.c │ └── test_9_trans.c │ ├── run.sh │ ├── test_1.c │ ├── test_10.c │ ├── test_11.c │ ├── test_12.c │ ├── test_13.c │ ├── test_14.c │ ├── test_15.c │ ├── test_16.c │ ├── test_17.c │ ├── test_18.c │ ├── test_19.c │ ├── test_2.c │ ├── test_20.c │ ├── test_21.c │ ├── test_22.c │ ├── test_23.c │ ├── test_24.c │ ├── test_25.c │ ├── test_26.c │ ├── test_27.c │ ├── test_28.c │ ├── test_29.c │ ├── test_3.c │ ├── test_30.c │ ├── test_31.c │ ├── test_32.c │ ├── test_33.c │ ├── test_34.c │ ├── test_35.c │ ├── test_36.c │ ├── test_37.c │ ├── test_38.c │ ├── test_39.c │ ├── test_4.c │ ├── test_40.c │ ├── test_41.c │ ├── test_42.c │ ├── test_43.c │ ├── test_44.c │ ├── test_45.c │ ├── test_46.c │ ├── test_47.c │ ├── test_48.c │ ├── test_49.c │ ├── test_5.c │ ├── test_50.c │ ├── test_51.c │ ├── test_52.c │ ├── test_53.c │ ├── test_6.c │ ├── test_7.c │ ├── test_8.c │ └── test_9.c ├── clang-tool ├── CMakeLists.txt ├── CMakeLists.txt-insource ├── CMakeLists.txt-standalone ├── FPDebugger.cpp ├── FPDebugger.h ├── analysis │ ├── funcAnalysis.cpp │ ├── funcAnalysis.h │ ├── funcPrint.cpp │ └── funcPrint.h ├── core │ ├── _fp.h │ ├── _funcRecord.cpp │ ├── _funcRecord.h │ ├── _lineRecord.cpp │ └── _lineRecord.h └── transform │ ├── funcTrans.cpp │ └── funcTrans.h ├── example ├── Makefile ├── cmp.sh ├── exclude.json ├── run.sh └── vtest.c ├── scripts ├── fglobal.py ├── loopst.py ├── search-mul.py ├── search.py └── transform.py └── tests ├── code-pattern ├── test_1.c ├── test_2.c └── test_3.c ├── fail └── data-sync-test_9.c ├── region-trans ├── test_0.c ├── test_0.json ├── test_1.c ├── test_1.json ├── test_2.c ├── test_2.json ├── test_3.c ├── test_3.json ├── test_4.c ├── test_4.json ├── test_5.c ├── test_5.json ├── test_6.c ├── test_6.json ├── test_7.c ├── test_7.json ├── test_8.c ├── test_8.json ├── test_9.c └── test_9.json ├── test.sh ├── to-debug ├── code-pattern-test_4.c ├── code-pattern-test_5.c └── data-sync-test_5.c └── whole-trans ├── test_1.c ├── test_1.json ├── test_2.c ├── test_2.json ├── test_3.c ├── test_3.json ├── test_4.c ├── test_4.json ├── test_6.c ├── test_6.json ├── test_7.c ├── test_7.json ├── test_8.c └── test_8.json /CODEOWNERS: -------------------------------------------------------------------------------- 1 | @crubiog @HGuo15 @ilagunap 2 | -------------------------------------------------------------------------------- /Release.md: -------------------------------------------------------------------------------- 1 | ## Release 0.1.0 2 | - First stable release 3 | 4 | ## Release 0.1.1 5 | - Added the cmake file for standalone build 6 | - Added unit tests 7 | - Added an exclusion option for functions that the user would not like to include in the search 8 | -------------------------------------------------------------------------------- /benchmarks/NPB/Readme.txt: -------------------------------------------------------------------------------- 1 | This folder includes, 2 | (1)npb-config : our configuration on NPB tests to look for compiler-induced inconsistenies 3 | to re-run the experiments, do "./setup.sh" 4 | 5 | (2)npb-debug : the 3 inconsistencies we triggered by modifying the error threshold in NPB - 1)CG.B 2)SP.A 3)SP.B 6 | a) to re-produce the inconsistency, e.g., the inconsistency in CG.B, run 7 | $cp -r CG.B CG 8 | $make cg CLASS=B 9 | $./bin/cg.B.x 10 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/BT/inputbt.data.sample: -------------------------------------------------------------------------------- 1 | 60 number of time steps 2 | 0.01d0 dt for class A = 0.0008d0. class B = 0.0003d0 class C = 0.0001d0 3 | 12 12 12 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/CG/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=cg 3 | BENCHMARKU=CG 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = cg.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | cg.o: cg.c globals.h npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/EP/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=ep 3 | BENCHMARKU=EP 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = ep.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | ep.o: ep.c npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/EP/README: -------------------------------------------------------------------------------- 1 | This code implements the random-number generator described in the 2 | NAS Parallel Benchmark document RNR Technical Report RNR-94-007. 3 | The code is "embarrassingly" parallel in that no communication is 4 | required for the generation of the random numbers itself. 5 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/FT/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=ft 3 | BENCHMARKU=FT 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = appft.o auxfnct.o fft3d.o mainft.o verify.o \ 10 | ${COMMON}/${RAND}.o ${COMMON}/print_results.o \ 11 | ${COMMON}/c_timers.o ${COMMON}/wtime.o 12 | 13 | ${PROGRAM}: config ${OBJS} 14 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 15 | 16 | .c.o: 17 | ${CCOMPILE} $< 18 | 19 | appft.o: appft.c global.h npbparams.h 20 | auxfnct.o: auxfnct.c global.h npbparams.h 21 | fft3d.o: fft3d.c global.h npbparams.h 22 | mainft.o: mainft.c global.h npbparams.h 23 | verify.o: verify.c global.h npbparams.h 24 | 25 | clean: 26 | - rm -f *.o *~ mputil* 27 | - rm -f ft npbparams.h core 28 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/IS/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=is 3 | BENCHMARKU=IS 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = is.o \ 10 | ${COMMON}/c_print_results.o \ 11 | ${COMMON}/c_timers.o \ 12 | ${COMMON}/c_wtime.o 13 | 14 | 15 | ${PROGRAM}: config ${OBJS} 16 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 17 | 18 | .c.o: 19 | ${CCOMPILE} $< 20 | 21 | is.o: is.c npbparams.h 22 | 23 | 24 | clean: 25 | - rm -f *.o *~ mputil* 26 | - rm -f npbparams.h core 27 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/MG/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=mg 3 | BENCHMARKU=MG 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = mg.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | mg.o: mg.c globals.h npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/MG/mg.input.sample: -------------------------------------------------------------------------------- 1 | 8 = top level 2 | 256 256 256 = nx ny nz 3 | 20 = nit 4 | 0 0 0 0 0 0 0 0 = debug_vec 5 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/SP/inputsp.data.sample: -------------------------------------------------------------------------------- 1 | 400 number of time steps 2 | 0.0015d0 dt for class A = 0.0015d0. class B = 0.001d0 class C = 0.00067d0 3 | 64 64 64 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/common/print_results.h: -------------------------------------------------------------------------------- 1 | #ifndef __PRINT_RESULTS_H__ 2 | #define __PRINT_RESULTS_H__ 3 | 4 | void print_results(char *name, char class, int n1, int n2, int n3, int niter, 5 | double t, double mops, char *optype, logical verified, char *npbversion, 6 | char *compiletime, char *cs1, char *cs2, char *cs3, char *cs4, char *cs5, 7 | char *cs6, char *cs7); 8 | 9 | #endif //__PRINT_RESULTS_H__ 10 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/common/randdp.h: -------------------------------------------------------------------------------- 1 | #ifndef __RANDDP_H__ 2 | #define __RANDDP_H__ 3 | 4 | double randlc( double *x, double a ); 5 | void vranlc( int n, double *x, double a, double y[] ); 6 | 7 | #endif 8 | 9 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/common/timers.h: -------------------------------------------------------------------------------- 1 | #ifndef __TIMERS_H__ 2 | #define __TIMERS_H__ 3 | 4 | void timer_clear( int n ); 5 | void timer_start( int n ); 6 | void timer_stop( int n ); 7 | double timer_read( int n ); 8 | 9 | #endif 10 | 11 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/common/type.h: -------------------------------------------------------------------------------- 1 | #ifndef __TYPE_H__ 2 | #define __TYPE_H__ 3 | 4 | typedef enum { false, true } logical; 5 | typedef struct { 6 | double real; 7 | double imag; 8 | } dcomplex; 9 | 10 | 11 | #define min(x,y) ((x) < (y) ? (x) : (y)) 12 | #define max(x,y) ((x) > (y) ? (x) : (y)) 13 | 14 | #endif //__TYPE_H__ 15 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/common/wtime.c: -------------------------------------------------------------------------------- 1 | #include "wtime.h" 2 | #include 3 | #ifndef DOS 4 | #include 5 | #endif 6 | 7 | void wtime(double *t) 8 | { 9 | static int sec = -1; 10 | struct timeval tv; 11 | gettimeofday(&tv, (void *)0); 12 | if (sec < 0) sec = tv.tv_sec; 13 | *t = (tv.tv_sec - sec) + 1.0e-6*tv.tv_usec; 14 | } 15 | 16 | 17 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/common/wtime.h: -------------------------------------------------------------------------------- 1 | /* C/Fortran interface is different on different machines. 2 | * You may need to tweak this. 3 | */ 4 | 5 | 6 | #if defined(IBM) 7 | #define wtime wtime 8 | #elif defined(CRAY) 9 | #define wtime WTIME 10 | #else 11 | #define wtime wtime_ 12 | #endif 13 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/README: -------------------------------------------------------------------------------- 1 | This directory contains examples of make.def files that were used 2 | by the NPB team in testing the benchmarks on different platforms. 3 | They can be used as starting points for make.def files for your 4 | own platform, but you may need to taylor them for best performance 5 | on your installation. A clean template can be found in directory 6 | `config'. 7 | Some examples of suite.def files are also provided. -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/suite.def.bt: -------------------------------------------------------------------------------- 1 | bt S 2 | bt W 3 | bt A 4 | bt B 5 | bt C 6 | bt D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/suite.def.cg: -------------------------------------------------------------------------------- 1 | cg S 2 | cg W 3 | cg A 4 | cg B 5 | cg C 6 | cg D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/suite.def.ep: -------------------------------------------------------------------------------- 1 | ep S 2 | ep W 3 | ep A 4 | ep B 5 | ep C 6 | ep D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/suite.def.ft: -------------------------------------------------------------------------------- 1 | ft S 2 | ft W 3 | ft A 4 | ft B 5 | ft C 6 | ft D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/suite.def.is: -------------------------------------------------------------------------------- 1 | is S 2 | is W 3 | is A 4 | is B 5 | is C 6 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/suite.def.lu: -------------------------------------------------------------------------------- 1 | lu S 2 | lu W 3 | lu A 4 | lu B 5 | lu C 6 | lu D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/suite.def.mg: -------------------------------------------------------------------------------- 1 | mg S 2 | mg W 3 | mg A 4 | mg B 5 | mg C 6 | mg D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/NAS.samples/suite.def.sp: -------------------------------------------------------------------------------- 1 | sp S 2 | sp W 3 | sp A 4 | sp B 5 | sp C 6 | sp D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/config/suite.def.template: -------------------------------------------------------------------------------- 1 | # config/suite.def 2 | # This file is used to build several benchmarks with a single command. 3 | # Typing "make suite" in the main directory will build all the benchmarks 4 | # specified in this file. 5 | # Each line of this file contains a benchmark name, class. 6 | # The name is one of "cg", "is", "dc", "ep", mg", "ft", "sp", 7 | # "bt", "lu", and "ua". 8 | # The class is one of "S", "W", "A", "B", and "C" 9 | # (classes D and E are defined for a number of benchmarks, but they 10 | # are likely not practical to run in serial. See README.install). 11 | # No blank lines. 12 | # The following example builds serial sample sizes of all benchmarks. 13 | ft S 14 | mg S 15 | sp S 16 | lu S 17 | bt S 18 | is S 19 | ep S 20 | cg S 21 | ua S 22 | dc S 23 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/run.sh.rm: -------------------------------------------------------------------------------- 1 | #!/bin/csh 2 | 3 | mkdir -p bin 4 | mkdir -p result 5 | 6 | foreach benchmark ( ft mg cg lu bt is ep sp ) 7 | foreach class ( S W A B C D ) 8 | echo "compiling $benchmark.$class. (SER-C)" 9 | make $benchmark CLASS=$class 10 | echo "running $benchmark.$class. (SER-C)" 11 | bin/$benchmark.$class.x > result/$benchmark.$class.out 12 | echo "done.\n" 13 | end 14 | end 15 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/sys/Makefile: -------------------------------------------------------------------------------- 1 | UCC = cc 2 | include ../config/make.def 3 | 4 | # Note that COMPILE is also defined in make.common and should 5 | # be the same. We can't include make.common because it has a lot 6 | # of other garbage. 7 | FCOMPILE = $(F77) -c $(F_INC) $(FFLAGS) 8 | 9 | all: setparams 10 | 11 | # setparams creates an npbparam.h file for each benchmark 12 | # configuration. npbparams.h also contains info about how a benchmark 13 | # was compiled and linked 14 | 15 | setparams: setparams.c ../config/make.def 16 | $(UCC) ${CONVERTFLAG} -o setparams setparams.c 17 | 18 | 19 | clean: 20 | -rm -f setparams setparams.h npbparams.h 21 | -rm -f *~ *.o 22 | 23 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/sys/print_header: -------------------------------------------------------------------------------- 1 | echo ' ===========================================' 2 | echo ' = NAS PARALLEL BENCHMARKS 3.3 =' 3 | echo ' = Serial Versions =' 4 | echo ' = C =' 5 | echo ' ===========================================' 6 | echo '' 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O0/sys/suite.awk: -------------------------------------------------------------------------------- 1 | BEGIN { SMAKE = "make" } { 2 | if ($1 !~ /^#/ && NF > 1) { 3 | printf "cd `echo %s|tr '[a-z]' '[A-Z]'`; %s clean;", $1, SMAKE; 4 | printf "%s CLASS=%s", SMAKE, $2; 5 | if (NF > 2) { 6 | printf " VERSION=%s", $3; 7 | } 8 | printf "; cd ..\n"; 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/BT/inputbt.data.sample: -------------------------------------------------------------------------------- 1 | 60 number of time steps 2 | 0.01d0 dt for class A = 0.0008d0. class B = 0.0003d0 class C = 0.0001d0 3 | 12 12 12 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/CG/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=cg 3 | BENCHMARKU=CG 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = cg.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | cg.o: cg.c globals.h npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/EP/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=ep 3 | BENCHMARKU=EP 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = ep.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | ep.o: ep.c npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/EP/README: -------------------------------------------------------------------------------- 1 | This code implements the random-number generator described in the 2 | NAS Parallel Benchmark document RNR Technical Report RNR-94-007. 3 | The code is "embarrassingly" parallel in that no communication is 4 | required for the generation of the random numbers itself. 5 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/FT/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=ft 3 | BENCHMARKU=FT 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = appft.o auxfnct.o fft3d.o mainft.o verify.o \ 10 | ${COMMON}/${RAND}.o ${COMMON}/print_results.o \ 11 | ${COMMON}/c_timers.o ${COMMON}/wtime.o 12 | 13 | ${PROGRAM}: config ${OBJS} 14 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 15 | 16 | .c.o: 17 | ${CCOMPILE} $< 18 | 19 | appft.o: appft.c global.h npbparams.h 20 | auxfnct.o: auxfnct.c global.h npbparams.h 21 | fft3d.o: fft3d.c global.h npbparams.h 22 | mainft.o: mainft.c global.h npbparams.h 23 | verify.o: verify.c global.h npbparams.h 24 | 25 | clean: 26 | - rm -f *.o *~ mputil* 27 | - rm -f ft npbparams.h core 28 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/IS/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=is 3 | BENCHMARKU=IS 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = is.o \ 10 | ${COMMON}/c_print_results.o \ 11 | ${COMMON}/c_timers.o \ 12 | ${COMMON}/c_wtime.o 13 | 14 | 15 | ${PROGRAM}: config ${OBJS} 16 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 17 | 18 | .c.o: 19 | ${CCOMPILE} $< 20 | 21 | is.o: is.c npbparams.h 22 | 23 | 24 | clean: 25 | - rm -f *.o *~ mputil* 26 | - rm -f npbparams.h core 27 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/MG/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=mg 3 | BENCHMARKU=MG 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = mg.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | mg.o: mg.c globals.h npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/MG/mg.input.sample: -------------------------------------------------------------------------------- 1 | 8 = top level 2 | 256 256 256 = nx ny nz 3 | 20 = nit 4 | 0 0 0 0 0 0 0 0 = debug_vec 5 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/SP/inputsp.data.sample: -------------------------------------------------------------------------------- 1 | 400 number of time steps 2 | 0.0015d0 dt for class A = 0.0015d0. class B = 0.001d0 class C = 0.00067d0 3 | 64 64 64 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/common/print_results.h: -------------------------------------------------------------------------------- 1 | #ifndef __PRINT_RESULTS_H__ 2 | #define __PRINT_RESULTS_H__ 3 | 4 | void print_results(char *name, char class, int n1, int n2, int n3, int niter, 5 | double t, double mops, char *optype, logical verified, char *npbversion, 6 | char *compiletime, char *cs1, char *cs2, char *cs3, char *cs4, char *cs5, 7 | char *cs6, char *cs7); 8 | 9 | #endif //__PRINT_RESULTS_H__ 10 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/common/randdp.h: -------------------------------------------------------------------------------- 1 | #ifndef __RANDDP_H__ 2 | #define __RANDDP_H__ 3 | 4 | double randlc( double *x, double a ); 5 | void vranlc( int n, double *x, double a, double y[] ); 6 | 7 | #endif 8 | 9 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/common/timers.h: -------------------------------------------------------------------------------- 1 | #ifndef __TIMERS_H__ 2 | #define __TIMERS_H__ 3 | 4 | void timer_clear( int n ); 5 | void timer_start( int n ); 6 | void timer_stop( int n ); 7 | double timer_read( int n ); 8 | 9 | #endif 10 | 11 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/common/type.h: -------------------------------------------------------------------------------- 1 | #ifndef __TYPE_H__ 2 | #define __TYPE_H__ 3 | 4 | typedef enum { false, true } logical; 5 | typedef struct { 6 | double real; 7 | double imag; 8 | } dcomplex; 9 | 10 | 11 | #define min(x,y) ((x) < (y) ? (x) : (y)) 12 | #define max(x,y) ((x) > (y) ? (x) : (y)) 13 | 14 | #endif //__TYPE_H__ 15 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/common/wtime.c: -------------------------------------------------------------------------------- 1 | #include "wtime.h" 2 | #include 3 | #ifndef DOS 4 | #include 5 | #endif 6 | 7 | void wtime(double *t) 8 | { 9 | static int sec = -1; 10 | struct timeval tv; 11 | gettimeofday(&tv, (void *)0); 12 | if (sec < 0) sec = tv.tv_sec; 13 | *t = (tv.tv_sec - sec) + 1.0e-6*tv.tv_usec; 14 | } 15 | 16 | 17 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/common/wtime.h: -------------------------------------------------------------------------------- 1 | /* C/Fortran interface is different on different machines. 2 | * You may need to tweak this. 3 | */ 4 | 5 | 6 | #if defined(IBM) 7 | #define wtime wtime 8 | #elif defined(CRAY) 9 | #define wtime WTIME 10 | #else 11 | #define wtime wtime_ 12 | #endif 13 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/README: -------------------------------------------------------------------------------- 1 | This directory contains examples of make.def files that were used 2 | by the NPB team in testing the benchmarks on different platforms. 3 | They can be used as starting points for make.def files for your 4 | own platform, but you may need to taylor them for best performance 5 | on your installation. A clean template can be found in directory 6 | `config'. 7 | Some examples of suite.def files are also provided. -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/suite.def.bt: -------------------------------------------------------------------------------- 1 | bt S 2 | bt W 3 | bt A 4 | bt B 5 | bt C 6 | bt D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/suite.def.cg: -------------------------------------------------------------------------------- 1 | cg S 2 | cg W 3 | cg A 4 | cg B 5 | cg C 6 | cg D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/suite.def.ep: -------------------------------------------------------------------------------- 1 | ep S 2 | ep W 3 | ep A 4 | ep B 5 | ep C 6 | ep D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/suite.def.ft: -------------------------------------------------------------------------------- 1 | ft S 2 | ft W 3 | ft A 4 | ft B 5 | ft C 6 | ft D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/suite.def.is: -------------------------------------------------------------------------------- 1 | is S 2 | is W 3 | is A 4 | is B 5 | is C 6 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/suite.def.lu: -------------------------------------------------------------------------------- 1 | lu S 2 | lu W 3 | lu A 4 | lu B 5 | lu C 6 | lu D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/suite.def.mg: -------------------------------------------------------------------------------- 1 | mg S 2 | mg W 3 | mg A 4 | mg B 5 | mg C 6 | mg D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/NAS.samples/suite.def.sp: -------------------------------------------------------------------------------- 1 | sp S 2 | sp W 3 | sp A 4 | sp B 5 | sp C 6 | sp D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/config/suite.def.template: -------------------------------------------------------------------------------- 1 | # config/suite.def 2 | # This file is used to build several benchmarks with a single command. 3 | # Typing "make suite" in the main directory will build all the benchmarks 4 | # specified in this file. 5 | # Each line of this file contains a benchmark name, class. 6 | # The name is one of "cg", "is", "dc", "ep", mg", "ft", "sp", 7 | # "bt", "lu", and "ua". 8 | # The class is one of "S", "W", "A", "B", and "C" 9 | # (classes D and E are defined for a number of benchmarks, but they 10 | # are likely not practical to run in serial. See README.install). 11 | # No blank lines. 12 | # The following example builds serial sample sizes of all benchmarks. 13 | ft S 14 | mg S 15 | sp S 16 | lu S 17 | bt S 18 | is S 19 | ep S 20 | cg S 21 | ua S 22 | dc S 23 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/run.sh.rm: -------------------------------------------------------------------------------- 1 | #!/bin/csh 2 | 3 | mkdir -p bin 4 | mkdir -p result 5 | 6 | foreach benchmark ( ft mg cg lu bt is ep sp ) 7 | foreach class ( S W A B C D ) 8 | echo "compiling $benchmark.$class. (SER-C)" 9 | make $benchmark CLASS=$class 10 | echo "running $benchmark.$class. (SER-C)" 11 | bin/$benchmark.$class.x > result/$benchmark.$class.out 12 | echo "done.\n" 13 | end 14 | end 15 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/sys/Makefile: -------------------------------------------------------------------------------- 1 | UCC = cc 2 | include ../config/make.def 3 | 4 | # Note that COMPILE is also defined in make.common and should 5 | # be the same. We can't include make.common because it has a lot 6 | # of other garbage. 7 | FCOMPILE = $(F77) -c $(F_INC) $(FFLAGS) 8 | 9 | all: setparams 10 | 11 | # setparams creates an npbparam.h file for each benchmark 12 | # configuration. npbparams.h also contains info about how a benchmark 13 | # was compiled and linked 14 | 15 | setparams: setparams.c ../config/make.def 16 | $(UCC) ${CONVERTFLAG} -o setparams setparams.c 17 | 18 | 19 | clean: 20 | -rm -f setparams setparams.h npbparams.h 21 | -rm -f *~ *.o 22 | 23 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/sys/print_header: -------------------------------------------------------------------------------- 1 | echo ' ===========================================' 2 | echo ' = NAS PARALLEL BENCHMARKS 3.3 =' 3 | echo ' = Serial Versions =' 4 | echo ' = C =' 5 | echo ' ===========================================' 6 | echo '' 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/NPB-base-O3/sys/suite.awk: -------------------------------------------------------------------------------- 1 | BEGIN { SMAKE = "make" } { 2 | if ($1 !~ /^#/ && NF > 1) { 3 | printf "cd `echo %s|tr '[a-z]' '[A-Z]'`; %s clean;", $1, SMAKE; 4 | printf "%s CLASS=%s", SMAKE, $2; 5 | if (NF > 2) { 6 | printf " VERSION=%s", $3; 7 | } 8 | printf "; cd ..\n"; 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-config/clean.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | for benchmark in ft mg cg lu bt sp; do 4 | for class in A B C; do 5 | trstart=8 6 | if [ $benchmark == "cg" ]; then 7 | trstart=10 8 | elif [ $benchmark == "ft" ]; then 9 | trstart=12 10 | fi 11 | trend=17 12 | 13 | tr=$((trstart+1)) 14 | while [ $tr -le $trend ]; do 15 | rm -rf NPB-$benchmark-$class-$tr-O* 16 | tr=$((tr+1)) 17 | done 18 | 19 | done 20 | done 21 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/BT/inputbt.data.sample: -------------------------------------------------------------------------------- 1 | 60 number of time steps 2 | 0.01d0 dt for class A = 0.0008d0. class B = 0.0003d0 class C = 0.0001d0 3 | 12 12 12 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/CG.B/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=cg 3 | BENCHMARKU=CG 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = cg.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | cg.o: cg.c globals.h npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/CG.B/cg-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "sparse" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/CG.B/cg.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/CG.B/cg.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/CG.B/func-list.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main", 4 | "conj_grad", 5 | "makea", 6 | "sparse", 7 | "sprnvc", 8 | "icnvrt", 9 | "vecset" 10 | ] 11 | } 12 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/CG.B/npbparams.h: -------------------------------------------------------------------------------- 1 | /* CLASS = B */ 2 | /* 3 | This file is generated automatically by the setparams utility. 4 | It sets the number of processors and the class of the NPB 5 | in this directory. Do not modify it by hand. 6 | */ 7 | #define NA 75000 8 | #define NONZER 13 9 | #define NITER 75 10 | #define SHIFT 60.0 11 | #define RCOND 1.0e-1 12 | 13 | #define CONVERTDOUBLE false 14 | #define COMPILETIME "19 Aug 2020" 15 | #define NPBVERSION "3.3.1" 16 | #define CS1 "gcc" 17 | #define CS2 "$(CC)" 18 | #define CS3 "-lm" 19 | #define CS4 "-I../common" 20 | #define CS5 "-g -Wall -O3 -ffast-math -mcmodel=medium" 21 | #define CS6 "-O3 -ffast-math -mcmodel=medium" 22 | #define CS7 "randdp" 23 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/CG.B/pLiner-input.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "sparse" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/CG.B/runcmd.txt: -------------------------------------------------------------------------------- 1 | time python ../../../pLiner/scripts/search.py cg.c "-- -c -I../common -g -Wall -O3 -mcmodel=medium -ffast-math" 2 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/CG/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=cg 3 | BENCHMARKU=CG 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = cg.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | cg.o: cg.c globals.h npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/EP/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=ep 3 | BENCHMARKU=EP 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = ep.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | ep.o: ep.c npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/EP/README: -------------------------------------------------------------------------------- 1 | This code implements the random-number generator described in the 2 | NAS Parallel Benchmark document RNR Technical Report RNR-94-007. 3 | The code is "embarrassingly" parallel in that no communication is 4 | required for the generation of the random numbers itself. 5 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/FT/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=ft 3 | BENCHMARKU=FT 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = appft.o auxfnct.o fft3d.o mainft.o verify.o \ 10 | ${COMMON}/${RAND}.o ${COMMON}/print_results.o \ 11 | ${COMMON}/c_timers.o ${COMMON}/wtime.o 12 | 13 | ${PROGRAM}: config ${OBJS} 14 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 15 | 16 | .c.o: 17 | ${CCOMPILE} $< 18 | 19 | appft.o: appft.c global.h npbparams.h 20 | auxfnct.o: auxfnct.c global.h npbparams.h 21 | fft3d.o: fft3d.c global.h npbparams.h 22 | mainft.o: mainft.c global.h npbparams.h 23 | verify.o: verify.c global.h npbparams.h 24 | 25 | clean: 26 | - rm -f *.o *~ mputil* 27 | - rm -f ft npbparams.h core 28 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/IS/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=is 3 | BENCHMARKU=IS 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = is.o \ 10 | ${COMMON}/c_print_results.o \ 11 | ${COMMON}/c_timers.o \ 12 | ${COMMON}/c_wtime.o 13 | 14 | 15 | ${PROGRAM}: config ${OBJS} 16 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 17 | 18 | .c.o: 19 | ${CCOMPILE} $< 20 | 21 | is.o: is.c npbparams.h 22 | 23 | 24 | clean: 25 | - rm -f *.o *~ mputil* 26 | - rm -f npbparams.h core 27 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/LU/inputlu.data.sample: -------------------------------------------------------------------------------- 1 | c 2 | c***controls printing of the progress of iterations: ipr inorm 3 | 1 250 4 | c 5 | c***the maximum no. of pseudo-time steps to be performed: nitmax 6 | 250 7 | c 8 | c***magnitude of the time step: dt 9 | 2.0e+00 10 | c 11 | c***relaxation factor for SSOR iterations: omega 12 | 1.2 13 | c 14 | c***tolerance levels for steady-state residuals: tolnwt(m),m=1,5 15 | 1.0e-08 1.0e-08 1.0e-08 1.0e-08 1.0e-08 16 | c 17 | c***number of grid points in xi and eta and zeta directions: nx ny nz 18 | 64 64 64 19 | c 20 | 21 | 22 | 23 | 24 | 25 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/MG/Makefile: -------------------------------------------------------------------------------- 1 | SHELL=/bin/sh 2 | BENCHMARK=mg 3 | BENCHMARKU=MG 4 | 5 | include ../config/make.def 6 | 7 | include ../sys/make.common 8 | 9 | OBJS = mg.o \ 10 | ${COMMON}/print_results.o \ 11 | ${COMMON}/${RAND}.o \ 12 | ${COMMON}/c_timers.o \ 13 | ${COMMON}/wtime.o 14 | 15 | 16 | ${PROGRAM}: config ${OBJS} 17 | ${CLINK} ${CLINKFLAGS} -o ${PROGRAM} ${OBJS} ${C_LIB} 18 | 19 | .c.o: 20 | ${CCOMPILE} $< 21 | 22 | mg.o: mg.c globals.h npbparams.h 23 | 24 | clean: 25 | - rm -f *.o *~ 26 | - rm -f npbparams.h core 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/MG/mg.input.sample: -------------------------------------------------------------------------------- 1 | 8 = top level 2 | 256 256 256 = nx ny nz 3 | 20 = nit 4 | 0 0 0 0 0 0 0 0 = debug_vec 5 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/README.md: -------------------------------------------------------------------------------- 1 | ### Note 2 | For SP program with input class A, the results are different compared to what is mentioned in the [pLiner paper](https://web.cs.ucdavis.edu/~rubio/includes/sc20.pdf). 3 | Please refer to results inside SP.A folder for the updated results. 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/add-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "add" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/add.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/add.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/adi-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "adi" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/adi.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/adi.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/error.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/error.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/exact_rhs-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "exact_rhs" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/exact_rhs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/exact_rhs.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/exact_solution-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "exact_solution" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/exact_solution.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/exact_solution.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/func-list.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "y_solve" 4 | ] 5 | } 6 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/initialize.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/initialize.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/inputsp.data.sample: -------------------------------------------------------------------------------- 1 | 400 number of time steps 2 | 0.0015d0 dt for class A = 0.0015d0. class B = 0.001d0 class C = 0.00067d0 3 | 64 64 64 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/mine.csv: -------------------------------------------------------------------------------- 1 | add.c 2 | adi.c 3 | ninvr.c 4 | pinvr.c 5 | rhs.c 6 | sp.c 7 | txinvr.c 8 | tzetar.c 9 | x_solve.c 10 | y_solve.c 11 | z_solve.c 12 | exact_rhs.c 13 | exact_solution.c 14 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/ninvr-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "ninvr" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/ninvr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/ninvr.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/npbparams.h: -------------------------------------------------------------------------------- 1 | /* CLASS = A */ 2 | /* 3 | This file is generated automatically by the setparams utility. 4 | It sets the number of processors and the class of the NPB 5 | in this directory. Do not modify it by hand. 6 | */ 7 | #define PROBLEM_SIZE 64 8 | #define NITER_DEFAULT 400 9 | #define DT_DEFAULT 0.0015 10 | 11 | #define CONVERTDOUBLE false 12 | #define COMPILETIME "18 Aug 2020" 13 | #define NPBVERSION "3.3.1" 14 | #define CS1 "gcc" 15 | #define CS2 "$(CC)" 16 | #define CS3 "-lm" 17 | #define CS4 "-I../common" 18 | #define CS5 "-g -Wall -O3 -ffast-math -mcmodel=medium" 19 | #define CS6 "-O3 -ffast-math -mcmodel=medium" 20 | #define CS7 "randdp" 21 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/pLiner-input.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "y_solve" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/pLiner-ninvr: -------------------------------------------------------------------------------- 1 | { 2 | "funcName" : "ninvr", 3 | "fileName" : "/home/huiguo15/npb-debug/NPB-debug/SP/ninvr.c", 4 | "fpParameters" : [], 5 | "fpPointerParameters" : [], 6 | "fpVars" : [ "r1", "r2", "r3", "r4", "r5", "t1", "t2"], 7 | "fpPointerVars" : [], 8 | "forLoops" : [ [ 45, 64] ], 9 | "bbList" : { 10 | "1": [ 65, 65], 11 | "2": [ 65, 65], 12 | "3": [ 45, 45], 13 | "4": [ 46, 46], 14 | "5": [ 47, 47], 15 | "6": [ 48, 60], 16 | "13": [ 44, 44], 17 | "14": [ 41, 44], 18 | "10006": [ 61, 61], 19 | "10007": [ 47, 47], 20 | "10008": [ 47, 47], 21 | "10009": [ 46, 46], 22 | "10010": [ 46, 46], 23 | "10011": [ 45, 45], 24 | "10012": [ 45, 45] } 25 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/pinvr-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "pinvr" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/pinvr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/pinvr.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/rhs-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "compute_rhs" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/rhs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/rhs.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/runcmd.txt: -------------------------------------------------------------------------------- 1 | time python ../../../pLiner/scripts/search-mul.py mine.csv "-- -c -I../common -g -Wall -O3 -mcmodel=medium -ffast-math" 2 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/set_constants.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/set_constants.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/sp-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/sp.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/sp.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/txinvr-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "txinvr" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/txinvr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/txinvr.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/tzetar-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "tzetar" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/tzetar.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/tzetar.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/verify.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/verify.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/x_solve-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "x_solve" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/x_solve.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/x_solve.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/y_solve-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "y_solve": [ 4 | [ 5 | 68, 6 | 68 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "y_solve" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/y_solve.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/y_solve.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/z_solve-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "z_solve" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.A/z_solve.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.A/z_solve.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/add-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "add" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/add.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/add.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/adi-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "adi" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/adi.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/adi.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/error.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/error.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/exact_rhs-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "exact_rhs" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/exact_rhs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/exact_rhs.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/exact_solution-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'exact_solution'], success, , 2 | LOOPs: {u'exact_solution': [[43, 48]]}, success, , 3 | BBs: {u'exact_solution': [[43, 43], [44, 47]]}, success, , 4 | BBs: {u'exact_solution': [[43, 43]]}, inconsistent results, null, null 5 | BBs: {u'exact_solution': [[44, 47]]}, success, , 6 | LINEs: {u'exact_solution': [[44, 44], [45, 45], [46, 46], [47, 47]]}, success, , 7 | LINEs: {u'exact_solution': [[44, 44], [45, 45]]}, success, , 8 | LINEs: {u'exact_solution': [[44, 44]]}, success, , 9 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/exact_solution-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "exact_solution": [ 4 | [ 5 | 44, 6 | 44 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "exact_solution" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/exact_solution.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/exact_solution.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/func-list.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "exact_solution" 4 | ] 5 | } 6 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/initialize.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/initialize.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/inputsp.data.sample: -------------------------------------------------------------------------------- 1 | 400 number of time steps 2 | 0.0015d0 dt for class A = 0.0015d0. class B = 0.001d0 class C = 0.00067d0 3 | 64 64 64 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/mine.csv: -------------------------------------------------------------------------------- 1 | add.c 2 | adi.c 3 | ninvr.c 4 | pinvr.c 5 | rhs.c 6 | sp.c 7 | txinvr.c 8 | tzetar.c 9 | x_solve.c 10 | y_solve.c 11 | z_solve.c 12 | exact_rhs.c 13 | exact_solution.c 14 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/ninvr-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "ninvr" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/ninvr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/ninvr.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/npbparams.h: -------------------------------------------------------------------------------- 1 | /* CLASS = B */ 2 | /* 3 | This file is generated automatically by the setparams utility. 4 | It sets the number of processors and the class of the NPB 5 | in this directory. Do not modify it by hand. 6 | */ 7 | #define PROBLEM_SIZE 102 8 | #define NITER_DEFAULT 400 9 | #define DT_DEFAULT 0.001 10 | 11 | #define CONVERTDOUBLE false 12 | #define COMPILETIME "18 Aug 2020" 13 | #define NPBVERSION "3.3.1" 14 | #define CS1 "gcc" 15 | #define CS2 "$(CC)" 16 | #define CS3 "-lm" 17 | #define CS4 "-I../common" 18 | #define CS5 "-g -Wall -O3 -ffast-math -mcmodel=medium" 19 | #define CS6 "-O3 -ffast-math -mcmodel=medium" 20 | #define CS7 "randdp" 21 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/pLiner-exact_solution: -------------------------------------------------------------------------------- 1 | { 2 | "funcName" : "exact_solution", 3 | "fileName" : "/home/huiguo15/npb-debug/NPB-debug/SP/exact_solution.c", 4 | "fpParameters" : [ "xi", "eta", "zeta"], 5 | "fpPointerParameters" : [ "dtemp"], 6 | "fpVars" : [], 7 | "fpPointerVars" : [], 8 | "forLoops" : [ [ 43, 48] ], 9 | "bbList" : { 10 | "1": [ 43, 43], 11 | "4": [ 41, 41], 12 | "10002": [ 44, 47], 13 | "10003": [ 43, 43], 14 | "10004": [ 43, 43] } 15 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/pLiner-exact_solution-lines: -------------------------------------------------------------------------------- 1 | { 2 | 41 : { 3 | "vDels" : [], 4 | "reads" : [], 5 | "writes" : [], 6 | "calls" : [], 7 | "syncs" : [] 8 | } 9 | 43 : { 10 | "vDels" : [], 11 | "reads" : [], 12 | "writes" : [], 13 | "calls" : [], 14 | "syncs" : [] 15 | } 16 | 44 : { 17 | "vDels" : [], 18 | "reads" : [ "zeta", "zeta", "zeta", "zeta", "eta", "eta", "eta", "eta", "xi", "xi", "xi", "xi"], 19 | "writes" : [ "dtemp"], 20 | "calls" : [], 21 | "syncs" : [] 22 | } 23 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/pLiner-input.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "exact_solution" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/pLiner-ninvr: -------------------------------------------------------------------------------- 1 | { 2 | "funcName" : "ninvr", 3 | "fileName" : "/home/huiguo15/npb-debug/NPB-debug/SP/ninvr.c", 4 | "fpParameters" : [], 5 | "fpPointerParameters" : [], 6 | "fpVars" : [ "r1", "r2", "r3", "r4", "r5", "t1", "t2"], 7 | "fpPointerVars" : [], 8 | "forLoops" : [ [ 45, 64] ], 9 | "bbList" : { 10 | "1": [ 65, 65], 11 | "2": [ 65, 65], 12 | "3": [ 45, 45], 13 | "4": [ 46, 46], 14 | "5": [ 47, 47], 15 | "6": [ 48, 60], 16 | "13": [ 44, 44], 17 | "14": [ 41, 44], 18 | "10006": [ 61, 61], 19 | "10007": [ 47, 47], 20 | "10008": [ 47, 47], 21 | "10009": [ 46, 46], 22 | "10010": [ 46, 46], 23 | "10011": [ 45, 45], 24 | "10012": [ 45, 45] } 25 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/pinvr-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "pinvr" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/pinvr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/pinvr.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/rhs-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "compute_rhs" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/rhs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/rhs.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/runcmd.txt: -------------------------------------------------------------------------------- 1 | time python ../../../pLiner/scripts/search-mul.py mine.csv "-- -c -I../common -g -Wall -O3 -mcmodel=medium -ffast-math" 2 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/set_constants.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/set_constants.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/sp-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/sp.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/sp.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/txinvr-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "txinvr" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/txinvr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/txinvr.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/tzetar-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "tzetar" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/tzetar.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/tzetar.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/verify.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/verify.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/x_solve-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "x_solve" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/x_solve.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/x_solve.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/y_solve-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "y_solve" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/y_solve.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/y_solve.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/z_solve-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "z_solve" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP.B/z_solve.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/SP.B/z_solve.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP/inputsp.data.sample: -------------------------------------------------------------------------------- 1 | 400 number of time steps 2 | 0.0015d0 dt for class A = 0.0015d0. class B = 0.001d0 class C = 0.00067d0 3 | 64 64 64 4 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/SP/loc.txt: -------------------------------------------------------------------------------- 1 | 54 2 | 49 3 | 102 4 | 353 5 | 49 6 | 255 7 | 67 8 | 67 9 | 383 10 | 229 11 | 244 12 | 75 13 | 80 14 | 342 15 | 301 16 | 292 17 | 300 18 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/bin/cg.B.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/bin/cg.B.x -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/c_timers.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/common/c_timers.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/print_results.h: -------------------------------------------------------------------------------- 1 | #ifndef __PRINT_RESULTS_H__ 2 | #define __PRINT_RESULTS_H__ 3 | 4 | void print_results(char *name, char class, int n1, int n2, int n3, int niter, 5 | double t, double mops, char *optype, logical verified, char *npbversion, 6 | char *compiletime, char *cs1, char *cs2, char *cs3, char *cs4, char *cs5, 7 | char *cs6, char *cs7); 8 | 9 | #endif //__PRINT_RESULTS_H__ 10 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/print_results.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/common/print_results.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/randdp.h: -------------------------------------------------------------------------------- 1 | #ifndef __RANDDP_H__ 2 | #define __RANDDP_H__ 3 | 4 | double randlc( double *x, double a ); 5 | void vranlc( int n, double *x, double a, double y[] ); 6 | 7 | #endif 8 | 9 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/randdp.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/common/randdp.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/timers.h: -------------------------------------------------------------------------------- 1 | #ifndef __TIMERS_H__ 2 | #define __TIMERS_H__ 3 | 4 | void timer_clear( int n ); 5 | void timer_start( int n ); 6 | void timer_stop( int n ); 7 | double timer_read( int n ); 8 | 9 | #endif 10 | 11 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/type.h: -------------------------------------------------------------------------------- 1 | #ifndef __TYPE_H__ 2 | #define __TYPE_H__ 3 | 4 | typedef enum { false, true } logical; 5 | typedef struct { 6 | double real; 7 | double imag; 8 | } dcomplex; 9 | 10 | 11 | #define min(x,y) ((x) < (y) ? (x) : (y)) 12 | #define max(x,y) ((x) > (y) ? (x) : (y)) 13 | 14 | #endif //__TYPE_H__ 15 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/wtime.c: -------------------------------------------------------------------------------- 1 | #include "wtime.h" 2 | #include 3 | #ifndef DOS 4 | #include 5 | #endif 6 | 7 | void wtime(double *t) 8 | { 9 | static int sec = -1; 10 | struct timeval tv; 11 | gettimeofday(&tv, (void *)0); 12 | if (sec < 0) sec = tv.tv_sec; 13 | *t = (tv.tv_sec - sec) + 1.0e-6*tv.tv_usec; 14 | } 15 | 16 | 17 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/wtime.h: -------------------------------------------------------------------------------- 1 | /* C/Fortran interface is different on different machines. 2 | * You may need to tweak this. 3 | */ 4 | 5 | 6 | #if defined(IBM) 7 | #define wtime wtime 8 | #elif defined(CRAY) 9 | #define wtime WTIME 10 | #else 11 | #define wtime wtime_ 12 | #endif 13 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/common/wtime.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/common/wtime.o -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/README: -------------------------------------------------------------------------------- 1 | This directory contains examples of make.def files that were used 2 | by the NPB team in testing the benchmarks on different platforms. 3 | They can be used as starting points for make.def files for your 4 | own platform, but you may need to taylor them for best performance 5 | on your installation. A clean template can be found in directory 6 | `config'. 7 | Some examples of suite.def files are also provided. -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/suite.def.bt: -------------------------------------------------------------------------------- 1 | bt S 2 | bt W 3 | bt A 4 | bt B 5 | bt C 6 | bt D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/suite.def.cg: -------------------------------------------------------------------------------- 1 | cg S 2 | cg W 3 | cg A 4 | cg B 5 | cg C 6 | cg D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/suite.def.ep: -------------------------------------------------------------------------------- 1 | ep S 2 | ep W 3 | ep A 4 | ep B 5 | ep C 6 | ep D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/suite.def.ft: -------------------------------------------------------------------------------- 1 | ft S 2 | ft W 3 | ft A 4 | ft B 5 | ft C 6 | ft D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/suite.def.is: -------------------------------------------------------------------------------- 1 | is S 2 | is W 3 | is A 4 | is B 5 | is C 6 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/suite.def.lu: -------------------------------------------------------------------------------- 1 | lu S 2 | lu W 3 | lu A 4 | lu B 5 | lu C 6 | lu D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/suite.def.mg: -------------------------------------------------------------------------------- 1 | mg S 2 | mg W 3 | mg A 4 | mg B 5 | mg C 6 | mg D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/NAS.samples/suite.def.sp: -------------------------------------------------------------------------------- 1 | sp S 2 | sp W 3 | sp A 4 | sp B 5 | sp C 6 | sp D 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/config/suite.def.template: -------------------------------------------------------------------------------- 1 | # config/suite.def 2 | # This file is used to build several benchmarks with a single command. 3 | # Typing "make suite" in the main directory will build all the benchmarks 4 | # specified in this file. 5 | # Each line of this file contains a benchmark name, class. 6 | # The name is one of "cg", "is", "dc", "ep", mg", "ft", "sp", 7 | # "bt", "lu", and "ua". 8 | # The class is one of "S", "W", "A", "B", and "C" 9 | # (classes D and E are defined for a number of benchmarks, but they 10 | # are likely not practical to run in serial. See README.install). 11 | # No blank lines. 12 | # The following example builds serial sample sizes of all benchmarks. 13 | ft S 14 | mg S 15 | sp S 16 | lu S 17 | bt S 18 | is S 19 | ep S 20 | cg S 21 | ua S 22 | dc S 23 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/sys/Makefile: -------------------------------------------------------------------------------- 1 | UCC = cc 2 | include ../config/make.def 3 | 4 | # Note that COMPILE is also defined in make.common and should 5 | # be the same. We can't include make.common because it has a lot 6 | # of other garbage. 7 | FCOMPILE = $(F77) -c $(F_INC) $(FFLAGS) 8 | 9 | all: setparams 10 | 11 | # setparams creates an npbparam.h file for each benchmark 12 | # configuration. npbparams.h also contains info about how a benchmark 13 | # was compiled and linked 14 | 15 | setparams: setparams.c ../config/make.def 16 | $(UCC) ${CONVERTFLAG} -o setparams setparams.c 17 | 18 | 19 | clean: 20 | -rm -f setparams setparams.h npbparams.h 21 | -rm -f *~ *.o 22 | 23 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/sys/print_header: -------------------------------------------------------------------------------- 1 | echo ' ===========================================' 2 | echo ' = NAS PARALLEL BENCHMARKS 3.3 =' 3 | echo ' = Serial Versions =' 4 | echo ' = C =' 5 | echo ' ===========================================' 6 | echo '' 7 | -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/sys/setparams: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/NPB/npb-debug/sys/setparams -------------------------------------------------------------------------------- /benchmarks/NPB/npb-debug/sys/suite.awk: -------------------------------------------------------------------------------- 1 | BEGIN { SMAKE = "make" } { 2 | if ($1 !~ /^#/ && NF > 1) { 3 | printf "cd `echo %s|tr '[a-z]' '[A-Z]'`; %s clean;", $1, SMAKE; 4 | printf "%s CLASS=%s", SMAKE, $2; 5 | if (NF > 2) { 6 | printf " VERSION=%s", $3; 7 | } 8 | printf "; cd ..\n"; 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/Makefile: -------------------------------------------------------------------------------- 1 | #CC=/usr/tce/packages/xl/xl-2019.08.20/bin/xlc 2 | CC=/usr/bin/gcc 3 | CFLAGS= -g -std=c99 #-qstrict 4 | LDFLAGS=-lm 5 | 6 | SOURCES := $(wildcard *.c) 7 | 8 | O0EXES := $(SOURCES:.c=_O0) 9 | O3EXES := $(SOURCES:.c=_O3) 10 | EXECUTABLES := $(O0EXES) $(O3EXES) 11 | 12 | all: $(SOURCES) $(EXECUTABLES) 13 | clean: 14 | rm -f $(EXECUTABLES) 15 | 16 | %_O0 : %.c 17 | $(CC) $(CFLAGS) -O0 -o $@ $< $(LDFLAGS) 18 | 19 | %_O3 : %.c 20 | $(CC) $(CFLAGS) -O3 -ffast-math -o $@ $< $(LDFLAGS) 21 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/cmp.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ftest=$1 4 | 5 | input=`sed -n "2p" $ftest.c | cut -d "/" -f 3 | sed "s/,/ /g" ` 6 | 7 | O0exe="${ftest}_O0" 8 | O3exe="${ftest}_O3" 9 | 10 | echo "./$O0exe $input" 11 | ./$O0exe $input 12 | 13 | echo "./$O3exe $input" 14 | ./$O3exe $input 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/Makefile: -------------------------------------------------------------------------------- 1 | #CC=/usr/tce/packages/xl/xl-2019.08.20/bin/xlc 2 | CC=/usr/bin/gcc 3 | CFLAGS= -g -std=c99 #-qstrict 4 | LDFLAGS=-lm 5 | 6 | SOURCES := $(wildcard *.c) 7 | 8 | O0EXES := $(SOURCES:.c=_O0) 9 | O3EXES := $(SOURCES:.c=_O3) 10 | EXECUTABLES := $(O0EXES) $(O3EXES) 11 | 12 | all: $(SOURCES) $(EXECUTABLES) 13 | clean: 14 | rm -f $(EXECUTABLES) 15 | 16 | %_O0 : %.c 17 | $(CC) $(CFLAGS) -O0 -o $@ $< $(LDFLAGS) 18 | 19 | %_O3 : %.c 20 | $(CC) $(CFLAGS) -O3 -ffast-math -o $@ $< $(LDFLAGS) 21 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/cmp.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ftest=$1 4 | 5 | input=`sed -n "2p" $ftest.c | cut -d "/" -f 3 | sed "s/,/ /g" ` 6 | 7 | O0exe="${ftest}_O0" 8 | O3exe="${ftest}_O3" 9 | 10 | echo "./$O0exe $input" 11 | ./$O0exe $input 12 | 13 | echo "./$O3exe $input" 14 | ./$O3exe $input 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/herbgrind-plog.json: -------------------------------------------------------------------------------- 1 | [[0.841], 2 | [1.243], 3 | [1.215], 4 | [1.197], 5 | [1.032], 6 | [1.136], 7 | [1.067], 8 | [1.134], 9 | [1.236], 10 | [1.114], 11 | [1.251], 12 | [1.221], 13 | [1.075], 14 | [1.071], 15 | [1.273], 16 | [1.121], 17 | [1.225], 18 | [1.152], 19 | [1.125], 20 | [1.248], 21 | [1.117], 22 | [1.169], 23 | [1.235], 24 | [1.2], 25 | [1.052], 26 | [1.122], 27 | [1.142], 28 | [1.174], 29 | [1.109], 30 | [1.156], 31 | [0.983], 32 | [1.125], 33 | [1.102], 34 | [1.203], 35 | [1.067], 36 | [1.146], 37 | [1.14], 38 | [1.133], 39 | [0.973], 40 | [1.243], 41 | [1.117], 42 | [1.216], 43 | [1.194], 44 | [1.196], 45 | [1.224], 46 | [1.242], 47 | [1.157], 48 | [1.182], 49 | [1.215], 50 | [1.179]] 51 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/herbgrind.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | herbgrind="/home/huiguo15/herbgrind/valgrind/herbgrind-install/bin/valgrind --tool=herbgrind" 3 | 4 | ftest=$1 5 | 6 | input=`sed -n "2p" $ftest.c | cut -d "/" -f 3 | sed "s/,/ /g" ` 7 | 8 | O0exe="${ftest}_O0" 9 | O3exe="${ftest}_O3" 10 | 11 | echo "$herbgrind ./$O0exe $input" 12 | $herbgrind ./$O0exe $input 13 | 14 | echo "$herbgrind ./$O3exe $input" 15 | $herbgrind ./$O3exe $input 16 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/pLiner-plog.json: -------------------------------------------------------------------------------- 1 | [[8, 6.016], 2 | [6, 4.245], 3 | [3, 2.54], 4 | [7, 5.329], 5 | [4, 3.643], 6 | [3, 2.473], 7 | [9, 6.479], 8 | [9, 6.05], 9 | [6, 4.805], 10 | [7, 4.914], 11 | [4, 3.211], 12 | [8, 5.496], 13 | [8, 5.486], 14 | [6, 4.136], 15 | [10, 6.702], 16 | [12, 7.552], 17 | [7, 5.339], 18 | [8, 5.444], 19 | [3, 2.825], 20 | [7, 4.946], 21 | [11, 7.709], 22 | [7, 5.464], 23 | [8, 5.698], 24 | [8, 5.656], 25 | [3, 2.464], 26 | [9, 6.451], 27 | [3, 2.538], 28 | [9, 6.047], 29 | [7, 5.258], 30 | [7, 4.723], 31 | [11, 7.322], 32 | [8, 5.344], 33 | [5, 3.851], 34 | [6, 4.602], 35 | [3, 2.443], 36 | [7, 4.647], 37 | [4, 3.124], 38 | [4, 3.207], 39 | [10, 7.132], 40 | [3, 2.561], 41 | [3, 2.568], 42 | [3, 2.489], 43 | [6, 4.538], 44 | [8, 5.963], 45 | [10, 6.631], 46 | [7, 5.382], 47 | [6, 4.419], 48 | [7, 5.224], 49 | [8, 6.245], 50 | [6, 4.559]] 51 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/perf.py: -------------------------------------------------------------------------------- 1 | import numpy as np 2 | import json 3 | 4 | ## pLiner 5 | config, time=[], [] 6 | with open('pLiner-plog.json') as json_file: 7 | data = json.load(json_file) 8 | for item in data: 9 | config.append(item[0]) 10 | time.append(item[1]) 11 | 12 | print "/n pLiner:" 13 | print "configs:" , np.average(config), np.median(config), np.amin(config), np.amax(config) 14 | print "time:" , np.sum(time), np.average(time), np.median(time), np.amin(time), np.amax(time) 15 | 16 | 17 | ## herbgrind 18 | time=[] 19 | with open('herbgrind-plog.json') as json_file: 20 | data = json.load(json_file) 21 | for item in data: 22 | time.append(item[0]) 23 | 24 | print "/n herbgrind:" 25 | print "time:" , np.sum(time), np.average(time), np.median(time), np.amin(time), np.amax(time) 26 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/performance.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/Varity/Varity-intel/reference/performance.txt -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_1-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.8202e-306, -1.8202e-306 2 | LOOPs: {u'compute': [[12, 16]]}, success, 2.5006328488024744e-168, 2.5006328488024744e-168 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14]]}, failed, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_1-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 16 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_10-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.9855000000000001e-141, 1.9855000000000001e-141 2 | LOOPs: {u'compute': [[15, 20]]}, success, 7.5970382151516768e-307, 7.5970382151516768e-307 3 | BBs: {u'compute': [[15, 15], [16, 18], [19, 19]]}, success, 7.5970382151516768e-307, 7.5970382151516768e-307 4 | BBs: {u'compute': [[15, 15]]}, failed, null, null 5 | BBs: {u'compute': [[16, 18], [19, 19]]}, success, 7.5970382151516768e-307, 7.5970382151516768e-307 6 | BBs: {u'compute': [[16, 18]]}, failed, null, null 7 | BBs: {u'compute': [[19, 19]]}, success, 7.5970382151516768e-307, 7.5970382151516768e-307 8 | LINEs: {u'compute': [[19, 19]]}, success, 7.5970382151516768e-307, 7.5970382151516768e-307 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_10-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 19, 6 | 19 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_10_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_10.c:21 in compute (addr 400B34) 2 | 49.245740 bits average error 3 | 49.245740 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | (FPCore () 8 | (fmod (exp (/ 0.000000 -1.807100e305)) (- 1.183600e-306 1.248100e-317))) 9 | test_10.c:19 in compute (addr 400AFE) 10 | 49.245740 bits average error 11 | 49.245740 bits max error 12 | 49.245740 bits average local error 13 | 49.245740 bits max local error 14 | Aggregated over 5 instances 15 | 16 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_11-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 0, 0 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 15], [16, 16], [18, 18], [19, 19], [21, 21]]}, success, 1.3123e+306, 1.3123e+306 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 15]]}, success, 1.3123e+306, 1.3123e+306 5 | BBs: {u'compute': [[12, 12]]}, success, 1.3123e+306, 1.3123e+306 6 | LINEs: {u'compute': [[12, 12]]}, success, 1.3123e+306, 1.3123e+306 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_11-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_11_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_11.c:21 in compute (addr 4008EF) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_11_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_12-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], inconsistent results, null, null 2 | LOOPs: {u'compute': [[12, 24]]}, inconsistent results, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [16, 16], [17, 19], [20, 20], [25, 25]]}, inconsistent results, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_12-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "compute" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_12_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_12.c:13 in main (addr 400820) 2 | 100% incorrect 3 | 5 incorrect values 4 | 5 total instances 5 | Influenced by erroneous expressions: 6 | 7 | (FPCore () 8 | (+ 1.530300e-106 (/ 1.866200e250 0.000000))) 9 | test_12.c:19 in main (addr 4007D5) 10 | 64.000000 bits average error 11 | 64.000000 bits max error 12 | 64.000000 bits average local error 13 | 64.000000 bits max local error 14 | Aggregated over 1 instances 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_13-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.1982000000000001e-307, 1.1982000000000001e-307 2 | LOOPs: {u'compute': [[22, 24]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 16], [17, 17], [18, 19], [20, 20], [22, 22], [23, 23], [26, 26]]}, success, -1.4641e-307, -1.4641e-307 4 | BBs: {u'compute': [[12, 12], [13, 16], [17, 17], [18, 19]]}, success, -1.4641e-307, -1.4641e-307 5 | BBs: {u'compute': [[12, 12], [13, 16]]}, success, -1.4641e-307, -1.4641e-307 6 | BBs: {u'compute': [[12, 12]]}, success, -1.4641e-307, -1.4641e-307 7 | LINEs: {u'compute': [[12, 12]]}, success, -1.4641e-307, -1.4641e-307 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_13-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_13_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_13.c:26 in compute (addr 40091D) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_13_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_14-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.3332999998288693e-314, 1.3332999998288693e-314 2 | LOOPs: {u'compute': [[12, 28]]}, success, 1.3332999998288693e-314, 1.3332999998288693e-314 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [16, 18], [19, 19], [20, 22], [23, 23]]}, failed, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_14-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 28 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_14_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_14_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_14.c:18 in compute (addr 400CFE) 2 | 100% incorrect 3 | 25 incorrect values 4 | 25 total instances 5 | Influenced by erroneous expressions: 6 | 7 | No influences found! 8 | 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_15-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -0, -0 2 | LOOPs: {u'compute': [[12, 16]]}, success, -1.0716000000001552e-306, -1.0716000000001552e-306 3 | BBs: {u'compute': [[12, 12], [13, 14], [15, 15]]}, failed, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_15-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 16 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_15_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_15.c:17 in compute (addr 4006DC) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_15_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_16-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 25, 6 | 25 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_16_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_16.c:28 in compute (addr 400A6A) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_16_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_17-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 14, 6 | 14 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_17_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_17.c:19 in compute (addr 400703) 2 | 3.169925 bits average error 3 | 3.169925 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_17_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_18-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.7040000018000921e-315, -1.7040000018000921e-315 2 | LOOPs: {u'compute': [[14, 19]]}, success, 1.0469000000000001e+305, 1.0469000000000001e+305 3 | BBs: {u'compute': [[14, 14], [15, 17], [18, 18]]}, success, 1.0469000000000001e+305, 1.0469000000000001e+305 4 | BBs: {u'compute': [[14, 14]]}, success, 1.0469000000000001e+305, 1.0469000000000001e+305 5 | LINEs: {u'compute': [[14, 14]]}, success, 1.0469000000000001e+305, 1.0469000000000001e+305 6 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_18-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 14, 6 | 14 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_18_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_18.c:21 in compute (addr 400968) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_18_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_19-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.161e+197, 1.161e+197 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 14]]}, success, -1.5974169396683851e+33, -1.5974169396683851e+33 4 | LINEs: {u'compute': [[12, 12], [13, 13], [14, 14]]}, success, -1.5974169396683851e+33, -1.5974169396683851e+33 5 | LINEs: {u'compute': [[12, 12]]}, failed, null, null 6 | LINEs: {u'compute': [[13, 13], [14, 14]]}, success, -1.5974169396683851e+33, -1.5974169396683851e+33 7 | LINEs: {u'compute': [[13, 13]]}, success, -1.5974169396683851e+33, -1.5974169396683851e+33 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_19-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 13, 6 | 13 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_19_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_19.c:14 in compute (addr 4007EB) 2 | 13.387075 bits average error 3 | 13.387075 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | (FPCore () 8 | (/ -1.674162e-279 (/ -1.435400e-306 -1.369600e6))) 9 | test_19.c:13 in compute (addr 4007C3) 10 | 13.387075 bits average error 11 | 13.387075 bits max error 12 | 13.387075 bits average local error 13 | 13.387075 bits max local error 14 | Aggregated over 1 instances 15 | 16 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_19_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_1_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_1.c:17 in compute (addr 400672) 2 | 1.000000 bits average error 3 | 1.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_1_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_2-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.7952000000000001e+306, 1.7952000000000001e+306 2 | LOOPs: {u'compute': [[15, 20]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 14], [15, 15], [16, 18], [19, 19], [21, 21], [22, 24], [25, 25], [27, 27], [28, 29], [30, 30], [33, 33]]}, success, 1.7952000000000001e+306, 1.7952000000000001e+306 4 | BBs: {u'compute': [[12, 12], [13, 14], [15, 15], [16, 18], [19, 19], [21, 21]]}, success, 1.7952000000000001e+306, 1.7952000000000001e+306 5 | BBs: {u'compute': [[12, 12], [13, 14], [15, 15]]}, success, 1.7952000000000001e+306, 1.7952000000000001e+306 6 | BBs: {u'compute': [[12, 12]]}, success, 1.7952000000000001e+306, 1.7952000000000001e+306 7 | LINEs: {u'compute': [[12, 12]]}, success, 1.7952000000000001e+306, 1.7952000000000001e+306 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_2-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_20-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.8704000000000001e+305, -1.8704000000000001e+305 2 | LOOPs: {u'compute': [[15, 19]]}, success, 1.2056843645804605e-165, 1.2056843645804605e-165 3 | BBs: {u'compute': [[15, 15], [16, 17], [18, 18]]}, success, 1.2056843645804605e-165, 1.2056843645804605e-165 4 | BBs: {u'compute': [[15, 15]]}, failed, null, null 5 | BBs: {u'compute': [[16, 17], [18, 18]]}, success, 1.2056843645804605e-165, 1.2056843645804605e-165 6 | BBs: {u'compute': [[16, 17]]}, failed, null, null 7 | BBs: {u'compute': [[18, 18]]}, success, 1.2056843645804605e-165, 1.2056843645804605e-165 8 | LINEs: {u'compute': [[18, 18]]}, success, 1.2056843645804605e-165, 1.2056843645804605e-165 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_20-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 18, 6 | 18 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_20_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_20.c:20 in compute (addr 4008BA) 2 | 1.000000 bits average error 3 | 1.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_20_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_21-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.0016999999999999e+305, 1.0016999999999999e+305 2 | LOOPs: {u'compute': [[13, 21]]}, success, 1.7620017235e-307, 1.7620017235e-307 3 | BBs: {u'compute': [[13, 13], [14, 16], [17, 17], [18, 18], [19, 19]]}, success, 1.7620017235e-307, 1.7620017235e-307 4 | BBs: {u'compute': [[13, 13], [14, 16]]}, failed, null, null 5 | BBs: {u'compute': [[17, 17], [18, 18], [19, 19]]}, success, 1.7620017235e-307, 1.7620017235e-307 6 | BBs: {u'compute': [[17, 17]]}, failed, null, null 7 | BBs: {u'compute': [[18, 18], [19, 19]]}, success, 1.7620017235e-307, 1.7620017235e-307 8 | BBs: {u'compute': [[18, 18]]}, success, 1.7620017235e-307, 1.7620017235e-307 9 | LINEs: {u'compute': [[18, 18]]}, success, 1.7620017235e-307, 1.7620017235e-307 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_21-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 18, 6 | 18 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_21_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_21.c:23 in compute (addr 4008D1) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_22-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.3735e-306, -1.3735e-306 2 | LOOPs: {u'compute': [[17, 19]]}, success, -7.5039999999999368e-307, -7.5039999999999368e-307 3 | BBs: {u'compute': [[17, 17], [18, 18]]}, success, -7.5039999999999368e-307, -7.5039999999999368e-307 4 | BBs: {u'compute': [[17, 17]]}, failed, null, null 5 | BBs: {u'compute': [[18, 18]]}, success, -7.5039999999999368e-307, -7.5039999999999368e-307 6 | LINEs: {u'compute': [[18, 18]]}, success, -7.5039999999999368e-307, -7.5039999999999368e-307 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_22-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 18, 6 | 18 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_22_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_23-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 18, 6 | 18 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_23_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_23.c:18 in compute (addr 4008F3) 2 | 100% incorrect 3 | 25 incorrect values 4 | 25 total instances 5 | Influenced by erroneous expressions: 6 | 7 | No influences found! 8 | 9 | compare @ test_23.c:18 in compute (addr 400900) 10 | 100% incorrect 11 | 50 incorrect values 12 | 50 total instances 13 | Influenced by erroneous expressions: 14 | 15 | No influences found! 16 | 17 | compare @ test_23.c:14 in compute (addr 400922) 18 | 100% incorrect 19 | 50 incorrect values 20 | 50 total instances 21 | Influenced by erroneous expressions: 22 | 23 | No influences found! 24 | 25 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_24-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 25, 6 | 25 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_24_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_24.c:27 in compute (addr 400884) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_24_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_25-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.284570679187241e-322, 1.284570679187241e-322 2 | LOOPs: {u'compute': [[13, 21]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [16, 16], [17, 17], [18, 18], [23, 23]]}, success, 1.284570679187241e-322, 1.284570679187241e-322 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15]]}, success, 1.284570679187241e-322, 1.284570679187241e-322 5 | BBs: {u'compute': [[12, 12], [13, 13]]}, success, 1.284570679187241e-322, 1.284570679187241e-322 6 | BBs: {u'compute': [[12, 12]]}, success, 1.284570679187241e-322, 1.284570679187241e-322 7 | LINEs: {u'compute': [[12, 12]]}, success, 1.284570679187241e-322, 1.284570679187241e-322 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_25-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_25_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_25_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_26-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.1363509854348671e-320, 1.1363509854348671e-320 2 | LOOPs: {u'compute': [[12, 16]]}, success, 7.3361500000000112e-306, 7.3361500000000112e-306 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14]]}, success, 7.3361500000000112e-306, 7.3361500000000112e-306 4 | BBs: {u'compute': [[12, 12]]}, failed, null, null 5 | BBs: {u'compute': [[13, 13], [14, 14]]}, success, 7.3361500000000112e-306, 7.3361500000000112e-306 6 | BBs: {u'compute': [[13, 13]]}, failed, null, null 7 | BBs: {u'compute': [[14, 14]]}, success, 7.3361500000000112e-306, 7.3361500000000112e-306 8 | LINEs: {u'compute': [[14, 14]]}, success, 7.3361500000000112e-306, 7.3361500000000112e-306 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_26-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 14, 6 | 14 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_26_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_26.c:17 in compute (addr 4007CC) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_26_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_26.c:12 in main (addr 4005D8) 2 | 100% incorrect 3 | 1 incorrect values 4 | 1 total instances 5 | Influenced by erroneous expressions: 6 | 7 | No influences found! 8 | 9 | compare @ test_26.c:12 in main (addr 4005F0) 10 | 100% incorrect 11 | 2 incorrect values 12 | 2 total instances 13 | Influenced by erroneous expressions: 14 | 15 | No influences found! 16 | 17 | compare @ test_26.c:12 in main (addr 400612) 18 | 100% incorrect 19 | 2 incorrect values 20 | 2 total instances 21 | Influenced by erroneous expressions: 22 | 23 | No influences found! 24 | 25 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_27-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.5370000000000001e-306, 1.5370000000000001e-306 2 | LOOPs: {u'compute': [[12, 15]]}, success, -5.641917588155792e-26, -5.641917588155792e-26 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14]]}, failed, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_27-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 15 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_27_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_27.c:16 in compute (addr 400694) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_27_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_28-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.9615999999999999e-144, -1.9615999999999999e-144 2 | LOOPs: {u'compute': [[21, 24]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 15], [16, 16], [17, 18], [19, 19], [21, 21], [22, 22], [23, 23], [26, 26]]}, success, -1.9615999999999999e-144, -1.9615999999999999e-144 4 | BBs: {u'compute': [[12, 12], [13, 15], [16, 16], [17, 18]]}, success, -1.9615999999999999e-144, -1.9615999999999999e-144 5 | BBs: {u'compute': [[12, 12], [13, 15]]}, success, -1.9615999999999999e-144, -1.9615999999999999e-144 6 | BBs: {u'compute': [[12, 12]]}, success, -1.9615999999999999e-144, -1.9615999999999999e-144 7 | LINEs: {u'compute': [[12, 12]]}, success, -1.9615999999999999e-144, -1.9615999999999999e-144 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_28-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_28_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_28_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_29-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 18, 6 | 18 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_29_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_29.c:21 in compute (addr 400A32) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_2_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_2_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_2.c:21 in compute (addr 400BE0) 2 | 100% incorrect 3 | 1 incorrect values 4 | 1 total instances 5 | Influenced by erroneous expressions: 6 | 7 | (FPCore (x) 8 | :pre (<= 4.040600e305 x) 9 | (+ x (+ (* (/ -1.075300e305 0.000000) +inf.0) (+ -1.983100e306 1.081600e306)))) 10 | test_2.c:19 in compute (addr 400C6D) 11 | Problematic inputs: 4.040600e305 <= x <= +inf.0 12 | Example problematic input: (4.040600e305) 13 | 64.000000 bits average error 14 | 64.000000 bits max error 15 | 64.000000 bits average local error 16 | 64.000000 bits max local error 17 | Aggregated over 5 instances 18 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_3-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.0587e-88, 1.0587e-88 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 13]]}, success, 1.0587e-88, 1.0587e-88 4 | LINEs: {u'compute': [[12, 12], [13, 13]]}, success, -1.0159965941079395e-16, -1.0159965941079395e-16 5 | LINEs: {u'compute': [[12, 12]]}, success, -1.0159965941079395e-16, -1.0159965941079395e-16 6 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_3-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_3.c: -------------------------------------------------------------------------------- 1 | //quartz2963_6790/_tests/_group_4/_test_8.c 2 | //+1.0587E-88 +1.0282E306 -1.0115E-322 3 | // 4 | 5 | /* This is a automatically generated test. Do not modify */ 6 | 7 | #include 8 | #include 9 | #include 10 | 11 | void compute(double comp, double var_1,double var_2) { 12 | comp += (var_1 * var_2); 13 | printf("%.17g\n", comp); 14 | 15 | } 16 | 17 | double* initPointer(double v) { 18 | double *ret = (double*) malloc(sizeof(double)*10); 19 | for(int i=0; i < 10; ++i) 20 | ret[i] = v; 21 | return ret; 22 | } 23 | 24 | int main(int argc, char** argv) { 25 | /* Program variables */ 26 | 27 | double tmp_1 = atof(argv[1]); 28 | double tmp_2 = atof(argv[2]); 29 | double tmp_3 = atof(argv[3]); 30 | 31 | compute(tmp_1,tmp_2,tmp_3); 32 | 33 | return 0; 34 | } 35 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_30-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.2828908559913808e-319, 1.2828908559913808e-319 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 15], [16, 16], [17, 18], [19, 19], [22, 22]]}, success, -nan, -nan 4 | BBs: {u'compute': [[12, 12], [13, 15], [16, 16]]}, failed, null, null 5 | BBs: {u'compute': [[17, 18], [19, 19], [22, 22]]}, failed, null, null 6 | LINEs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [16, 16], [17, 17], [18, 18], [19, 19], [22, 22]]}, success, -nan, -nan 7 | LINEs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15]]}, failed, null, null 8 | LINEs: {u'compute': [[16, 16], [17, 17], [18, 18], [19, 19], [22, 22]]}, failed, null, null 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_30-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ], 8 | [ 9 | 13, 10 | 13 11 | ], 12 | [ 13 | 14, 14 | 14 15 | ], 16 | [ 17 | 15, 18 | 15 19 | ], 20 | [ 21 | 16, 22 | 16 23 | ], 24 | [ 25 | 17, 26 | 17 27 | ], 28 | [ 29 | 18, 30 | 18 31 | ], 32 | [ 33 | 19, 34 | 19 35 | ], 36 | [ 37 | 22, 38 | 22 39 | ] 40 | ] 41 | }, 42 | "pLiner-funcs": [ 43 | "compute" 44 | ] 45 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_30_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_30.c:22 in compute (addr 400AC6) 2 | 4.459432 bits average error 3 | 4.459432 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | compare @ test_30.c:16 in compute (addr 400A27) 11 | 100% incorrect 12 | 1 incorrect values 13 | 1 total instances 14 | Influenced by erroneous expressions: 15 | 16 | (FPCore () 17 | (+ 1.314400e-44 (/ 1.802600e-316 0.000000))) 18 | test_30.c:15 in compute (addr 400A00) 19 | 64.000000 bits average error 20 | 64.000000 bits max error 21 | 64.000000 bits average local error 22 | 64.000000 bits max local error 23 | Aggregated over 1 instances 24 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_30_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_31-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.0415990758754328e-318, -1.0415990758754328e-318 2 | LOOPs: {u'compute': [[25, 27]]}, failed, null, null 3 | BBs: {u'compute': [[12, 14], [15, 15], [16, 18], [19, 19], [21, 21], [22, 22], [23, 23], [25, 25], [26, 26], [28, 28]]}, success, 2.6605003527702022e+235, 2.6605003527702022e+235 4 | BBs: {u'compute': [[12, 14], [15, 15], [16, 18], [19, 19], [21, 21]]}, failed, null, null 5 | BBs: {u'compute': [[22, 22], [23, 23], [25, 25], [26, 26], [28, 28]]}, success, 2.6605003527702022e+235, 2.6605003527702022e+235 6 | BBs: {u'compute': [[22, 22], [23, 23]]}, success, 2.6605003527702022e+235, 2.6605003527702022e+235 7 | BBs: {u'compute': [[22, 22]]}, success, 2.6605003527702027e+235, 2.6605003527702027e+235 8 | LINEs: {u'compute': [[22, 22]]}, success, 2.6605003527702027e+235, 2.6605003527702027e+235 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_31-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 22, 6 | 22 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_31_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_31.c:28 in compute (addr 40099F) 2 | 1.000000 bits average error 3 | 1.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_31_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_32-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], inconsistent results, null, null 2 | LOOPs: {u'compute': [[12, 26]]}, inconsistent results, null, null 3 | BBs: {u'compute': [[12, 12], [13, 16], [17, 17], [18, 19], [20, 20], [22, 22], [23, 23], [24, 24], [27, 27]]}, inconsistent results, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_32-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ], 8 | [ 9 | 13, 10 | 16 11 | ], 12 | [ 13 | 17, 14 | 17 15 | ], 16 | [ 17 | 18, 18 | 19 19 | ], 20 | [ 21 | 20, 22 | 20 23 | ], 24 | [ 25 | 22, 26 | 22 27 | ], 28 | [ 29 | 23, 30 | 23 31 | ], 32 | [ 33 | 24, 34 | 24 35 | ], 36 | [ 37 | 27, 38 | 27 39 | ] 40 | ] 41 | }, 42 | "pLiner-funcs": [ 43 | "compute" 44 | ] 45 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_32_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_32.c:27 in compute (addr 40094E) 2 | 1.000000 bits average error 3 | 1.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_33-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.7429e+306, -1.7429e+306 2 | LOOPs: {u'compute': [[13, 18]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 16], [17, 17], [19, 19], [20, 20], [22, 22]]}, success, -1.6039e+305, -1.6039e+305 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 16]]}, failed, null, null 5 | BBs: {u'compute': [[17, 17], [19, 19], [20, 20], [22, 22]]}, success, -1.6039e+305, -1.6039e+305 6 | BBs: {u'compute': [[17, 17], [19, 19]]}, success, -1.6039e+305, -1.6039e+305 7 | BBs: {u'compute': [[17, 17]]}, failed, null, null 8 | BBs: {u'compute': [[19, 19]]}, success, -1.6039e+305, -1.6039e+305 9 | LINEs: {u'compute': [[19, 19]]}, success, -1.6039e+305, -1.6039e+305 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_33-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 19, 6 | 19 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_33_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_33.c:22 in compute (addr 40097C) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | compare @ test_33.c:19 in compute (addr 40092B) 11 | 100% incorrect 12 | 1 incorrect values 13 | 1 total instances 14 | Influenced by erroneous expressions: 15 | 16 | (FPCore () 17 | (/ -1.383384e-321 0.000000)) 18 | test_33.c:19 in compute (addr 400923) 19 | 64.000000 bits average error 20 | 64.000000 bits max error 21 | 64.000000 bits average local error 22 | 64.000000 bits max local error 23 | Aggregated over 1 instances 24 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_33_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_33.c:12 in compute (addr 40096D) 2 | 100% incorrect 3 | 1 incorrect values 4 | 1 total instances 5 | Influenced by erroneous expressions: 6 | 7 | No influences found! 8 | 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_34-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.1362000000017137e-307, 1.1362000000017137e-307 2 | LOOPs: {u'compute': []}, inconsistent results, null, null 3 | BBs: {u'compute': [[12, 15], [16, 16], [17, 17], [18, 18], [20, 20], [21, 21], [22, 22], [24, 24]]}, inconsistent results, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_34-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "compute" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_34_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_34.c:24 in compute (addr 400AC9) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_34_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_34.c:22 in main (addr 40071B) 2 | 100% incorrect 3 | 1 incorrect values 4 | 1 total instances 5 | Influenced by erroneous expressions: 6 | 7 | No influences found! 8 | 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_35-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.8489000000000168e-310, 1.8489000000000168e-310 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 16]]}, success, 1.8489000000000168e-310, 1.8489000000000168e-310 4 | LINEs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [16, 16]]}, success, -1.0897999999818878e-307, -1.0897999999818878e-307 5 | LINEs: {u'compute': [[12, 12], [13, 13]]}, failed, null, null 6 | LINEs: {u'compute': [[14, 14], [15, 15], [16, 16]]}, success, -1.0897999999818878e-307, -1.0897999999818878e-307 7 | LINEs: {u'compute': [[14, 14]]}, failed, null, null 8 | LINEs: {u'compute': [[15, 15], [16, 16]]}, success, -1.0897999999818878e-307, -1.0897999999818878e-307 9 | LINEs: {u'compute': [[15, 15]]}, success, -1.0897999999818878e-307, -1.0897999999818878e-307 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_35-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 15, 6 | 15 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_35_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_35.c:16 in compute (addr 40075E) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_35_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_36-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.6573e+306, -1.6573e+306 2 | LOOPs: {u'compute': [[28, 32]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 18], [19, 19], [20, 20], [22, 22], [23, 25], [26, 26], [28, 28], [29, 30], [31, 31], [36, 36]]}, success, -5.0389999999999993e+305, -5.0389999999999993e+305 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 18], [19, 19], [20, 20]]}, success, -5.0389999999999993e+305, -5.0389999999999993e+305 5 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14]]}, success, -5.0389999999999993e+305, -5.0389999999999993e+305 6 | BBs: {u'compute': [[12, 12]]}, success, -5.0389999999999993e+305, -5.0389999999999993e+305 7 | LINEs: {u'compute': [[12, 12]]}, success, -5.0389999999999993e+305, -5.0389999999999993e+305 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_36-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_36_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_36.c:36 in compute (addr 400AEE) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | compare @ test_36.c:12 in compute (addr 400824) 11 | 100% incorrect 12 | 1 incorrect values 13 | 1 total instances 14 | Influenced by erroneous expressions: 15 | 16 | (FPCore () 17 | (sqrt (+ (/ 1.976263e-323 0.000000) -1.702400e163))) 18 | test_36.c:12 in compute (addr 400823) 19 | 64.000000 bits average error 20 | 64.000000 bits max error 21 | 64.000000 bits average local error 22 | 64.000000 bits max local error 23 | Aggregated over 1 instances 24 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_36_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_36.c:11 in compute (addr 400C5C) 2 | 100% incorrect 3 | 1 incorrect values 4 | 1 total instances 5 | Influenced by erroneous expressions: 6 | 7 | (FPCore () 8 | (sqrt (+ -1.702400e163 (/ 1.976263e-323 0.000000)))) 9 | test_36.c:12 in compute (addr 400C65) 10 | 64.000000 bits average error 11 | 64.000000 bits max error 12 | 64.000000 bits average local error 13 | 64.000000 bits max local error 14 | Aggregated over 1 instances 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_37-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.8002999999992524e-312, 1.8002999999992524e-312 2 | LOOPs: {u'compute': [[19, 22]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 16], [17, 17], [19, 19], [20, 20], [21, 21], [24, 24]]}, success, 1.8002999999992524e-312, 1.8002999999992524e-312 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 16]]}, success, 1.8002999999992524e-312, 1.8002999999992524e-312 5 | BBs: {u'compute': [[12, 12], [13, 13]]}, success, 1.8002999999992524e-312, 1.8002999999992524e-312 6 | BBs: {u'compute': [[12, 12]]}, success, 1.8002999999992524e-312, 1.8002999999992524e-312 7 | LINEs: {u'compute': [[12, 12]]}, success, 1.8002999999992524e-312, 1.8002999999992524e-312 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_37-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_37_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_37_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_38-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 15, 6 | 15 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_38_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_38.c:20 in compute (addr 40086A) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_39-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.0178999820085428e-316, -1.0178999820085428e-316 2 | LOOPs: {u'compute': [[15, 18]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [16, 16], [17, 17], [22, 22]]}, success, 1.8182999999999999e+306, 1.8182999999999999e+306 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14]]}, success, 1.8182999999999999e+306, 1.8182999999999999e+306 5 | BBs: {u'compute': [[12, 12]]}, failed, null, null 6 | BBs: {u'compute': [[13, 13], [14, 14]]}, success, 1.8182999999999999e+306, 1.8182999999999999e+306 7 | BBs: {u'compute': [[13, 13]]}, success, 1.8182999999999999e+306, 1.8182999999999999e+306 8 | LINEs: {u'compute': [[13, 13]]}, success, 1.8182999999999999e+306, 1.8182999999999999e+306 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_39-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 13, 6 | 13 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_39_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_39.c:22 in compute (addr 400706) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_39_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_3_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_3.c:13 in compute (addr 400600) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_3_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_4-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.2512999999999999e+306, 1.2512999999999999e+306 2 | LOOPs: {u'compute': [[17, 19]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 16], [17, 17], [18, 18], [20, 20], [21, 21], [22, 22], [25, 25]]}, success, 1.6678000000000001e+306, 1.6678000000000001e+306 4 | BBs: {u'compute': [[12, 12], [13, 16], [17, 17], [18, 18]]}, failed, null, null 5 | BBs: {u'compute': [[20, 20], [21, 21], [22, 22], [25, 25]]}, success, 1.6678000000000001e+306, 1.6678000000000001e+306 6 | BBs: {u'compute': [[20, 20], [21, 21]]}, success, 1.6678000000000001e+306, 1.6678000000000001e+306 7 | BBs: {u'compute': [[20, 20]]}, success, 1.6678000000000001e+306, 1.6678000000000001e+306 8 | LINEs: {u'compute': [[20, 20]]}, success, 1.6678000000000001e+306, 1.6678000000000001e+306 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_4-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 20, 6 | 20 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_40-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.7956999999999999e-306, 1.7956999999999999e-306 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [16, 16]]}, success, -7.9350091180710703e-308, -7.9350091180710703e-308 4 | BBs: {u'compute': [[12, 12], [13, 13]]}, success, -7.9350091180710703e-308, -7.9350091180710703e-308 5 | BBs: {u'compute': [[12, 12]]}, success, -7.9350091180710703e-308, -7.9350091180710703e-308 6 | LINEs: {u'compute': [[12, 12]]}, success, -7.9350091180710703e-308, -7.9350091180710703e-308 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_40-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_40_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_41_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_41.c:27 in compute (addr 400B80) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_42-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.1016e+306, 1.1016e+306 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 15], [16, 16], [19, 19]]}, success, 1.08335e+306, 1.08335e+306 4 | BBs: {u'compute': [[12, 12], [13, 13]]}, success, 1.08335e+306, 1.08335e+306 5 | BBs: {u'compute': [[12, 12]]}, failed, null, null 6 | BBs: {u'compute': [[13, 13]]}, success, 1.08335e+306, 1.08335e+306 7 | LINEs: {u'compute': [[13, 13]]}, success, 1.08335e+306, 1.08335e+306 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_42-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 13, 6 | 13 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_42_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_42.c:19 in compute (addr 4006D8) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | compare @ test_42.c:13 in compute (addr 400637) 11 | 100% incorrect 12 | 1 incorrect values 13 | 1 total instances 14 | Influenced by erroneous expressions: 15 | 16 | (FPCore () 17 | (* (* (/ 1.474000e-206 (/ 0.000000 1.046200e306)) 1.210461e-321) -1.026100e-313)) 18 | test_42.c:13 in compute (addr 400633) 19 | 64.000000 bits average error 20 | 64.000000 bits max error 21 | 64.000000 bits average local error 22 | 64.000000 bits max local error 23 | Aggregated over 1 instances 24 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_42_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_42.c:13 in compute (addr 4006EA) 2 | 100% incorrect 3 | 1 incorrect values 4 | 1 total instances 5 | Influenced by erroneous expressions: 6 | 7 | (FPCore () 8 | (* (/ 1.866650e-221 0.000000) -1.026100e-313)) 9 | test_42.c:13 in compute (addr 4006EA) 10 | 64.000000 bits average error 11 | 64.000000 bits max error 12 | 64.000000 bits average local error 13 | 64.000000 bits max local error 14 | Aggregated over 1 instances 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_43-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.2474e-306, 1.2474e-306 2 | LOOPs: {u'compute': [[12, 18]]}, success, 1.2474001363375002e-306, 1.2474001363375002e-306 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15]]}, failed, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_43-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 18 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_43_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_43.c:19 in compute (addr 400682) 2 | 5.321928 bits average error 3 | 5.321928 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_43_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_44-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.9762625833649862e-323, 1.9762625833649862e-323 2 | LOOPs: {u'compute': [[12, 20]]}, success, 1.7213000000000001e+306, 1.7213000000000001e+306 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 16], [17, 17]]}, success, 1.7213000000000001e+306, 1.7213000000000001e+306 4 | BBs: {u'compute': [[12, 12], [13, 13]]}, success, 1.7213000000000001e+306, 1.7213000000000001e+306 5 | BBs: {u'compute': [[12, 12]]}, failed, null, null 6 | BBs: {u'compute': [[13, 13]]}, success, 1.7213000000000001e+306, 1.7213000000000001e+306 7 | LINEs: {u'compute': [[13, 13]]}, success, 1.7213000000000001e+306, 1.7213000000000001e+306 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_44-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 13, 6 | 13 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_44_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_44.c:21 in compute (addr 40084C) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_44_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_45-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.6254e+306, -1.6254e+306 2 | LOOPs: {u'compute': [[12, 23]]}, success, -1, -1 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 16], [17, 17], [18, 18], [19, 19]]}, success, -1, -1 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14]]}, failed, null, null 5 | BBs: {u'compute': [[15, 16], [17, 17], [18, 18], [19, 19]]}, success, -1, -1 6 | BBs: {u'compute': [[15, 16], [17, 17]]}, failed, null, null 7 | BBs: {u'compute': [[18, 18], [19, 19]]}, success, -1, -1 8 | BBs: {u'compute': [[18, 18]]}, failed, null, null 9 | BBs: {u'compute': [[19, 19]]}, success, -1, -1 10 | LINEs: {u'compute': [[19, 19]]}, success, -1, -1 11 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_45-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 19, 6 | 19 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_45_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_45.c:24 in compute (addr 400900) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_45_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_46-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], inconsistent results, null, null 2 | LOOPs: {u'compute': []}, inconsistent results, null, null 3 | BBs: {u'compute': [[12, 12], [13, 15], [16, 16], [17, 17], [19, 19], [20, 22], [23, 23], [25, 25], [26, 26], [27, 27], [30, 30]]}, inconsistent results, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_46-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ], 8 | [ 9 | 13, 10 | 15 11 | ], 12 | [ 13 | 16, 14 | 16 15 | ], 16 | [ 17 | 17, 18 | 17 19 | ], 20 | [ 21 | 19, 22 | 19 23 | ], 24 | [ 25 | 20, 26 | 22 27 | ], 28 | [ 29 | 23, 30 | 23 31 | ], 32 | [ 33 | 25, 34 | 25 35 | ], 36 | [ 37 | 26, 38 | 26 39 | ], 40 | [ 41 | 27, 42 | 27 43 | ], 44 | [ 45 | 30, 46 | 30 47 | ] 48 | ] 49 | }, 50 | "pLiner-funcs": [ 51 | "compute" 52 | ] 53 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_46_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_46_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_47-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], inconsistent results, null, null 2 | LOOPs: {u'compute': []}, inconsistent results, null, null 3 | BBs: {u'compute': [[12, 13], [14, 14], [15, 15], [17, 17], [18, 18], [20, 20]]}, inconsistent results, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_47-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 13 7 | ], 8 | [ 9 | 14, 10 | 14 11 | ], 12 | [ 13 | 15, 14 | 15 15 | ], 16 | [ 17 | 17, 18 | 17 19 | ], 20 | [ 21 | 18, 22 | 18 23 | ], 24 | [ 25 | 20, 26 | 20 27 | ] 28 | ] 29 | }, 30 | "pLiner-funcs": [ 31 | "compute" 32 | ] 33 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_47_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_47.c:20 in compute (addr 400839) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_47_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_47.c:14 in main (addr 4005EE) 2 | 100% incorrect 3 | 1 incorrect values 4 | 1 total instances 5 | Influenced by erroneous expressions: 6 | 7 | No influences found! 8 | 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_48-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.3643128744260182e-319, -1.3643128744260182e-319 2 | LOOPs: {u'compute': [[16, 18]]}, inconsistent results, null, null 3 | BBs: {u'compute': [[12, 12], [13, 15], [16, 16], [17, 17], [20, 20]]}, inconsistent results, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_48-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "compute" 4 | ] 5 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_48_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_48_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_49-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.2872000000000001e-306, -1.2872000000000001e-306 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 17], [18, 18], [21, 21]]}, success, 1, 1 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14]]}, success, 1, 1 5 | BBs: {u'compute': [[12, 12]]}, success, 1, 1 6 | LINEs: {u'compute': [[12, 12]]}, success, 1, 1 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_49-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_49_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_49.c:21 in compute (addr 40094B) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_49_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_4_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_4.c:25 in compute (addr 4009AD) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | compare @ test_4.c:20 in compute (addr 400944) 11 | 100% incorrect 12 | 1 incorrect values 13 | 1 total instances 14 | Influenced by erroneous expressions: 15 | 16 | (FPCore () 17 | (* (+ (/ -1.849900e192 1.316800e-246) -1.390400e305) -1.570190e-319)) 18 | test_4.c:20 in compute (addr 400933) 19 | 61.293778 bits average error 20 | 61.293778 bits max error 21 | 61.293778 bits average local error 22 | 61.293778 bits max local error 23 | Aggregated over 1 instances 24 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_4_O3.gh: -------------------------------------------------------------------------------- 1 | compare @ test_4.c:20 in compute (addr 400B29) 2 | 100% incorrect 3 | 1 incorrect values 4 | 1 total instances 5 | Influenced by erroneous expressions: 6 | 7 | (FPCore () 8 | (* (+ (/ -1.849900e192 1.316800e-246) -1.390400e305) -1.570190e-319)) 9 | test_4.c:20 in compute (addr 400B23) 10 | 61.293778 bits average error 11 | 61.293778 bits max error 12 | 61.293778 bits average local error 13 | 61.293778 bits max local error 14 | Aggregated over 1 instances 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_5-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.470699999999695e-312, 1.470699999999695e-312 2 | LOOPs: {u'compute': [[16, 20], [21, 26]]}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 15], [16, 16], [17, 18], [19, 19], [21, 21], [22, 24], [25, 25], [28, 28]]}, success, 0.1872213364886349, 0.1872213364886349 4 | BBs: {u'compute': [[12, 12], [13, 15], [16, 16], [17, 18]]}, success, 0.1872213364886349, 0.1872213364886349 5 | BBs: {u'compute': [[12, 12], [13, 15]]}, success, 0.1872213364886349, 0.1872213364886349 6 | BBs: {u'compute': [[12, 12]]}, success, 0.1872213364886349, 0.1872213364886349 7 | LINEs: {u'compute': [[12, 12]]}, success, 0.1872213364886349, 0.1872213364886349 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_5-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_50-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 15, 6 | 15 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_50_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_50.c:25 in compute (addr 40099C) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_50_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_5_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_5_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_6-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.2118000000000001e+171, -1.2118000000000001e+171 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 15]]}, success, -1.2118000000000001e+171, -1.2118000000000001e+171 4 | LINEs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15]]}, success, 1.4983799999999999e+306, 1.4983799999999999e+306 5 | LINEs: {u'compute': [[12, 12], [13, 13]]}, success, 1.4983799999999999e+306, 1.4983799999999999e+306 6 | LINEs: {u'compute': [[12, 12]]}, success, 1.4983799999999999e+306, 1.4983799999999999e+306 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_6-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_6_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_6.c:15 in compute (addr 40067F) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_6_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_7-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.5515999999999998e-210, 1.5515999999999998e-210 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [17, 17], [18, 19], [20, 20], [22, 22], [23, 23], [25, 25]]}, success, 2.9836851622549966e-15, 2.9836851622549966e-15 4 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [17, 17]]}, success, 2.9836851622549966e-15, 2.9836851622549966e-15 5 | BBs: {u'compute': [[12, 12], [13, 13]]}, success, 2.9836851622549966e-15, 2.9836851622549966e-15 6 | BBs: {u'compute': [[12, 12]]}, success, 2.9836851622549966e-15, 2.9836851622549966e-15 7 | LINEs: {u'compute': [[12, 12]]}, success, 2.9836851622549966e-15, 2.9836851622549966e-15 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_7-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_7_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_7.c:25 in compute (addr 400A9C) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_7_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_8-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, -1.0093e+305, -1.0093e+305 2 | LOOPs: {u'compute': [[24, 29]]}, success, -0.0048350988304273826, -0.0048350988304273826 3 | BBs: {u'compute': [[24, 24], [25, 27], [28, 28]]}, success, -0.0048350988304273826, -0.0048350988304273826 4 | BBs: {u'compute': [[24, 24]]}, failed, null, null 5 | BBs: {u'compute': [[25, 27], [28, 28]]}, success, -0.0048350988304273826, -0.0048350988304273826 6 | BBs: {u'compute': [[25, 27]]}, failed, null, null 7 | BBs: {u'compute': [[28, 28]]}, success, -0.0048350988304273826, -0.0048350988304273826 8 | LINEs: {u'compute': [[28, 28]]}, success, -0.0048350988304273826, -0.0048350988304273826 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_8-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 28, 6 | 28 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_8_O0.gh: -------------------------------------------------------------------------------- 1 | Output @ test_8.c:30 in compute (addr 400B2C) 2 | 0.000000 bits average error 3 | 0.000000 bits max error 4 | Aggregated over 1 instances 5 | Influenced by erroneous expression: 6 | 7 | No influences found! 8 | 9 | 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_8_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_9-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: [u'compute'], success, 1.9024985824408881e-318, 1.9024985824408881e-318 2 | LOOPs: {u'compute': []}, failed, null, null 3 | BBs: {u'compute': [[12, 12], [13, 13], [14, 14], [15, 15], [18, 18]]}, success, 1.9024985824408881e-318, 1.9024985824408881e-318 4 | BBs: {u'compute': [[12, 12], [13, 13]]}, success, 1.9024985824408881e-318, 1.9024985824408881e-318 5 | BBs: {u'compute': [[12, 12]]}, success, 1.9024985824408881e-318, 1.9024985824408881e-318 6 | LINEs: {u'compute': [[12, 12]]}, success, 1.9024985824408881e-318, 1.9024985824408881e-318 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_9-regions.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_9_O0.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/test_9_O3.gh: -------------------------------------------------------------------------------- 1 | No marks found! 2 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/tmptmp: -------------------------------------------------------------------------------- 1 | Unhandled Statement: CallExpr , line 18 2 | Unhandled Statement: CallExpr , line 18 3 | Unhandled Statement: CallExpr , line 18 4 | Unhandled Statement: CallExpr , line 18 5 | Unhandled Statement: CallExpr , line 18 6 | Unhandled Statement: CallExpr , line 18 7 | Unhandled Statement: CallExpr , line 18 8 | Unhandled Statement: CallExpr , line 18 9 | Unhandled Statement: CallExpr , line 18 10 | Unhandled Statement: CallExpr , line 18 11 | 12 | real 0m4.559s 13 | user 0m4.136s 14 | sys 0m0.188s 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/reference/tmp}: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LLNL/pLiner/f45b82fe071ce30d8ec3c94a607a16a2e02e05c0/benchmarks/Varity/Varity-intel/reference/tmp} -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/run_varity_programs.py: -------------------------------------------------------------------------------- 1 | import os 2 | for i in range(1,51): 3 | command = 'python ../../../scripts/search.py test_'+str(i)+'.c \"--\"' 4 | print(command) 5 | os.system(command) 6 | 7 | print("************End of file "+str(i)+"***************************") 8 | 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-intel/test_3.c: -------------------------------------------------------------------------------- 1 | //quartz2963_6790/_tests/_group_4/_test_8.c 2 | //+1.0587E-88 +1.0282E306 -1.0115E-322 3 | // 4 | 5 | /* This is a automatically generated test. Do not modify */ 6 | 7 | #include 8 | #include 9 | #include 10 | 11 | void compute(double comp, double var_1,double var_2) { 12 | comp += (var_1 * var_2); 13 | printf("%.17g\n", comp); 14 | 15 | } 16 | 17 | double* initPointer(double v) { 18 | double *ret = (double*) malloc(sizeof(double)*10); 19 | for(int i=0; i < 10; ++i) 20 | ret[i] = v; 21 | return ret; 22 | } 23 | 24 | int main(int argc, char** argv) { 25 | /* Program variables */ 26 | 27 | double tmp_1 = atof(argv[1]); 28 | double tmp_2 = atof(argv[2]); 29 | double tmp_3 = atof(argv[3]); 30 | 31 | compute(tmp_1,tmp_2,tmp_3); 32 | 33 | return 0; 34 | } 35 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/Makefile: -------------------------------------------------------------------------------- 1 | CC=/usr/tce/packages/xl/xl-2019.08.20/bin/xlc 2 | #CC=gcc 3 | CFLAGS= #-qstrict #-std=c99 4 | LDFLAGS=-lm 5 | 6 | SOURCES := $(wildcard *.c) 7 | 8 | O0EXES := $(SOURCES:.c=_O0) 9 | O3EXES := $(SOURCES:.c=_O3) 10 | EXECUTABLES := $(O0EXES) $(O3EXES) 11 | 12 | all: $(SOURCES) $(EXECUTABLES) 13 | clean: 14 | rm -f $(EXECUTABLES) 15 | 16 | %_O0 : %.c 17 | $(CC) $(CFLAGS) -O0 -o $@ $< $(LDFLAGS) 18 | 19 | %_O3 : %.c 20 | $(CC) $(CFLAGS) -O3 -o $@ $< $(LDFLAGS) 21 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/cmp.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ftest=$1 4 | 5 | input=`sed -n "3p" $ftest.c | cut -d "_" -f 2 | sed "s/^O. //"` 6 | 7 | O0exe="${ftest}_O0" 8 | O3exe="${ftest}_O3" 9 | 10 | echo "./$O0exe $input" 11 | ./$O0exe $input 12 | 13 | echo "./$O3exe $input" 14 | ./$O3exe $input 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/Makefile: -------------------------------------------------------------------------------- 1 | CC=/usr/tce/packages/xl/xl-2019.08.20/bin/xlc 2 | #CC=gcc 3 | CFLAGS= #-qstrict #-std=c99 4 | LDFLAGS=-lm 5 | 6 | SOURCES := $(wildcard *.c) 7 | 8 | O0EXES := $(SOURCES:.c=_O0) 9 | O3EXES := $(SOURCES:.c=_O3) 10 | EXECUTABLES := $(O0EXES) $(O3EXES) 11 | 12 | all: $(SOURCES) $(EXECUTABLES) 13 | clean: 14 | rm -f $(EXECUTABLES) 15 | 16 | %_O0 : %.c 17 | $(CC) $(CFLAGS) -O0 -o $@ $< $(LDFLAGS) 18 | 19 | %_O3 : %.c 20 | $(CC) $(CFLAGS) -O3 -o $@ $< $(LDFLAGS) 21 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/cmp.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ftest=$1 4 | 5 | input=`sed -n "3p" $ftest.c | cut -d "_" -f 2 | sed "s/^O. //"` 6 | 7 | O0exe="${ftest}_O0" 8 | O3exe="${ftest}_O3" 9 | 10 | echo "./$O0exe $input" 11 | ./$O0exe $input 12 | 13 | echo "./$O3exe $input" 14 | ./$O3exe $input 15 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_1-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 24]], success, -inf, -inf 2 | BBs: [[18, 17], [18, 17], [18, 18], [19, 19], [20, 21], [22, 22]], success, -inf, -inf 3 | BBs: [[18, 17], [18, 17], [18, 18]], failed, null, null 4 | BBs: [[19, 19], [20, 21], [22, 22]], success, -inf, -inf 5 | BBs: [[19, 19]], success, -inf, -inf 6 | LINEs: [[19, 19]], success, -inf, -inf 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_10-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 19]], success, 0, 0 3 | LINEs: [[18, 18], [19, 19]], failed, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_11-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 20]], success, nan, nan 3 | LINEs: [[18, 18], [19, 19], [20, 20]], success, nan, nan 4 | LINEs: [[18, 18]], failed, null, null 5 | LINEs: [[19, 19], [20, 20]], success, nan, nan 6 | LINEs: [[19, 19]], success, nan, nan 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_12-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[17, 21]], failed, null, null 2 | BBs: [[17, 16], [17, 16], [17, 17], [18, 19], [20, 20], [22, 22]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_12_minimal.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | int main(){ 10 | double x=0.1; 11 | double y=0.0/0.0; 12 | double z = x + -0.0 * y; 13 | printf("%.3g + -0.0 * %.3g = %.3g\n", x, y, z); 14 | 15 | return 0; 16 | } 17 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_13-log.txt: -------------------------------------------------------------------------------- 1 | FUNCTIONs: ['compute'], success, 1.2458999980455835e-315, 1.2458999980455835e-315 2 | LOOPs: {'compute': [[19, 24]]}, failed, null, null 3 | BBs: {'compute': [[18, 18], [19, 19], [20, 20], [21, 21], [22, 22], [26, 26]]}, failed, null, null 4 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_14-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[17, 17], [18, 20], [21, 21], [22, 23], [24, 24], [27, 27]], success, inf, inf 3 | BBs: [[17, 17], [18, 20], [21, 21]], success, inf, inf 4 | BBs: [[17, 17]], failed, null, null 5 | BBs: [[18, 20], [21, 21]], success, inf, inf 6 | BBs: [[18, 20]], success, inf, inf 7 | LINEs: [[18, 18], [19, 19], [20, 20]], success, inf, inf 8 | LINEs: [[18, 18]], failed, null, null 9 | LINEs: [[19, 19], [20, 20]], success, inf, inf 10 | LINEs: [[19, 19]], failed, null, null 11 | LINEs: [[20, 20]], success, inf, inf 12 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_15-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 21]], success, -0, -0 2 | BBs: [[18, 17], [18, 17], [18, 18], [19, 19], [20, 20]], success, -inf, -inf 3 | BBs: [[18, 17], [18, 17]], failed, null, null 4 | BBs: [[18, 18], [19, 19], [20, 20]], success, -inf, -inf 5 | BBs: [[18, 18]], failed, null, null 6 | BBs: [[19, 19], [20, 20]], success, -inf, -inf 7 | BBs: [[19, 19]], success, -inf, -inf 8 | LINEs: [[19, 19]], success, -inf, -inf 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_16-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 33]], success, -inf, -inf 2 | LOOPs: [[20, 31]], success, -inf, -inf 3 | LOOPs: [[23, 27], [28, 30]], success, -inf, -inf 4 | LOOPs: [[23, 27]], failed, null, null 5 | LOOPs: [[28, 30]], success, -inf, -inf 6 | BBs: [[28, 27], [28, 27], [28, 28], [29, 29]], success, -inf, -inf 7 | BBs: [[28, 27], [28, 27]], failed, null, null 8 | BBs: [[28, 28], [29, 29]], success, -inf, -inf 9 | BBs: [[28, 28]], failed, null, null 10 | BBs: [[29, 29]], success, -inf, -inf 11 | LINEs: [[29, 29]], success, -inf, -inf 12 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_17-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[19, 23], [24, 27]], success, -3.0755400000000001e+306, -3.0755400000000001e+306 2 | LOOPs: [[19, 23]], success, -3.0755400000000007e+306, -3.0755400000000007e+306 3 | BBs: [[19, 18], [19, 19], [20, 21], [22, 22]], success, -3.0755400000000007e+306, -3.0755400000000007e+306 4 | BBs: [[19, 18], [19, 19]], failed, null, null 5 | BBs: [[20, 21], [22, 22]], success, -3.0755400000000007e+306, -3.0755400000000007e+306 6 | BBs: [[20, 21]], failed, null, null 7 | BBs: [[22, 22]], success, -3.0755400000000007e+306, -3.0755400000000007e+306 8 | LINEs: [[22, 22]], success, -3.0755400000000007e+306, -3.0755400000000007e+306 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_18-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 20]], success, 7.1042170694197034e-307, 7.1042170694197034e-307 2 | BBs: [[18, 17], [18, 17], [18, 18], [19, 19]], success, 7.1042170694197027e-307, 7.1042170694197027e-307 3 | BBs: [[18, 17], [18, 17]], failed, null, null 4 | BBs: [[18, 18], [19, 19]], success, 7.1042170694197027e-307, 7.1042170694197027e-307 5 | BBs: [[18, 18]], failed, null, null 6 | BBs: [[19, 19]], success, 7.1042170694197027e-307, 7.1042170694197027e-307 7 | LINEs: [[19, 19]], success, 7.1042170694197027e-307, 7.1042170694197027e-307 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_19-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 17], [18, 18], [19, 21], [22, 22], [23, 23], [24, 24], [27, 27]], success, 7.5647846381198691e-11, 7.5647846381198691e-11 3 | BBs: [[18, 17], [18, 18], [19, 21]], failed, null, null 4 | BBs: [[22, 22], [23, 23], [24, 24], [27, 27]], success, 7.5647846381198691e-11, 7.5647846381198691e-11 5 | BBs: [[22, 22], [23, 23]], success, 7.5647846381198691e-11, 7.5647846381198691e-11 6 | BBs: [[22, 22]], failed, null, null 7 | BBs: [[23, 23]], success, 7.5647846381198691e-11, 7.5647846381198691e-11 8 | LINEs: [[23, 23]], success, 7.5647846381198691e-11, 7.5647846381198691e-11 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_2-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[21, 20], [21, 21], [22, 24], [26, 26], [27, 27], [29, 29], [32, 32]], success, -1.7317999999999999e-306, -1.7317999999999999e-306 3 | BBs: [[21, 20], [21, 21], [22, 24]], success, -1.7317999999999999e-306, -1.7317999999999999e-306 4 | BBs: [[21, 20]], failed, null, null 5 | BBs: [[21, 21], [22, 24]], success, -1.7317999999999999e-306, -1.7317999999999999e-306 6 | BBs: [[21, 21]], success, -1.7317999999999999e-306, -1.7317999999999999e-306 7 | LINEs: [[21, 21]], success, -1.7317999999999999e-306, -1.7317999999999999e-306 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_20-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 18], [19, 21], [22, 22], [23, 24], [25, 25], [28, 28]], success, 1.4499999999999986e+303, 1.4499999999999986e+303 3 | BBs: [[18, 18], [19, 21], [22, 22]], success, 1.4499999999999986e+303, 1.4499999999999986e+303 4 | BBs: [[18, 18]], failed, null, null 5 | BBs: [[19, 21], [22, 22]], success, 1.4499999999999986e+303, 1.4499999999999986e+303 6 | BBs: [[19, 21]], failed, null, null 7 | BBs: [[22, 22]], failed, null, null 8 | LINEs: [[19, 19], [20, 20], [21, 21], [22, 22]], success, 1.4499999999999986e+303, 1.4499999999999986e+303 9 | LINEs: [[19, 19], [20, 20]], failed, null, null 10 | LINEs: [[21, 21], [22, 22]], failed, null, null 11 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_21-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 17], [18, 18], [19, 19], [21, 21]], success, -0.0013508444125044853, -0.0013508444125044853 3 | BBs: [[18, 17], [18, 18]], failed, null, null 4 | BBs: [[19, 19], [21, 21]], failed, null, null 5 | LINEs: [[18, 18], [19, 19], [21, 21]], success, -0.0013508444125044853, -0.0013508444125044853 6 | LINEs: [[18, 18]], failed, null, null 7 | LINEs: [[19, 19], [21, 21]], failed, null, null 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_22-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[25, 29]], success, inf, inf 2 | BBs: [[25, 24], [25, 24], [25, 25], [26, 27], [28, 28]], success, inf, inf 3 | BBs: [[25, 24], [25, 24]], failed, null, null 4 | BBs: [[25, 25], [26, 27], [28, 28]], success, inf, inf 5 | BBs: [[25, 25]], failed, null, null 6 | BBs: [[26, 27], [28, 28]], success, inf, inf 7 | BBs: [[26, 27]], failed, null, null 8 | BBs: [[28, 28]], success, inf, inf 9 | LINEs: [[28, 28]], success, inf, inf 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_23-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 21]], success, -0, -0 3 | LINEs: [[18, 18], [19, 19], [20, 20], [21, 21]], success, 6.9740229347062958e+54, 6.9740229347062958e+54 4 | LINEs: [[18, 18], [19, 19]], failed, null, null 5 | LINEs: [[20, 20], [21, 21]], success, 6.9740229347062958e+54, 6.9740229347062958e+54 6 | LINEs: [[20, 20]], success, 6.9740229347062958e+54, 6.9740229347062958e+54 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_24-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 18], [19, 18], [19, 19], [20, 21], [22, 22], [25, 25]], success, 1.8321999999999999e-70, 1.8321999999999999e-70 3 | BBs: [[18, 18], [19, 18], [19, 19]], success, 1.8321999999999999e-70, 1.8321999999999999e-70 4 | BBs: [[18, 18]], success, 1.8321999999999999e-70, 1.8321999999999999e-70 5 | LINEs: [[18, 18]], success, 1.8321999999999999e-70, 1.8321999999999999e-70 6 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_25-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[21, 25]], success, 1, 1 2 | BBs: [[21, 20], [21, 21], [22, 23], [24, 24]], success, 1, 1 3 | BBs: [[21, 20], [21, 21]], failed, null, null 4 | BBs: [[22, 23], [24, 24]], success, 1, 1 5 | BBs: [[22, 23]], success, 1, 1 6 | LINEs: [[22, 22], [23, 23]], success, 1, 1 7 | LINEs: [[22, 22]], failed, null, null 8 | LINEs: [[23, 23]], success, 1, 1 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_26-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 27]], success, inf, inf 2 | LOOPs: [[22, 26]], success, inf, inf 3 | BBs: [[22, 21], [22, 22], [23, 24], [25, 25]], success, inf, inf 4 | BBs: [[22, 21], [22, 22]], failed, null, null 5 | BBs: [[23, 24], [25, 25]], success, inf, inf 6 | BBs: [[23, 24]], failed, null, null 7 | BBs: [[25, 25]], failed, null, null 8 | LINEs: [[23, 23], [24, 24], [25, 25]], success, inf, inf 9 | LINEs: [[23, 23]], failed, null, null 10 | LINEs: [[24, 24], [25, 25]], failed, null, null 11 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_27-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[20, 24]], failed, null, null 2 | BBs: [[18, 17], [18, 18], [19, 19], [20, 19], [20, 20], [21, 22], [23, 23], [25, 25], [26, 25], [26, 26], [29, 29]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_27_minimal.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | int main(){ 10 | double x=0.1; 11 | double y=0.0/0.0; 12 | 13 | if (x >= y){ 14 | printf("%.3g >= %.3g holds\n", x, y); 15 | } else { 16 | printf("%.3g >= %.3g does not hold\n", x, y); 17 | } 18 | 19 | return 0; 20 | } 21 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_28-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[21, 25], [26, 30]], success, -9267024812936710, -9267024812936710 2 | LOOPs: [[21, 25]], failed, null, null 3 | LOOPs: [[26, 30]], success, -9267024812936710, -9267024812936710 4 | BBs: [[26, 25], [26, 25], [26, 26], [27, 28], [29, 29]], success, -9267024812936710, -9267024812936710 5 | BBs: [[26, 25], [26, 25]], failed, null, null 6 | BBs: [[26, 26], [27, 28], [29, 29]], success, -9267024812936710, -9267024812936710 7 | BBs: [[26, 26]], failed, null, null 8 | BBs: [[27, 28], [29, 29]], success, -9267024812936710, -9267024812936710 9 | BBs: [[27, 28]], success, -9267024812936710, -9267024812936710 10 | LINEs: [[27, 27], [28, 28]], success, -9267024812936710, -9267024812936710 11 | LINEs: [[27, 27]], failed, null, null 12 | LINEs: [[28, 28]], failed, null, null 13 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_29-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 18], [19, 20], [21, 21], [23, 23]], success, 1.7572000000000001e+305, 1.7572000000000001e+305 3 | BBs: [[18, 18], [19, 20]], failed, null, null 4 | BBs: [[21, 21], [23, 23]], success, 1.7572000000000001e+305, 1.7572000000000001e+305 5 | BBs: [[21, 21]], success, 1.7572000000000001e+305, 1.7572000000000001e+305 6 | LINEs: [[21, 21]], success, 1.7572000000000001e+305, 1.7572000000000001e+305 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_3-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[20, 35]], failed, null, null 2 | BBs: [[20, 19], [20, 19], [20, 20], [21, 21], [22, 22], [23, 28], [29, 29], [31, 31], [32, 32], [33, 33], [36, 36]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_30-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[19, 23]], success, inf, inf 2 | BBs: [[19, 18], [19, 18], [19, 19], [20, 21], [22, 22]], success, inf, inf 3 | BBs: [[19, 18], [19, 18]], failed, null, null 4 | BBs: [[19, 19], [20, 21], [22, 22]], success, inf, inf 5 | BBs: [[19, 19]], failed, null, null 6 | BBs: [[20, 21], [22, 22]], success, inf, inf 7 | BBs: [[20, 21]], failed, null, null 8 | BBs: [[22, 22]], success, inf, inf 9 | LINEs: [[22, 22]], success, inf, inf 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_31-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 21]], success, 1.501198702262794e-318, 1.501198702262794e-318 3 | LINEs: [[18, 18], [19, 19], [20, 20], [21, 21]], success, 1.0592469898706759e-95, 1.0592469898706759e-95 4 | LINEs: [[18, 18], [19, 19]], success, 1.0592469898706759e-95, 1.0592469898706759e-95 5 | LINEs: [[18, 18]], failed, null, null 6 | LINEs: [[19, 19]], success, 1.0592469898706759e-95, 1.0592469898706759e-95 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_32-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 22]], success, 2.0144245790251111e+215, 2.0144245790251111e+215 2 | LOOPs: [[19, 21]], success, 2.0144245790251111e+215, 2.0144245790251111e+215 3 | BBs: [[19, 18], [19, 18], [19, 19], [20, 20]], success, 2.0144245790251111e+215, 2.0144245790251111e+215 4 | BBs: [[19, 18], [19, 18]], failed, null, null 5 | BBs: [[19, 19], [20, 20]], success, 2.0144245790251111e+215, 2.0144245790251111e+215 6 | BBs: [[19, 19]], failed, null, null 7 | BBs: [[20, 20]], success, 2.0144245790251111e+215, 2.0144245790251111e+215 8 | LINEs: [[20, 20]], success, 2.0144245790251111e+215, 2.0144245790251111e+215 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_33-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 29]], success, -1.908299901254356e-317, -1.908299901254356e-317 2 | LOOPs: [[20, 27]], failed, null, null 3 | BBs: [[18, 17], [18, 17], [18, 18], [19, 19], [20, 19], [20, 19], [20, 20], [21, 22], [23, 22], [23, 23], [24, 24], [25, 25]], success, -1.908299901254356e-317, -1.908299901254356e-317 4 | BBs: [[18, 17], [18, 17], [18, 18], [19, 19], [20, 19], [20, 19]], success, -1.908299901254356e-317, -1.908299901254356e-317 5 | BBs: [[18, 17], [18, 17], [18, 18]], failed, null, null 6 | BBs: [[19, 19], [20, 19], [20, 19]], success, -1.908299901254356e-317, -1.908299901254356e-317 7 | BBs: [[19, 19]], success, -1.908299901254356e-317, -1.908299901254356e-317 8 | LINEs: [[19, 19]], success, -1.908299901254356e-317, -1.908299901254356e-317 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_34-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 32]], success, 1.2114e-307, 1.2114e-307 2 | LOOPs: [[19, 31]], success, 1.2114e-307, 1.2114e-307 3 | LOOPs: [[23, 27]], failed, null, null 4 | BBs: [[19, 18], [19, 18], [19, 19], [20, 22], [23, 22], [23, 23], [24, 25], [26, 26], [28, 28], [29, 28], [29, 29]], failed, null, null 5 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_35-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 23]], success, inf, inf 2 | BBs: [[18, 17], [18, 17], [18, 18], [19, 19], [20, 20], [21, 21]], success, inf, inf 3 | BBs: [[18, 17], [18, 17], [18, 18]], failed, null, null 4 | BBs: [[19, 19], [20, 20], [21, 21]], success, inf, inf 5 | BBs: [[19, 19]], failed, null, null 6 | BBs: [[20, 20], [21, 21]], success, inf, inf 7 | BBs: [[20, 20]], failed, null, null 8 | BBs: [[21, 21]], success, inf, inf 9 | LINEs: [[21, 21]], success, inf, inf 10 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_36-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[20, 24]], failed, null, null 2 | BBs: [[18, 19], [20, 19], [20, 20], [21, 22], [23, 23], [25, 25]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_37-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[17, 18], [19, 19], [20, 20], [21, 21], [23, 23]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_38-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 29]], success, -1.6532e+196, -1.6532e+196 2 | BBs: [[18, 17], [18, 17], [18, 18], [19, 20], [21, 21], [22, 23], [24, 24], [26, 25], [26, 26], [27, 27]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_39-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[17, 16], [17, 17], [18, 19], [20, 20], [21, 21], [24, 24]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_39_minimal_invalid.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | int main(){ 10 | double var_1 = +0.0; 11 | double var_2 = -0.0; 12 | double var_3 = -1.4801E305; 13 | double tmp = var_1 / +1.4859E-310 + (var_2 * atan2(var_3 / -1.8131E-319, -1.0247E305)); 14 | printf("%.17g\n", tmp); 15 | 16 | return 0; 17 | } 18 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_3_debug.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | 7 | void compute(){ 8 | double x = -1.6381E-322; 9 | double comp = +1.9797E-307; 10 | for (int i=0; i<1; i++){ 11 | comp += +1.0492E305 + x / -1.3627E-314; 12 | } 13 | printf("%.5g\n", comp); 14 | } 15 | 16 | int main(){ 17 | compute(); 18 | return 0; 19 | } 20 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_3_minimal.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | //void compute(x, comp){ 10 | void compute(){ 11 | double x = -1.6381E-322; 12 | double comp = +1.9797E-307; 13 | int i; 14 | for (i=0; i<1; i++){ 15 | comp += +1.0492E305 + x / -1.3627E-314; 16 | printf("%.3g\n", comp); 17 | } 18 | } 19 | 20 | int main(){ 21 | //compute(x, comp); 22 | compute(); 23 | return 0; 24 | } 25 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_3_minimal_test.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | void compute(){ 10 | double x, y, z, comp; 11 | x = -1.6381E-322; 12 | y = +1.0492E305; 13 | z = -1.3627E-314; 14 | comp = +1.9797E-307; 15 | comp += y + x / z; 16 | printf("%.3g\n", comp); 17 | } 18 | 19 | int main(){ 20 | compute(); 21 | return 0; 22 | } 23 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_4-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 27]], failed, null, null 2 | BBs: [[18, 17], [18, 17], [18, 18], [19, 21], [22, 22], [23, 24], [25, 25], [28, 28]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_40-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[21, 25], [26, 29]], failed, null, null 2 | BBs: [[17, 17], [18, 20], [21, 20], [21, 21], [22, 23], [24, 24], [26, 25], [26, 25], [26, 26], [27, 27], [28, 28], [31, 31]], success, -1.3049000000000001e+179, -1.3049000000000001e+179 3 | BBs: [[17, 17], [18, 20], [21, 20], [21, 21], [22, 23], [24, 24]], success, -1.3049000000000001e+179, -1.3049000000000001e+179 4 | BBs: [[17, 17], [18, 20], [21, 20]], success, -1.3049000000000001e+179, -1.3049000000000001e+179 5 | BBs: [[17, 17]], success, -1.3049000000000001e+179, -1.3049000000000001e+179 6 | LINEs: [[17, 17]], success, -1.3049000000000001e+179, -1.3049000000000001e+179 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_41-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[17, 25]], success, 6.7825035938370101e-21, 6.7825035938370101e-21 2 | LOOPs: [[21, 24]], success, 6.7825035938370101e-21, 6.7825035938370101e-21 3 | BBs: [[21, 20], [21, 21], [22, 22], [23, 23]], success, 6.7825035938370101e-21, 6.7825035938370101e-21 4 | BBs: [[21, 20], [21, 21]], failed, null, null 5 | BBs: [[22, 22], [23, 23]], success, 6.7825035938370101e-21, 6.7825035938370101e-21 6 | BBs: [[22, 22]], failed, null, null 7 | BBs: [[23, 23]], success, 6.7825035938370101e-21, 6.7825035938370101e-21 8 | LINEs: [[23, 23]], success, 6.7825035938370101e-21, 6.7825035938370101e-21 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_42-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[17, 22]], success, 1.4674000000000001e-50, 1.4674000000000001e-50 2 | LOOPs: [[19, 21]], success, 1.4674000000000001e-50, 1.4674000000000001e-50 3 | BBs: [[19, 18], [19, 19], [20, 20]], success, 1.4674000000000001e-50, 1.4674000000000001e-50 4 | BBs: [[19, 18]], failed, null, null 5 | BBs: [[19, 19], [20, 20]], success, 1.4674000000000001e-50, 1.4674000000000001e-50 6 | BBs: [[19, 19]], failed, null, null 7 | BBs: [[20, 20]], success, 1.4674000000000001e-50, 1.4674000000000001e-50 8 | LINEs: [[20, 20]], success, 1.4674000000000001e-50, 1.4674000000000001e-50 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_43-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[19, 21]], failed, null, null 2 | BBs: [[17, 18], [19, 18], [19, 19], [20, 19], [20, 20], [22, 21], [22, 22], [23, 23], [24, 24], [26, 26]], success, 8.4630153700128806e-13, 8.4630153700128806e-13 3 | BBs: [[17, 18], [19, 18], [19, 19], [20, 19], [20, 20]], failed, null, null 4 | BBs: [[22, 21], [22, 22], [23, 23], [24, 24], [26, 26]], success, 8.4630153700128806e-13, 8.4630153700128806e-13 5 | BBs: [[22, 21], [22, 22]], failed, null, null 6 | BBs: [[23, 23], [24, 24], [26, 26]], success, 8.4630153700128806e-13, 8.4630153700128806e-13 7 | BBs: [[23, 23]], failed, null, null 8 | BBs: [[24, 24], [26, 26]], success, 8.4630153700128806e-13, 8.4630153700128806e-13 9 | BBs: [[24, 24]], success, 8.4630153700128806e-13, 8.4630153700128806e-13 10 | LINEs: [[24, 24]], success, 8.4630153700128806e-13, 8.4630153700128806e-13 11 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_44-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[23, 26]], failed, null, null 2 | BBs: [[17, 17], [18, 18], [19, 19], [20, 20], [21, 21], [23, 22], [23, 22], [23, 23], [24, 24], [25, 25], [28, 28]], success, -1.4645999999999999e-306, -1.4645999999999999e-306 3 | BBs: [[17, 17], [18, 18], [19, 19], [20, 20], [21, 21]], success, -1.4645999999999999e-306, -1.4645999999999999e-306 4 | BBs: [[17, 17], [18, 18]], success, -1.4645999999999999e-306, -1.4645999999999999e-306 5 | BBs: [[17, 17]], success, -1.4645999999999999e-306, -1.4645999999999999e-306 6 | LINEs: [[17, 17]], success, -1.4645999999999999e-306, -1.4645999999999999e-306 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_45-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[18, 29]], success, -1.4311e+305, -1.4311e+305 2 | BBs: [[18, 17], [18, 17], [18, 18], [19, 20], [21, 21], [22, 23], [24, 24], [26, 25], [26, 26], [27, 27]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_46-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[17, 20]], success, -inf, -inf 3 | LINEs: [[17, 17], [18, 18], [19, 19], [20, 20]], success, -inf, -inf 4 | LINEs: [[17, 17], [18, 18]], failed, null, null 5 | LINEs: [[19, 19], [20, 20]], success, -inf, -inf 6 | LINEs: [[19, 19]], success, -inf, -inf 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_47-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[19, 23]], success, 1.98013296e+193, 1.98013296e+193 2 | BBs: [[19, 18], [19, 19], [20, 21], [22, 22]], success, 1.98013296e+193, 1.98013296e+193 3 | BBs: [[19, 18], [19, 19]], failed, null, null 4 | BBs: [[20, 21], [22, 22]], success, 1.98013296e+193, 1.98013296e+193 5 | BBs: [[20, 21]], failed, null, null 6 | BBs: [[22, 22]], success, 1.98013296e+193, 1.98013296e+193 7 | LINEs: [[22, 22]], success, 1.98013296e+193, 1.98013296e+193 8 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_48-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[27, 30]], success, nan, nan 2 | BBs: [[27, 26], [27, 26], [27, 27], [28, 28], [29, 29]], success, nan, nan 3 | BBs: [[27, 26], [27, 26]], failed, null, null 4 | BBs: [[27, 27], [28, 28], [29, 29]], success, nan, nan 5 | BBs: [[27, 27]], failed, null, null 6 | BBs: [[28, 28], [29, 29]], success, nan, nan 7 | BBs: [[28, 28]], success, nan, nan 8 | LINEs: [[28, 28]], success, nan, nan 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_49-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[16, 19]], success, -inf, -inf 3 | LINEs: [[16, 16], [17, 17], [18, 18], [19, 19]], success, -inf, -inf 4 | LINEs: [[16, 16], [17, 17]], failed, null, null 5 | LINEs: [[18, 18], [19, 19]], success, -inf, -inf 6 | LINEs: [[18, 18]], success, -inf, -inf 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_4_minimal.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | int main(){ 10 | double x=0.0/0.0; 11 | double y=0.1; 12 | 13 | if (x <= y){ 14 | printf("%.3g <= %.3g holds\n", x, y); 15 | } else { 16 | printf("%.3g <= %.3g does not hold\n", x, y); 17 | } 18 | 19 | return 0; 20 | } 21 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_5-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[17, 21]], failed, null, null 2 | BBs: [[17, 16], [17, 16], [17, 17], [18, 19], [20, 20], [22, 22]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_50-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[17, 25]], success, 15200000, 15200000 2 | BBs: [[17, 16], [17, 16], [17, 17], [18, 19], [20, 20], [21, 22], [23, 23]], success, 15200000, 15200000 3 | BBs: [[17, 16], [17, 16], [17, 17]], failed, null, null 4 | BBs: [[18, 19], [20, 20], [21, 22], [23, 23]], success, 15200000, 15200000 5 | BBs: [[18, 19], [20, 20]], success, 15200000, 15200000 6 | BBs: [[18, 19]], failed, null, null 7 | BBs: [[20, 20]], failed, null, null 8 | LINEs: [[18, 18], [19, 19], [20, 20]], success, 15200000, 15200000 9 | LINEs: [[18, 18]], failed, null, null 10 | LINEs: [[19, 19], [20, 20]], success, 15200000, 15200000 11 | LINEs: [[19, 19]], failed, null, null 12 | LINEs: [[20, 20]], failed, null, null 13 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_51-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[17, 17], [18, 18], [19, 19], [20, 20], [21, 21], [23, 22], [23, 23], [24, 24], [28, 28]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_51_minimal.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | int main(){ 10 | double var_1 = +1.5539E305; 11 | double var_2 = -1.1615E98; 12 | double tmp = -1.2482E-57 - var_1 * var_2 * -0.0; 13 | printf("%.17g\n", tmp); 14 | 15 | return 0; 16 | } 17 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_52-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[19, 28]], failed, null, null 2 | BBs: [[17, 16], [17, 17], [18, 17], [18, 18], [19, 18], [19, 18], [19, 19], [20, 22], [23, 23], [24, 25], [26, 26], [31, 31]], failed, null, null 3 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_53-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[17, 23]], success, -1.6841e-68, -1.6841e-68 2 | BBs: [[17, 16], [17, 16], [17, 17], [18, 17], [18, 18], [19, 18], [19, 19], [20, 19], [20, 20]], success, -1.6841e-68, -1.6841e-68 3 | BBs: [[17, 16], [17, 16], [17, 17], [18, 17]], failed, null, null 4 | BBs: [[18, 18], [19, 18], [19, 19], [20, 19], [20, 20]], success, -1.6841e-68, -1.6841e-68 5 | BBs: [[18, 18], [19, 18]], failed, null, null 6 | BBs: [[19, 19], [20, 19], [20, 20]], success, -1.6841e-68, -1.6841e-68 7 | BBs: [[19, 19]], success, -1.6841e-68, -1.6841e-68 8 | LINEs: [[19, 19]], success, -1.6841e-68, -1.6841e-68 9 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_5_minimal.c: -------------------------------------------------------------------------------- 1 | // This is the minimal test extracted by hand. 2 | 3 | 4 | 5 | #include 6 | #include 7 | #include 8 | 9 | int main(){ 10 | double x = -1.3864E-322; 11 | double z = x / -0.0 * -0.0; 12 | printf("%.3g / -0.0 * -0.0 = %.3g\n", x, z); 13 | 14 | return 0; 15 | } 16 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_6-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[17, 19]], success, -1.3043333050208909e-321, -1.3043333050208909e-321 3 | LINEs: [[17, 17], [18, 18], [19, 19]], success, nan, nan 4 | LINEs: [[17, 17]], success, nan, nan 5 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_7-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 20]], success, -9.0061157048039031e-281, -9.0061157048039031e-281 3 | LINEs: [[18, 18], [19, 19], [20, 20]], success, -9.0061157048039031e-281, -9.0061157048039031e-281 4 | LINEs: [[18, 18]], failed, null, null 5 | LINEs: [[19, 19], [20, 20]], success, -9.0061157048039031e-281, -9.0061157048039031e-281 6 | LINEs: [[19, 19]], success, -9.0061157048039031e-281, -9.0061157048039031e-281 7 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_8-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [], failed, null, null 2 | BBs: [[18, 19], [20, 20], [21, 22], [23, 23], [25, 25]], success, -1.5362999999999999e+305, -1.5362999999999999e+305 3 | BBs: [[18, 19], [20, 20]], success, -1.5362999999999999e+305, -1.5362999999999999e+305 4 | BBs: [[18, 19]], failed, null, null 5 | BBs: [[20, 20]], failed, null, null 6 | LINEs: [[18, 18], [19, 19], [20, 20]], success, -1.5362999999999999e+305, -1.5362999999999999e+305 7 | LINEs: [[18, 18]], failed, null, null 8 | LINEs: [[19, 19], [20, 20]], success, -1.5362999999999999e+305, -1.5362999999999999e+305 9 | LINEs: [[19, 19]], failed, null, null 10 | LINEs: [[20, 20]], failed, null, null 11 | -------------------------------------------------------------------------------- /benchmarks/Varity/Varity-power8/reference/test_9-log.txt: -------------------------------------------------------------------------------- 1 | LOOPs: [[21, 24]], success, 808343999146, 808343999146 2 | BBs: [[21, 20], [21, 21], [22, 22], [23, 23]], success, 808343999146, 808343999146 3 | BBs: [[21, 20], [21, 21]], failed, null, null 4 | BBs: [[22, 22], [23, 23]], success, 808343999146, 808343999146 5 | BBs: [[22, 22]], failed, null, null 6 | BBs: [[23, 23]], success, 808343999146, 808343999146 7 | LINEs: [[23, 23]], success, 808343999146, 808343999146 8 | -------------------------------------------------------------------------------- /clang-tool/CMakeLists.txt-insource: -------------------------------------------------------------------------------- 1 | set(LLVM_LINK_COMPONENTS support) 2 | 3 | add_clang_executable(pLiner 4 | FPDebugger.cpp 5 | FPDebugger.h 6 | analysis/funcAnalysis.cpp 7 | analysis/funcAnalysis.h 8 | analysis/funcPrint.cpp 9 | analysis/funcPrint.h 10 | transform/funcTrans.cpp 11 | transform/funcTrans.h 12 | core/_fp.h 13 | core/_funcRecord.cpp 14 | core/_funcRecord.h 15 | core/_lineRecord.cpp 16 | core/_lineRecord.h 17 | utils/json.hpp 18 | ) 19 | 20 | target_link_libraries(pLiner 21 | PRIVATE 22 | clangTooling 23 | clangBasic 24 | clangASTMatchers 25 | ) 26 | -------------------------------------------------------------------------------- /clang-tool/FPDebugger.h: -------------------------------------------------------------------------------- 1 | #ifndef _FP_DEBUGGER_HEADER 2 | #define _FP_DEBUGGER_HEADER 3 | 4 | extern std::string infofname; 5 | 6 | // profiling file 7 | extern std::string prof_prefix; 8 | 9 | // functions that appear on the file 10 | extern std::vector funclist; 11 | 12 | // function name, start/end line number 13 | extern std::set pfuncs; 14 | extern std::map>> pfregions; 15 | extern bool transWholeFunc; 16 | 17 | // high precision 18 | extern std::string myreal; 19 | 20 | // output file 21 | extern std::string outfilename; 22 | #endif 23 | -------------------------------------------------------------------------------- /clang-tool/analysis/funcAnalysis.h: -------------------------------------------------------------------------------- 1 | #include "clang/Tooling/Tooling.h" 2 | #include "clang/Frontend/FrontendAction.h" 3 | #include "clang/Tooling/CommonOptionsParser.h" 4 | 5 | using namespace llvm; 6 | using namespace std; 7 | using namespace clang; 8 | 9 | class funcAnalysisAction : public clang::ASTFrontendAction { 10 | public: 11 | virtual std::unique_ptr CreateASTConsumer( 12 | clang::CompilerInstance &CI, StringRef InFile); 13 | void EndSourceFileAction(); 14 | }; 15 | -------------------------------------------------------------------------------- /clang-tool/analysis/funcPrint.h: -------------------------------------------------------------------------------- 1 | #include "clang/Tooling/Tooling.h" 2 | #include "clang/Frontend/FrontendAction.h" 3 | #include "clang/Tooling/CommonOptionsParser.h" 4 | 5 | using namespace llvm; 6 | using namespace std; 7 | using namespace clang; 8 | 9 | class funcPrintAction : public clang::ASTFrontendAction { 10 | public: 11 | virtual std::unique_ptr CreateASTConsumer( 12 | clang::CompilerInstance &CI, StringRef InFile); 13 | void EndSourceFileAction(); 14 | }; 15 | -------------------------------------------------------------------------------- /clang-tool/core/_lineRecord.h: -------------------------------------------------------------------------------- 1 | #include "clang/AST/Decl.h" 2 | #include "clang/AST/Expr.h" 3 | #include "clang/AST/ASTContext.h" 4 | #include 5 | #include 6 | 7 | using namespace clang; 8 | using namespace std; 9 | 10 | class _lineRecord { 11 | public: 12 | vector vDels; 13 | vector reads; 14 | vector writes; 15 | vector calls; 16 | vector syncs; 17 | 18 | unsigned lineNum; 19 | 20 | _lineRecord(unsigned line):lineNum(line){} 21 | void addVDel(const VarDecl*); 22 | void addRead(const DeclRefExpr*); 23 | void addWrite(const DeclRefExpr*); 24 | void addCall(const CallExpr* cl); 25 | void addSync(const DeclRefExpr*); 26 | void printLineRecord(const string filename); 27 | }; 28 | -------------------------------------------------------------------------------- /clang-tool/transform/funcTrans.h: -------------------------------------------------------------------------------- 1 | #include "clang/Tooling/Tooling.h" 2 | #include "clang/Frontend/FrontendAction.h" 3 | #include "clang/Tooling/CommonOptionsParser.h" 4 | 5 | using namespace llvm; 6 | using namespace std; 7 | using namespace clang; 8 | 9 | class funcTransAction : public clang::ASTFrontendAction { 10 | public: 11 | virtual std::unique_ptr CreateASTConsumer( 12 | clang::CompilerInstance &CI, StringRef InFile); 13 | void EndSourceFileAction(); 14 | }; 15 | -------------------------------------------------------------------------------- /example/Makefile: -------------------------------------------------------------------------------- 1 | #CC=/usr/tce/packages/xl/xl-2019.08.20/bin/xlc 2 | CC=/usr/bin/gcc 3 | CFLAGS= -g -std=c99 #-qstrict 4 | LDFLAGS=-lm 5 | 6 | SOURCES := $(wildcard *.c) 7 | 8 | O0EXES := $(SOURCES:.c=_O0) 9 | O3EXES := $(SOURCES:.c=_O3) 10 | EXECUTABLES := $(O0EXES) $(O3EXES) 11 | 12 | all: $(SOURCES) $(EXECUTABLES) 13 | clean: 14 | rm -f $(EXECUTABLES) 15 | 16 | %_O0 : %.c 17 | $(CC) $(CFLAGS) -O0 -o $@ $< $(LDFLAGS) 18 | 19 | %_O3 : %.c 20 | $(CC) $(CFLAGS) -O3 -ffast-math -o $@ $< $(LDFLAGS) 21 | -------------------------------------------------------------------------------- /example/cmp.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ftest=$1 4 | 5 | input=`sed -n "2p" $ftest.c | cut -d "/" -f 3 | sed "s/,/ /g" ` 6 | 7 | O0exe="${ftest}_O0" 8 | O3exe="${ftest}_O3" 9 | 10 | echo "./$O0exe $input" 11 | ./$O0exe $input 12 | 13 | echo "./$O3exe $input" 14 | ./$O3exe $input 15 | -------------------------------------------------------------------------------- /example/exclude.json: -------------------------------------------------------------------------------- 1 | { 2 | "vtest.c": ["initPointer", "main"] 3 | } 4 | -------------------------------------------------------------------------------- /tests/code-pattern/test_1.c: -------------------------------------------------------------------------------- 1 | // code pattern: if-else 2 | 3 | #include 4 | 5 | int main(){ 6 | double a = 100; 7 | double b = 200; 8 | double c[2]; 9 | 10 | if (a>b) 11 | c[0] = a; 12 | else 13 | c[0] = b; 14 | c[1] = c[0]; 15 | 16 | printf("c = [%lf, %lf]\n", c[0], c[1]); 17 | 18 | return 0; 19 | } 20 | -------------------------------------------------------------------------------- /tests/code-pattern/test_2.c: -------------------------------------------------------------------------------- 1 | // code pattern: for-stmt 2 | 3 | #include 4 | 5 | int main(){ 6 | double a = 100; 7 | double b = 200; 8 | double c[2]; 9 | 10 | for(int i=0; i<2; i++) 11 | c[i] = a+b; 12 | 13 | printf("c = [%lf, %lf]\n", c[0], c[1]); 14 | 15 | return 0; 16 | } 17 | -------------------------------------------------------------------------------- /tests/code-pattern/test_3.c: -------------------------------------------------------------------------------- 1 | // code pattern: for-if-else 2 | 3 | #include 4 | 5 | int main(){ 6 | double a = 100; 7 | double b = 200; 8 | double c[2]; 9 | 10 | for(int i=0; i<2; i++) 11 | if (a>b) 12 | c[i] = a-b; 13 | else 14 | c[i] = b-a; 15 | 16 | printf("c = [%lf, %lf]\n", c[0], c[1]); 17 | 18 | return 0; 19 | } 20 | -------------------------------------------------------------------------------- /tests/fail/data-sync-test_9.c: -------------------------------------------------------------------------------- 1 | // data sync: pointer analysis 2 | 3 | #include 4 | 5 | int main(){ 6 | double a=100; 7 | double *p; 8 | double c[1]; 9 | 10 | p = &a; 11 | *p = *p +1; 12 | c[0]=a; 13 | printf("c[0] = %lf\n", c[0]); 14 | 15 | return 0; 16 | } 17 | -------------------------------------------------------------------------------- /tests/region-trans/test_0.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 15 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/region-trans/test_1.c: -------------------------------------------------------------------------------- 1 | // data sync: foo(&c[0], &c[1]) 2 | 3 | #include 4 | 5 | void foo(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | } 9 | 10 | int main(){ 11 | double a = 100; 12 | double b = 200; 13 | double c[2]; 14 | 15 | c[0]=1; 16 | c[1]=2; 17 | foo(&c[0], &c[1]); 18 | 19 | printf("c = [%lf, %lf]\n", c[0], c[1]); 20 | 21 | return 0; 22 | } 23 | -------------------------------------------------------------------------------- /tests/region-trans/test_1.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ], 5 | "pLiner-fregions": { 6 | "main":[[11, 21]] 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /tests/region-trans/test_2.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 14, 6 | 14 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/region-trans/test_3.c: -------------------------------------------------------------------------------- 1 | //quartz2963_6790/_tests/_group_4/_test_8.c 2 | //+1.0587E-88 +1.0282E306 -1.0115E-322 3 | // 4 | 5 | /* This is a automatically generated test. Do not modify */ 6 | 7 | #include 8 | #include 9 | #include 10 | 11 | void compute(double comp, double var_1,double var_2) { 12 | comp += (var_1 * var_2); 13 | printf("%.17g\n", comp); 14 | 15 | } 16 | 17 | double* initPointer(double v) { 18 | double *ret = (double*) malloc(sizeof(double)*10); 19 | for(int i=0; i < 10; ++i) 20 | ret[i] = v; 21 | return ret; 22 | } 23 | 24 | int main(int argc, char** argv) { 25 | /* Program variables */ 26 | 27 | double tmp_1 = atof(argv[1]); 28 | double tmp_2 = atof(argv[2]); 29 | double tmp_3 = atof(argv[3]); 30 | 31 | compute(tmp_1,tmp_2,tmp_3); 32 | 33 | return 0; 34 | } 35 | -------------------------------------------------------------------------------- /tests/region-trans/test_3.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/region-trans/test_4.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/region-trans/test_5.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 12 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/region-trans/test_6.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 12, 6 | 16 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/region-trans/test_7.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 14, 6 | 14 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/region-trans/test_8.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 14, 6 | 14 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/region-trans/test_9.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-fregions": { 3 | "compute": [ 4 | [ 5 | 18, 6 | 18 7 | ] 8 | ] 9 | }, 10 | "pLiner-funcs": [ 11 | "compute" 12 | ] 13 | } -------------------------------------------------------------------------------- /tests/to-debug/code-pattern-test_4.c: -------------------------------------------------------------------------------- 1 | // code pattern: printf stmt 2 | 3 | #include 4 | 5 | int main(){ 6 | double a = 100; 7 | double b = 200; 8 | 9 | printf("a = %lf, b = %lf\n", a, b); 10 | 11 | return 0; 12 | } 13 | -------------------------------------------------------------------------------- /tests/to-debug/code-pattern-test_5.c: -------------------------------------------------------------------------------- 1 | // code pattern: static qualifier 2 | 3 | #include 4 | 5 | int main(){ 6 | static double a; 7 | double c[1]; 8 | 9 | c[0]=a; 10 | printf("c[0] = %lf\n", c[0]); 11 | 12 | return 0; 13 | } 14 | -------------------------------------------------------------------------------- /tests/to-debug/data-sync-test_5.c: -------------------------------------------------------------------------------- 1 | // data sync: double ret=foo(&a, &b) 2 | 3 | #include 4 | 5 | double foo(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | return *x+*y; 9 | } 10 | 11 | int main(){ 12 | double a = 100; 13 | double b = 200; 14 | double c[3]; 15 | 16 | double ret = foo(&a, &b); 17 | 18 | c[0]=a; 19 | c[1]=b; 20 | c[2]=ret; 21 | printf("c[0]=%lf, c[1]=%lf, c[2]=%lf\n", c[0], c[1], c[2]); 22 | 23 | return 0; 24 | } 25 | -------------------------------------------------------------------------------- /tests/whole-trans/test_1.c: -------------------------------------------------------------------------------- 1 | // data sync: foo(&c[0], &c[1]) 2 | 3 | #include 4 | 5 | void foo(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | } 9 | 10 | int main(){ 11 | double a = 100; 12 | double b = 200; 13 | double c[2]; 14 | 15 | c[0]=1; 16 | c[1]=2; 17 | foo(&c[0], &c[1]); 18 | 19 | printf("c = [%lf, %lf]\n", c[0], c[1]); 20 | 21 | return 0; 22 | } 23 | -------------------------------------------------------------------------------- /tests/whole-trans/test_1.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ], 5 | "pLiner-fregions": { 6 | "main":[[11, 21]] 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /tests/whole-trans/test_2.c: -------------------------------------------------------------------------------- 1 | // data sync: foo(&a, &b) 2 | 3 | #include 4 | 5 | void foo(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | } 9 | 10 | int main(){ 11 | double a = 100; 12 | double b = 200; 13 | double c[2]; 14 | 15 | foo(&a, &b); 16 | 17 | c[0]=a; 18 | c[1]=b; 19 | printf("c[0]=%lf, c[1]=%lf\n", c[0], c[1]); 20 | 21 | return 0; 22 | } 23 | -------------------------------------------------------------------------------- /tests/whole-trans/test_2.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ], 5 | "pLiner-fregions": { 6 | "main":[[11, 21]] 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /tests/whole-trans/test_3.c: -------------------------------------------------------------------------------- 1 | // data sync: foo1(&a); foo2(&a, &b) 2 | 3 | #include 4 | 5 | void foo2(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | } 9 | 10 | void foo1(double* x){ 11 | *x += 1; 12 | } 13 | 14 | int main(){ 15 | double a = 100; 16 | double b = 200; 17 | double c[2]; 18 | 19 | foo1(&a); 20 | foo2(&a, &b); 21 | 22 | c[0]=a; 23 | c[1]=b; 24 | printf("c[0]=%lf, c[1]=%lf\n", c[0], c[1]); 25 | 26 | return 0; 27 | } 28 | -------------------------------------------------------------------------------- /tests/whole-trans/test_3.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ], 5 | "pLiner-fregions": { 6 | "main":[[15, 26]] 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /tests/whole-trans/test_4.c: -------------------------------------------------------------------------------- 1 | // data sync: ret=foo(&a, &b) 2 | 3 | #include 4 | 5 | double foo(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | return *x+*y; 9 | } 10 | 11 | int main(){ 12 | double a = 100; 13 | double b = 200; 14 | double c[3]; 15 | double ret; 16 | 17 | ret = foo(&a, &b); 18 | 19 | c[0]=a; 20 | c[1]=b; 21 | c[2]=ret; 22 | printf("c[0]=%lf, c[1]=%lf, c[2]=%lf\n", c[0], c[1], c[2]); 23 | 24 | return 0; 25 | } 26 | -------------------------------------------------------------------------------- /tests/whole-trans/test_4.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ], 5 | "pLiner-fregions": { 6 | "main":[[12, 24]] 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /tests/whole-trans/test_6.c: -------------------------------------------------------------------------------- 1 | // data sync: ret = foo(&a, &b)+foo(&a, &b); 2 | 3 | #include 4 | 5 | double foo(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | return *x+*y; 9 | } 10 | 11 | int main(){ 12 | double a = 100; 13 | double b = 200; 14 | double c[3]; 15 | double ret; 16 | 17 | ret = foo(&a, &b)+foo(&a, &b); 18 | 19 | c[0]=a; 20 | c[1]=b; 21 | c[2]=ret; 22 | printf("c[0]=%lf, c[1]=%lf, c[2]=%lf\n", c[0], c[1], c[2]); 23 | 24 | return 0; 25 | } 26 | -------------------------------------------------------------------------------- /tests/whole-trans/test_6.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ], 5 | "pLiner-fregions": { 6 | "main":[[12, 24]] 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /tests/whole-trans/test_7.c: -------------------------------------------------------------------------------- 1 | //data sync: ret = a>c[0]?foo(&c[0], &b):foo(&a, &b); 2 | 3 | #include 4 | 5 | double foo(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | return *x+*y; 9 | } 10 | 11 | int main(){ 12 | double a = 100; 13 | double b = 200; 14 | double c[3]; 15 | double ret; 16 | 17 | ret = a>c[0]?foo(&c[0], &b):foo(&a, &b); 18 | 19 | c[0]=a; 20 | c[1]=b; 21 | c[2]=ret; 22 | printf("c[0]=%lf, c[1]=%lf, c[2]=%lf\n", c[0], c[1], c[2]); 23 | 24 | return 0; 25 | } 26 | -------------------------------------------------------------------------------- /tests/whole-trans/test_7.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ], 5 | "pLiner-fregions": { 6 | "main":[[12, 24]] 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /tests/whole-trans/test_8.c: -------------------------------------------------------------------------------- 1 | //data sync: ret = foo_2(foo(&c[0], &b), foo(&a, &b)); 2 | 3 | #include 4 | 5 | double foo(double* x, double* y){ 6 | *x += 1; 7 | *y += 2; 8 | return *x+*y; 9 | } 10 | 11 | double foo_2(double x, double y){ 12 | return x+y; 13 | } 14 | 15 | int main(){ 16 | double a = 100; 17 | double b = 200; 18 | double c[3]; 19 | double ret; 20 | 21 | c[0] = 1; 22 | ret = foo_2(foo(&c[0], &b), foo(&a, &b)); 23 | 24 | c[0]=a; 25 | c[1]=b; 26 | c[2]=ret; 27 | printf("c[0]=%lf, c[1]=%lf, c[2]=%lf\n", c[0], c[1], c[2]); 28 | 29 | return 0; 30 | } 31 | -------------------------------------------------------------------------------- /tests/whole-trans/test_8.json: -------------------------------------------------------------------------------- 1 | { 2 | "pLiner-funcs": [ 3 | "main" 4 | ], 5 | "pLiner-fregions": { 6 | "main":[[16, 29]] 7 | } 8 | } 9 | --------------------------------------------------------------------------------