runtimeverification / llvm-backend

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

Introducing new arena and function that allows an object to be ignored by GC #1141

Closed Robertorosmaninho closed 2 months ago

Robertorosmaninho commented 2 months ago

This PR introduces a new Arena and a function to bypass the Garbage Collector, as it may have some times when we don't want to waste time deallocating memory that would be reallocated later for the same data.

The freeze hook function returns the same block with a different allocation in a new Arena.

Robertorosmaninho commented 2 months ago

A c++ unittest is under development, but this was already tested using a K definition for a future K PR.

Robertorosmaninho commented 2 months ago

Closing as the performance gain isn't meaningful.