search

runtimeverification / llvm-backend

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

Alloc refactor #1164

Open stevenmeker opened 8 hours ago

stevenmeker commented 8 hours ago

Turned struct arena into class arena with data members made private.

Deleted unused global functions: arena_reset() get_arena_allocation_semispace_id() youngspace_almost_full()

Turned global functions into arena member functions: fresh_block() (private) make arena_size() arena_clear() make arena_resize_last_alloc() get_arena_collection_semispace_id() do_alloc_slow() (private) arena_swap_and_clear() arena_start_ptr() arena_end_ptr() kore_arena_alloc()