Compiler/runtime modifications towards supporting precise garbage collection