Results 21 to 30 of about 11,256 (247)
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Моделирование и анализ информационных систем, 2013 The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov +3 more
doaj +3 more sources
Lost in translation: Exposing hidden compiler optimization opportunities [PDF]
, 2020 Existing iterative compilation and machine-learning-based optimization techniques have been proven very successful in achieving better optimizations than the standard optimization levels of a compiler.
Chamski, Zbigniew +4 more
core +3 more sources
Energies, 2023 Low-Level Virtual Machine (LLVM) compiler infrastructure is a useful tool for building just-in-time (JIT) compilers, besides its reliable front end represented by a clang compiler and its elaborated middle end containing different optimizations that ...
Iulia Știrb, Gilbert-Rainer Gillich
doaj +1 more source
Enhancing R with Advanced Compilation Tools and Methods [PDF]
, 2014 I describe an approach to compiling common idioms in R code directly to native machine code and illustrate it with several examples. Not only can this yield significant performance gains, but it allows us to use new approaches to computing in R ...
Lang, Duncan Temple
core +1 more source
Profile-guided optimisation for indirect branches in a binary translator
Connection Science, 2022 Binary translators, which translate the binary executables from one instruction set to another, are useful tools. Indirect branches are one of the key factors that affect the efficiency of binary translators.
Jyun-Siang Huang, Wuu Yang, Yi-Ping You
doaj +1 more source
K-LLVM: A Relatively Complete Semantics of LLVM IR.
, 2020 LLVM [Lattner and Adve, 2004] is designed for the compile-time, link-time and run-time optimization of programs written in various programming languages. The language supported by LLVM targeted by modern compilers is LLVM IR [llvm.org, 2018]. In this paper we define K-LLVM, a reference semantics for LLVM IR.
Liyi Li 0002, Elsa L. Gunter
openaire +3 more sources
Termination-checking for LLVM peephole optimizations [PDF]
Proceedings of the 38th International Conference on Software Engineering, 2016 Mainstream compilers contain a large number of peephole optimizations, which perform algebraic simplification of the input program with local rewriting of the code. These optimizations are a persistent source of bugs. Our recent research on Alive, a domainspecific language for expressing peephole optimizations in LLVM, addresses a part of the problem ...
David Menendez, Santosh Nagarakatte
openaire +1 more source
Analyzing C/C++ code entities and relations for program understanding
Труды Института системного программирования РАН, 2018 This paper describes the static analysis tool for finding program entities, their metrics, and relations between entities. Program entities are files/directories (physical structure) and classes/functions/methods/global variables (logical structure ...
A. . Belevantsev, E. . Velesevich
doaj +1 more source
Tile Selection Algorithm Based on Data Locality [PDF]
Jisuanji kexueThe existing polyhedral compilation frameworks(such as Pluto,LLVM/Poly and GCC/Graphite) use fixed block sizes when performing loop tiling,which cannot fully utilize the caching characteristics of different hardware,resulting in significant performance ...
LIAO Qihua, NIE Kai, HAN Lin, CHEN Mengyao, XIE Wenbing
doaj +1 more source
pocl: A Performance-Portable OpenCL Implementation [PDF]
, 2014 OpenCL is a standard for parallel programming of heterogeneous systems. The benefits of a common programming standard are clear; multiple vendors can provide support for application descriptions written according to the standard, thus reducing the ...
Berg, Heikki +5 more
core +2 more sources