Essays about: "LLVM IR translation"

Found 2 essays containing the words LLVM IR translation.

1. 1. Calculation of WCET with symbolic execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Carl Österberg; [2022]
   Keywords : wcet; klee; static analysis; rust; llvm;

   Abstract : 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. READ MORE

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

   University essay from Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska högskolan

   Author : David Stenberg; [2014]
   Keywords : DSP compiler; LLVM; LLVM IR translation; endian emulation; adress spaces;

   Abstract : 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. READ MORE