search for: lac_techreport012020

...ensure compilation, we perform type inference on the C programs. Type inference lets us replace missing dependencies. The benchmarks are available at: http://cuda.dcc.ufmg.br/angha/ We have a technical report describing the construction of this collection: http://lac.dcc.ufmg.br/pubs/TechReports/LaC_TechReport012020.pdf Many things can be done with so many LLVM bytecodes. A few examples follow below: * We can autotune compilers. We have trained YaCoS, a tool used to find good optimization sequences. The objective function is code size. We find the best optimization sequence for each program in the database....

...> C programs. Type inference lets us replace missing dependencies. > > > > The benchmarks are available at: http://cuda.dcc.ufmg.br/angha/ > > > > We have a technical report describing the construction of this > > collection: http://lac.dcc.ufmg.br/pubs/TechReports/LaC_TechReport012020.pdf > > > > Many things can be done with so many LLVM bytecodes. A few examples > > follow below: > > > > * We can autotune compilers. We have trained YaCoS, a tool used to > > find good optimization sequences. The objective function is code size. > > We fi...

Hi Johannes, > I'd also like to know what the intention here is. What is tested and how? we have a few uses for these benchmarks in the technical report: http://lac.dcc.ufmg.br/pubs/TechReports/LaC_TechReport012020.pdf, but since then, we came up with other applications. All these programs produce object files without external dependencies. We have been using them to train a predictive compiler that reduces code size (the technical report has more about that). In addition, you can use them to compare compilat...