Results 41 to 50 of about 5,396 (256)
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
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
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
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
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction [PDF]
Proc. ACM Program. Lang.This paper provides a novel approach to reconciling complex low-level memory model features, such as pointerinteger casts, with desired refinements that are needed to justify the correctness of program transformations.
Calvin Beck +4 more
semanticscholar +1 more source
Defect Detection: Combining Bounded Model Checking and Code Contracts
Моделирование и анализ информационных систем, 2013 Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts great attention in the last few years. In this paper, we present our approach to this problem.
Marat Akhin +2 more
doaj +1 more source
, 2019 In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode. The main features of the simulator include precise control over thread scheduling, automatic checkpoints and reverse stepping, support for source-level information about functions and variables in C and C++ programs and structured heap visualisation ...
Petr Rockai, Jiri Barnat
openaire +2 more sources
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
Generating Verified LLVM from Isabelle/HOL [PDF]
, 2019 We present a framework to generate verified LLVM programs from Isabelle/HOL. It is based on a code generator that generates LLVM text from a simplified fragment of LLVM, shallowly embedded into Isabelle/HOL.
Lammich, Peter
core +1 more source
Connection Science, 2023 Compiler optimization presents a formidable challenge, seeking to enhance code quality through various techniques. One significant obstacle is the phase-ordering problem, where the sequence of optimization algorithms can impact code quality and ...
YungYu Zhuang +2 more
doaj +1 more source