Product Details
Frontend překladače jazyka C s podporou pragmat
Created: 2014
Husár Adam, Ing., Ph.D., MBA (RCIT FIT BUT)
Masařík Karel, Ing., Ph.D. (DIFS FIT BUT)
LLVM, clang, pragma, vectorization, compilers
This software is a significant extension of the clang LLVM frontend with pragma support.
Pragmas can be used to give additional information to the compiler.
There was no such support in LLVM before and because of support for following task, it was necessary to significanly modify the existing clang frontend and add required functionality.
Usage of pragmas is mainly in following compiler optimizaitons:
- alias analysis
- mark block of code where pointers cannot alias
- vectorization
- e.g. to specify that the programmer want to use SIMD insturctions regardless on price or other
- or ignore dependencies between loop iterations
- + to add other information
- marking of specialozed instructions
- it is possible to select pieces of source code that should be executed directly in hardware
To keep the pragmas in the source code are special annotations used, the advantage is that compared to debug information, that annotations are kjept even after agressive optimizations.
For licence please consult: Mgr. Michaela Kavková, Research Centre of Information Technology, Faculty of Information Technology, BUT Brno, Božetěchova 2, 612 66 Brno, 541 141 470