search for: angha

Displaying 6 results from an estimated 6 matches for "angha".

Did you mean: ancha
2020 Apr 06
2
Adding a new External Suite to test-suite
...es. 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 compilation time, for instance, as Michael had asked. We have also used these benchmarks in two studies: 1) http://cuda.dcc.ufmg.br/angha/chordAnalysis 2) http://cuda.dcc.ufmg.br/angha/staticProperties A few other applications that I know about (outside our research group), include: * Comparing the size of code produced by three HLS tools: Intel HLS, Vivado and LegUp. * Testing the Ultimate Buchi Automizer, to see which kind of C c...
2020 Feb 22
2
The AnghaBench collection of compilable programs
...million C files, mined from open-source repositories, that compile into LLVM bytecodes (and from there to object files). To 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 g...
2020 Feb 22
3
The AnghaBench collection of compilable programs
...repositories, that compile into LLVM bytecodes (and from there to > > object files). To 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: > > > &...
2020 Apr 07
2
Adding a new External Suite to test-suite
...can't we take the original programs instead? Well, in the end, just using the compilable functions leads to poor predictions. For instance, using these compilable functions, YaCoS (it's the framework that we have been using) reduces the size of MiBench's Bitcount by 10%, whereas using AnghaBench, it achieves 16.9%. In Susan, the naturally compilable functions lead to an increase of code size (5.4%), whereas AnghaBench reduces size by 1.7%. Although we can find benchmarks in MiBench where the naturally compilable functions lead to better code reduction, these gains tend to be very clo...
2020 Nov 15
0
Code size BoF Minutes
...ces that are good for code-size reduction. This report gives you 22 such sequences, all short, that tend to improve upon Os or Oz on typical benchmarks: http://lac.dcc.ufmg.br/pubs/TechReports/LaC_TechReport022020.pdf. > What code size benchmarks can we use to measure patches? I'd suggest AnghaBench (http://cuda.dcc.ufmg.br/angha). I've talked about it here before. It's a collection with One Million compilable C programs. That's the collection that we have used to find the optimization sequences in that report. We shall be presenting a paper about it at CGO next February. Kin...
2020 Apr 06
2
Adding a new External Suite to test-suite
Greetings LLVMers, I would like to add the licensed part of AnghaBench (http://cuda.dcc.ufmg.br/angha/) as an External Test in the LLVM test-suite. We have 128,411 files with their original licenses. (http://www.dcc.ufmg.br/~fernando/coisas/c_files_with_licenses.tar.gz) Each file is a single function, that compiles as is---no dependencies are needed. For instance...