Sökning: "LLVM IR translation"

Hittade 2 uppsatser innehållade orden LLVM IR translation.

1. 1. Calculation of WCET with symbolic execution

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Författare :Carl Österberg; [2022]
   Nyckelord :wcet; klee; static analysis; rust; llvm;

   Sammanfattning : Calculating WCET for schedulability analysis of RTIC applications is today performed with a hybrid approach with both static analysis of code and hardware measurements. A fully static analysis tool would allow for a easier integration into a CI/CD pipeline without the actual hardware. LÄS MER

3. 2. Recompiling DSP applications to x86 using LLVM IR

   Master-uppsats, Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska högskolan

   Författare :David Stenberg; [2014]
   Nyckelord :DSP compiler; LLVM; LLVM IR translation; endian emulation; adress spaces;

   Sammanfattning : This thesis describes the design and implementation of a prototype LLVM compiler backend, x86-64p, that compiles code written for a DSP architecture, FADER, into executables for the x86-64 architecture. The prototype takes LLVM IR generated for the FADER architecture and compiles x86-64 executables that emulate the properties of the DSP architecture, e. LÄS MER