runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

Make some code easier to inline #1102

Open dwightguth opened 3 days ago

dwightguth commented 3 days ago

The llvm backend was not being particularly intelligent about the ability to inline certain function calls. Here we move all the .ll files in the runtime directory into the module used to initialize code generation. This allows these calls to live in one translation unit and be better optimized, while also simplifying llvm-kompile-clang.